流编程模型下的存储一致性模型

在流编程模型下建立了一个新的存储一致性模型--流一致性模型,它比传统的释放一致性模型更加松弛.讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模型复杂.     

原型的模型

这一章提出一个原型的概念模型,作为研究、设计原型系统的基础。C~3I系统是个分布系统,其分布性体现在物理上分散的多个节点的并发和交互活动。这些分布的节点又根据一定规则组织成层次,形成系统的有机的整体,这些性质和表现同“面向对象”思想中的对象具有很大程度上的相似,因此借鉴面向对象的观点来建立分布式原型的模型。     

基于模型概率的自适应交互式多模型算法

传统的交互式多模型算法中过程噪声协方差矩阵固定，不能很好地适应实际目标不同程度的机动。采用匀速和转弯运动模型集合，提出了一种基于模型后验概率的自适应交互式多模型算法。通过后验概率来自适应调整各模型中的系统过程噪声协方差矩阵，进而提高模型同系统运动模式的匹配程度；结合防空作战机动目标跟踪要求，通过典型目标机动仿真，同标准交互式多模型算法进行比较，验证了该算法的合理性和有效性。     

软件测试的故障模型

故障模型是测试的基础,也是一个测试方法成熟的重要标志.软件的错误表现为2个方面:①计算结果错误;②系统"死机".导致第1类错误的故障相对来说是比较容易检测的.导致系统死机的故障其后果是严重的,这类故障由于一般其检测概率较小,也往往难以检测.死循环故障是最常见的能引起系统死机的故障,但这种故障由于其复杂性难以对其模型化,同时在许多情况下,死循环故障也比较容易暴露.对C 中几种能导致系统死机的典型故障进行了分析,这种故障的检测其意义重大,将这些典型的故障组合在一起,就构成了面向软件系统死机故障的故障模型.     

基于期望模型的变结构交互多模型算法

采用变结构思想,提出一种基于期望系统噪声模型的变结构交互多模型算法。算法中,预测噪声变化范围的噪声模型集不再采用固定结构,而是根据量测新息在线辨识和调整,使之更加接近于目标的真实运动模式。基于模型匹配概率与先验的马尔科夫切换概率调整期望系统噪声模型噪声方差,得到一个最优的系统噪声模型集。将该算法与交互多模型算法相结合,得到一种变结构交互多模型算法。仿真结果表明,该算法对机动目标的跟踪精度要优于固定结构的交互多模型算法。     

基于评估元模型理论的战储能力评价模型

多维度评估问题具有评估对象多样化、评估需求个性化、评估数据交叉化等特点,战储能力评估就是典型的多维度评估问题.在研究战储能力评估问题的过程中,提出了评估元模型理论,构建了基于评估元模型理论的战储能力评价模型,并在模型中嵌入对“木桶效应”具有放大作用的惩罚性数据递进算法.算例证明该方法是一种有效的战储能力评估方法.     

离散作战模型的连续化兰切斯特模型研究

通过兰切斯特方程的分析,定义了作战力量变换系数概念,推导出作战力量变换系数的兰切斯特方程,得到了衡量交战双方作战力量等效值,而作战力量变换系数的兰切斯特方程正是适用于离散型作战的兰切斯特作战模型,使具有深刻影响力的兰切斯特方程适用范围扩大到了交战双方离散数量型的作战领域,从而赋予兰切斯特方程新的生命,为复杂的格斗作战分析提供了新的工具。     

基于转弯模型的自适应交互式多模型跟踪算法

针对舰炮火控系统中搜索雷达对来袭导弹跟踪为背景,提出一种基于坐标转弯模型(CT)的自适应交互多模型跟踪算法(AIMM-CV/CT),模型集取为一个匀速和一个坐标转弯模型,滤波器采用各子滤波器模型噪声方差在线计算调整的自适应交互式多模型算法;给出了比例导引规律来袭导弹的航路仿真方法,并对AIMM-CV/CT与IMM-CV/CT算法进行了仿真比较.仿真结果证明了本文算法的正确性和有效性.     

基于仿真模型与遗传算法的最优火力分配模型

针对装备了先进舰载防空武器系统的舰艇编队,需要航空兵与水面舰艇联合多批次打击才能取得满意战果,由于毁伤经验公式所限,现有的算法只能解决对舰艇编队一次打击的火力最优分配问题,而不能很好的解决对舰艇编队多次打击的火力最优分配问题。论文将仿真模型加入遗传算法运算过程中,利用仿真得出每次打击目标的毁伤状态,并将其结果作为遗传算法的参数进行寻优。     

