一类包含m—增生算子紧扰动的算子方程的可解性

设X为一致凸的Banach空间,T:X(?)D(T)→X为m—增生的且强增生的算子,T_0:X→X为线性紧算子。C:X→X为全连续算子,应用Leray-Schauder度理论,研究了算子方程Tx-T_0x Cx=f,f∈X的可解性。     

基于复合CBR的炮兵侦察情报处理系统模型研究

本文针对当前炮兵侦察情报处理系统工作现状,指出了现有侦察情报处理系统所存在的问题和局限性,利用人工智能中的基于案例推理技术,建立起基于复合案例推理的炮兵侦察情报处理系统的模型。该模型详细地描述了炮兵侦察情报处理过程,克服了现有基于规则推理系统不易扩展和修改的弊端,具备更好的处理效果。     

基于DoDAF的反导指控系统体系结构模型研究

首先简要介绍了美军反导指控系统和国防部体系结构框架(department of defense archi-tecture framework,DoDAF)的基本情况,确定了体系结构模型开发方法和步骤,然后利用Telelogic公司的system architect软件完成了作战视图、系统视图的分析与设计,为理解指控系统内在规律、开展指控系统顶层设计研究提供理论支持。     

论全资产可视性与通用装备保障创新

提出了多兵种合同作战和联合作战条件下 ,通用装备保障应实现“全谱支持”的新思路。结合对台军事斗争中对通用装备保障的需求 ,提出了必须在器材请领、储存处理、在运资产、战区内装备管理等四个领域达到联合全资产可视性的要求 ,并给出了联合全资产可视性建设的效益分析     

基于DoDAF的预警卫星系统作战体系结构建模

预警卫星系统在弹道导弹防御系统中处在最前沿,在战争中起着其他装备无法替代的作用。首先分析了Do DAF作战体系结构产品的内容和相互关系,提出了作战体系结构具体的设计步骤。依据预警卫星系统的作战流程,建立了部分作战体系结构模型,从不同侧面描述了预警卫星系统节点及节点间的信息关系。最后,对模型进行了语法和语义一致性验证,结果表明,建立的模型是正确的。     

侵彻子母弹封锁机场跑道最小升降窗口搜索算法研究

针对侵彻子母弹封锁机场跑道中判断是否存在最小升降窗口的"两点比较"算法,提出更为符合实际毁伤情况的"网格-矩阵"算法。采用随机分布的数学模型和计算机仿真模型,利用Monte Carlo法模拟侵彻子母弹子弹的落点。最后在Matlab7.0环境下对两种算法进行了仿真试验和对比分析,提出两种算法在火力辅助决策中的使用建议。     

以数据为中心的天基预警系统视图模型研究

借鉴美国国防部体系结构框架思想(Department of Defense Architecture Framework,DoDAF),从核心体系结构实体、体系结构建模集和建模步骤几方面研究了以数据为中心的体系结建模方法,针对天基预警系统的特点和在反导中的应用,采用体系结构工具System Architect（SA）从系统层面建立了典型的天基预警系统的系统视图模型,对理解天基预警系统体系结构、开展天基预警系统顶层设计研究具有一定的参考价值。     

电子战训练仿真系统开发方法研究

为了提高电子战训练仿真系统开发的效率和质量,参照建模与仿真领域和软件工程领域中的模型开发与运行过程模型,提出了一个基本开发过程,将基于高层体系结构HLA电子战训练仿真系统的开发划分为相互关联的9个阶段,规定了每个阶段的开发活动。展示了联邦成员软件自动生成工具KD-FedWizard在基于HLA电子战训练仿真系统分析、设计和实现中的应用。     

基于动态贝叶斯网的炮兵战斗效果评估建模仿真

依据炮兵火力作战的特点规律,分析炮兵战斗效果评估的内容、程序、建模过程和影响因素,运用动态Bayesian网建立炮兵战斗效果评估模型,运用主成分分析方法确定评估专家权重,运用Poly Tree的消息传递算法进行评估网络推理分析,最后结合案例仿真验证。结果表明,该研究解决了情报信息不确定性、模糊性和动态性等影响战斗效果精确评估问题。     

先验式秘密共享方案及实现

分析了传统的秘密共享算法的不足之处,提出了相应的优化方案,形成了先验式秘密共享方案,包括初始化、份额更新、份额恢复和秘密重构,实现了先验式秘密共享协议的各种算法,充分考虑了秘密分享的各个阶段可能遇到的问题,并分别给出了相应的解决方案.