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

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

基于逆向分层的工作流时间-费用优化方法

针对效用网格下基于优先级因子的工作流时间-费用优化问题,基于工作流的同步完成特征对任务进行分层并提出三种实时调度算法:基于逆向分层的sufferage(BLSuff)、基于逆向分层的min-min(BLMin)及基于逆向分层的min-max(BLMax)。算法设计基于优先级因子的衡量标准对时间与费用同时进行优化,并为任务设置期望完成时间以达到充分利用费用优化空间进行费用优化的目标。实验结果表明这三种算法在各种优先级因子下都能对工作流的执行时间与执行费用进行较好的优化。     

一种基于神经网络调整权值的雷达信号识别法

研究了一种基于神经网络训练修改权值的加权M距离法用于雷达信号的识别,通过仿真试验验证了此法的正确性和有效性,并对试验结果进行了分析和讨论。     

当前消防管理体系存在问题及对策

以调研为依据,分析了当前消防管理体系存在的问题。并从进一步建立和完善社会化消防管理体系、善消防力量体系、社会消防保障体系、消防宣传教育体系几个方面,提出了一系列健全和完善消防管理体系的方案。     

舰队CEC系统的对抗方法研究

CEC系统的使用使得舰队真正成为了一个整体,同时使得舰队的作战能力相比以前有了很大的提高.如何与舰队CEC系统进行对抗是未来作战的重要研究内容.在对CEC系统进行介绍的基础上,分析研究了美军舰队的作战方式和其CEC系统的结构特点.通过分析提出了对抗CEC系统的方法和手段.     

多转子-轴承系统虚拟样机建模及仿真

以LMS Virtual.Lab Motion为开发环境建立了某传动箱多转子-轴承系统虚拟样机,导入PRO/E模型文件进行简化,建立实体模型。针对目前所建立的齿轮传动系统虚拟样机过于简化的情况,建立了考虑时变啮合刚度的非线性扭转振动模型。通过组合副和用户自定义程序,实现了齿轮副和轴承端的耦合振动模型。仿真结果表明:通过虚拟样机仿真的方法获得载荷谱是可行的,其可用于深入研究传动箱的振动分析、强度校核和寿命预测。     

飞机机载武器的前置发射与前置发射区

根据超视距空战的特点以及飞机机载武器的使用特性,提出飞机机载武器的前置发射概念,确定前置发射的条件并由此建立飞机机载武器的前置发射区.仿真分析飞机的机动特性,机载电子装备特性,机载武器特性对前置发射区的影响.得出的相关结论可对超视距作战飞机的总体设计,性能评估提供重要的理论参考价值.     

以有序矩阵进行对地攻击的面目标分配方法

提出对地攻击过程中同种类性武器装备对不同种类型面目标分配时的有序矩阵概念,并以数学方法证明有序矩阵的存在性.仿真分析并验证这种面目标分配法针对同种类型武器装备分配于不同种面目标,不同种类型武器装备分配于不同种面目标的可实施性、快速性.     

虚拟社会研究进展及对研究战争复杂问题的启示

计算机和信息技术加剧了战争系统的复杂性,同时也为研究战争复杂问题带来了新的方法,即利用虚拟社会研究战争复杂问题。首先综述了虚拟社会的相关概念及分类,然后概括了虚拟社会中实体行为建模和可视化涉及的主要理论、方法和技术,分析了国内外相关研究,最后给出了对研究战争复杂问题的几点启示。     

考虑J2项摄动的卫星编队飞行

针对参考卫星运行于圆轨道的编队飞行,分析了J2项摄动的影响.在此基础上提出了一种方法,通过调整环绕卫星的半长轴,大大减小了J2项摄动对编队飞行的破坏作用.此外,基于冲量假设估计了编队保持的代价.数值结果表明,调整长半轴的卫星编队可以长期保持,节省了大量的控制燃料.