《組合幾何全局最最佳化問題的機械化解法》是依託華東師範大學，由楊路擔任項目負責人的面上項目。
基本介紹
- 中文名：組合幾何全局最最佳化問題的機械化解法
- 項目類別：面上項目
- 項目負責人：楊路
- 依託單位：華東師範大學
- 批准號：10471044
- 申請代碼：A0605
- 負責人職稱：教授
- 研究期限：2005-01-01 至 2007-12-31
- 支持經費：21（萬元）
項目摘要
本項目研究組合幾何的數學機械化理論，特別是全局最最佳化問題的算法和實現。通過研究解決凸性等組合性質的機器表示，研究圖形局部微小移動技巧的自動化，解決複雜半代數集的約簡，通過數值、符號混合計算技術解決機械化算法中的中間過程膨脹困難，通過將網路計算和格線計算引入符號計算解決大規模非線性方程和不等式組的精確解求解問題。同時，項目為工程和控制中的全局最最佳化實際套用問題的求解提供新的工具。
