數值代數與多項式計算的複雜性

《數值代數與多項式計算的複雜性》是依託西安交通大學，由路浩擔任項目負責人的青年科學基金項目。

基本介紹

• 中文名：數值代數與多項式計算的複雜性
• 項目類別：青年科學基金項目
• 項目負責人：路浩
• 依託單位：西安交通大學
• 負責人職稱：講師
• 申請代碼：A0502
• 研究期限：1990-01-01 至 1992-12-31
• 批准號：18901019
• 支持經費：1（萬元）

中文摘要

本課題主要研究軟體構造中的兩項關鍵性技術因素：即構件的表示和組裝構造過程的控制。基於SCOP軟體構造模式，完善我們已有的對象模型和建立過程控制模型，提出了相應的軟體構造規範和方法，開發了支持軟體構造的環境原型，並在原型系統中成功地開發了具體的套用實例。本課題的研究結果，即軟體構造模型具有下面特徵：1、基於分布對象模型，可以很好地支持軟體復用。2、軟體構造由高級過程程式語言控制，使構造過程形式化、具體化。3、基於形式化技術，支持軟體的行為語義約束。實際套用開發結果表明，SCOP模型和方法具有良好的套用前景。