基于解析冗余的容错控制--控制率重构研究

研究了基于解析冗余的容错控制--控制率重构方法,分析了控制系统中传感器出现故障时其输出信息重构的问题,并针对核反应堆控制系统进行了仿真试验.由试验结果看出,传感器输出信息重构方法是正确的.     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

电子对抗装备软件的测试策略与方法

在阐述了电子对抗装备软件特点的基础上,对研制电子对抗装备软件过程中的测试策略与方法进行了初步的研究,并对在实施测试过程中的几个问题进行了探讨.     

海战场信息系统和武器系统综合仿真技术研究

本文分析了海战场信息系统仿真的特点,介绍了可以应用于海战场信息系统和武器系统综合仿真的高层体系结构(HLA)技术,描述了澳大利亚国防科学与技术组织(DSTO)基于HLA技术的虚拟舰艇概念和潜在的应用,以及虚拟舰艇结构和层次化联邦共同体概念的设计方法。     

美国太空安全领域最新发展分析

美国认为太空已被普遍认定为最重要的作战域之一,未来的太空安全态势将愈发严峻。本文认为, 美国正面向未来太空对抗环境进行全面转型, 从顶层战略、作战理论、组织结构、战备训练、装备技术等方面开展研究、调整和长远布局, 如以我为主要对手谋划布局、发布系列军事航天顶层指导文件、大幅增加太空攻防作战相关经费投入等。 目前, 美军正处于新旧体系转换、 下一代能力构建发展的关键期, 不仅正在变革军队组织体制、重组太空攻防作战力量, 还积极开展系列演习演训, 以加速形成太空攻防实战能力。美军这一系列动向将对未来太空领域安全与发展产生重大影响, 应引起我高度重视。     

An historical review of US defense strategy from Vietnam to operation Iraqi freedom

Facing nearly half a billion dollars in spending cuts over the next five years, US defense planners and strategists must simultaneously rebuild a war-weary Army weakened from over a decade of war, build new sea and air capabilities for the Pacific theater, and reduce manpower, procurement, and contractor budgets while promoting innovation. The US defense department is embarking on what may be the most sweeping period of defense transformation in recent memory. This article reviews the history of American defense transformation, focusing on an important but largely overlooked period of military innovation that began in the shadow of Vietnam and ended with troops fighting through blinding sandstorms at night on the road to Baghdad. The multifaceted transformation strategy conceived in the 1970s paved the way for a military revolution in the 1990s and enabled unprecedented battlefield adaptation in the 2000s. After reviewing the revolutionary changes that led to American dominance in conventional warfare in the 1990s, the article examines US transformation policies in the 2000s to inform defense strategy and planning efforts in the 2010s.     

The elephant in the room: US ballistic missile defence under Barack Obama

Conventional wisdom seems to hold that under Barack Obama, the US ballistic missile defence programme has been pushed aside to allow for a refreshed domestic and international agenda. Proponents point to Obama's campaign thinking and rhetoric, the ballistic missile defence (BMD) budget cuts, the decision to end the Third Site in Europe, and the reset relations with Russia through the New Strategic Arms Reduction Treaty (New START) as evidence that the programme has undergone a significant period of change, retraction and rationalisation. This article argues instead that BMD has not fallen from prominence and that there is a change in focus rather than retraction of its strategic goal. Consequently, BMD continues to grow in importance as a component of US national security strategy.     

基于AMESim的液压混合动力车辆建模仿真研究

在阐述并联式液压混合动力车辆的结构原理及液压系统参数设计的基础上,利用AMESim创建了整车模型。根据液压混合动力系统的工作特性,以改善车辆燃油的经济性为目标,提出了基于车辆扭矩需求的发动机和液压泵/马达扭矩控制策略。仿真结果表明:该混合动力系统能合理控制扭矩分配,实现不同工作模式的平顺切换,在满足车辆动力性能指标的前提下,有效地提高了燃油的经济性。     

钢制油罐腐蚀因素综合研究

提出了油罐腐蚀因素的综合研究方法,研究了钢制油罐主要腐蚀因素。首先根据腐蚀特征,找出钢制油罐的5个特征腐蚀部位;其次根据文献,深入讨论影响其腐蚀的大气、土壤、存储介质和随机因素,得到56个具体腐蚀因素;然后针对油罐底板上表面,考虑腐蚀机理和腐蚀因素参与腐蚀程度,分别构建层次模型和网络模型;最后对影响油罐底板上表面的11个因素进行综合排序。研究结果表明,综合研究方法具有合理性。     

基于自适应变异粒子群算法的火力分配方法研究

针对最优火力分配的特点,分析了火力分配优化问题的数学模型,设计了一种求解该类问题的自适应变异粒子群算法（Adaptive Mutation Particle Swarm Optimization, AMPSO）。该算法采用十进制编码方法和基于数值运算的个体更新方法;为平衡算法的局部搜索能力和全局收敛性能,设计了一种关键参数自适应调整方法;为增强种群在进化后期的多样性,提出了一种变异策略。仿真结果表明,所提AMPSO算法具有良好的寻优性能,是优化火力分配的一种有效算法。