论兵器运用工程

本文阐述了兵器运用工程研究的目的、对象、内容及要解决的问题,简要地回顾了这门学科形成的过程,并着重讨论了构成本学科的专业理论和今后急待研究的方向。     

一种基于熵值的装备维修性评价模型

本文提出了一种基于熵值的装备维修性综合评价模型,该模型包括评价指标的熵值度量模型、装备维修信息结构图和行为控制图以及基于熵值的评价指标聚合模型等3个方面。本研究首先在分析装备维修一般过程和维修性评价内容的基础上,构建了定性指标和定量指标相结合的装备维修性评价指标体系,分析了维修任务复杂度、维修保障复杂度和基于熵值的维修效果的涵义;其次,给出了定性指标的熵值、定量指标的熵值以及基于权值的装备维修性熵值等计算方法;最后,给出一个装备维修性熵值评价的算例。算例结果表明,所提方法能够结合综合维修任务、维修保障和维修效果等多种影响因素进行装备维修性评价,不仅可以根据熵值大小对装备维修性水平进行高低排序,还可以分析影响装备维修性水平的瓶颈因素。     

A novel launch dynamics measurement system for multiple launch rocket system and comparative analysis with numerical simulations

In this paper,a novel launch dynamics measurement system based on the photoelectric sensor pair is built.The actual muzzle time(i.e.a time duration that originates from the initial movement to the rocket's departure from the muzzle)and the muzzle velocity are measured.Compared with the classical methods,the actual muzzle time is obtained by eliminating the ignition delay.The comparative analysis method is proposed with numerical simulations established by the transfer matrix method for multibody systems.The experiment results indicate that the proposed measurement system can effectively measure the actual muzzle time and reduce the error of classical methods,which match well with the simulation results showing the launch dynamics model is reliable and helpful for further analysis and design of the MLRS.     

一种新的维修性分析方法——维修障碍分析法

针对目前维修性分析方法存在的问题,提出一种新的维修性分析方法--维修障碍分析法.介绍了维修障碍的定义与分类,重点阐述了维修障碍分析方法的基本思想,并给出维修障碍分析的基本程序.最后用一个简单的实例对方法的应用进行了验证.     

维修性对装备维修工作量的影响分析

通过对装备维修工作量构成的论述,指出装备维修性是决定装备维修工作量的主要因素;通过对装备的维修性的分析,提出了提高装备维修性的有效途径,以达到减少装备维修工作量的目的.结合维修性案例,说明通过改进装备设计提高其维修性具有较大的实际价值.     

装备全寿命过程保障性验证技术总体构想

从分析我军装备保障性验证工作当前存在的问题入手,构建了全寿命过程的装备保障性验证技术总体研究框架,确定了主要研究内容,并提供了研究方案,探讨了关键技术的突破要点,为有针对性地、有步骤、系统地开展装备保障性验证技术研究奠定了基础．     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

层次分析法的水下航行器维修性指标分配方法

基于层次分析法的水下航行器维修性指标分配方法把层次分析法应用到水下航行器维修性指标分配方法中,即邀请专家对故障的检测和隔离方式、可达性、可更换性和测试的困难等级进行两两比较,得到评价矩阵,据此,可以得到分配结果.这种方法克服了按故障率和设计特性分配法在设计特性相差不大时存在的缺陷,把定性分析与定量分析相结合.在设计初期即明确设计目标,除了考虑到单元的故障率还兼顾了初期设计过程中的不确定性.将这种方法应用于某水下航行器的维修性分配,结果表明,该方法具有实用价值.     

系统仿真中的模型校核问题

分析了由模型到仿真程序的问题的基本原因,指出了模型校核的必要性。对模型校核中的稳定性问题、系统状态不连贯问题和代数环问题进行了阐述和分析。针对一个二阶线性连续系统模型的离散化,通过模型校核,发现了隐含其中的稳定性问题,进而指出了相关稳定性理论在应用上的局限性,给出了解决此稳定性问题的方法,并最终通过模型校核,确认了该解决方法的有效,从而保证了对该二阶连续系统的精确的离散化。     

Making Us Disarmament Commitments Credible

President Barack Obama's 2009 commitment to pursue a world without nuclear weapons struck some as incredible given political resistance to arms control treaties and unilateral reductions. This viewpoint describes steps that can demonstrate a commitment to nuclear disarmament that do not rely on warhead dismantlement. These steps include the collation and release of nuclear data; the renovation and construction of facilities to new transparency standards; and the selective modification of conventional weapon systems. The steps may make a disarmament agreement more likely by assuaging the difficulty the United States will have committing to a verification scheme, given its capacity to circumvent such a scheme. A more credible disarmament pledge could also secure substantial fiscal and diplomatic gains.