基于DSPN的多阶段任务系统测试性需求建模与分析

针对多阶段任务系统(PMS)的测试性需求分析问题,提出了一种基于确定与随机Petri网(DSPN)的系统级测试性需求模型(PMS-DSPN)和指标确定方法.PMS-DSPN模型包括系统网(SN)和阶段网(PhN)两部分,每个SN对应于各个子阶段任务的GSPN测试性需求模型;PhN对应于各个阶段任务间的转换过程,并通过关联矩阵进行描述.基于该模型得到PMS任务成功率计算方法,并结合PMS维修代价、测试性设计代价计算方法,构造了系统级测试性指标优化分析模型,进而确定PMS系统级测试性指标.最后通过实例验证该方法的有效性.     

基于GSPN的供应链产品成套性建模与分析

针对供应链产品成套性评价的相关理论比较匮乏,结合Petri网可视化建模工具可以直观描述供应链系统的优点,提出了基于广义随机Petri网(GSPN)的供应链产品成套性建模和仿真方法。利用GSPN与Markov链的同构关系,计算供应链系统的稳态概率和各库所的忙闲程度,以确定系统模型的性能指标,通过实证分析验证了该方法的有效性,丰富了供应链产品成套性评价方法的理论。     

基于广义随机Petri 网的供应链建模与分析

考察了基于广义随机Petri网的供应链建模与分析技术,在总结Petri网建立供应链模型优势的基础上,将广义随机Petri网(GSPN)的基本理论应用于供应链系统的建模和性能分析,利用GSPN与马尔可夫链的同构关系,采用Petri网与马尔可夫链理论相结合的供应链性能分析方法,为供应链性能的有效评估提供了理论依据,并通过实例验证,该方法可用于分析供应链模型的时间性能和运作效率,为供应链决策层提供参考.     

利用GSPN的计算机组装业供应链系统建模与分析

利用GSPN对计算机组装业的供应链进行了建模和性能分析。鉴于计算机组装业中配件来源的复杂性和多样性,本文对其供应链进行了简化,即把众多原配件供应商合并为一个大的供应商,从而使得GSPN分析的方法可行化。针对简化后的模型,我们建立了GSPN模型,并利用GSPN与马尔可夫链同构的思想对其进行了系统性能分析,指出了计算机组装业供应链系统在运营过程中出现的一些问题。     

基于Petri网的飞控计算机系统可靠性建模与分析

应用广义随机Petri网建立Boeing777非相似余度飞控计算机系统可靠性模型,描述了系统的静态结构及动态过程;针对系统模型过于复杂而难以用现有的算法来计算的问题,提出将该系统分成支路级、通道级和系统级三级进行处理;并利用GSPN与马尔可夫链同构的性质,计算系统的可靠性指标。     

基于Petri网的作战单元状态模型及可用性分析

以作战单元为整体研究其可用性具有重要意义.提出了作战单元可用性分析的Petri网建模方法,建立了不同基本任务可靠性关系下的系统状态Petri网模型和以此为基础的复杂任务关系模型.研究了复杂维修保障过程模型的简化分析方法,推导了简单GSPN模型的可用度解析算法.最后,应用实例对模型的解析方法进行了验证.     

基于广义随机Petri网的SIP的验证和性能分析

在给出会话初始化协议（SIP）的服务工作过程的基础上,建立了SIP的广义随机Petri网模型（GSPN）,利用广义随机Petri网坚实的数学基础和分析技术完成对会话初始化协议的分析验证和性能分析。通过可达性分析、S_不变量分析和T_不变量分析验证了会话初始化协议的有界性、活性、守恒性和循环性。并且构造出与广义随机Petri模型同构的马尔可夫链,基于马尔可夫链的稳定状态概率进行系统性能分析。对会话初始化协议相关研究以及解决实际问题具有一定的理论价值。     

基于赋时有色Petri网的测试系统资源优化方法

