期刊文献+

基于CPN的舰船电子综合化系统总线建模 被引量:7

BUS MODELLING OF INTEGRATED SHIP ELECTRONIC SYSTEM USING COLOURED PETRI NET
在线阅读 下载PDF
导出
摘要 在舰船电子综合化系统的设计过程中,总线性能指标与整个系统的总体性能指标有着密切的关系。以有色Petri网CPN(Colored Petri Net)为理论工具,构建基于CPN的舰船电子综合化系统总线模型,给出了相应的控制规程。通过仿真实验得到总线性能指标的动态变化曲线,与理论计算值比较分析,验证了所建模型的正确性和有效性,所建模型可以为舰船电子综合化系统的设计与优化提供理论依据。 In design process of the integrated ship electronic system ( ISES), bus performance index is closely related to the overall indexes of the whole system. Using Coloured Petri Net (CPN) as the theoretical tool, we construct a CPN-based ISES bus model, and present the corresponding algorithm. Through the simulation experiment we obtain the dynamic variation curves of bus performance indexes. Compared with theoretical calculated value, the correctness and effectiveness of the model constructed are verified, this model can provide theoretical base for the design and optimisation of the ISES.
出处 《计算机应用与软件》 CSCD 北大核心 2012年第11期116-118,147,共4页 Computer Applications and Software
基金 国家重大专项(2009ZX01039-002-001-04)
关键词 舰船电子综合化系统 有色PETRI网 总线 建模 Integrated ship electronic system Coloured Petri net Bus Modelling
  • 相关文献

参考文献9

二级参考文献25

  • 1吴勇,宋海浪,陈铭,朱建民,宋巍.PETRI网理论在航空电子综合化系统中的应用[J].火力与指挥控制,2000,25(2):47-52. 被引量:6
  • 2张建东,吴勇,高晓光.基于DSPN的综合航电总线系统的性能评价[J].西北工业大学学报,2005,23(2):244-248. 被引量:15
  • 3孙晓颖,王万树,高电波.排队系统的随机Petri网描述与分析[J].长春邮电学院学报,1995,13(2):1-6. 被引量:4
  • 4Murdock R, Koenig J R. Open system avionics network to replace- MIL-- STD-- 1553 [J] . IEEE AESS Systems Magazine, 2001, (8) : 48.
  • 5M, Chiola G, On Petri nets with deterministic and exponentially distributed firing times. Advances in Petri Nets 1987, LNCS [J]. 266: 132-145.
  • 6Lindemann C. DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets. Performance Evaluation [J]. 1995, 22.
  • 7[4]CPN-Tools help.http://wiki,daimi,au.dk/cpntools-help/
  • 8[5]Weltens M.Building Logistic Games in CPN Tools[R].Eindhoven:Technische Universiteit Eindhoven,2005.
  • 9[6]那静.Eclipse SWT/JFace核心应用[Z].北京:清华大学出版社,2007.
  • 10[7]宋小庆,李匡成,张豫南.军用车辆综合电子系统[Z].北京:装甲兵工程学院,2007.

共引文献20

同被引文献45

  • 1张建东,吴勇,高晓光.基于DSPN的综合航电总线系统的性能评价[J].西北工业大学学报,2005,23(2):244-248. 被引量:15
  • 2朱岩,耿修堂,高晓光.基于随机Petri网的综合航电系统建模及分析[J].火力与指挥控制,2006,31(1):41-44. 被引量:7
  • 3熊华钢,王中华.先进航空电子技术[M].北京:国防工业出版社,2008:167-184.
  • 4陈正捷,陈志吴,张浅秋.坦克电子综合化.北京:兵器工业出版社,2006:42-93.
  • 5侯朝健.1553B总线通信信道负载和效率评估.成都:电子科技大学硕士论文,2007.
  • 6Boudec J Y L, Thiran P. Network Calculus : A Theory of Determinis- tic Queuing System for the Internet. Online Version: Springer- Verlag, 2011.
  • 7Ulrich K, Thomas H, Kai-Steffen H, et al. Delay Bounds for CAN Communication in Automotive Applieations//Proc. 14th GI/ITG Con- ference, Dortmund, Germany, March 31 -April 2,2008.
  • 8梁陈良,聂长海,徐宝文,陈振宇.一种基于模型检验的类测试用例生成方法[J].东南大学学报(自然科学版),2007,37(5):776-781. 被引量:7
  • 9Jensen K, Kristensen L M. Colcoured Petri Nes-Modeling and Validation of Concurrent Systems [M]. Spring Verlag Berlin, 2009.
  • 10Jensen K, Kristensen L M, Wells L. Colcoured Petri Nes and CPN Tools for Modeling and Validation of Concurrent Systems [J]. In ternational Journal on Software tools for Technology Transfer, 2007, 9 (3): 213-254.

引证文献7

二级引证文献12

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部