一种对地观测卫星应用任务描述模型

对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分.从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及任务的突发性等,建模基本要素主要包括约束条件和活动.在此基础上,使用规划领域定义语言(PDDL)...     

编队对地攻击作战效能评估指标体系

首先分析了作战效能的概念,给出了编队对地攻击作战效能的定义.然后针对编队对地攻击作战的特点,指出了编队作战效能评估指标选取应遵循的原则.并对当前编队作战效能评估指标体系进行了深入分析,指出其存在的不足,提出了编队对地攻击时间效能指标的概念.最后,建立了编队对地攻击总体作战效能的层次指标体系模型并对时效性指标进行了深入分...     

机载通信模拟训练系统的设计与实现

针对机载通信系统的特点,建立了仿真系统模型,并设计了相应的仿真算法.结合1553B总线协议和数据库技术,实现了一套操作方便、易于维护、易于扩展、功能强大的模拟训练系统,为系统操作提供了逼真的虚拟训练环境.同时,也为机载总线系统的研究工作提供了可靠的实验平台.     

基于激光靶的火炮炮口速度测速技术与试验

首先介绍了国内炮弹速度测量常用的线圈靶,分析了其存在的问题.然后根据炮弹测试的特点,提出了一种采用激光测试技术,配合使用原向反射屏来形成大面积有效测试光幕的炮用激光速度测试技术.并分析了该测试方法的光学结构,最后对激光测速系统和线圈靶进行了对比实验,不仅证明了激光测试技术的可靠性,而且通过对实验结果进行对比、分析,进一...     

基于信息模型的C4ISR系统需求集成方法

多视图需求工程中"分而治之"的需求开发方式,必然会产生"需要集成"和"如何集成"等问题.研究了基于多视图的C<'4>ISR系统需求框架及其视图产品,并在此基础上给出了C<'4>ISR系统需求集成的概念与范围.通过建立需求信息模型,从语法、语义和语用三个层次研究构建一个需求集成框架.通过需求产品之间的关联关系,分析不同视图产品在集成中存在的问题,并给出了需求集成框架中不同需求产品的集成过程,为C<'4>ISR系统需求集成问题的解决提供一个可供参考的方法.     

电视侦察弹侦察效力的演化仿真优化研究

为了保证电视侦察弹能到达目标区域的上空并发挥最优的侦察效力,采用了基于遗传算法的启发式仿真优化方法来解决炮射电视侦察弹的优化使用问题.分析了电视侦察弹的主要影响因素,建立了用于计算目标侦察效力的仿真模型,引入了演化策略,实现了基于进化计算的启发式仿真优化系统,并求取了电视侦察弹的最大侦察效力及其主要影响因素的最优搭配....     

OFDM系统峰均功率比抑制技术研究

正交频分复用(OFDM)以其无法比拟的优越性受到广泛的关注,是未来4G的核心技术之一,但是OFDM系统的高峰均功率比PAPR问题已成为影响该技术实际应用的重大障碍。针对目前国内外几种主要的降低峰均功率比的技术所存在的问题进行了研究,重点对部分传输序列(PTS)法进行了分析,并针对PTS算法在计算复杂度上的不足,提出改进...     

事件驱动过程链在军事信息系统建模中的应用

要实现军事信息系统的合理设计必须进行有效的系统建模.通过分析事件驱动的过程链(EPC)和Petri网的特点,提出两者相结合的建模方法,着重研究了基于EPC的系统过程描述方法,在EPC模型中引入组织描述和数据流描述,并分析了控制流、数据流相结合的结构合理性验证方法.设计实现了系统建模工具,并通过实例介绍建模过程,验证方法...     

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

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

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

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