指挥信息系统需求体系框架

需求工程是指挥信息系统整个开发周期中的第一步,正确且全面地确认系统的需求是成功开发指控系统的关键.指挥信息系统需求体系框架是从需求开发的内容上规范需求工程技术在指挥信息系统需求开发中的应用.从需求的本义出发,在分析总结IEEE、INCOSE以及OMG等研究机构关于需求内涵与分类的研究基础上,本着与C4ISR/DOD AF一致的原则,结合近年我军指挥信息系统需求开发的实践经验,提出了指挥信息系统需求体系框架.     

基于事务级模型的火控计算机建模研究

在对系统进行高层次建模和验证时,事务级模型得到越来越广泛的应用。在SystemC语言的基础上构建了火控计算机的事务级模型,并通过事务级的仿真,对模型的功能进行了验证,为下一步的软硬划分和硬件设计打好基础。     

武器握把舒适度量化研究

以手枪的握持舒适度试验为依据,分析影响握把舒适度的因素,提取舒适度量化特征点,并在试验结果的基础上,给出舒适度量化特征值。     

装备预防性维修的维修级别逻辑决策分析方法

针对预防性维修的维修级别没有规范、统一的分析与确定方法的问题,研究了预防性维修的维修级别逻辑决策分析方法。明确了预防性维修的维修级别决策分析的对象是预防性维修工作类型,预防性维修主要有定时维修和状态维修,定时维修分为定时拆修和定时报废2种维修工作类型,状态维修分为状态信息检测、状态识别、状态预测、维修决策、故障诊断和维修实施等维修工作类型。根据维修间隔期、维修能力评估、其它非经济性因素以及经济性分析,分别建立了定时维修和状态维修的维修级别逻辑决策模型。     

美军信息系统互操作性研究

解释了军事信息系统互操作性的内涵,对美军信息系统互操作性研究现状如信息系统互操作性等级模型、美国国防部体系结构框架及国防信息基础设施总体规划等进行了详细阐述。进一步分析了美军发展军事信息系统互操作性的内容,为实现我军各信息系统的互操作性提供参考。     

Why internal conflict deteriorates state capacity? Evidence from Colombian municipalities

Previous work has documented a negative correlation between internal conflict and state capacity. We attempt to shed light on mechanisms that underlie this relationship, using data for Colombian municipalities. We rely on identifying heterogeneous effects of different types of violent events on state capacity, taking advantage of variability across municipalities in the prevalence of specific manifestations of conflict and their intensity. Our findings suggest that events making civilians feel targeted affect the state’s capacity to collect taxes, while those reflecting a stronger military capacity of illegal armies, in particular their large-scale attacks, affect the state’s capacity to provide public goods.     

兵团基层教练员队伍的现状及再建设

了解兵团基层教练员队伍的现状 ,加强基层教练员队伍建设 ,提高基层教练员队伍素质 ,无疑对刚刚起步的兵团竞技体育运动起着主导作用。     

智能水位测量仪表性能分析

分析了动力装置水位测量系统的现状 ,并通过实验测试认为改进型水位测量仪表系统的设计是可行的 ,与原来的系统相比具有性能稳定的特点 .最后 ,提出了减少水位测量系统误差的方法和提高测量系统性能的建议 .     

嵌入式微处理器的多层次可配置仿真工具

为了适应嵌入式定制微处理器的开发的需要 ,克服现有微处理器仿真工具的某些不足 ,文中介绍了微处理器的仿真验证工具———VCPU的设计和实现方法。同其它微处理器仿真工具相比 ,该工具具有多层次 ,可配置 ,功能全面的特点。利用该工具 ,设计者可在设计早期进行系统集成验证 ,缩短设计周期并减少设计错误。该工具已经在嵌入式微处理器开发过程中得到成功应用     

The one‐warehouse multiretailer problem with an order‐up‐to level inventory policy

We consider a two‐level system in which a warehouse manages the inventories of multiple retailers. Each retailer employs an order‐up‐to level inventory policy over T periods and faces an external demand which is dynamic and known. A retailer's inventory should be raised to its maximum limit when replenished. The problem is to jointly decide on replenishment times and quantities of warehouse and retailers so as to minimize the total costs in the system. Unlike the case in the single level lot‐sizing problem, we cannot assume that the initial inventory will be zero without loss of generality. We propose a strong mixed integer program formulation for the problem with zero and nonzero initial inventories at the warehouse. The strong formulation for the zero initial inventory case has only T binary variables and represents the convex hull of the feasible region of the problem when there is only one retailer. Computational results with a state‐of‐the art solver reveal that our formulations are very effective in solving large‐size instances to optimality. © 2010 Wiley Periodicals, Inc. Naval Research Logistics, 2010