VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

美军模块化开放式射频架构探究

模块化开放式射频架构(MORA)通过定义针对多功能任务的开放式架构和RF系统功能分解,实现平台上硬件共享,可降低军用平台上射频系统复杂性以及尺寸、重量和功率,同时提高互操作性和配置灵活性.围绕MORA架构进行了分析和探讨,重点分析了其架构组成和功能分解情况.     

雷达虚拟维修训练中交互系统的通用性

基于USB接口技术对"通用雷达装备虚拟维修训练系统(URVMTS)"的人机交互系统进行研究,通过合理的软、硬件设计实现了系统的通用性。不同的实装操作部件经过适当的信号调理均可以通过该系统方便地实现与雷达虚拟样机之间的交互。着重介绍了交互系统的通用性设计与实现方法,包括系统的通用性设计方案,USB硬件电路的通用性设计及相应的软件开发。     

空中进攻作战出动计划禁忌搜索优化分析方法

空中进攻作战出动计划涉及多种复杂因素,大规模空中进攻作战出动计划不仅计算量大、出动强度高、架次多,而且当战场形势发生变化时,必须及时对飞机出动计划做出调整,采用手工方式制定和修改作战计划已难以适应未来空中进攻作战的要求。从分析制定空中进攻作战航空兵出动计划所涉及的诸要素出发,提出了一个较为合理的作战出动计划模型,并采用禁忌搜索求解模型的优良解,为实现计算机制定和及时修正空中进攻作战出动计划提出了一种有效的解决方法。     

基于有色Petri网的综电系统总线建模

针对运用解析法对战车电子系统总线进行建模和分析困难这一问题,运用CPN Tools工具构建了基于有色Petri网的综合电子系统总线模型,建立了总线性能仿真平台,对某型战车总线性能进行了分析。结果验证了基于CPN的战车综合电子系统总线建模的正确性与可行性。     

无源单站定位技术研究

无源定位技术已成为现代化战争中对抗"四大威胁"的关键技术。在研究目标来波方向(DOA)与多普勒频率的基础上,提出一种基于最小二乘估计的运动目标单站定位跟踪方法。经计算机仿真表明,该方法不仅能对运动目标进行定位,而且能对运动目标的速度、航迹等进行估计。     

地空导弹武器系统抗击TBM时的有效部署区

基于弹道导弹的航迹特点,提出了地空导弹武器系统反TBM有效部署区的概念,建立了数学模型,并且论述了使用有效部署区域图进行战斗部署的方法。     

"远程集训"对思想政治工作创新的启示

沈阳军区政治部运用电视电话系统,对全区所属作战旅团政治部(处)主任进行的远程集训,对部队思想政治工作带来了广泛而深远的影响,尤其对思想政治工作者更新观念、开启思路、转变作风、创新工作手段、增强工作实效有重要启示.     

变结构控制器的仿真模型研究

变结构控制器集中了非线性控制与线性控制的优点,既保证了系统的快速性,又具有良好的跟踪精度。运用控制理论及牛顿运动规律,阐述了变结构控制器的建模机理,重点研究在MATLAB/SIMULINK动态系统仿真环境下,利用已有模块搭建变结构控制器的仿真模型。该仿真模型已被成功地应用于某型自行高炮随动系统的仿真研究中。     

也谈GPS的相对论效应

对于高精密度的军用GPS定位系统,必须考虑它的相对论效应。文章从广义相对论的角度讨论GPS的基本测量方程,并指出有关文献中关于卫星与接收机钟差的相对论效应的计算错误。