提出采用赋时有色Petri网(TCP-net)对测试流程进行建模,用来优化自动测试系统的资源配置.给出了测试流程TCP-net模型的构建步骤;基于模型,给出了寻求测试流程最短测试用时的方法,并设计了求解最短测试用时下最小资源集的算法:基于空闲区匹配的最小资源集算法;通过给出一个应用实例,证明了上述方法的有效性和实用性.     

基于多信号模型的雷达测试性设计分析

针对过去测试性分析方法计算繁琐、周期长、效率低等缺点,基于模型的方法成为目前测试性设计分析技术的趋势,以多信号模型为基础,结合工作实际提出了一种测试性知识的获取方法。以TEAMS软件为平台,介绍了基于多信号模型的雷达测试性建模和测试性设计分析的原理、过程和结果,为雷达或其他电子装备的测试性设计分析提供了一套有效的方法。     

随机Petri网在系统可用性分析中的应用

Petri网自1962年提出以来，倍受工业界和学术界的广泛关注。经过几十年的时间，Petri网的理论不断的完善，Petri网在各行业中不断的被应用。本文主要讨论了Petri网在系统可用性分析中的应用。首先从Petri网的基本概念和基本模型出发，讲述了随机Petir网模型（SPN）、广义随机Petri网模型（GSPN）和随机回报网模型（SRN）。然后以冗余备份系统为例，讨论了随机Petri网在系统可用性分析中的应用以及随机Petri网模型的分析。最后讨论与其它建模方法相比，利用随机Petri网来建立系统可用性模型的优点。     

自主编队飞行大系统的建模研究

针对导弹自主编队飞行大系统用例的机理、特点和任务需求,引进大系统控制论及其广义模型化方法,进行了自主编队飞行大系统广义模型化的需求分析,并给出了建模方法,建立了总模型和子模型。通过广义模型化的建模方法研究,为控制系统总体方案论证提供一种有效的设计思路,也为工程应用中深入的理论和方法研究打下良好基础。     

基于SEBS-TOMS分层组合框架的导弹武器系统可用性建模与仿真

研究部署与任务期间导弹武器系统可用性建模方法与仿真实验设计。阐述了可用性概念,明确了量化指标,构建建模与仿真(modeling and simulation, M&S)一体化框架,利用分层组合的思想,提出了基于体系-实体-行为 状态(system-of-system, entity, behavior, state, SEBS)的可用性建模方法,即以体系组织集成建模为框架,以变结构实体建模为主体,以可用性为中心的行为建模为支撑,以基于故障与战损的可用状态建模为核心,并对模型的形式化描述展开研究。探讨了仿真实验设计的关键技术,提出基于测试 使用-维修-保障(test, operation, maintain, support, TOMS)的实验空间串联分割方法,并对随机变量建模、仿真优化设计、仿真系统可信度评估进行阐述。仿真结果表明,该分层组合评估方法快捷有效,仿真实验设计合理可行,极大地提高了可用性评估和分析的效率,为精确保障奠定了基础。     

突防弹与EKV对抗数字仿真系统设计与实现

为更好进行机动突防及拦截仿真研究,设计了一个弹道导弹与大气层外动能拦截器（EKV）攻防对抗的数字仿真系统。在统一的空间与时间中,建立了弹道导弹的飞行状态模型、拦截导引模型、剩余飞行时间估计、脱靶量计算等系统算法模块,并对目标机动突防、比例与最优导引拦截等想定进行数字仿真。结果表明：该系统可在多种对抗环境下检测攻防性能,采用模块化设计便于算法升级或想定变换,为拦截、规避性能评估,攻防对抗策略研究等提供性能测试平台。

Abstract：

