WinCC与Matlab的软件接口方法研究

为了充分利用WinCC开发周期短、可靠性高及可维护性强等优点和Matlab丰富的数据分析处理函数库,解决WinCC开发系统调用Matlab函数库的问题,提高应用系统的数据分析处理能力,研究了WinCC与Matlab的软件接口方法,提出了可使应用系统脱离Matlab环境运行的基于可执行文件的混合编程方法,并以油罐泄漏检测...     

基于UML的航天发射指挥控制软件建模研究

指挥控制软件是影响SLC2S高效运行的重要因素之一。为了提高航天发射指挥控制软件的综合效能,基于统一建模语言(UML)建模技术,从软件需求分析出发,对航天发射指挥控制软件开发进行了静态和动态建模,增强了软件的一致性和可复用性,为软件开发奠定了良好基础。     

军用飞机可用度概念模型及仿真

使用可用度是军用飞机战备完好性的重要度量标准.运用传统的解析法计算使用可用度有其弊端.以军用飞机使用及维修保障过程中各个系统要素为基础建立了使用可用度概念模型;根据概念模型运用仿真软件Extend建立了仿真模型.仿真结果表明模型运行稳定可靠,模型中各模块算法合理有效,实现了模型解算目标,可信度高.从而为飞机可用度研究提供了一种新方法.     

基于Mamdani模糊推理的核动力装置技术状态评估

分析了传统二元逻辑应用于核动力装置部分失效技术状态评估时的局限性,概述了Mamdani模糊推理的基本技术;结合状态评估实例,提出了基于Mamdani模糊推理的核动力装置系统级的技术状态评估方法,为系统部分失效的技术状态评估提供了一种新的技术途径。     

航天器软件的研发路线

航天器自主能力构建面临着需求不断增多、多变、复杂化、未知的发展趋势,需要在软件研发方式和架构设计上做出改变.在分析已有的4种研发路线的基础上,提出第5条路线,即基于模型化、数据化设计思想的研发路线;提出具有即插即用能力的业务模型,采用电子数据单技术自底向上构建设备级和功能业务级的即插即用能力;以智能规划业务为例说明了业...     

Modern liberal wars,illiberal allies,and peace as the failure of policy

ABSTRACT

The post-Cold War period nearly up to the present has been characterised as the age of liberal wars, yet key facets of the liberal guidance of war remain under appreciated. This article seeks to address this wider gap with regard to the particular concern of war termination and the fulfilment or failure of policy. First, it develops characterisations of liberal wars based on the existing literature, identifying three broad types through consideration of context—defensive versus offensive—and of political and strategic agency, particularly regarding the motives for and intents of action. Three types of liberal wars result: defensive liberal wars, offensive liberal wars with humanitarian motive and geopolitical intent, and offensive liberal wars with geopolitical motive and humanitarian intent. The article then presents one exemplary case for each liberal war with an emphasis on how liberal strategy required an illiberal ally and that ally's effect on the subsequent peace.     

一种适于DSPs实现的BPSK载波同步方法

提出了全数字接收机中一种软件实现的BPSK载波同步方法 ,并给出了性能分析 ,适合于在存储空间和实时性都有要求的背景下的应用。该方法充分利用软件实现的优势 ,克服了传统方法的一些弱点 ,适合于在数字信号处理器 (DSPs)上实现