|
姜藶峰1,，2,，王長帥1，2,，羅清林1,，2，楊任農(nóng)3,，李鎖在1,，2，41.中電(海南)聯(lián)合創(chuàng)新研究院有限公司,，海南 澄邁571924,；2.海南省PK體系關鍵技術研究重點實驗室，海南 澄邁571924,；3.空軍工程大學 空管領航學院,，陜西 西安710051；4.中軟信息系統(tǒng)工程有限公司,，北京102209,。隨著社會各領域?qū)τ谒懔π枨蟮目焖僭鲩L，通過計算架構創(chuàng)新提升計算系統(tǒng)算力越來越收到重視,。計算系統(tǒng)的研制是一項復雜的系統(tǒng)工程,，計算架構的創(chuàng)新使得計算系統(tǒng)的復雜程度不斷增加，傳統(tǒng)的系統(tǒng)工程方法難以滿足系統(tǒng)研制需求,。采用基于模型的系統(tǒng)工程(MBSE)方法對一類計算系統(tǒng)的建模方法進行了研究,，提出了建模框架,，建立了系統(tǒng)模型,。運用此建模方法建立了某國產(chǎn)化計算系統(tǒng)模型，證明了建模方法的有效性,，為下一步運用計算機仿真技術進行一類計算系統(tǒng)研制奠定了基礎,。近年來，集成電路制成工藝進步與計算架構演進是計算系統(tǒng)在發(fā)展過程中得以不斷提升算力的主要原因,。隨著摩爾定律與狄納德縮放定律逐步逼近物理極限[1],，通過制成工藝進步提升算力的模式難以為繼。這就使得通過計算架構創(chuàng)新提升算力將成為今后提升算力的主要途徑,。計算架構是人工復雜系統(tǒng)研究的核心范疇[2],，因而借鑒國內(nèi)外航天航空領域系統(tǒng)工程經(jīng)驗，運用系統(tǒng)工程的工具和方法進行計算架構創(chuàng)新研究是可行和必要的,?；谀Ｐ偷南到y(tǒng)工程(Model-Based Systems Engineering,，MBSE)方法是指通過形式化的建模語言描述系統(tǒng)的結(jié)構、行為,、參數(shù),，以模型驅(qū)動的形式結(jié)合現(xiàn)代設計方法進行系統(tǒng)綜合設計，并貫穿整個設計周期的設計方法[3],。目前MBSE方法已經(jīng)被國內(nèi)外廣泛應用于航空[4-6],、航天[7-9]等領域并取得了諸多科研成果。
|
