GPS定位误差分析及建模

采用时间序列分析方法,根据大量的实测数据分析了ＧＰＳ定位误差的统计特征,建立了ＧＰＳ定位误差模型。     

基于CCII的全集成连续时间双二次滤波电路

本文采用ＭＯＳ电阻电路,由提出的第二代电流传输器ＲＣ多功能块电路,生成了适于全集成的ＣＣＩＩ－ＭＯＳＦＥＴ－Ｃ无损和有损积分器,从而构造出一种新型全集成连续时间双二次滤波电路,可获得低通和带通输出,电路结构简单,便于电控调谐,仿真结果令人满意。     

取值于p型Banach 空间随机变量列的收敛性

本文将Ｗ．Ｆ．Ｓｔｏｕｔ［１］关于实值随机变量列的收敛性的一些结果,推广到了ｐ型Ｂａｎａｃｈ空间值情形上,得到了刻划ｐ型Ｂａｎａｃｈ空间的二个充分必要条件及二个必要条件     

基于随机时间影响网络的联合火力打击方案评估

联合火力打击方案评估是作战筹划和指挥决策的核心问题之一,对于打击手段的选择、战法的运用等具有重要的影响,其难点是在不确定条件下有效地建立作战方案到使命目标达成效果之间的映射关系.作战仿真方法往往存在突出的低效率问题,而解析模型的方法难以充分反映目标体系的内部联系和整体效果.目前概率推理模型广泛应用于军事领域的作战方案评...     

军事物流系统时间目标优化初探

军事物流系统时间目标的优化应当遵循系统整体时间最优、保证系统稳定性与可靠性、充分利用地方物流系统资源等原则。要建立快速高效、统筹协调的组织机构,加强硬件设施建设,推动制度创新,提高信息化管理水平。     

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

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

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

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

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

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