連続と離散の融合によるロバストアルゴリズム構築

通过连续和离散融合构建鲁棒算法

• 批准号: 16092204
• 负责人: 杉原 厚吉
• 金额: $ 18.5万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 2004
• 资助国家: 日本
• 起止时间: 2004 至 2007
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16092204/
• 关键词: 厳密計算法; 離散凸解析; カット凸多面体; パーフェクトサンプリング; 符号可解性; ロバスト線形不等式; 長方形詰込み問題; ロバスト構造設計; ロバスト計算; ハブ空港設計問題; 独立偶因子; 四面体メッシュ; ボート航行距離方程式; 行列拡大法; カッターパス生成法; 細分割曲面; パーフェクトグラフ分解; 符号行列; チャンネル割当; ジャンプシステム; 離散凸; ディジタルトポロジー; ディジタル近似; 最適化; 最適航路; マルコフサンプリン

従来は連続計算の分野と離散計算の分野に分かれてそれぞれ独立になされてきたアルゴリズム研究の知見を融合し,両者の手法の長所を補完し合うことによって,諸計算のロバスト性を確保するための計算原理を開拓することが本研究の目的であった.本年度もこの目的に沿って研究を行い,次のような成果を得た.幾何計算の分野では,2次元および3次元の球ボロノイ図のロバストな計算法を開発した.これは,位相構造をいつも正しく判定できる高精度計算を用いるもので,必要な精度をもとの入力データの2d+4倍に置き換えることに成功した.また,流れの中でのボートの最短経路を求めるロバスト解法を高次元と曲面上とへ拡張した.さらに長方形詰込み問題の実用的解法を構成するとともに,一般の形の図形詰込み結果に基づいてハードメタルを切り取るためのカッターパス生成法を構成した.離散凸解析の分野では,定パリティジャンプシステム上のM凸関数が,合成積やグラフによる変換によってM凸性を保存することを示した.量子計算の分野では,カット凸多面体とベル不等式の関係を明らかにし,量子状態を記述するより強力な不等式を得た.サンプリングの分野では,マルコフ連鎖を用いたモンテカルロ法のためのパーフェクトサンプリング方法を開発した.組合せ最適化の分野では,数理計画問題の符号情報のみから最適解の性質を調べる方法を開発した.制御計算の分野では,制御対象パラメータのとり得る区間の中で常に安定性が保証されるロバスト制御法を,ロバスト線形不等式を条件とする半正定値問題に帰着させて解く方法を与えた.構造設計の分野では,不確定な外力に対する構造物の解析法を開発した.これらの諸成果を通じて,「連続計算における知見と離散計算における知見の交流によって,計算の安定化をはかることができる」というロバストな計算を確保するための一つの原理の有効性を確認することができた.

The purpose of this study is to explore the principles of computing and to ensure the performance of computing. This year's goal is to achieve results along the lines of research. Geometric calculation of the division of the field, 2-D and 3-D spherical light, the development of the calculation method For example, phase structure can be determined correctly, and high precision calculation can be used. The necessary precision can be calculated by 2d+4 times of input force. The shortest path of the flow path is found in the middle of the flow path, and the shortest path of the flow path is found in the middle of the flow path. The solution of rectangular query problem is composed of two parts, one part is composed of two parts, the other part is composed of three parts. Discrete convex analytic fields, fixed M convex relations on the matrix, synthetic product transformation, M convexity preservation. Quantum computation is divided into two fields: convex polyhedron and inequality. The method of separating and separating the elements from each other is developed by the method of separating and separating the elements from each other. A new method for adjusting the properties of optimal solutions to combinatorial optimization problems is developed. The stability of the control algorithm is guaranteed by the linear inequality condition. The semi-definite value problem is solved by the method of solving the problem. Structural design is divided into two categories: structure analysis and uncertainty analysis. The results of this research are communicated,"continuous calculation, knowledge and discrete calculation, knowledge and communication, calculation and stabilization," and calculation, ensuring the effectiveness of the principle.

项目成果

The Home-Away Assignment Problems and Break Minimization/ Maximization Problems in Sports Scheduling

运动调度中的主客场分配问题和休息时间最小化/最大化问题

• 发表时间: 2007
• 期刊: Pacific Journal of Optimization 3
• 作者: A. Suzuka;R. Miyashiro;A. Yoshise and T. Matsui
• 通讯作者: A. Yoshise and T. Matsui

Proximity Theorems of Discrete Convex Functions

离散凸函数的邻近定理

• 发表时间: 2004
• 期刊: Mathematical Programming A99・3
• 作者: Kazuo Murota;Akihisa Tamura
• 通讯作者: Akihisa Tamura

Artistic pattern generation by a model of territory competing

通过领土竞争模型生成艺术图案

• 发表时间: 2007
• 作者: Tomohiro Ohgami;Kokichi Sugihara;Kokichi Sugihara
• 通讯作者: Kokichi Sugihara

疎性の利用によるロバスト半正定値計画法の効率化

利用稀疏性提高鲁棒半定规划的效率

• 发表时间: 2007
• 期刊: 計測自動制御学会論文集 43・2
• 作者: N. Kakimura;S. Iwata;S. Iwata;猪阪・大石
• 通讯作者: 猪阪・大石

流れの中の航行シミュレーションと最適経路の探索

流动中的导航模拟并搜索最佳路线

• 发表时间: 2007
• 期刊: シミュレーション 26・2
• 作者: Y. Kanno;I. Takewaki;西田 徹志
• 通讯作者: 西田 徹志