2021精品极品国产色在线首页,R级无码视频在线观看,av无码天堂一区二区三区

系統(tǒng)仿真學(xué)報(bào)

編輯出版：系統(tǒng)仿真學(xué)報(bào)雜志編輯部
主辦：中國(guó)系統(tǒng)仿真學(xué)會(huì);航天科工集團(tuán) 706 所
出版周期：半月刊出版地：北京市
語(yǔ)種：中文　　ISSN：1004-731X

相關(guān)推薦

《信息安全與通信保密雜志》2010年09

《計(jì)算機(jī)仿真雜志》2013年05期

《計(jì)算機(jī)安全雜志》2009年10期

《智能制造雜志》2016年01期

《中國(guó)教育信息化雜志》2013年19期

《圖學(xué)學(xué)報(bào)雜志》2006年01期

《電腦開發(fā)與應(yīng)用雜志》2006年09期

《現(xiàn)代圖書情報(bào)技術(shù)雜志》2008年02期

《電腦知識(shí)與技術(shù)雜志》2004年34期

《計(jì)算機(jī)應(yīng)用雜志》2010年07期

《系統(tǒng)仿真學(xué)報(bào)雜志》2007年S1期目錄

基于T-不變量的可重復(fù)向量的求解算法
劉關(guān)俊;蔣昌俊;吳哲輝;
系統(tǒng)仿真學(xué)報(bào)
Petri網(wǎng)共享T型子網(wǎng)合成活性分析
夏傳良;
謂詞/變遷系統(tǒng)對(duì)一階謂詞公式的建模
耿霞;吳哲輝;張繼軍;
公平Petri網(wǎng)中同步距離計(jì)算的一個(gè)實(shí)現(xiàn)算法
王麗麗;吳哲輝;
同步及共享合成操作對(duì)Petri網(wǎng)匯合性質(zhì)的保持性
王鵬偉;吳哲輝;
改進(jìn)的哲學(xué)家進(jìn)餐問(wèn)題無(wú)饑餓解的Petri網(wǎng)模型
劉關(guān)俊;吳哲輝;
庫(kù)所耦合網(wǎng)的T-不變量求解算法
岳昊;吳哲輝;
Petri網(wǎng)Ontology:定義與類型
黃映輝;李冠宇;
Petri網(wǎng)模型參數(shù)化可達(dá)圖研究
宋佳興;林闖;
可達(dá)性與狀態(tài)方程可滿足論文QQ81995535 性等價(jià)的兩個(gè)Petri網(wǎng)子類
包云霞;魯法明;曾慶田;
T-時(shí)延離散Petri網(wǎng)的運(yùn)行原理及其性質(zhì)
趙義軍;吳哲輝;
高級(jí)Petri網(wǎng):基于ISO/IEC15909的理解
黃映輝;李冠宇;
在學(xué)習(xí)和應(yīng)用Petri網(wǎng)中值得注意的幾個(gè)問(wèn)題
楊文龍;
基于Petri網(wǎng)的軟件維護(hù)過(guò)程建模及應(yīng)用分析
丁劍潔;侯紅;郝克剛;
基于Petri網(wǎng)的Web個(gè)性化服務(wù)
宋愛(ài)波;羅軍舟;劉波;李偉;
顏色Petri網(wǎng)一種專有協(xié)議的描述和驗(yàn)證
黃天福;白光偉;
基于Petri網(wǎng)的狀態(tài)機(jī)變遷的形式化方法研究
何建偉;姚淑珍;
OWL-S服務(wù)操作語(yǔ)義的Petri網(wǎng)描述新方法
馬炳先;杜玉越;
基于Petri網(wǎng)的軟件項(xiàng)目管理建模方法
祁方民;魚濱;史立軍;牟力科;
軟構(gòu)件行為適應(yīng)的Petri網(wǎng)方法研究
謝兄;張維石;
IPTV數(shù)字內(nèi)容版權(quán)保護(hù)安全協(xié)議的設(shè)計(jì)
郭迎九;林闖;尹浩;
基于多Agent系統(tǒng)網(wǎng)管模型的形式化建模
李偉;羅軍舟;
基于同步網(wǎng)的BPEL建模和驗(yàn)證
徐春香;屈婉玲;王捍貧;黃雨;袁崇義;
UML類圖到CPN轉(zhuǎn)化方法的研究
田保軍;
UML通信圖和Petri網(wǎng)轉(zhuǎn)換方法的研究
孫瑩;蔣波;王赫;
一種基于模糊Petri網(wǎng)的并行推理方法
徐歡;李孝忠;
Petri網(wǎng)化簡(jiǎn)技術(shù)的研究
汪琳;樂(lè)曉波;陳國(guó)平;
基于邏輯Petri網(wǎng)的物流配送系統(tǒng)建模
石春玲;杜玉越;
基于著色Petri網(wǎng)的GEO-RBAC策略驗(yàn)證
封富君;林闖;李俊山;
棧結(jié)構(gòu)的增廣Petri網(wǎng)模型
李瑩瑩;吳哲輝;
分層CPN在礦井饋電系統(tǒng)建模中的應(yīng)用
韓江洪;翟軍華;魏振春;畢翔;陸陽(yáng);
用于實(shí)現(xiàn)異步通信的一種模塊化Petri網(wǎng)
黃小煒;陸維明;
一種基于著色賦時(shí)Petri網(wǎng)的Web服務(wù)組合建模方法
王赫;蔣波;孫瑩;單宇姣;
基于Petri網(wǎng)的一類調(diào)度問(wèn)題的分層控制器設(shè)計(jì)
張志明;吳維敏;段紅霞;
著色Petri網(wǎng)在性能評(píng)價(jià)中的應(yīng)用
朱連章;隋瑞升;
基于Petri網(wǎng)的車輛交通實(shí)時(shí)調(diào)度研究
羅繼亮;鄒慧莉;金福江;
基于廣義隨機(jī)Petri網(wǎng)的SIP的驗(yàn)證和性能分析
楊鵬;袁占亭;王繼曾;
基于ExSpect的排隊(duì)系統(tǒng)建模與仿真
胡雄鷹;胡斌;張金隆;
基于擴(kuò)展的P/T_系統(tǒng)工作流建模的研究
婁淵勝;劉瑾;黃龍達(dá);
基于代數(shù)的模糊Petri網(wǎng)逆向推理算法
門鵬;段振華;
基于增廣Petri網(wǎng)帶封鎖機(jī)制的數(shù)據(jù)庫(kù)并發(fā)控制模型
蔣忠遠(yuǎn);宋文;姚建;
基于語(yǔ)言等價(jià)的Petri網(wǎng)化簡(jiǎn)
張繼軍;董衛(wèi);
基于增廣自控網(wǎng)的路燈故障檢測(cè)系統(tǒng)
嚴(yán)兵;宋文;蔣忠遠(yuǎn);
基于Petri網(wǎng)統(tǒng)一模型的系統(tǒng)開發(fā)方法研究
王志堅(jiān);魏定國(guó);吳時(shí)霖;
引用網(wǎng)建模工具Renew的性能評(píng)估擴(kuò)展
黃冬泉;張敏;黃河;徐振亞;
虛擬儀器和模糊Petri網(wǎng)在故障診斷中應(yīng)用
張明虎;全恩仲;陳少杰;張建軍;王涌;
結(jié)合Petri網(wǎng)和UML的用戶交互行為建模研究
徐享忠;王精業(yè);荊濤;
Agent網(wǎng)及其在軍事物流體系績(jī)效評(píng)價(jià)中的應(yīng)用
劉衛(wèi)華;沈如松;沙基昌;
基于顏色Petri網(wǎng)的多agent動(dòng)態(tài)調(diào)度建模與分析
劉波;羅軍舟;宋愛(ài)波;
計(jì)算網(wǎng)格任務(wù)調(diào)度的隨機(jī)高級(jí)Petri網(wǎng)模型與分析
單志廣;林闖;
基于時(shí)間Petri網(wǎng)的潛在定時(shí)分析
劉勇志;劉丙杰;
復(fù)雜裝備維修性驗(yàn)證仿真方法研究
胡志剛;黎放;陳波;
基于有色賦時(shí)Petri網(wǎng)的半導(dǎo)體生產(chǎn)線建模技術(shù)研究
曹政才;喬非;
基于Petri網(wǎng)的行為建模在艦艇CGF中的應(yīng)用研究
王立強(qiáng);孫永侃;
參考文獻(xiàn)標(biāo)注格式
控制系統(tǒng)功能表圖的電路實(shí)現(xiàn)
趙不賄;
基于Petri網(wǎng)的交通信號(hào)控制系統(tǒng)
蔣忠遠(yuǎn);宋文;楊博;
曙光作業(yè)管理系統(tǒng)的可用性評(píng)價(jià)
何昱;歷軍;聶華;
基于TCPN的裝備維修保障資源管理模型
宋光明;王勝德;宋建社;
基于著色Petri網(wǎng)的衛(wèi)星軍事應(yīng)用系統(tǒng)建模
李強(qiáng);趙新國(guó);徐雪峰;
基于隨機(jī)Petri網(wǎng)工作流檔案管理系統(tǒng)的建模與分析
谷佰軍;孫勁光;田立勤;
基于Petri網(wǎng)的企業(yè)過(guò)程模型的BPEL實(shí)現(xiàn)
姚淑珍;張亮;
基于隨機(jī)賦時(shí)Petri網(wǎng)的車輛交通系統(tǒng)建模與仿真
羅繼亮;鄒慧莉;
隨機(jī)Petri網(wǎng)的坦克綜電系統(tǒng)總線性能分析
劉金萍;宋小慶;李匡成;高東飛;王冬;
基于時(shí)間Petri網(wǎng)的電力系統(tǒng)故障恢復(fù)算法的研究
劉春穎;李月喬;文亞鳳;
基于著色petri網(wǎng)的電子商務(wù)跨組織工作流建模與分析
韓耀軍;郭家堂;
基于Grafcet的電梯控制系統(tǒng)建模
王壽光;林善法;張有兵;
基于Petri Fault Net的磁浮列車懸浮系統(tǒng)故障分析
龍志強(qiáng);張永燾;葉俊;
一種Petri網(wǎng)模型完備日志生成算法
查海平;王建民;聞立杰;
過(guò)程挖掘的研究現(xiàn)狀與問(wèn)題綜述
曾慶田;
一種基于Petri網(wǎng)的序列密碼加密方案
吳振寰;吳哲輝;
雙變遷Petri網(wǎng)的電路模擬技術(shù)研究
郭軍;郝克剛;
《系統(tǒng)仿真學(xué)報(bào)》投稿須知

