联合试验环境对象模型建模方法

<正>武器装备实战化考核必须在贴近真实战场的联合试验环境中进行。为解决联合试验环境构建需要跨军兵种跨靶场试验系统综合集成、试验资源互操作与重用组合的问题，提出联合试验环境对象模型建模方法。以小型化、继承性和少量化原则为遵循，提出建模方法步骤为分析装备实体协议信息，对实体和实体间特征进行一致性处理和分类，构建标准化对象模型，最后优化处理；给出TDL和UML语言描述对象模型示例。     

UML活动图到时间Petri网的映射方法

UML被广泛应用于嵌入式实时系统等领域的建模,而嵌入式实时系统对时间响应的要求非常严格,UML缺乏对系统时间约束的描述和形式化语义。因此,提出了一种结合MARTE与UML带有时间约束的UML活动图模型,并定义相应的映射规则,将该活动图模型映射到时间Petri 网模型,最后通过实例验证了该映射方法的正确性和实用性。     

基于Petri网的耳机部件自动装配设备PLC控制系统研究

为解决在具有并发、竞争控制的PLC控制系统中传统的PLC程序设计方法存在不适用,而且易导致程序出错并且难以检查错误等问题,利用Petri网具有图形描述、模拟特点以及分析具有并发和冲突环节等复杂事件的能力,结合Petri网的建模方法与ExSpect模型仿真技术对耳机部件自动装配设备控制系统进行建模与仿真分析,然后利用仿真结果再结合工艺流程,直观地指导构建PLC 控制系统的程序。仿真与调试结果表明：该方法可避免设备运行时相关部件的冲撞等实际问题,缩短调试时间,保证了PLC控制系统可行、可靠性。     

TTA流水线Petri网模型

Petri网作为一种系统建模工具,特别适合描述系统的控制流、并发和异步特性,与状态机行为模型相比更具优势.论文探讨了TTA流水线Petri网建模方法,给出了P/T模型和CPN模型,并用PNML语言进行描述.     

融入偏好的武器装备体系多目标规划决策方法

武器装备体系规划是装备体系建设的重要环节,对装备论证工作具有重要指导意义.首先对武器装备体系规划问题进行了定性分析和公式化描述;然后提出基于超网络的体系建模方法,构建能力指标定量计算模型;接着采用NSGA-II算法范式,分析了决策者偏好表示方法,将决策者偏好融入优化过程,将原优化问题转化为以超体积、未知度、决策者满意度为目标的3目标优化问题,融入延展性测度对占优和进化策略进行重新设计;最后引用一则空基作战体系规划示例,验证了该算法的高效性和合理性,可为武器装备发展和顶层规划提供决策方法支撑.     

基于扩展Petri网的雷达组网系统的建模与分析

利用扩展Petri网建立了雷达组网系统模型,通过模型的分析,解决了各雷达之间的同步问题,给出了系统冲突的处理方法,然后将扩展Petri网与排队论结合起来,定量描述了系统的统计性能;最后运用建立的模型进行了仿真实验。研究表明,扩展Petri网是雷达组网系统建模与分析的一种有效途径,为系统的结构优化与效能评估提供了依据。     

基于Petri网的测井资料处理工作流建模

基于Petri网的建模方法,具有直观的图形表示和坚实的数学基础,是工作流建模和分析的有力工具。文中通过对测井资料处理流程的描述,提出了一个基于Petri网的测井资料处理流程的工作流模型,并利用Murata化简技术对该模型进行了合理性验证。     

扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求.扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文介绍了扩展的模糊时间Petri网的定义,模型检验方法,仿真工具,网精简技术和应用领域,并探讨了进一步研究的方向.     

基于层次实时有色Petri网的实时系统建模与分析方法研究

Petri网是一种基于图形进行模拟和分析的数学工具,能够描述系统的异步和并发行为,但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型,然后描述了嵌入式实时系统的建模和实时性分析方法。最后,将该文提出的方法应用于硬实时系统列车通信网络MVB总线控制器的建模和实时性分析过程,仿真和分析结果表明,该方法能够满足列车通信网络系统设计对MVB总线控制器的功能验证和实时性分析需求。     

基于Petri网建模的Web型MIS系统的研究

文中提出了基于MVC架构的web型信息管理流程模型,并通过定义的模型五元组来描述各层之间数据传递的关系和结果．给出了基于MVC架构的web型MIS系统Petri网建模基本步骤,为web型MIS系统的业务流程的分析、验证与优化提供了理论依据．以井冈山大学科研管理信息系统为例,讨论了Petri网理论在建模中的应用,实验结果表明采用Petri网理论对科研管理信息系统建模是可行且有效的．     

面向作战任务的舰艇编队C3I系统结构优化匹配分析

