红外成像导引头抗干扰性能评估方法

给出了一种对地面复杂干扰环境的红外成像导引头抗干扰性能评估方法,分析了红外成像导引头所面临的干扰因素,结合实际战场情况对干扰环境的等级进行了划分,并详细设计了红外成像导引头抗干扰性能仿真测试方案。采用半实物仿真方法得到红外成像导引头在不同干扰环境下的实验数据,运用bayes估计的方法建立红外成像导引头抗干扰概率计算模型。结合某实物红外成像导引头开展抗干扰性能半实物仿真测试,实验结果验证了该方法的合理性和有效性。     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

触摸知识化军人

俄罗斯军事学家苏沃洛夫曾经说过：“无知比敌人还坏，它可能葬送整个军队。”迎接知识军事的挑战，首要的是催生知识化军人，包括人掌握知识的水平、人的创新意识与能力以及所需的物质、技术和人文条件。     

专家组召开各类人员座谈会 走访部系及职能处室

评估期间,评估专家分组召开了各类人员座谈会,走访了各教学部系及职能处室。先后组织召开了院领导座谈会,教学管理人员、离退休干部、教师、学员座谈会;走访了基础部、边防系、消防工程系、消防指挥系、警卫系、部队管理系、维和培训中心,训练部学院办公室、教务处、教保处、图书馆、编辑出版中心、模拟演练与信息管理中心、实验教学管理中心，政治部组织处、干部处、宣传处，院务部财务处、营房处，科研部组织计划处，基础部军体教研室等有关处室；随堂进行了听课；查阅了学员试卷和毕业论文；组织学员（随机抽取）进行了英语技能测试、计算机技能测试和基本技能（400米障碍）测试。     

C3I仿真测试系统的可视化技术

作为C3I仿真系统的重要组成部分,目前指控信息及战场实时状态信息的可视化已在大多数C3I仿真系统中得到一定程度的实现.对C3I仿真测试系统的系统组成和数据结构做了简要的介绍,并根据对C3I仿真测试系统以及其中仿真测试数据特点的研究,分析了仿真测试系统的可视化范围,主要对系统拓扑可视化、仿真测试过程可视化和仿真测试结果可视化进行了分析研究,并对需要解决关键技术问题进行了比较深入的分析探讨,同时提出C3I仿真测试系统的一种可视化解决方案.     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

“军事经济人”假设与军事经济学基础

文章从军事经济活动的微观主体对象出发,运用“军事经济人”假设,对军事经济研究提出了新的观点。运用效用最大化理论,从物质和非物质两个方面来分析军事经济微观主体的行为,指出“军事经济人”与一般“经济人”的异同点,界定了“军事经济人”的特性,并概要地论述了“军事经济人”与军事经济学基础理论的内在逻辑关系。     

基于状态变换的数字电路冗余确认研究

以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.     

装甲车辆起动电动机综合试验台

采用较先进的磁粉制动器作为电机的负载,使电机加载平稳、可靠、恒定,并可连续调节负载大小;同时采用高精度的ZJ型转矩转速传感器并配合转矩转速仪,不但能测量电机稳态时的转矩、转速和功率,同时还可测试电机某一过渡过程中转矩、电流、转速随时间变化的数值并贮存或打印.     

稳像式火控系统实车训练装置的研制

该训练装置可以在安装稳像式火控系统的坦克上完成射击基础练习的训练与考核.它以单片机为核心,在射击操作与实车相同的条件下,具有自动检靶,自动记录发射数、命中数,自动变换目标,自动报警,自动评定和显示成绩等功能.射手可独自在坦克内操作,自行开始练习,自我检查操作结果.