可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。     

Joint inventory and pricing decisions for perishable products with two‐period lifetime

We consider a periodic review model over a finite horizon for a perishable product with fixed lifetime equal to two review periods. The excess demand in a period is backlogged. The optimal replenishment and demand management (using price) decisions for such a product depend on the relative order of consumption of fresh and old units. We obtain insights on the structure of these decisions when the order of consumption is first‐in, first‐out and last‐in, first‐out. For the FIFO system, we also obtain bounds on both the optimal replenishment quantity as well as expected demand. We compare the FIFO system to two widely analyzed inventory systems that correspond to nonperishable and one‐period lifetime products to understand if demand management would modify our understanding of the relationship among the three systems. In a counterintuitive result, we find that it is more likely that bigger orders are placed in the FIFO system than for a nonperishable product when demand is managed. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

PXI计算机在一体化多模式发控系统中的应用

针对一体化火控系统的特殊性,提出了基于PXI计算机的发控技术,介绍了PXI总线计算机在一体化火控系统中的设计理念及其在一体化火控系统中的功能实现.应用表明,PXI计算机在火控系统测控领域具有广阔的应用前景.     

Lost through non-translation: bringing Clausewitz's writings on ‘new wars’ back in

While Carl von Clausewitz has generally been respected as one of the most profound philosophers of war, his expertise has been regarded as somewhat limited if not even irrelevant to the so-called ‘new wars’ of the post-Cold War world. Many scholars in international relations have claimed that ‘new wars’ are essentially ‘post-Clausewitzian’ and ‘post-trinitarian’ in nature, meaning that they are no longer fathomable through a Clausewitzian framework. However Clausewitz's earlier writings were nearly exclusively dedicated to guerrilla warfare, or what he called ‘small wars’. These writings have been largely overlooked by many analysts of contemporary conflicts. By drawing on his rare and untranslated writings, the article uncovers a critical part of Clausewitz's expertise in asymmetric warfare and shows that, far from being irrelevant in an age where interstate warfare is increasingly being replaced by conflicts between states and semi-/non-state actors, Clausewitz's philosophical writings actually shed new light into the particular interactive dynamics generated during wars waged under conditions of asymmetry.     

基于倾斜开关曲线的小推力器姿态控制方法分析与准极限环控制方法

研究了利用小推力器进行航天器姿态控制问题。从理论上推导了在给定姿态控制精度、小推力器参数以及倾斜开关曲线参数的前提下,能够形成理想极限环控制效果的充分必要条件。对相关文献中倾斜开关曲线设计方法不能形成理想极限环的情况进行了理论分析,提出了一种新的基于倾斜开关曲线的准极限环控制方法,并推导了其控制精度。研究对于航天器应用小推力器实现高精度姿态控制具有较大的工程应用价值。     

带点缺陷的一维亥姆霍兹共振腔声子晶体中缺陷模式

在基于亥姆霍兹共振腔的一维声子晶体中引入点缺陷会在原有局域共振型声禁带内产生缺陷模式。采用传递矩阵法和有限元法分析了缺陷模式随缺陷单元几何尺寸变化关系和声子晶体中声场分布情况。结果表明,随着缺陷单元与完美单元之间耦合程度的增强,缺陷模式从局域共振型禁带中完美单元共振频率处向禁带边缘移动。同时,缺陷模式的存在使得结构中出现了能量局域化的现象。本工作对设计新型声滤波器、能量集中装置具有一定的理论意义。     

An Imperfect Jewel: Military Theory and the Military Profession

This article explores a perennial theme in the literature of strategic studies: the relationship between military theory and the military profession. It begins with a conceptual analysis of this relationship. It then investigates what military theorists themselves have had to say about the utility of their craft. It concludes by assessing the actual influence of military theory on selected individuals and institutions. The individuals are George S. Patton, Jr., and Ulysses S. Grant. The institutions are the United States Army and the United States Air Force in the late twentieth century. The fundamental finding is suggested in the title: military theory can indeed be quite useful in the maturation of military commanders and in the development of martial institutions, but it is not always necessary and by no means perfect. It should thus be studied assiduously but used with caution.     

The Israel Defense Forces as an epistemic authority: An intellectual challenge in the reality of the Israeli – Palestinian conflict

The changes in the nature of warfare and its transformation toward Low Intensity Conflict (LIC) intrastate conflict have challenged the patterns of interaction between the political and the military echelons in Israel. It seems that the political echelon's superiority is maintained at the institutional and formal levels, but on the substantive level, which demands relying on knowledge and systematic staff work, the political echelon's position is weakened and loses its validity.

Introducing the military echelon in Israel as an epistemic authority regarding the violent confrontation and the main outlines of the military knowledge development process might clarify why the absence of the required dialogue between the echelons and the weakness of the intellectual effort increased the military's influence over the shaping of Israeli conflict-management strategy. The argument's validity and its explanatory power can be found relevant for other countries whose militaries are deeply involved in the management of LIC.     

面向服务的海战场指挥信息系统体系结构框架

一体化联合作战和基于信息系统的体系作战对海战场指挥信息系统提出了更高的要求.从面向服务的海战场指挥信息系统构建需求出发,在军事信息服务定义的基础上,利用SOA和P2P设计了海战场指挥信息系统体系结构的物理框架和功能框架,给出了各框架的组成和结构,并与已有框架作了对比分析,结果表明所提的框架更加全面、可靠和灵活,为开展面向服务的指挥信息系统研究打下了坚实的基础.     

新一代指挥信息系统中的语义网应用能力分析

随着现代战争形式的演变,提升指挥信息系统能力的关键在于信息处理.语义网是一种先进的信息表示方法,能够有效地提升机器的信息理解和处理能力.简要介绍了语义网技术的组成和本质能力,并结合美军的研究实例,分析了其在新一代指挥信息系统中的应用能力,指出了发展机遇和挑战,并对未来研究提出了建议.