可信软件研究

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

New results on rendezvous search on the interval

In a rendezvous search problem, two players are placed in a network and must try to meet each other in the least possible expected time. We look at rendezvous search on a discrete interval in which the players are initially placed using independent draws (usually assumed to be from the same distribution). Some optimal solutions are known if this distribution is uniform, and also for certain other special types of distribution. In this article, we present two new results. First, we characterize the complete set of solutions for the uniform case, showing that all optimal strategies must have two specific properties (namely, of being swept and strictly geodesic). Second, we relate search strategies on the interval to proper binary trees, and use this correspondence to derive a recurrence relation for solutions to the symmetric rendezvous problem for any initial distribution. This relation allows us to solve any such problem computationally by dynamic programming. Finally, some ideas for future research are discussed. © Wiley Periodicals, Inc. Naval Research Logistics 60: 454–467, 2013     

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计算机在火控系统测控领域具有广阔的应用前景.     

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

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

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设计了海战场指挥信息系统体系结构的物理框架和功能框架,给出了各框架的组成和结构,并与已有框架作了对比分析,结果表明所提的框架更加全面、可靠和灵活,为开展面向服务的指挥信息系统研究打下了坚实的基础.     

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

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

自由飘浮空间机器人准刚性分解运动轨迹控制与仿真

研究轨道空间机器人操作时,基座处于自由飘浮状态的手爪准刚性运动直角坐标轨迹的分解运动控制,重点分析了广义雅可比矩阵的计算,并进行了空间单手３—ＤＯＦ的仿真,该方法可相应推广到开链多手。     

Efficient distributions of arms‐control inspection effort

A rule that constrains decision‐makers is enforced by an inspector who is supplied with a fixed level of inspection resources—inspection personnel, equipment, or time. How should the inspector distribute its inspection resources over several independent inspectees? What minimum level of resources is required to deter all violations? Optimal enforcement problems occur in many contexts; the motivating application for this study is the role of the International Atomic Energy Agency in support of the Treaty on the Non‐Proliferation of Nuclear Weapons. Using game‐theoretic models, the resource level adequate for deterrence is characterized in a two‐inspectee problem with inspections that are imperfect in the sense that violations can be missed. Detection functions, or probabilities of detecting a violation, are assumed to be increasing in inspection resources, permitting optimal allocations over inspectees to be described both in general and in special cases. When detection functions are convex, inspection effort should be concentrated on one inspectee chosen at random, but when they are concave it should be spread deterministicly over the inspectees. Our analysis provides guidance for the design of arms‐control verification operations, and implies that a priori constraints on the distribution of inspection effort can result in significant inefficiencies. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2004.