C4ISR系统领域分析与需求复用方法研究

重用作为一种领域模型的构建方法,可以快速构成一个有效的需求模型。分析了C4ISR系统军事需求模型的领域性及其需求共性,进而对比研究了C4ISR系统军事建模过程中的重用方法,为C4ISR系统军事需求开发中解决共性需求问题提供思路。     

Book review

La Conversion économique du secteur militaire, J. FONTANEL, Economica, Paris, 1994, pp. 112. Paperback. ISBN 2–7178–2650–5.     

Insurgency by the numbers I: A reconsideration of the ecology of communist success in jiangxi province,China

Theorizing about Taliban operations in Afghanistan has its limits and it is possible that Kabul-centric strategies do not adequately address the unique circumstances of each region in the country. How exactly has the Taliban gone about attaining its objectives in Kandahar province and how have those approaches evolved since 2002? And how have the Taliban adapted to coalition forces' attempts to compete with the insurgency and stamp it out? The answers to these questions are critical in the formulation of any counterinsurgency approach to Afghanistan.     

航天测控系统任务可靠性分析的EOOPN模型

提出了一种可用于航天测控系统任务可靠性分析的扩展面向对象Petri网（extend object-oriented Petri nets, EOOPN）模型,旨在对给定的航天测控方案进行可靠性评估分析。针对问题特点明确了OOPN扩展思路,给出了EOOPN模型的形式化定义、运行规则和建模步骤,模型通过引入公共库所、激发弧、消息变迁和消息处理函数等概念,体现了面向对象的思想,具有很好的层次性和模块性。所建立的EOOPN模型能够完整的描述航天测控系统的组成和任务特点。通过对算例模型仿真运行,表明实验结果具有良好收敛性,与Markov解析值对比误差在1%以内,从而验证了模型的有效性。     

A produce‐to‐stock system with advance demand information and secondary customers

We consider a manufacturer (i.e., a capacitated supplier) that produces to stock and has two classes of customers. The primary customer places orders at regular intervals of time for a random quantity, while the secondary customers request a single item at random times. At a predetermined time the manufacturer receives advance demand information regarding the order size of the primary customer. If the manufacturer is not able to fill the primary customer's demand, there is a penalty. On the other hand, serving the secondary customers results in additional profit; however, the manufacturer can refuse to serve the secondary customers in order to reserve inventory for the primary customer. We characterize the manufacturer's optimal production and stock reservation policies that maximize the manufacturer's discounted profit and the average profit per unit time. We show that these policies are threshold‐type policies, and these thresholds are monotone with respect to the primary customer's order size. Using a numerical study we provide insights into how the value of information is affected by the relative demand size of the primary and secondary customers. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007     

典型人因可靠性分析方法评述

对比较典型的第一代和第二代人因可靠性分析方法进行综述。首先讨论人因可靠性的基本定义;然后选取几种比较有代表意义的第一代方法进行对比分析,以此为基础介绍第一代方法的基本思想和特征;接下来分析第二代人因可靠性分析方法中两种典型方法,讨论它们的基本特点,并分析它们相对于第一代人因可靠性分析方法的优势以及自身的一些问题;最后展望人因可靠性分析方法的发展趋势。     

弹药库防静电方法研究

根据弹药库静电危险场所的分类等级,以形成静电危害的3个基本条件为依据,讨论了弹药库防静电危害常用措施:设施设备静电接地、防静电工作台、人体静电防护、铺设导电(或防静电)地面以及各自防静电要求.这些措施为防止和消除弹药库的静电危害提供了根本保障.     

美国2014年《四年防务评估报告》特点

2014年3月4日,美国国防部向国会提交了2014年版《四年防务评估报告》和《2015财年国防预算报告》。《四年防务评估报告》更新了再平衡战略,为美军建设提出了优先发展方向,要求美军联合部队向“更小型化”转型,以满足未来军事行动需求。     

一类具有饱和发生率的离散型SIS传染病模型

研究一类具有饱和发生率的离散型SIS传染病模型,得到了模型的基本再生数.通过线性化的方法,运用LaSalle-Lyapunov定理,证明当基本再生数R01时,无病平衡点是全局渐近稳定的;通过迭代的方法,证明当基本再生数R01时,地方病平衡点是全局渐近稳定的.