本文選題：CISR體系結(jié)構(gòu) + 體系結(jié)構(gòu)驗證　； 參考：《系統(tǒng)工程與電子技術(shù)》2014年08期

【摘要】：為解決當(dāng)前可執(zhí)行模型構(gòu)建效率低、重用性差所造成的體系結(jié)構(gòu)驗證困難,實現(xiàn)自動化的可執(zhí)行模型構(gòu)建,提出了一種基于模型轉(zhuǎn)換的C4ISR體系結(jié)構(gòu)可執(zhí)行模型構(gòu)建方法。該方法基于國際國防企業(yè)體系結(jié)構(gòu)本體規(guī)范(international defense enterprise architecture specification,IDEAS),構(gòu)建了C4ISR體系結(jié)構(gòu)作戰(zhàn)視圖元模型;建立了對象Petri網(wǎng)(object Petri-net,OPN)建模元素與體系結(jié)構(gòu)元模型數(shù)據(jù)元素的映射關(guān)系,重點研究了幾種通用流程模式下體系結(jié)構(gòu)元模型數(shù)據(jù)與OPN之間的語義轉(zhuǎn)換規(guī)則;最后,以某防空作戰(zhàn)指揮信息系統(tǒng)體系結(jié)構(gòu)為例,依據(jù)獲取的體系結(jié)構(gòu)數(shù)據(jù),基于以上方法有效地構(gòu)建了驗證作戰(zhàn)規(guī)則的OPN模型。
[Abstract]:In order to solve the problem of system structure verification caused by low efficiency and poor reusability of executable model, a method of constructing executable model of C4ISR architecture based on model transformation is proposed. This method is based on the international defense enterprise architecture ontology specification (international defense enterprise architecture specification idea, constructs the C4ISR architecture operational view meta-model, establishes the mapping relationship between the object Petri-net modeling element and the architecture meta-model data element. The semantic transformation rules between architecture metadata and OPN under several general flow patterns are studied emphatically. Finally, taking the architecture of an air defense command information system as an example, according to the obtained architecture data, Based on the above methods, an OPN model to verify the operational rules is constructed effectively.
【作者單位】： 國防信息學(xué)院;北京系統(tǒng)工程研究所;
【基金】：國家自然科學(xué)基金(71171197) 中國博士后科學(xué)基金(2013T60919)資助課題
【分類號】：TP303

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 惠毓明;;CONVEX C-1小巨型計算機的體系結(jié)構(gòu)[J];計算機研究與發(fā)展;1988年12期

2 Markus Levy;;微機體系結(jié)構(gòu)主宰芯片集的特性[J];電子設(shè)計技術(shù);1997年05期

3 ;飛思卡爾簡化8位應(yīng)用開發(fā)[J];每周電腦報;2006年04期

4 沈翠華;;開設(shè)綜合實驗,培養(yǎng)創(chuàng)新能力──計算機體系結(jié)構(gòu)綜合實驗研究的總結(jié)[J];科技信息(科學(xué)教研);2007年27期

5 彭國慶;周冠宇;;云計算分層體系結(jié)構(gòu)研究[J];移動通信;2010年16期

6 許耀昌;三位一體的可視化工作站[J];電子出版;1999年06期

7 陳波,于泠;多處理機體系結(jié)構(gòu)的發(fā)展[J];微機發(fā)展;2000年01期

8 Brian Dipert;;SRAM結(jié)構(gòu)標(biāo)準(zhǔn)制訂權(quán)之爭[J];電子設(shè)計技術(shù);2002年06期

9 ;技術(shù)前沿[J];電子設(shè)計技術(shù);2003年07期

10 牛英山,羅闖;嵌入式8位MCU IP軟核的設(shè)計[J];微處理機;2005年03期

相關(guān)會議論文 前10條

1 廖祥家;王潛平;;FC——計算機體系結(jié)構(gòu)的一次革新[A];2008'中國信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（二）[C];2008年

2 夏建洲;;網(wǎng)絡(luò)流媒體服務(wù)器[A];中國電影電視技術(shù)學(xué)會影視科技論文集[C];2002年

3 趙娟;朱光喜;;DSP體系結(jié)構(gòu)與軟件優(yōu)化性能比較[A];現(xiàn)代通信理論與信號處理進(jìn)展——2003年通信理論與信號處理年會論文集[C];2003年

4 謝浩;張健;;星載SPARC V8嵌入式系統(tǒng)設(shè)計[A];2007'中國儀器儀表與測控技術(shù)交流大會論文集（二）[C];2007年

5 屈婉霞;郭御風(fēng);李瓊;徐煒遐;;HyperTransport及其驗證[A];全國第13屆計算機輔助設(shè)計與圖形學(xué)（CAD/CG）學(xué)術(shù)會議論文集[C];2004年

6 郝甲東;張云飛;魏冰;;PlanetLab綜述[A];中國通信學(xué)會信息通信網(wǎng)絡(luò)技術(shù)委員會2009年年會論文集（上冊）[C];2009年

7 譚保華;趙世平;查純;劉金濤;;基于LPC2132和ISP1160設(shè)計通用USB主機[A];第六屆全國信息獲取與處理學(xué)術(shù)會議論文集（3）[C];2008年

8 楊仕平;熊光澤;桑楠;;基于雙超時檢測機制的三維容錯實時系統(tǒng)[A];第十屆全國容錯計算學(xué)術(shù)會議論文集[C];2003年

9 歐中紅;袁由光;李海山;戴新發(fā);;一種高性價比的容錯計算機結(jié)構(gòu)[A];第十屆全國容錯計算學(xué)術(shù)會議論文集[C];2003年

10 張國平;夏學(xué)知;涂葵;萬文福;;基于集群的艦載高可用公共計算設(shè)施的構(gòu)建技術(shù)研究[A];中國造船工程學(xué)會電子技術(shù)學(xué)術(shù)委員會2006學(xué)術(shù)年會論文集（上冊）[C];2006年

相關(guān)重要報紙文章 前10條

1 本報記者 宋家雨;差距不僅在計算能力[N];網(wǎng)絡(luò)世界;2008年

2 ;落入芯片兩巨頭[N];中國計算機報;2001年

3 ;PC體系結(jié)構(gòu)的變遷[N];計算機世界;2001年

4 本報記者 陳翔;HPC的百億億次布局[N];中國計算機報;2011年

5 風(fēng)吹;走在64位計算的前列[N];計算機世界;2001年

6 ;處理器上演多核大戲[N];計算機世界;2005年

7 ;創(chuàng)新的AUSPEX NAS2000體系[N];網(wǎng)絡(luò)世界;2002年

8 美國586芯片總設(shè)計師 王鋼;新“芯”之火 可以燎原[N];人民政協(xié)報;2003年

9 邵宗有;源自曙光3000的IA集群[N];中國計算機報;2002年

10 ;千萬億次的背后[N];中國計算機報;2006年

相關(guān)博士學(xué)位論文 前10條

1 李嘉欣;基三體系結(jié)構(gòu)中并行運算的關(guān)鍵機制研究[D];北京理工大學(xué);2010年

2 劉夢曉;基三體系結(jié)構(gòu)存儲系統(tǒng)相關(guān)問題的研究[D];北京理工大學(xué);2010年

3 嚴(yán)明;面向領(lǐng)域應(yīng)用的異構(gòu)多核SoC系統(tǒng)結(jié)構(gòu)設(shè)計與優(yōu)化[D];國防科學(xué)技術(shù)大學(xué);2011年

4 張波濤;片上高性能嵌入式計算—面向軟基帶的應(yīng)用并行處理模型及體系結(jié)構(gòu)[D];國防科學(xué)技術(shù)大學(xué);2011年

5 何義;流體系結(jié)構(gòu)指令管理及系統(tǒng)虛擬化仿真技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2010年

6 沈立;動態(tài)VLIW體系結(jié)構(gòu)關(guān)鍵技術(shù)研究與實現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2003年

7 廖銀;動態(tài)二進(jìn)制翻譯建模及其并行化研究[D];中國科學(xué)技術(shù)大學(xué);2013年

8 楊華;片上多線程體系結(jié)構(gòu)資源分配策略的研究[D];哈爾濱工業(yè)大學(xué);2006年

9 張承義;超深亞微米微處理器漏流功耗的體系結(jié)構(gòu)級優(yōu)化技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2006年

10 周宏偉;微處理器中Cache漏流功耗的體系結(jié)構(gòu)級優(yōu)化技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2007年

相關(guān)碩士學(xué)位論文 前10條

1 陳靚;可穿戴計算平臺的總體設(shè)計及其低功耗研究[D];西北大學(xué);2007年

2 趙國冬;安全嵌入式系統(tǒng)體系結(jié)構(gòu)研究與設(shè)計[D];哈爾濱工程大學(xué);2006年

3 劉衛(wèi)華;16位數(shù)字信號處理器IP核的開發(fā)[D];哈爾濱工業(yè)大學(xué);2007年

4 王慶林;基于共享前端的流多核體系結(jié)構(gòu)關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2011年

5 何銳;GPGPU多核流體系結(jié)構(gòu)與功耗模擬研究[D];國防科學(xué)技術(shù)大學(xué);2010年

6 陳祥鵬;基于多處理器雙總線體系結(jié)構(gòu)的設(shè)計與實現(xiàn)[D];青島大學(xué);2011年

7 徐元旭;SIMT線程調(diào)度模型分析及優(yōu)化[D];哈爾濱工業(yè)大學(xué);2013年

8 胡藉;面向下一代PC體系結(jié)構(gòu)的主板BIOS研究與實現(xiàn)[D];南京航空航天大學(xué);2005年

9 蔣亞群;基于DLX體系結(jié)構(gòu)的微處理器核的設(shè)計與實現(xiàn)[D];中國人民解放軍國防科學(xué)技術(shù)大學(xué);2002年

10 鄒之霽;基于顯式授權(quán)方法的計算機體系結(jié)構(gòu)的研究[D];國防科學(xué)技術(shù)大學(xué);2004年

，

本文編號：2069948