向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

一种基于神经网络调整权值的雷达信号识别法

研究了一种基于神经网络训练修改权值的加权M距离法用于雷达信号的识别,通过仿真试验验证了此法的正确性和有效性,并对试验结果进行了分析和讨论。     

C3I系统仿真及仿真环境研究

首先讨论了C3I系统开发中存在的问题并提出解决这些问题的重要性,然后从C3I系统描述模型和仿真环境两个方面,介绍了国内外对于C3I系统仿真的研究现状和发展趋势.最后介绍了我们正在研制的基于对象Petri网的仿真演示环境的特点以及设计和实现方法.     

指挥控制参考模型研究进展

介绍指挥控制参考模型领域取得的最新进展。在理论上分析了该模型体系结构的不足,引入了逻辑端口的概念。在应用上讨论了建模过程中层次的分拆、组合的原则,并将使用实例图引入该模型的理论研究和对实际系统的建模,取得了若干重要结论。     

无人战斗机飞向未来海空战

近年来,随着美国国防部对无人驾驶战斗机的兴趣日益增长,研究无人战斗机已不再是纸上谈兵,而是进入了实质性的计划研究阶段。美国海军有关部门对此进行了专门研究,并启动了一项被称为“高机动致命飞行器”(HMLV)的无人驾驶战斗机的研制计划。     

贯彻《产品图样及设计文件的更改办法》标准的几个问题

产品图样及技术文件是产品生产、试验、验收、使用维护的依据。图样表达的内容应做到正确、清晰,符合图样管理制度的有关规定。图样及技术文件的更改,是产品技术状态管理的重要环节之一,它直接影响到产品的制造质量和工厂的经济效益,切不可忽视。WJ 7—83《产品图样及设计文件的更改办法》明确规定了图样、技术文件在更改过程中     

论 C3I 系统的建模

本文在对Ｃ~３Ｉ系统的建模问题进行深入讨论后,提出了一套用于Ｃ~３Ｉ系统建模的规范化建模方法,并由计算机实现了该方法,使得人们可以通过人机对话的形式进行建模。这一方法解决了目前战争系统尤其是Ｃ~３Ｉ系统的微分方程不易得到这个问题。文中给出了一个建模案例。     

苯乙炔与二苯丁二炔的共聚及共聚物的表征

本文以(Ph_3P)_2PdCl_2作催化剂,合成出聚二苯丁二炔和二苯丁二炔与苯乙炔共聚物。均聚物及共聚物产率都在90%以上,均聚物分子量为900,二苯丁二炔与苯乙炔最佳摩尔比为1/2(数均分子量为1205)。结构分析表明,均聚物及共聚物均具有反—反式结构。     

C3I系统中基于Petri网的可靠性仿真建模

C3I系统是一个复杂的可修系统,采用通常的解析法和马尔科夫过程法难以求出C3I所需的可靠性参数.故障树能够很好的对复杂系统的故障发生进行定性的分析,而随机Petri网(SPN)能够描述复杂系统状态变化的动态过程,并且能够按照概率进行定量的计算.因此提出将故障树转换为随机Petri网,建立C3I系统的可靠性仿真模型,就可以对C3I系统的可靠性进行定量与定性相结合的仿真.最后建立了一个简单的防空C3I系统可靠性的随机Petri网模型,用Monte-Carlo法仿真验证了该方法的正确性.     

不断增强旅团党委依法从严治军的本领

从严治军是军队建设的铁律。旅团党委是部队建设的“一线指挥部”,应当树立依法指导和开展工作的法制观念,严格职责管理权限,突出作风纪律建设这个重点,把提高部队战斗力作为根本标准,不断增强依法从严治军、加强部队正规化建设的本领。