【摘 要】
：
防空作战是大型水面舰艇编队的主要作战样式之一。运用PEPA(性能评价过程代数)方法对舰艇编队防空作战全过程进行有效建模,形式化描述了预警探测、情报传递、命令下达、防空
【机 构】
：
国防科技大学信息系统工程重点实验室
论文部分内容阅读
防空作战是大型水面舰艇编队的主要作战样式之一。运用PEPA(性能评价过程代数)方法对舰艇编队防空作战全过程进行有效建模,形式化描述了预警探测、情报传递、命令下达、防空拦截等作战主要过程。建立的PEPA模型具有层次化结构,考虑了要素间相互协作,体现了编队防空作战分布、并发的特点。通过对建立的PEPA模型进行性能指标选择和稳定状态分析,得到了不同因素对编队能力发挥的影响情况,获得了防空作战的基本要素组成,从而提供了一种解决舰艇编队问题的新方法。
其他文献
<正>在日本近代教育史上,女子教育可谓是一枝奇葩,独具特色。基于当时的教育学制产生的女子学校以及之后发展而成的女子大学,对日本近代教育的发展起到了强有力的推动作用,在
本文主要研究混合流水生产系统设计中的多目标协同优化问题，基于协同设计的思想，综合了混合流水生产系统中平衡设计与排产设计两个方面的协同和交互效应，进行面向排产的平衡设计
汉语学习在世界范围内的快速升温，为对外汉语教学的快速发展带来极大的机遇，同时也要求对外汉语教学有更高的教学效率和更好的教学效果。传统的对外汉语教学存在着诸如教材与时
经济的不断发展,社会的不断进步,这些都和老干部有着很大的关系,老干部为了我国的经济社会发展支持与奉献了他们的一生。当他们逐渐老去,就渐渐不能继续在工作岗位上奉献自己
建设工程施工合同是《合同法》规定的有名合同之一，其内容涉及建筑和法律等多方面的知识，较为复杂。在实践中，建设工程施工合同争议较多，许多法律问题有待明确的界定。本文运用合
新华书店在市场经济的大潮中,如何实现发行企业的科学发展,首先就是如何创新人才管理机制和破解人力资源建设问题。社会要进步,企业要发展,最主要的是因素之一就是要实施人才
<正>福泽谕吉是日本近代杰出启蒙思想家,日本近代文明的缔造者之一,被誉为"日本的伏尔泰"。福泽谕吉在推动日本近代化过程中,也引导日本走向了对外扩张之路。
日本对朝鲜之"西蕃观"脱胎于中国的华夷观念,但又不同于中国的华夷观念。"西蕃观"不是中国传统的以文化别华夷,只是以强硬手段控制朝鲜半岛,要求朝鲜半岛向日本朝贡。这种外
随着信息技术尤其是网络技术的飞速发展,全球数据正在爆炸式增长,我们收集、存储和处理大量数据的能力正在改变着科学、医疗、商务等各个领域。在已经到来的大数据时代,医疗
<正> 血液系统疾病以贫血、出血、感染发热为主要特征,严重威胁人类健康和生命安全,且近几年有增多趋势。尤其是白血病,缺少特效疗法,被人们称为“血癌”,多发于青少年,是一