基于Petri网的防空作战过程建模

赋时着色Petri网(TCPN)是在CPN基础发展起来的图形化描述工具,适用于带有时间特性系统的性能评价与仿真。将TCPN加以改进,增加测试弧,时间特性反映在变迁上,且允许时间与标记值可按复杂的函数变化,使Petri网可同时描述离散的状态和连续的变化,由此提出了适于防空作战过程建模的面向仿真的TCPN,并对其在一个小型的防空对抗作战过程的有关作战单元建模中的应用进行了探讨。     

基于SPN有限等待差错服务的火力单元排队模型

给出了一般排队模型的SPN描述,分析了防空火力单元的实际作战过程,在已有的火力单元的模型基础上,提出了有限等待差错服务的排队模型,详细分析了排队模型的运行机制,包括顾客有限等待、优先级的排队等,最后运用SPN理论对应的联系谓词公式和随机开关对模型进行了强有力的描述。是构建防空战役层面大型排队网络模型的基础。     

理论创新是党的建设的灵魂

中国共产党以马克思列宁主义、毛泽东思想、邓小平理论作为自己的行动指南。理论创新是党的三代领导集体的优良传统 ,党在理论创新中坚持和发展了马克思主义 ;理论创新是党进行实践创新的先导 ,党在理论创新中领导和夺取了中国革命、建设、改革的伟大胜利 ;理论创新是党的建设的灵魂 ,党在理论创新中开创和推动了党的建设新的伟大工程。     

∑-△A/D转换的原理

传统ADC主要依靠一揽子电阻网络来保证量化的精度,所以,其精度不可能做得很高。而∑-△A/D则转而依靠数字处理技术来提高精度。本文对低通∑-△调制器的原理作了较为详尽的分析,阐述了∑-△A/D的信号重构过程及其发展方向。     

ATM网中VBR MPEG视频源的RAR(1)模型

对MPEG视频源中一个典型的实际数据序列———星球大战电影序列进行分类、统计分析 ,建立了一个新的RAR ( 1)模型。拟合效果表明 ,RAR ( 1)模型的输出轨迹 ,其形状与实际数据十分形似 ,能够包括场景改变时的大量尖峰。拟合后的RAR ( 1)模型的自相关与实际数据的自相关十分匹配。平稳概率分布接近Gamma分布 ,与实际视频数据的分布一致     

CPN的矩阵定义及其应用

传统的着色Petri网(CPN)用复集进行定义,这使得CPN的表达和计算比较复杂,考虑到复集可以被认为是两个矩阵的乘积且CPN是由一系列基网相同的Petri网迭加组成,本文引入了着色令牌向量的概念对CPN进行了重新定义,并对其在可达标识、IDEFO向CPN的转换等应用进行了初步研究。     

日本水下力量“三代同堂”

近年来,日本海上自卫队进一步加强了包括潜艇部队在内的远洋作战力量的建设,目前已经拥有一支规模适中、装备精良、具有较强作战能力的水下力量。     

树状军事通信网中的文件传输优化算法

针对树状军事通信网中的文件传输优化问题,提出了一种有效的寻找最优的树图边着色算法,该算法保证了边着色后的树图中"延迟损耗"总和最小,并由求取最小"延迟损耗"的反向推导过程得到最优的树状通信网文件传输方案.算法的计算复杂度是,其中为顶点数,为树的最大度.     

网络中心战概念及其体系结构模型

介绍了美、英、澳等军事大国在网络中心战领域的研究状况,阐释了制信息权的概念,给出了网络中心战的定义.分析了美军在<2020年联合构想>中确认的核心作战概念,详细阐述了网络中心作战的顶层概念框架及顶层概念到第二层的映射关系.介绍了网格技术,提出了网络中心战网格模型的立体结构和平面结构,最后总结了对这一领域研究的重要意义.     

区域防空反导火控网的数据融合问题研究

由于组成区域防空反导火控网的各部光电瞄具之间是异步工作的,造成跟踪参数融合上出现较大误差,为此,提出一种解决异步数据融合问题的方法,并进行了计算机仿真,结果证明该方法可以有效完成火控系统参数融合问题。