搜索结果: 1-12 共查到“电子科学与技术 Petri”相关记录12条 . 查询时间(0.125 秒)
基于时间Petri网的装备体系可靠性建模与仿真
系统工程 可靠性 时间Petri网 流程
2013/5/31
针对装备体系规模大、层次多、成员彼此分离、不断演化的特点，以及体系可靠性预计与分配困难的问题，在充分研究体系内涵的基础上，结合美国国防部体系结构框架（Department of Defense Architecture Framework, DoDAF）和流程分析研究方法，提出了一种基于时间Petri网流程分析的装备体系可靠性建模与分析方法，详细分析了体系结构和使用流程的建模过程，构建了装备体系的...
基于对象Petri网的作战行动方案开发方法
作战行动方案 对象Petri网 建模仿真
2013/5/28
结合作战指挥决策领域中作战行动方案开发问题的复杂性和不确定性，描述了作战行动方案的开发问题，提出了使用对象Petri网对作战规划问题的建模和仿真的方法。该方法综合考虑了任务、条件、效果、资源、不确定性对方案生成过程产生的影响，所得的模型也便于重用。最后,案例说明了所提方法的可行性和适应性，并分析了所建模型的复杂度。
基于划分软件安全Petri网的需求形式化验证
软件安全性 Petri网 形式化验证
2013/5/27
为了解决Petri网对复杂软件系统进行形式化验证时在安全性描述、自动化程度和验证效率方面存在的不足，提出一种软件安全Petri网。扩展了库所定义，提出了安全距离及其计算方法，以增强Petri网对软件安全性的描述能力。设计了自动划分子网结合库所安全定级的递归算法，仅对与被验证需求性质相关的划分子模型进行验证以提高验证效率，同时实现库所的安全定级。设计并实现了软件安全性需求自动化建模和验证工具原型，最...
从扩展事件驱动过程链(EEPC)和传统Petri网入手，结合二者的特点，提出新的仿真模型——基于EEPC的扩展Petri模型。该仿真模型既能体现业务流程的逻辑结构，又能定量对时间等因素进行计算与判定，从定性和定量两个方面保证了流程分析的正确性与有效性。以某医院内科病人就诊流程为例对该仿真模型进行了有效性验证。
基于多层次Petri网的复杂产品分布协同研发体系设计方法
分布协同系统 Petri网 航空企业 研发管理
2013/5/15
首次提出面向复杂产品研发的分布协同系统多层次Petri网模型。以新支线飞机ARJ21的分布协同研发系统为例，模型通过粒度清晰化实现知识流程的分层，通过可达性检验发现研发整体流程和模块开发子流程中的瓶颈与障碍,进而实现了系统流程再造，提高了研发效率。该方法突破以往的经验设计思路，实现了研发系统设计的科学化与工具化。
装备基本任务单元可用度Petri网仿真模型及应用
可用度 仿真 作战单元 Petri网
2013/5/15
提出了装备基本任务单元可用度建模方法，建立了基于使能延迟机制的Petri网理论模型。基于ExSpect(executable specification tool)仿真语言的托肯时间戳延迟机制，通过模型转换建立了基本任务单元可用度分析仿真模型。应用模型研究了作战任务要求和维修力量配置对基本任务单元可用度的影响，分析了基本任务单元与单装可用度分析的差异，揭示了导致不同层次可用度综合差异的内在机理。结...
为了快速确定大型Petri网模型中的trap (siphon) 逻辑结构，提出一种由Petri网关联矩阵寻找最小trap和siphon集合的有效算法。通过分析Petri网中trap和siphon集合对应的库所子集在关联矩阵中的特征，根据变迁的输入输出库所组合规则和目的，提出一种二元操作算子，由此构造计算最小trap和siphon集合的矩阵求解算法，以实例详细阐述了算法的具体步骤。通过与已有求解方法...
一种基于证据修正的一致性模糊Petri网模型
证据修正 模糊Petri 模糊产生式规则 闭环
2013/5/3
针对传统的基于模糊Petri网模型的形式化推理算法不能很好地求解含闭环结构的模糊Petri网，提出了一种基于证据修正的一致性模糊Petri网模型。该模型通过引入证据修正因子，把多规则情形退化为一定置信度的带复合证据的单规则情形进行处理，有效简化了模型中的闭环结构。该模型还充分利用模糊“与”规则和模糊“或”规则的内部逻辑关系，对产生式规则中逻辑“与”和逻辑“或”两种组合关系进行了区分，克服了传统的“...
基于着色Petri网的最小代价服务合成方法
Web服务 服务合成 有色Petri网 服务质量
2013/5/2
如何动态地把现存的各种Web服务整合起来以形成新的、满足不同用户需求的服务已成为新的应用需求和研究热点.针对现有服务合成中服务选择技术的不足,提出了一种基于着色Petri网的最小代价服务合成方法。该方法主要思想是根据候选服务输入输出之间的逻辑关系建立有色Petri网,从而找出所有合成方案,然后根据原子服务的服务质量(quality of service, QOS)参数选择具有最小代价的合成方案,通...
同步时序电路的增广Petri网分析
时序电路 增广Petri网 逻辑分析
2009/8/28
本文应用带抑制弧的增广Petri网建立了基本门电路和常用触发器的Petri网模型;并运用该模型描述了同步时序电路;提出了增广Petri网的授权矩阵、状态转移方程和触发器次态与变迁授权条件的关系。在此基础上可对同步时序电路描述和分析,并用实例证明了该方法的有效性。
基于Petri网的启发式生产调度
生产调度 柔性制造系统 Petri网
2008/12/25
提出一种新的柔性制造系统调度方法.该方法可以通过引入测试弧增强普通Petri网
的建模能力,可以对系统中的设备维护、设备优先级以及操作优先级进行建模,并进一步利用搜
索算法对模型的状态转换空间进行启发式搜索得到优化调度.文中的实例展示了算法的有
效性