共查询到17条相似文献,搜索用时 968 毫秒
1.
2.
指挥控制系统是一个具有分布、并发、异步等特性的复杂系统,Petri网是描述具有此类特征系统的有效工具.提出了基于Petri网的指挥控制系统仿真平台的具体设计方案.介绍了仿真平台的实现方法和程序的设计思路,实现了对普通Petri网、X1系统的建模,进行了功能和结构上的分析,并对分析结果的现实意义作了进一步的讨论. 相似文献
3.
4.
5.
6.
传统Petri网理论难以处理具有多属性对象复杂离散系统的建模问题,物元Petri网结合了物元理论能够很好地解决这一问题,是值得进一步研究并应用的新的复杂离散系统建模方法。将物元Petri网定义成一个5元组,借用物元的概念定义了物元托肯,建立了物元Petri网理论的运算规则,提出了物元Petri网并发及冲突的分析方法,并给出了建模步骤。以某设备从拆卸到修复的维修过程建模为例,给出了物元Petri网理论的应用示例。示例表明了物元Petri网在具有多属性对象离散系统建模中的优势。 相似文献
7.
8.
9.
10.
提出一种扩展时延Petri网,新提出的Petri网与以往高级时延Petri网的不同之处在于它允许个体的个性与共性同样得到考虑。这种方法被用来对装备多跟踪装置、多种对空武器的防空系统对多目标进行射击过程进行建模、分析、模型的正确性在文章最后的仿真中得到了验证。 相似文献
11.
12.
C~3I决策系统的Petri网建模技术 总被引:2,自引:0,他引:2
综述了C3I决策系统的若干Petri网建模方法。首先介绍了C3I系统的一般Petri网建模技术和时间Petri网建模技术,并介绍了随机Petri网建模技术;然后介绍了谓词Petri网和有色Petri网建模技术。最后指出了C3I决策系统中,Petri网的若干研究方向。 相似文献
13.
介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。 相似文献
14.
Petri网在防空C~3I系统建模与分析中的应用 总被引:3,自引:1,他引:2
针对野战防空系统中的火力分配问题,首先为旅营两级防空系统建立了Petri网模型,并运用时间Petri网理论对其进行了时延分析,论述了为野战防空火力分配建立辅助决策系统的重要性。最后利用谓词Petri网描述了火力分配的推理过程,为有效分析战术决策的正确性提供了依据和思路 相似文献
15.
16.
结合实战,在给出基本决策单元结构模型的基础上,依据战术原则建立了防空旅决策组织结构的Petri网表示模型,在决策单元的结构模型中信息处理分为四级:态势评估级(SA)、信息融合级(IF)、资源分配级(RA)、响应选择级(RS).就决策中同级决策组织结构分三种形式(集中式、分布式和混合式)进行了建模,并对三种形式进行了利弊分析,为防空旅C4ISR系统中决策组织结构的设计和分析提供了依据. 相似文献
17.
介绍了一种基于产生式系统的军事专家系统结构,用谓词Petri网描述了其不精确推理过程和推理网的动态推理过程。给出了一种适合于平行处理的谓词Pctri网模型并对军事专家系统的时延进行了分析。 相似文献