計(jì)算機(jī)論文導(dǎo)航: 北大核心統(tǒng)計(jì)源核心 CSCD CSCD擴(kuò)展國(guó)家級(jí)期刊省級(jí)期刊雜志見(jiàn)刊

基于T-不變量的可重復(fù)向量的求解算法

系統(tǒng)仿真學(xué)報(bào)

Petri網(wǎng)共享T型子網(wǎng)合成活性分析

謂詞/變遷系統(tǒng)對(duì)一階謂詞公式的建模

公平Petri網(wǎng)中同步距離計(jì)算的一個(gè)實(shí)現(xiàn)算法

同步及共享合成操作對(duì)Petri網(wǎng)匯合性質(zhì)的保持性

改進(jìn)的哲學(xué)家進(jìn)餐問(wèn)題無(wú)饑餓解的Petri網(wǎng)模型

庫(kù)所耦合網(wǎng)的T-不變量求解算法

Petri網(wǎng)Ontology:定義與類型

Petri網(wǎng)模型參數(shù)化可達(dá)圖研究

可達(dá)性與狀態(tài)方程可滿足 論文QQ81995535 性等價(jià)的兩個(gè)Petri網(wǎng)子類

T-時(shí)延離散Petri網(wǎng)的運(yùn)行原理及其性質(zhì)

