C~2系统的信息论建模

该文论述了基于信息论的信息处理组织与决策组织的建模与分析方法。首先介绍了用于决策者建模的基本图示工具Petri Net 和基本数学工具信息划分定律。然后介绍了用上述工具建立起来的单个决策者和决策组织的数学模型,而后又评述了分析决策组织结构的方法,说明了该领域的研究状况,最后对这一研究的应用前景作出了分析。     

运用ECO开发基于UML的工作流系统

运用UML进行建模并运用MDA方法生成系统代码已成为当前工作流系统设计开发的一大发展趋势。经过多年发展的ECO技术为.Net环境下运用MDA方法开发基于UML的稳定高效的软件系统提供了很好支持,而ECOⅢ则通过支持UML动态建模,使得ECO具备了开发基于UML工作流系统的能力。通过示例介绍了运用ECO进行工作流开发的一般流程,着重展现运用ECO开发工作流系统的可行性和高效性。     

集中式组网雷达假目标干扰建模

针对集中式组网雷达数据处理算法的薄弱环节,通过对集中式组网雷达假目标干扰问题的研究,建立了密集假目标干扰、航迹扰乱干扰和航迹欺骗干扰三类假目标干扰模型。首先介绍了集中式组网雷达的数据处理算法,分析了这种算法对于假目标干扰的薄弱环节,针对薄弱环节提出了上述三种假目标干扰类型。然后给出了这三种类型假目标干扰的概念、产生方法、数学模型和运用方式;最后分析了组网雷达的抗干扰措施对于假目标干扰的影响。     

基于Petri网的维修过程建模仿真方法研究

通过引进老化令牌对随机Petri网进行理论扩展,提出了一种基于老化令牌的随机Petri网（SPNAT）的维修过程建模与仿真方法,有效地解决了传统维修性建模方法在多个失效率不同的部件系统所存在的建模复杂和求解困难等问题,并通过实例验证了该建模方法的有效性和优越性。     

装备保障计划规范化建模方法研究

采用UML对装备保障计划从静态和动态两个框架进行建模,直观形象地描述了装备保障计划的内容,为装备保障计划的自动生成提供了理论基础,并且以陆军师弹药保障计划为例进行说明。     

信息/求解 Petri 网系统

绝大多数 Petri 网在变迁发生后前集库所会失去标记,不便于表达一个条件一旦具备将永远具备的情形.针对该问题,基于0-1标识与变迁发生后其前集不失去标记的思想,提出了信息/求解扩展 Petri 网系统(I/S系统).给出了I/S系统的相关定义、部分基本性质、矩阵表示、求解发生权向量的求法和状态方程.最后,给出了以I/S系统表示的几种常见滑模变结构控制策略的设计过程,该例显示了I/S系统的模型表达能力.     

利用曲线拟合方法分析暂态振荡信号

提出了一种利用曲线拟含定量分析暂态振荡信号的方法.该方法给出的暂态振荡信号模型能够反映振荡的幅度和频率随时间变化的规律.提出了利用曲线拟合方法确定该摸型的具体参数的步骤:首先利用三次样条插值求出信号的上包络曲线,对其采用指数衰减信号模型来进行拟合以描述信号振荡幅度的变化参数;然后得到信号频率变化部分的正弦形式,利用 Hilbert 变换提取出正弦部分的相位,并采用幂指数信号模型进行拟合以描述信号振荡频率的变化参数.与以往分析暂态振荡信号的方法相比,该方法可对信号进行定量分析.仿真和试验结果表明,采用曲线拟合方法确定模型参数,实现过程简单,均方根误差小;对实际信号的分析则表明所提出的模型能够真实地反映出实际暂态振荡信号的变化规律.     

超音速微粒轰击表面纳米化设备研制

超音速微粒轰击是材料表面纳米化的重要手段,性能优异的专用设备是实现这一工艺的前提。为此,采用数值模拟分析的方法研制了超音速微粒轰击喷枪,在距喷枪出口50mm处获得了平均约320m/s的轰击粒子速度;在对机器人选型和控制系统设计的基础上,集成了超音速微粒轰击表面纳米化设备;应用该设备实现了对38CrSi中碳钢的表面纳米化处理,验证了研制设备的性能。     

Markovian models of three‐on‐one combat involving a hidden defender

In this paper, Markovian models of three‐on‐one stochastic firefights between ground‐based weapon systems are developed. These models address a common scenario of interest to the military, but one which has been much neglected in analytic combat models, that of combat between a hidden defender and an exposed attacking force. Each combatant must detect an opponent before commencing their firing cycle, a task which is considerably more difficult for the attacker. In the models developed here, the defender detects the exposed attacking group after an exponentially distributed time interval, while each attacker has a fixed probability of detecting the defender via the flash signature produced after each shot fired by him. The utility of the approach is demonstrated by investigating what impact the introduction of a coordinated gun‐laying system for the attacking force might have, a system made possible by battlefield digitization. The method used here allows models to be developed incrementally. This and other advantages of the Markovian approach are discussed. © 2002 Wiley Periodicals, Inc. Naval Research Logistics 49: 627–646, 2002; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/nav.10041     

需求工程的形式化方法

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