等面积混合模型与等压混合模型的理论比较

利用一维定常流理论,建立了超声速引射器中从混合段到扩压器出口的冷气流混合模型。经过计算,得到了在不同的输入条件下,等面积混合模型和等压混合模型的恢复压力。比较结果,发现等压混合并不总是优于等面积混合,并得出了判断等面积混合与等压混合优劣的条件。在更改参考文献中的部分输入参数后,得出了同样的结论。     

型号项目工期风险管理决策模型与自适应遗传算法

针对型号项目的过程特点,建立了型号项目工期风险的管理决策模型。模型考虑了型号项目中活动重叠、活动迭代、活动执行时间的不确定性和可更新资源总量等重要的工期风险影响因素。从模型的特点出发,给出了问题求解的基于自适应遗传算法的仿真优化方法。算例显示,该算法能较好地求解本文的工期风险管理决策问题。     

火力运用对策空间模型

根据空 -地作战的特点 ,提出了软、硬火力单位的概念 ,根据模型提出了作战指数、生存指数 ,为双方的实力与“保卫目标”的安全度分析提供了数量依据 ;根据微分对策和战术原则提出了规范作战模式等概念 ,为构造火力运用、兵力数量需求等算法搭起一个框架。     

中继卫星调度问题的CSP模型

中继卫星在地球同步静止轨道上运行,既能直视中、低轨道用户航天器,又能直视地面站,是沟通用户航天器与地面站的桥梁。中继卫星调度问题是一类非常重要的调度问题。基于约束满足理论,通过分析中继卫星调度问题的特点与约束条件,建立了中继卫星调度问题的CSP模型。利用卫星工具箱STK进行模拟仿真,对CSP模型进行了求解。结果表明,所建立的CSP模型是合理的。     

基于PMC模型的神经网络

在计算机系统中有许多诊断算法,其中针对PMC模型有0-1规划的诊断算法,这个诊断算法是NP完全的,是在多项式时间内不可解的。然而利用神经网络的高度并行性这个特点,就可以在很短的时间内解出结果。主要分析了系统诊断模型PMC的症候特征,得到其充要条件,提出了新的算法,该算法具有高度的并行性,神经网络的发展为此提供了用模拟电路来实现算法的可能性,并进行了模拟验证。     

ER2MD：一种ER模型到多维模型的转换算法

多维模型是数据仓库概念设计不可缺少的工具,将传统数据库实体关系模型直接转换到多维模型,势必在很大程度上缩短数据仓库系统的开发周期.针对数据仓库概念设计需求,在传统数据库基础上,提出一种面向多维模型的转换算法ER2MD.该算法可将满足一定条件的实体关系模型转换到多维模型,产生的多维模型符合广义多维范式,能够确保多维数据库分析计算的有效性,进而有利于物理数据库的设计.     

陀螺随机漂移误差模型建模方法研究

论述了自60年代以来的几种主要陀螺仪漂移误差模型建模的方法,介绍了各种方法的特点及建模公式,有助于惯导系统中陀螺漂移误差模型的建立．     

对海射击指挥系统中成果法决定诸元数学模型的优化

由于海防炮兵目标出现的范围大,传统的利用射击成果决定目标射击开始诸元的方法很难满足射击开始诸元的精度。通过对成果法决定诸元的误差分析,得出影响精度的主要原因。我们在已知弹道风的情况下,对原成果法作业的数学模型进行优化,提出了在利用成果行大方向转移射击的情况下减小诸元误差的方法,并进行了分析论证,对地面炮兵具有较大参考价值。     

信息心理战理论模型以及量化模型探讨

军事理论的研究在心理战方面已经取得了一些成果,但在量化分析方面显示不足。从信息心理战基本作用原理入手,利用数学建模的思想,构建基本信息传播扩散原理模型并且设置合理参数模拟动态过程,从而获得军事行动中心理战的心理攻击信息内部传播动态数学模型,对于未来信息化战争量化分析以及效能分析有一定参考价值。     

装备保障能力生成模式研究

信息技术的飞速发展和战争形态的演变对传统的装备保障能力生成模式造成猛烈冲击,迫切需要构建适应未来作战需求的新的能力生成模式.阐述了装备保障能力生成模式的内涵,分析了传统装备保障能力生成模式的特点与不足.并针对未来作战需求,从思维形式、构成体系、实现途径等几个方面对信息化条件下我军装备保障能力生成模式进行了初步探讨.