两指标强鞅的停止定理

给出了两指标强鞅关于停线的停止定理及加强形式的Doob停止定理。     

计算破损船舶稳性的表面元法

采用表面元法计算船舶的稳性 .这种方法是把船舶的表面分解成许多小的表面单元 ,然后计算在某一倾角下每个小单元所承受的静压力 ,对静压力进行积分就可得到浮力的大小、方向和作用线 ,从而算出某倾角下的回复力矩 .对实船的稳性计算结果表明 ,无论是破损船 ,还是未破损船 ,这种方法都适用     

基于物元分析方法的作战指挥信息效能评估

根据信息作战需要,总结出作战指挥信息效能评估分层指标,运用物元分析理论构造了评估模型,并结合具体实例验证了此模型的可行性和实用性。该方法能够有效结合定性与定量分析,且模型结构简单规范,为作战指挥信息效能的评估提供了一种较为有效的方法和途径。     

一种基于知识的作战计划系统设计

作战计划系统是复杂的问题求解系统,在军事领域的各个方面发挥着重要的作用。介绍了当前一些主要的作战计划辅助生成系统及其特点,分析比较和归纳整理了当前军用计划系统所采用的一些常见规划技术和优缺点,重点分析了作战计划系统中的智能规划技术。在此基础上,提出了一种基于知识的作战计划辅助生成系统的开发设想,构建了系统知识库,系统采用层级任务网络规划技术,给出了这种规划技术的理论框架和算法过程,并且把这种技术与多主体规划技术相结合,辅助实现军事作战任务的逐层分解与规划优化,进而生成完整的行动序列,较好地解决了作战计划辅助生成问题。     

协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。     

基于CGF的水面舰艇编队模型仿真

计算机生成兵力(CGF)技术在水面舰艇编队智能化生成和仿真方面有着十分广阔的应用前景.从水面舰艇编队CGF物理模型人手,研究了水面舰艇单舰及战斗编队、舰载直升机和潜艇等兵力的仿真,实现了CGF兵力在执行各种作战任务过程中的所有战术动作仿真,重点研究了水面舰艇编队的攻击、防御智能决策和软硬武器的智能化仿真,包括导弹、鱼雷、深弹、电子对抗和水声对抗器材等.通过在舰艇作战仿真训练系统的应用,表明CGF对提高水面舰艇编队兵力生成和仿真的智能化程度是非常有效的.     

以科学发展观全面推进战斗力生成模式根本转变

胡主席提出以科学发展观为统领,建设伟大的社会主义和谐社会.在我军的现代化建设进程中,必须要以科学发展观全面推进军队战斗力生成模式的根本转变.在军事思维上,必须实现由"要素分离"型向"体系融合"型主导转变;在训练理念上,必须实现由"消极安全"型向"实战任务"型转变;在系统建设上,必须实现由"条块分割"型向"综合集成"型转变;在军事实践上,必须实现由"经验归纳"型向"虚拟实践"型转变;在管理控制上,必须实现由"粗放低能"型向"和谐高效"型转变.     

基于度量元的静态软件缺陷预测技术

软件缺陷预测技术是当前软件工程领域的一个热点研究问题。回顾和综述了基于度量元的静态软件缺陷预测技术研究的起源与国内外最新进展动态,并对常用缺陷预测技术的评价指标进行对比和分析,指出其优缺点和适用范围。最后对静态软件缺陷预测技术的可能发展方向进行预测。     

电子防空作战中雷达对抗目标威胁分析与评估

针对电子防空作战雷达对抗力量在指挥与运用中面临的目标威胁评定问题,首先从技术、战术、动态和静态等方面全面分析了雷达对抗目标的威胁因素,其次,运用可拓学的多目标优化理论和运筹学中的理想决策法的原理和方法,提出了一种新的基于物元矩阵的理想决策模型,最后,实例验证表明该模型可行、有效,便于计算机辅助决策,为雷达对抗目标威胁评估提供一种新途径,可为指挥员对空情威胁做出正确判断提供支持。