To research on missile maneuver and intercepting simulations better, a numerical simulation system for onrushing missile versus intercepting EKV was set up. With the same coordinate system and clock, the ballistic missile flight state model, EKV guidance model, the time-to-go estimation algorithm and miss distance calculation algorithm were all accomplished. At last, the scenarios that target maneuver, interceptor guided by proportional navigation （PN） and by optimal guidance law （OGL） were simulated in the simulation system. It indicates that the system can run well in such scenarios. It is designed by modularization that makes it easy to upgrade algorithm or scenario. The system provides a nice performance test flat roof to the missile maneuver, intercepting and drawing a counterplot.     

空面导弹系统的建模与仿真

简要介绍了模块化设计思想，然后将其应用于空面导弹系统的建模，分需求分析、功能分析与分解、模块划分及模块设计与开发四个步骤，建立了空面导弹仿真模型库，它主要包括导航系统、制导系统和弹体这三个子系统．最后，为了检验模型库的可用性，针对某型空面导弹进行了仿真研究。从仿真结果来看，各子系统的仿真模型具有较高的保真度，能够满足实时性、快速性的要求。     

面向复杂系统需求分析的DSL构建

在航空航天领域, 系统的复杂度快速增长, 这对基于模型的系统工程的开展带来巨大的挑战, 尤以复杂系统的需求分析为甚。需求分析过程缺乏针对性的支持模型的工具。针对基于模型的系统工程中的这一问题, 根据领域建模的思想, 引入领域特定语言(domain specific language, DSL)的概念, 提出一种构建DSL进行需求分析的方法, 并针对基于模型的系统工程(model based system engineering, MBSE)中需求分析的需要构建相应的DSL。首先, 从基于模型的系统工程方法论角度, 对工程应用中的需求捕获与分解进行了分析; 接着, 通过扩展后的GOPPRR(graph object property port role relationship)元元模型依据需要, 构建了DSL的具体语法与语义; 最后, 以具体的系统为例与系统建模语言分析方法做出了对比。结果表明, 所构建的DSL在进行复杂系统的需求分析与建模时, 与实际需要契合, 在各个环节都具有针对性强、形式化的优点, 有利于保证需求分析与建模工作的正确性。     

飞机空面精确打击武器火控系统精度仿真分析

空对面精确打击武器火控系统是现代作战飞机对付地面(或海面)目标的一种重要武器系统,在现代战争中有着无可替代的作用,其武器系统精度是关键技术指标。在分析精度分析评价指标体系的基础上,分析了影响飞机空面精确导弹武器火控系统的误差因素,确定了从飞机火控系统和导弹制导系统两个方面来分析武器火控系统精度误差链的分析方法。针对防区外空地电视遥控制导导弹火控系统进行精度分析与评估,利用蒙特卡罗法对防区外空地导弹火控系统进行了全武器精度分析仿真。其结果对评价空对面精确打击武器火控系统精度具有很好的工程应用价值。     

基于ADC法的防空导弹武器系统效能建模

基于ADC(availability dependability capability)法对防空导弹武器系统效能进行建模。针对防空导弹武器系统复杂的特点,构建了系统的多状态及状态转移的路径,充分体现了武器系统的可靠性水平,建立了可用性和可信度模型。克服了ADC法的不足,对系统能力向量进行拓展,考虑了指控能力、抗干扰能力、生存能力等综合性指标,突破单指标效能评估的局限性。采用多种方法组合,对量纲类指标采用标度法进行计算,对定量概率指标采用参数法进行建模,对定性概率指标采用标度法结合德尔菲法进行量化。通过算例的验证表明了该模型适用、准确。     

基于设计特性覆盖的测试性定量分析方法

针对目前测试性分析基于故障分析的现状,提出了一种基于系统结构、性能、功能的测试性定量分析方法。定义了系统设计特性覆盖测试模型,系统结构、功能、性能及测试关联模型,性能覆盖率、功能覆盖率、结构覆盖率的定量计算模型。建立了基于设计特性覆盖的测试性定量分析流程,主要包括系统基本信息建立、信息间直接关联关系生成,测试覆盖率定量计算及测试未覆盖项分析。以某飞机舵机系统为例进行了应用,结果验证了方法的可行性和有效性。