网络信息体系作战效能智能化评估

未来战争是以“网络中心战”和“信息中心战”为支撑的全域联合作战,战争优势取决于基于网络信息体系的多种作战资源作战效能的高效聚合。简要分析了网络信息体系作战效能评估基本概念,总结梳理了当前网络信息体系作战效能评估方法现状,初步探讨了网络信息体系作战效能智能化评估的主要着力点与作战效能自主评估机制等,为后续网络信息体系作战效能的智能化评估实施提供借鉴。     

Analysis of some critical aspects in hot machining of Ti-5553 superalloy: Experimental and FE analysis

In this study, a newly developed titanium superalloy, i.e., the Ti-5553 alloy has used for hot machining. This material replaced Ti-grade-5 alloy in the application of aerospace, automobile, and biomedical sector. However, similar to Ti-grade-5 alloy, the Ti-5553 alloy has a low thermal conductivity which makes it difficult-to-cut material categories hence, high tool wear, cutting force and bad surface finish. Hot machining of Ti-5553 has been studied at different machining condition (room and hot) using Deform-2D finite element analysis. The result from the simulation test was compared with the experimental value and reduction of cutting and thrust forces was observed. The experiment was carried out with the same input parameters as simulation, and good coherence between them observed. Additionally, cutting zone temperature, effective stress, etc. for both room and elevated the temperature are also discussed.     

The building evacuation problem with shared information

In this article, the Building Evacuation Problem with Shared Information (BEPSI) is formulated as a mixed integer linear program, where the objective is to determine the set of routes along which to send evacuees (supply) from multiple locations throughout a building (sources) to the exits (sinks) such that the total time until all evacuees reach the exits is minimized. The formulation explicitly incorporates the constraints of shared information in providing online instructions to evacuees, ensuring that evacuees departing from an intermediate or source location at a mutual point in time receive common instructions. Arc travel time and capacity, as well as supply at the nodes, are permitted to vary with time and capacity is assumed to be recaptured over time. The BEPSI is shown to be NP‐hard. An exact technique based on Benders decomposition is proposed for its solution. Computational results from numerical experiments on a real‐world network representing a four‐story building are given. Results of experiments employing Benders cuts generated in solving a given problem instance as initial cuts in addressing an updated problem instance are also provided. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

进气道角度对含硼推进剂固冲发动机性能的影响

为了提高含硼推进剂固体火箭冲压发动机内硼颗粒的燃烧效率,采用颗粒轨道模型进行了补燃室两相流的数值模拟,其中硼颗粒的点火和燃烧模型采用的是King模型,建立了发动机补燃室内简单反应流模型,在该模型下研究了进气道的位置对非壅塞固体火箭冲压发动机燃烧效率的影响,并在此基础上进行直连式试验研究.结果表明,后进气道角度为60°时的燃烧效率比90°时高.     

大规模代谢网络分解的生物信息学研究

随着大规模分子相互作用数据的不断涌现,生物学网络方面的研究正日益得到重视.代谢网络处于生物体的功能执行阶段,其结构组成方式不仅反映了生物体的功能构成,也直接影响代谢工程中的途径分析和研究.作为代谢网络研究的重要环节,实现网络的合理分解不仅对于基因组范围内分子网络的结构和功能研究具有重要意义,也是代谢工程的途径分析和优化得以顺利进行的前提之一.在回顾代谢网络宏观结构和拓扑特征研究成果的基础上,通过对现有分解方法的深入分析,指出缺乏合理且有针对性的模型评估准则是目前网络分解研究中亟待解决的问题之一.今后的研究趋势在于如何整合更多的信息和发展更先进的分析方法,建立更合理的模型,并进一步拓展网络分解的应用范围.     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

冲压增程弹进气道设计方法与性能分析

以冲压增程弹为应用背景进行了进气道设计.结合增程弹的特点,讨论了轴对称进气道中心锥参数、喉道参数、外罩参数的选择.特别对进气道唇口处参数、扩张段角度设计方法进行了分析.设计了单锥混压式、单锥外压式以及双锥混压式三种进气道,并进行了数值模拟.分析了进气道主要设计参数对其性能的影响.数值结果表明,就增程弹的性能要求而言,双锥混压式进气道的性能较高.     

空间目标RCS序列的R/S分析

RCS包含了目标丰富的信息.分析了空间目标RCS序列产生混沌的机理,并非线性理论中的功率谱法引入空间目标RCS序列的分析中,用重整标度分析法(R/S)分析了空间目标RCS序列的混沌特性,仿真结果表明,与旋转目标相比,三轴稳定目标RCS序列较复杂和不规则,这与实际分析的情况相符合,证明了该方法的有效性.     

关于ADC法评估C~4ISR系统效能中的可靠性

针对运用ADC法评估防空C4ISR系统效能中,可靠性是影响系统效能的重要因素,对C4ISR系统的可靠性进行研究,重点分析了软件及通信网可靠性的估算公式,并在此基础上建立可用性A和可信性D数学模型.最后,通过实例分析证明了可靠性对系统效能评估的重要影响.     

一种基于条件概率的设备占用率修正算法

简要介绍了某型无人机维修级别分析中的组合方案法 ,针对传统分析法中设备占用率采用经验值 ,造成可信度低的问题 ,提出了一种基于不同故障模式发生时的条件概率求解设备占用率的算法 ,并给出了这种算法的适用范围。