期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于PEPA的防空指控系统优化设计研究 被引量：1

下载PDF
导出
摘要 信息化战争对防空指控系统设计提出了更高的要求。针对防空指控系统复杂性,结合自身内部效能和外部作战环境影响,将定性定量分析相结合,使用过程代数方法定量评价防空指控系统的设计效果,进而指引防空指控系统的优化设计方向,提出了规范的防空指控系统设计方法。案例分析表明,该方法能够从定性定量相结合的角度对防空指控系统进行设计和说明,过程明确简洁、结论真实可信。
作者 黄金才 程光权
机构地区 国防科学技术大学信息系统工程重点实验室
出处 《军事运筹与系统工程》 2014年第4期16-22,共7页 Military Operations Research and Systems Engineering
关键词 防空指控系统 性能评价过程代数 系统设计方法
分类号 E917 [军事]
  • 相关文献

参考文献10

二级参考文献80

  • 1唐硕,陈士橹,赵建卫.飞行器设计与试验的虚拟样机技术[J].宇航学报,2000,21(z1):1-6. 被引量：23
  • 2王志坚.陆军指挥控制信息系统总体设计[J].电子工程师,2006,32(5):66-69. 被引量：6
  • 3张玉玺,刘铭.防空导弹网络化作战系统效能评估[J].弹箭与制导学报,2006,26(3):309-310. 被引量：9
  • 4刘曙阳.指挥中心体系结构[M].北京:军事科学出版社,1999,1.
  • 5蒋为民.俄罗斯防空体系建设研究[M].北京:国防大学出版社,2002..
  • 6Buchholz, P. Lumpability and nearly-lumpability in hierarchical queueing networks. In: Computer Performance and Dependability Symposium. 1995. 82～91. http://www.ieee.org.
  • 7Brinksma, Ed. Stochastic process algebras: Linking process descriptions with performance. 1999 IFIP TC6/WG6.1 Joint International Conference (FORTE/PSTV'99) on Formal Description Techniques (FORTE XLL) for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV XIX). 1999.
  • 8Hachtel, G., Macii, E., Padro, A., et al. Markovian analysis of large finite-state machines. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996,15(12):1479～1493.
  • 9Bolognesi, T., Lucidi, F., Trigila, S. Converging towards a timed LOTOS standard. Computer Standards and Interfaces, 1994,16(2): 87～118.
  • 10Leonard, L., Leduc, G. An introduction to ET-LOTOS for the description of time sensitive systems. Computer Networks and ISDN Systems, 1997,29(3):271～292.

共引文献40

引证文献1

军事运筹与系统工程
2014年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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