陆军战术电台仿真模型研究

随着仿真技术在陆军战术互联网仿真应用的逐步深入,对通信装备仿真模型的需求越来越高。分析了电台仿真模型的建模需求,介绍了电台通信时报文的收发流程,构建了电台仿真模型并对模型中各部分模块进行了描述。最后,通过VRNET Developer网络仿真平台对VHF电台仿真模型在干扰和移动条件下的通信进行了仿真,实验表明,构建的电台仿真模型能够达到战术通信的效果。     

Dynamic necking of a near α titanium alloy at high strain rates:Experiments and modelling

The tensile behaviour of near α Ti3Al2.5 V alloy, conceived for applications in aerospace and automotive engineering, is characterized from quasi-static to high strain rates. The material is found to present noticeable strain rate sensitivity. The dynamic true strain rate in the necking cross-section reaches values up to ten times higher than the nominal strain rate. It is also observed that beyond necking the dynamic true stress-strain curves present limited rate dependence. The experimental results at different strain rates are used to determine a suitable constitutive model for finite element simulations of the dynamic tensile tests. The model predicts the experimentally macroscopic force-time response, true stress-strain response and effective strain rate evolution with good agreement.     

Modeling and realization of real time electronic countermeasure simulation system based on SystemVue

In this paper, we proposed a new design scheme of real time electronic countermeasure simulation system. This paper mainly expounds the modeling and realization methods of each part of the whole simulation system, and the real-time property of system has been lucubrated. Electronic countermeasure simulation system is the key part of military training of individuals; it can also allow the realistic evaluation of the performance of modern equipments and techniques. As a proof, we have drawn up a series of simulation scenarios, such as radar electronic reconnaissance simulation scenario, to explain the feasibility and the superiority of our modeling scheme in this paper.     

The evaluation of a possible future Sino-Japanese armed conflict through the application of the ACEI-model

There is relatively little formal modeling of the economic effects of armed conflicts even though they have substantial economic effects. We set forth a new model, namely the armed conflict economic impact model – ACEI-Model. The model looks at the economic effects of war in three different stages: (i) pre-conflict stage; (ii) armed conflict stage; and (iii) post-conflict stage. The model is based on economic desgrowth (-δ) and other new conceptual indicators. We evaluate an imaginary armed conflict between China and Japan by applying the ACEI-Model.     

基于UML的航天发射指挥控制软件建模研究

指挥控制软件是影响SLC2S高效运行的重要因素之一。为了提高航天发射指挥控制软件的综合效能,基于统一建模语言(UML)建模技术,从软件需求分析出发,对航天发射指挥控制软件开发进行了静态和动态建模,增强了软件的一致性和可复用性,为软件开发奠定了良好基础。     

需求工程的形式化方法

从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。     

舰船总体性能可靠性建模方法研究

分析了舰船总体性能可靠性问题的产生原因,将其分为2类.对于舰载设备本身存在可靠性问题而造成的,以航速可靠性为例,在舰船总体可靠性的背景下,借助相关数学工具进行了建模方法分析;对于外界随机因素影响而造成的,如横稳性的可靠性问题,则从分析外界随机因素与船体设计参数之间关系入手.初步建立了一套研究舰船总体性能可靠性问题的建模方法.实例计算表明,将所建模型用于分析舰船总体性能比常规方法具有明显的优越性.     

舰船作战系统一体化建模仿真环境研究

分析了舰船作战系统仿真的现状和一体化建模仿真环境的特点,讨论了一体化建模仿真环境应具备的功能：模型管理、模型验证、仿真管理、仿真生成、数据管理、数据分析、文档生成、资源共享和协同管理,给出了一体化建模仿真环境的体系结构、运行模式和工作流程,最后提出了仿真应用程序代码自动生成技术的解决方案。     

A multilevel passenger screening problem for aviation security

Passenger prescreening is a critical component of aviation security systems. This paper introduces the Multilevel Allocation Problem (MAP), which models the screening of passengers and baggage in a multilevel aviation security system. A passenger is screened by one of several classes, each of which corresponds to a set of procedures using security screening devices, where passengers are differentiated by their perceived risk levels. Each class is defined in terms of its fixed cost (the overhead costs), its marginal cost (the additional cost to screen a passenger), and its security level. The objective of MAP is to assign each passenger to a class such that the total security is maximized subject to passenger assignments and budget constraints. This paper shows that MAP is NP‐hard and introduces a Greedy heuristic that obtains approximate solutions to MAP that use no more than two classes. Examples are constructed using data extracted from the Official Airline Guide. Analysis of the examples suggests that fewer security classes for passenger screening may be more effective and that using passenger risk information can lead to more effective security screening strategies. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

基于UML的装甲装备主动式保障系统建模研究

摘要：为将主动式保障先进理念应用于装甲装备保障过程,采用UML系统建模理论和方法,在分析装甲装备保障主要业务内容的基础上,通过系统需求分析建模和系统分析与设计建模,构建装甲装备主动式保障系统用例模型、对象类静态模型、动态交互模型和状态模型,以及体系结构模型,明确装甲装备主动式保障系统的结构功能与运行流程,为系统仿真与评估、演示验证等后续研究奠定基础．