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

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

加强基层国防动员建设的几点思考

当前,推进基层国防动员建设创新发展,必须按照平时能应急、战时能应战的要求,科学筹划、抓纲揽要,以重点工作的突破带动整体工作的跃升。     

对抓好征兵工作落实的几点认识

扎实搞好征兵工作落实,是解决当前"当兵冷、征兵难"与部队对兵员素质要求越来越高之间矛盾,提高征兵工作质效、确保兵员质量的基础工程。     

验前信息可信度及其在Bayes评估中的应用

验前信息的计算与合理应用是Bayes方法在武器系统射击密集度评估中的关键问题之一.对验前信息可信度定义、计算及其在Bayes 评估中的应用进行了阐述,提出了考虑验前信息可信度的射击密集度Bayes评估新方法,为武器系统射击密集度评估提出了新思路.     

小子样条件下巡航导弹的命中精度评估方法

针对巡航导弹定型试验发数少、验前试验信息源多的特点,提出小子样条件下,通过可信性检验分别得到每个验前信息源的可信度,在导弹落点偏差分布为正态-逆伽马分布的假设下,获得评估的验前分布参数,选择基于可信度的加权方法对多源验前信息进行融合,采用Bayes估计方法得到命中精度。最后结合实例进行仿真,说明了该方法较传统的Bayes方法更稳健,很适合巡航导弹命中精度的评估。     

一种基于图像灰度值切线方向的边缘检测方法

提出了一种基于图像灰度值切线方向的边缘检测方法.首先搜索确定当前点的灰度值切线方向,然后根据此切线方向两侧像素的灰度变化情况生成边缘图像.对于含噪声的图像,引入噪声检测方法,无需平滑预处理,直接就能得到边界图.实验证明该方法是简单有效的边缘检测方法.     

改进的判决加权RLS无线信道估计

随着移动通信的飞速发展,有限的无线频谱要求无线收发信机能够对时变的无线信道进行准确的盲估计.为了进一步降低判决差错和噪声波动对估计的影响,首先介绍了对无线信道的判决加权递推最小二乘盲估计,然后修正估计的判决方式,得到改进的判决加权递推最小二乘估计,最后仿真比较了移动环境下的无线信道各种估计与延迟扩展、多普勒频移及信噪比的关系和性能.     

锆酸铅PbZrO3序参量的量子饱和

在503 K反铁电体PbZrO3发生立方-正交相变,序参量是反平行离子位移引起的超晶格;在低温相时,PbZrO3的反铁电超晶格反射强度随温度的变化成正比,可以由考虑量子效应的Landau唯象理论加以描述;高于室温时,Γ25超晶格反射强度显示了不同的温度依赖性。     

红外系统探测巡航导弹的方法研究

从国外红外探测系统在巡航导弹探测以及应用方面的现状出发,分析了巡航导弹的红外特性和远距离条件下的成像特征,估算了红外探测系统对点目标作用距离。提出用并行差分滤波器去除背景,用逻辑与剔除噪声,用递归方法累积目标轨迹的算法。实验结果与分析表明基于差分基础上的逻辑与方法对速率>0.2像素/帧的目标具有较好的检测效果。     

基于特征点匹配的图像拼接算法研究

通过查找待拼接两幅图像的对应特征点以确定两幅图像的缝合点,进而确定两者的匹配位置,通过对图像的重叠区域进行平滑过渡处理,实现了待拼接图像的无缝拼接。实验结果表明,文中所提算法合理,取得了良好的效果。