信息/求解 Petri 网系统

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

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

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

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

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

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

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

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

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

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

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

基于功率谱的舰船水压信号检测方法研究

为了有效地从风浪背景下检测舰船水压场信号,鉴于舰船水压场信号与海浪水压信号在频谱上的差异,采用求卓越频率下的功率谱的方法对信号进行检测,取窗宽20s,每次计算21个采样点,分别求取海浪水压场的仿真信号及不同波浪级别下海上某目标的水压场实测数据的功率谱进行信号检测,验证了方法的有效性。     

需求工程的形式化方法

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

空间矢量脉宽调制的研究

对空间矢量脉宽调制(SVPWM)的理论进行了较详细的讨论.利用DSP电机控制器TMS320F240实现SVPWM,分析了该方法的特点,并给出了相应的实验结果.     

层次分析法在武器系统效能建模中的应用

在武器系统效能评估中 ,武器系统的战技指标 ,是评估武器系统效能的重要因素。本文利用层次分析法和矩阵摄动方法 ,对武器系统的战技指标进行分析 ,建立了武器系统效能能力指数模型 ,并把可靠性和维修性应用于效能计算之中。由此建立了武器系统效能模型并进行了评估