線性微分-差分系統求解及分解的機械化算法研究

《線性微分-差分系統求解及分解的機械化算法研究》是依託華東師範大學，由吳敏擔任項目負責人的青年科學基金項目。

基本介紹

• 中文名：線性微分-差分系統求解及分解的機械化算法研究
• 項目類別：青年科學基金項目
• 項目負責人：吳敏
• 依託單位：華東師範大學
• 批准號：10801052
• 申請代碼：A0605
• 負責人職稱：副教授
• 研究期限：2009-01-01 至 2011-12-31
• 支持經費：17（萬元）

項目摘要

線性微分-差分系統是一類在數學、數學物理和控制理論中有著重要套用的系統。本項目將套用計算機代數技術來研究線性微分-差分系統的求解和分解的機械化算法。我們將在已有的工作基礎上， 建立線性微分-差分混合情形下的Galois理論，給出線性微分-差分系統有閉形式解的判定，設計和實現一個完全、高效的線性微分-差分系統分解的機械化算法，使得這些研究成果能夠套用於組合恆等式的自動證明、控制理論中線性系統的特性研究等方面。