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

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

建筑内装修防火材料见证取样检验工作存在问题及对策

阐述了建筑内部装修防火材料见证取样检验的意义,分析了目前此项工作的现状和存在问题,提出了下一步的对策。     

考虑可信度时导弹最大射程的Bayes评估

首先讨论了一种验前数据和现场试验数据相容性检验的新方法, 考虑验前信息可信度, 研究了导弹最大射程的 Ｂａｙｅｓ 评定和 Ｂａｙｅｓ 估计。最后给出了数据分析的例子。     

必须把好原材料的进厂检验关

产品质量的优劣,很大程度上取决于原材料的好坏,原材料是影响产品质量的重要因素之一。各生产企业必须严把原材料的进厂检验关,确保入厂原材料符合要求。     

熵在伪随机性检验中的应用

本文从熵的角度探讨了伪随机性检验问题,提出了有关序列的等分布度r_n~(K)概念,并证明:一序列{x_n}(0≤x_n≤1)为等分布的充分必要条件是:(?)K≥1,(?)=1.利用这一结果对几个典型伪随机序列的等分布度进行了比较,给出了它们的伪随机性优劣排序。     

水面舰艇作战软件战术检验的专家系统

本文系统地介绍了用于对水面舰艇战术应用软件进行测试检验的专家系统———水面舰艇作战软件战术检验的专家系统。重点介绍了其系统构成、元知识与元控制器以及知识表示方法与解释系统构成。     

Holonic-C2组织决策分配及演化方法

为了有效发挥指挥控制(Command and Control, C2)组织集中式决策和协作式决策的决策优势,对具有决策权限动态变化能力的Holonic-C2组织的决策分配问题进行研究。针对群决策中专家固定权重的主观性太强的缺点,提出基于专家权威性和意见一致性相结合的专家组选择方法,提高了决策分配过程中多属性决策的客观合理性;针对决策分配的动态演化问题,提出基于多阶段决策的决策模式演化机制,在考虑属性前后阶段的变化的基础上,给出相邻阶段决策模式跃迁方法。仿真结果表明,所提方法能够给出相对客观的决策模式的优劣排序以及多阶段的演化路线,从而证明了方法的可行性和有效性。     

做好疫情防控斗争中政治工作的思考及启示

这次新冠肺炎疫情,是新中国成立以来在我国发生的传播速度最快、感染范围最广、防控难度最大的一次重大突发公共卫生事件,对军队应对国家公共安全威胁是一次广泛深刻的实战检验,对政治工作在疫情防控中充分彰显生命线作用提供了宝贵经验和重要启示。     

阻击式防空防御体系的作战有效性分析

阻击式防空防御体系作为主要的防空防御体系之一,对其作战有效性进行分析显得非常必要.通过运用随机服务系统理论对阻击式防空防御体系的作战有效性进行了初步分析,给出了空袭目标突防概率模型,并采用计算机模拟方法进行计算,最后结合一个简单算例进行了分析,检验了该模型的可行性.     

理论创新的科学指南——学习江泽民关于理论创新思想的体会

十三届四中全会以来,以江泽民同志为核心的第三代中央领导集体,带领全党在全面推进中国特色社会主义伟大事业的历史进程中,坚持理论创新,对全国亿万人民群众建设中国特色社会主义的伟大实践不断作出新的理论概括,特别是提出“三个代表”的重要思想,进一步丰富和发展了马列主义、毛泽东思想和邓小平理论。