微型计算机在智能在线测试中的应用——第三代万用表研制简介

作者建立了数字集成电路2n测试理论,改进了在线测试技术,设计成功了功耗自动游走电路.借助于微型计算机和超大规模集成技术,研制成功了第三代万用表.本文简要介绍了第三代万用表的功能、技术实施难点和克服这些难点的办法.     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

反无人机蜂群作战指挥控制系统

随着无人机战技性能的不断提升以及战术战法的广泛运用,无人机蜂群协同作战给当前防空系统带来了全新的挑战。通过梳理分析近年来无人机蜂群作战运用案例,总结了当前无人机蜂群作战运用的特点,阐述了发展反无人机蜂群作战指挥控制系统的必要性和紧迫性。由此,结合当前世界各军事强国反无人机蜂群作战指挥控制系统的现状,对未来反无人机蜂群作战指控系统发展提出了一些启示建议。     

红外成像导引头抗干扰性能评估方法

给出了一种对地面复杂干扰环境的红外成像导引头抗干扰性能评估方法,分析了红外成像导引头所面临的干扰因素,结合实际战场情况对干扰环境的等级进行了划分,并详细设计了红外成像导引头抗干扰性能仿真测试方案。采用半实物仿真方法得到红外成像导引头在不同干扰环境下的实验数据,运用bayes估计的方法建立红外成像导引头抗干扰概率计算模型。结合某实物红外成像导引头开展抗干扰性能半实物仿真测试,实验结果验证了该方法的合理性和有效性。     

C~4ISR系统仿真测试研究

针对一种C4ISR系统在测试时的特点,提出了模拟仿真测试的方案,建立了仿真装备与指挥系统的交互模型,设计了交互对象的自动匹配算法,并在实际系统的仿真测试中得到应用和验证。     

积极改革和加强民兵组织建设

管理工作是民兵建设的经常性工作。民兵应急分队是民兵队伍的重点力量,更要严格日常管理不放松。市场经济条件下,加强民兵应急分队管理,必须适应其亦兵亦民的特点,采取多元化的方法手段。一是制度管。对民兵应急分队的管理,