时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

基于时频和频谱分析的齿轮箱故障诊断

对频谱分析方法和时频分析方法的原理进行了分析,根据频谱分析与时频分析的特点以及齿轮箱故障诊断研究的需要,将两种方法有效地结合起来应用于齿轮箱的故障诊断中。结果表明,此方法能够有效地解决各自方法中的不足,得到比较理想的诊断结果。     

基于ISP技术的某型防空导弹模拟检测系统研究

给出了某型防空导弹模拟测试系统的总体设计方案和具体电路的实现技术。系统运用ISP技术实现了信号控制和逻辑控制,并重点阐述了导弹模拟信号的控制电路和串行数据的可靠接收及非有效数据剔除电路。     

无人传感器技术——在军事领域中的应用

世界军事科研领域的科学家、战略思想家和未来学家们认为:“五种常常重叠的技术最有可能在今后15—20年使军队发生革命性的变化。这五种技术为:机器人技术、先进的动力与推进技术、微型化技术、移动和自适应数字网络、飞速发展的生物科学。”无人传感器系统就是20世纪90年代由美国等国家开始发展的融合了上述技术的新概念武器,它不但在基础理论、设计、制造与试验技术等方面是革命性创新,而且将对21世纪的战争模式带来革命性的影响。传感器是将各种非电量穴包括物理量、化学量、生物量雪按一定规律转换成便于处理和传输的另一种物理量穴一般…     

热解吸-气相色谱法测定空气中沙林

热解吸是一种现代样品前处理技术,由于它能实现全部进样,极大地提高了分析的检测限,因此广泛应用于环境样品中低浓度挥发性有毒有害污染物的检测与分析．通过实验研究了热解吸一气相色谱法测定环境空气中的沙林,实验结果表明该方法线性关系良好,灵敏度高,最低检测量可达485pg,而且该方法采样方便,操作简单．     

中子无损检测炭滤器技术研究

滤器内防毒炭在长期存放和使用过程中,会吸湿空气中的水分逐渐陈化变质导致防毒性能下降。依据氢原子核对快中子具有特殊慢化作用原理,研究了对滤器中炭层湿度无损检测技术。     

声表面波技术在检测有机膦毒剂中的应用研究

声表面波(SAW)传感器技术是检测毒剂的一种新方法,它具有体积小、灵敏度高、便于携带、易集成化等特点而受到人们的重视。自1979年Wohltjen和Dessy首次提出了将声表面波(SAW)技术用作气体传感器的论文后,各国的科研人员对以SAW技术检测毒剂进行了大量基础和应用方面的研究工作。     

外军通信抗干扰发展趋势综述

本文在大量收集资料的基础上,介绍了外军现役通信抗干扰装备的技术水平．分析了其基本特点及发展趋势。     

搜索状态下相控阵雷达抗干扰能力评估

针对现有评估指标不能全面反映相控阵雷达在搜索状态下的抗干扰能力的问题,提出了利用搜索效率抗干扰改善因子这一综合指标来衡量相控阵雷达搜索状态下的抗干扰能力的方法.建立了在有源噪声干扰下搜索概率计算模型以及采用脉冲累积和累积检测技术后搜索概率的计算模型,通过分析脉冲累积数N和累积检测数M的关系,给出求解最大搜索效率的方法,最后通过实例仿真和结果分析,表明该方法计算简单,科学高效.