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

【摘要】：為解決當(dāng)前可執(zhí)行模型構(gòu)建效率低、重用性差所造成的體系結(jié)構(gòu)驗(yàn)證困難,實(shí)現(xiàn)自動(dòng)化的可執(zhí)行模型構(gòu)建,提出了一種基于模型轉(zhuǎn)換的C4ISR體系結(jié)構(gòu)可執(zhí)行模型構(gòu)建方法。該方法基于國(guó)際國(guó)防企業(yè)體系結(jié)構(gòu)本體規(guī)范(international defense enterprise architecture specification,IDEAS),構(gòu)建了C4ISR體系結(jié)構(gòu)作戰(zhàn)視圖元模型;建立了對(duì)象Petri網(wǎng)(object Petri-net,OPN)建模元素與體系結(jié)構(gòu)元模型數(shù)據(jù)元素的映射關(guān)系,重點(diǎn)研究了幾種通用流程模式下體系結(jié)構(gòu)元模型數(shù)據(jù)與OPN之間的語(yǔ)義轉(zhuǎn)換規(guī)則;最后,以某防空作戰(zhàn)指揮信息系統(tǒng)體系結(jié)構(gòu)為例,依據(jù)獲取的體系結(jié)構(gòu)數(shù)據(jù),基于以上方法有效地構(gòu)建了驗(yàn)證作戰(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.
【作者單位】： 國(guó)防信息學(xué)院;北京系統(tǒng)工程研究所;
【基金】：國(guó)家自然科學(xué)基金(71171197) 中國(guó)博士后科學(xué)基金(2013T60919)資助課題
【分類號(hào)】：TP303

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

6 郝甲東;張?jiān)骑w;魏冰;;PlanetLab綜述[A];中國(guó)通信學(xué)會(huì)信息通信網(wǎng)絡(luò)技術(shù)委員會(huì)2009年年會(huì)論文集（上冊(cè)）[C];2009年

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

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

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

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

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

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

2 ;落入芯片兩巨頭[N];中國(guó)計(jì)算機(jī)報(bào);2001年

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

4 本報(bào)記者 陳翔;HPC的百億億次布局[N];中國(guó)計(jì)算機(jī)報(bào);2011年

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

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

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

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

9 邵宗有;源自曙光3000的IA集群[N];中國(guó)計(jì)算機(jī)報(bào);2002年

10 ;千萬(wàn)億次的背后[N];中國(guó)計(jì)算機(jī)報(bào);2006年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：2069948