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

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

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

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

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

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

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

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

基于半马氏决策过程的电容器维修策略优化

针对电容器随机劣化失效的特点,采用半马氏决策过程解决其预防性维修方案设计和维修策略优化问题.在电容器随机劣化的Gaussian-Poisson模型基础上,以检测周期为优化变量,同时考虑预防性维修次数阈值的影响,建立电容器长期运行费用率优化模型.分析表明,对该型号电容器来说,预防性维修相比于事后修理更加有利于节省部件长期运行的费用率.     

面向能耗有效高性能嵌入式微处理器的VLIW调度

为了降低功耗,目前能耗有效的嵌入式微处理器一般都采用分布式与层次化的寄存器文件结构。第一层的超小寄存器文件(TORF)的极小容量使得很多数据必须存放到第二层的通用寄存器文件(GRF)中,这给编译器带来了新的挑战。通过分析程序特征,提出了新的VLIW调度算法,通过在编译时对变量进行检测,在恰当的时机插入虚拟的copy操作并进行指令与通信调度,为对寄存器需求较大的全局变量与软流水变量构建了新的包含GRF的数据传输路由,将对TORF的压力转移到GRF中。实验结果表明,新的VLIW调度算法符合处理器的设计初衷。与不使用GRF相比,在程序性能只降低约8%的情况下,降低了约51%的寄存器访问能耗,43%的处理器能耗。最关键的是避免了程序员手工分配优化的难题。     

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个因素进行综合排序。研究结果表明,综合研究方法具有合理性。