近代西方兵役制度变革的历史回顾

兵役制度是军事制度的一个重要内容.现代兵役制度是继承了近代西方兵役制度的优长发展起来的.民兵制、义务征兵制和预备兵役制是近代西方产生的三种主要兵役制度,分别出现在16世纪初的意大利、大革命时期的法国和拿破仑战争中的普鲁士.这三种兵役制度因其巨大的优越性,一经产生就推广开来,成为很多国家普遍采用的兵役制度.特别是义务征兵制,到两次世界大战期间已经发展得比较完善,直到今天仍然是许多国家的主要兵役制度.     

摧毁固定目标的空袭兵器需求量算法研究

在反空袭作战中,预先对敌空袭兵器的出动量的有效判断程度,关系到我防空兵器的兵力需求论证与战斗部署。以往这方面的研究成果中,定性多于定量,为提高准确性,加强定量研究有很大的必要。由于影响作战的因素很多,且需求量的计算分为多个方面,不可能一一作出研究。分析了敌空袭固定目标时兵力选择所依据的因素,分别用排队论与Lanchester方程理论进行了数学建模。     

改进的AHP法在装甲分队火力运用评估中的应用

针对评估对象的模糊性和不确定性,对层次分析法进行了改进,并提出了基于改进的层次分析法的装甲分队火力运用评估模型。在层次分析法基础上引入模糊集,并结合模糊评判,对装甲分队火力运用的能力进行了评估。结果表明,采用该方法进行的评估,有效避免了使用传统AHP方法构建判断矩阵时,专家对各标度间的区分把握不够准确,带来的评判误差,并取得了符合实际而又较为准确的评估结果。     

CMP1协议的符号模型检验分析

提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.     

新型角速率火控系统研究

根据激光测距仪获得的目标斜距,建立实时确定目标速度和过航斜距的数学模型,并提出解决角速率火控系统中普遍存在的计算延迟、预测精度不高和弹道气象修正困难等问题的方案。     

一种改进的最大选择逻辑恒虚警检测算法

在已有的恒虚警处理算法中,由于单元平均（ＣＡ）和有序统计（ＯＳ）法都是剔除平均（ＴＭ）法的特例,因此可以考虑用ＴＭ法代替一些参量ＣＦＡＲ算法中所采用的ＣＡ或ＯＳ法,以期获得更优的检测或控制虚警的性能。基于这种思想提出ＴＭＣＡＧＯ检测器,并在ＳｗｅｒｌｉｎｇⅡ型目标假设下推导Ｐｆａ、Ｐｄ和ＡＤＴ的解析表示式。通过对其在均匀背景和强干扰目标环境下性能的分析,以及与ＯＳＣＡＧＯ、ＧＯＳＧＯ和ＯＳ等检测器性能的比较,发现ＴＭＣＡＧＯ在上述环境中的性能较这几种检测器均获得了明显的改善。     

基于雷达网拓扑特征的雷达目标编群算法

为有效评估战场电磁态势和实施雷达网对抗,研究雷达目标编群算法十分必要。提出了一种基于拓扑特征分析的雷达目标编群算法,在分析雷达网拓扑结构及其特征基础上,利用拓扑特征实现雷达目标群的建立和更新,完成雷达目标编群。仿真实例表明算法具有可行性和有效性,为电磁态势评估和雷达网对抗奠定了基础。     

弹药保障CGF智能决策模型研究与实现

弹药保障CGF智能决策系统是装备保障效能评估系统必不可少的组成部分,其核心是对人类决策行为的建模与仿真.在介绍智能决策含义和决策过程的基础上,重点研究和分析了CGF智能决策行为,构建了CGF智能决策模型.针对决策过程中由于无法获得人脑思维方式而导致行为模型的表达、描述、推理等受到怀疑的问题,在弹药保障CGF智能决策模型中,将决策行为分解为任务决策、过程决策和动作决策3个步骤,接近于人类思维方式.同时,对实现弹药保障CGF智能决策具有关键作用的任务决策原则、过程决策方法和动作决策规则进行了研究,并给出了应用实例.实例证明,弹药保障CGF智能决策方法逻辑清晰,易于理解和维护,便于实现.     

FORTRAN程序的多任务分割

本文以数据相关分析为基础,详细地讨论了LOOP级多任务生成的几种方法,给出了FORTRAN循环可并行执行的条件,提出了需要注意的几个问题。在此基础上,本文提出了对FORTRAN程序进行宏任务生成的一种新方法,并且考虑了实现多任务生成的几个编译问题。