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

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

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

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

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

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

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

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

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

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

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

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

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

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

基于改进SUSAN算法的红外目标边缘检测

从3个方面改进了传统的SUSAN算法:①自适应选取阈值,以提高算法自动化程度:②使用双几何阈值,增强算法的抗噪性;③加入目标点判断因子,减少计算时间.利用改进的算法进行了红外目标边缘检测,结果表明,改进算法比传统的SUSAN算法有更强的噪声抑制能力,更快的边缘检测速度,显示出更加优良的性能.对对比度比较低的红外图像,改进算法可以减少40%以上的计算时间,而对对比度较高的红外图像,改进算法可以减少70%以上的计算时间.     

MIMO雷达和组网雷达的CA2CFAR检测性能比较

多输入多输出(MIMO)雷达是近几年出现的一种新雷达技术,也是近几年雷达领域研究的重点。建立MIMO雷达的信号模型,明确给出MIMO雷达进行CA2CFAR检测的检测概率和虚警概率解析表达式,对组网雷达和MIMO雷达在均匀杂波背景下CA2CFAR检测性能进行了分析对比。仿真结果表明。MIMO雷达对类似噪声特性的复杂目标具有更好的检测性能。