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

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

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

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

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

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

基于递归神经网络的C3I系统故障预报系统

阐述了C3I系统故障预测系统的设计要求,分析了带有偏差单元的递归神经网络的相关原理,建立了C3I系统故障的神经网络预测模型并提出了相应的训练算法.提出了把神经网络、预测理论和专家系统有机地结合起来建立故障预报系统的初步设想.并以防空C3I系统的典型故障为例,实现了故障的预测.预测结果证明,给出的神经网络预测模型和训练算法是可行的,且具有较高的精度.     

校园网Linux环境下入侵诱骗系统的研究与实现

当今的网络环境变得越来越复杂,网络安全管理员的工作不断加重,不经意的 疏忽便有可能遗留下安全的重大隐患,同时网上黑客教程和千余种入侵工具随手可得,因此 网络安全问题防不胜防,网络的防卫必须采用一种纵深的、多样的手段。入侵诱骗技术是网 络安全中的一个新兴的领域,是对现有的网络安全体系的一次重要扩充。结合校园网络平 台,将入侵检测和入侵诱骗有机地结合起来,对入侵诱骗系统进行了研究和具体实现,并详 细阐述了入侵诱骗系统的中心管理端和网络代理端的构成和功能。     

用于态势估计的贝叶斯网络方法

态势估计系统需要对大量的不确定性知识进行处理,不确定性知识表示和推理是态势估计中的研究热点.利用贝叶斯网络技术,可以实现对不确定性知识的处理.为此讨论了贝叶斯网络理论,详细分析了态势估计的功能模型,提出事件检测是态势估计的核心和起点,研究了用于态势估计的贝叶斯网络的构建方法.该方法充分考虑贝叶斯网络的几项基本要素,可以解决态势估计领域中贝叶斯网络的构建问题.贝叶斯网络技术在态势估计领域具有广阔的前景,将极大地推动态势估计系统的发展.     

机动目标建模及机动检测算法

为解决机动目标跟踪问题,建立了非机动(匀速直线运动)和机动目标当前统计两种动态模型,并对机动目标当前统计模型的输入控制的估计进行了适当改进.同时对非机动模型的观测残差和机动模型的输入估计进行检验,以便准确检测目标机动.     

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

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

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

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