利用有色Petri网(CPN)建模工具,得到了舰艇编队指挥、控制、通信及情报(C3I)系统的可行结构空间,同时结合CPN Tools得到了匹配测度模型,进而得出面向作战任务的舰艇编队C3I系统结构优化匹配模型,最后给出了实例应用,得到了某编队C3I系统的最优匹配结构.提出的方法操作简单,通用性强,为舰艇编队C3I系统结...     

便携式防空导弹武器系统可靠性分析与设计

可靠性是衡量武器系统性能的一项重要指标,也是影响系统效能的重要因素.在阐述可靠性及可靠性模型等基本概念的基础上,建立便携式防空导弹武器系统的可靠性模型,从可靠性设计的具体要求出发,结合便携式防空导弹武器系统组成及使用特点,提出了系统可靠性的量化评估模型和提高系统可靠性的设计方法,对提高便携式防空导弹武器系统可靠性和系统...     

基于模型驱动设计方法的雷达仿真系统实现

根据某装备中雷达仿真系统的特点和需求,采用基于模型驱动的设计方法,在Rhapsody中应用UML2.0标准建模语言建立了系统开发过程中各个阶段的模型,根据模型设计并实现了雷达仿真系统。通过系统模型化的设计,使系统开发的重点从编码转到了建模之上,从而使系统的开发变得直观,且提高了系统的可靠性。     

基于随机Petri网的通信网络性能评价

利用Petri网的动态描述能力,将Petri网应用到通信网动态可靠性分析上。通过分析网络故障的起因,把故障原因抽象为三个子故障系统。根据故障产生、消解的随机性,运用SPN建模,然后运算求解,得到网络可靠度的表达式。最后通过实例验证了方法的正确性。     

舰船装备可靠性工程中的几个重要模型特点分析

可靠性是舰船装备的重要质量特性，是影响装备作战效能及其寿命周期费用的主要因素。对舰船装备可靠性工程中的故障模式影响和危害度分析模型、故障树分析模型、舰队保障库存大纲模型、老虎模型、以可用性为中心的库存模型、以战备完好性为基础的备件配置法模型进行了分析。这些模型在目前舰船装备的可靠性工程中具有重要的地位，对装备的战备完好性和任务成功性则是一个基本的分析评估手段。     

基于模糊神经Petri网的武器装备效能评估模型

将模糊Petri与神经网络理论相结合,提出了一种关于武器装备效能评估的模糊神经Petri网模型.将模糊逻辑规则应用到专家评判中得到模糊Petri网,建立基于模糊Petri网的武器装备效能评估模型,并在此基础上将人工神经网络引入到模糊Petri中,在模糊Petri模型上,用迭代最速下降法对模型的参数进行学习和训练,经过学习和训练的模型具有很强的学习能力以及对外界环境的自适应能力.以某型雷达对抗装备为例进行仿真验证,仿真结果表明该模型是可行和有效的.     

自动电话系统任务可靠性建模的探讨

通过对几种任务可靠性模型的比较,基于和联系统及任务重要度的概念,利用布尔真值表法建立了自动电话系统任务可靠性模型,并列出利用几种模型计算的任务可靠性度,将其进行比较,为自动电话系统任务可靠性预计提供了合理的数据,为准确预计系统任务可靠性奠定了基础。     

控制电路基于Petri网元件的图形化设计与仿真研究

Petri网是异步并发系统建模的重要工具,正越来越多地被应用在超大规模集成电路之中,从系统的Petri网模型直接获得相应的逻辑电路是许多学者研究的目标.文章在通用的EDA软件中,使用硬件描述语言建立Petri网元件,并给出了它们的源代码.对于Petri网中的C/E系统,变迁用组合逻辑电路实现,库所用时序逻辑电路实现;而对于P/T系统,为了减少连线,库所和它的输入、输出变迁一起组成一个元件.在对一个受控系统建立了控制器的Petri网模型后,通过调用元件库中的Petri网元件,绘制控制器的Petri网图,经编译、仿真、优化、适配、下载在CLPD或FPGA中,就可获得控制器.Petri网元件与其它电路元件可混合使用,这为控制器的设计与实现提供了一种新的有效途径.文章分别给出了C/E系统和P/T系统的实例,仿真结果表明基于Petri网元件的图形化设计方法的正确性.     

用AADL的即插即用武器管理系统建模研究

分析了即插即用武器系统,采用AADL对其进行建模,以武器管理计算机系统为例对分系统建模进行了描述。结合AADL建模的特点,详细研究了任务数据交换的格式和结构、周期性任务调度算法、非周期性任务调度算法及基于服务器的混合任务调度算法。采用OSATE软件对系统进行了建模和分析。结果表明:该方案能很好地对即插即用武器系统进行建模。     

生产者-消费者系统的建模与行为分析方法研究

生产者一消费者系统是系统工程中的一个典型系统。讨论了基于Petri网的生产者一消费者系统建模．借助基于库所指标的Petri网分解方法来分析生产者一消费者的系统行为，利用Petri网语言的同步混排运算给出了生产者一消费者系统的行为描述，对基于Petri网的系统分析提供了有效的方法。