高級(jí)Petri網(wǎng):基于ISO/IEC15909的理解

在學(xué)習(xí)和應(yīng)用Petri網(wǎng)中值得注意的幾個(gè)問(wèn)題

基于Petri網(wǎng)的軟件維護(hù)過(guò)程建模及應(yīng)用分析

基于Petri網(wǎng)的Web個(gè)性化服務(wù)

顏色Petri網(wǎng)一種專有協(xié)議的描述和驗(yàn)證

基于Petri網(wǎng)的狀態(tài)機(jī)變遷的形式化方法研究

OWL-S服務(wù)操作語(yǔ)義的Petri網(wǎng)描述新方法

基于Petri網(wǎng)的軟件項(xiàng)目管理建模方法

軟構(gòu)件行為適應(yīng)的Petri網(wǎng)方法研究

IPTV數(shù)字內(nèi)容版權(quán)保護(hù)安全協(xié)議的設(shè)計(jì)

基于多Agent系統(tǒng)網(wǎng)管模型的形式化建模

基于同步網(wǎng)的BPEL建模和驗(yàn)證

UML類圖到CPN轉(zhuǎn)化方法的研究

UML通信圖和Petri網(wǎng)轉(zhuǎn)換方法的研究

一種基于模糊Petri網(wǎng)的并行推理方法

Petri網(wǎng)化簡(jiǎn)技術(shù)的研究

基于邏輯Petri網(wǎng)的物流配送系統(tǒng)建模

基于著色Petri網(wǎng)的GEO-RBAC策略驗(yàn)證

棧結(jié)構(gòu)的增廣Petri網(wǎng)模型

分層CPN在礦井饋電系統(tǒng)建模中的應(yīng)用

用于實(shí)現(xiàn)異步通信的一種模塊化Petri網(wǎng)

一種基于著色賦時(shí)Petri網(wǎng)的Web服務(wù)組合建模方法

基于Petri網(wǎng)的一類調(diào)度問(wèn)題的分層控制器設(shè)計(jì)

著色Petri網(wǎng)在性能評(píng)價(jià)中的應(yīng)用

基于Petri網(wǎng)的車輛交通實(shí)時(shí)調(diào)度研究

基于廣義隨機(jī)Petri網(wǎng)的SIP的驗(yàn)證和性能分析

基于ExSpect的排隊(duì)系統(tǒng)建模與仿真

基于擴(kuò)展的P/T_系統(tǒng)工作流建模的研究

基于代數(shù)的模糊Petri網(wǎng)逆向推理算法

基于增廣Petri網(wǎng)帶封鎖機(jī)制的數(shù)據(jù)庫(kù)并發(fā)控制模型

基于語(yǔ)言等價(jià)的Petri網(wǎng)化簡(jiǎn)

基于增廣自控網(wǎng)的路燈故障檢測(cè)系統(tǒng)

基于Petri網(wǎng)統(tǒng)一模型的系統(tǒng)開發(fā)方法研究

引用網(wǎng)建模工具Renew的性能評(píng)估擴(kuò)展

虛擬儀器和模糊Petri網(wǎng)在故障診斷中應(yīng)用

結(jié)合Petri網(wǎng)和UML的用戶交互行為建模研究

Agent網(wǎng)及其在軍事物流體系績(jī)效評(píng)價(jià)中的應(yīng)用

基于顏色Petri網(wǎng)的多agent動(dòng)態(tài)調(diào)度建模與分析

計(jì)算網(wǎng)格任務(wù)調(diào)度的隨機(jī)高級(jí)Petri網(wǎng)模型與分析

基于時(shí)間Petri網(wǎng)的潛在定時(shí)分析

復(fù)雜裝備維修性驗(yàn)證仿真方法研究

基于有色賦時(shí)Petri網(wǎng)的半導(dǎo)體生產(chǎn)線建模技術(shù)研究

基于Petri網(wǎng)的行為建模在艦艇CGF中的應(yīng)用研究

參考文獻(xiàn)標(biāo)注格式

控制系統(tǒng)功能表圖的電路實(shí)現(xiàn)

基于Petri網(wǎng)的交通信號(hào)控制系統(tǒng)

曙光作業(yè)管理系統(tǒng)的可用性評(píng)價(jià)

基于TCPN的裝備維修保障資源管理模型

基于著色Petri網(wǎng)的衛(wèi)星軍事應(yīng)用系統(tǒng)建模

基于隨機(jī)Petri網(wǎng)工作流檔案管理系統(tǒng)的建模與分析

基于Petri網(wǎng)的企業(yè)過(guò)程模型的BPEL實(shí)現(xiàn)

基于隨機(jī)賦時(shí)Petri網(wǎng)的車輛交通系統(tǒng)建模與仿真

隨機(jī)Petri網(wǎng)的坦克綜電系統(tǒng)總線性能分析

基于時(shí)間Petri網(wǎng)的電力系統(tǒng)故障恢復(fù)算法的研究

基于著色petri網(wǎng)的電子商務(wù)跨組織工作流建模與分析

基于Grafcet的電梯控制系統(tǒng)建模

基于Petri Fault Net的磁浮列車懸浮系統(tǒng)故障分析

一種Petri網(wǎng)模型完備日志生成算法

過(guò)程挖掘的研究現(xiàn)狀與問(wèn)題綜述

一種基于Petri網(wǎng)的序列密碼加密方案

雙變遷Petri網(wǎng)的電路模擬技術(shù)研究

《系統(tǒng)仿真學(xué)報(bào)》投稿須知

可達(dá)性與狀態(tài)方程可滿足論文QQ81995535 性等價(jià)的兩個(gè)Petri網(wǎng)子類