排序方式: 共有115条查询结果,搜索用时 15 毫秒
31.
To solve the resource-constrained multiple project scheduling problem (RCMPSP) more effectively, a method based on timed colored
Petri net (TCPN) was proposed. In this methodology, firstly a novel mapping mechanism between traditional network diagram
such as CPM (critical path method)/PERT (program evaluation and review technique) and TCPN was presented. Then a primary TCPN
(PTCPN) for solving RCMPSP was modeled based on the proposed mapping mechanism. Meanwhile, the object PTCPN was used to simulate
the multiple projects scheduling and to find the approximately optimal value of RCMPSP. Finally, the performance of the proposed
approach for solving RCMPSP was validated by executing a mould manufacturing example. 相似文献
32.
UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性。 相似文献
33.
论文针对攻击行为的知识表示和智能分析展开研究,利用Petri网理论和人工智能技术,建立适合攻击行为分析与检测的理论和方法。提出一类Petri网子类型判决PN机和着色判决PN机作为攻击行为的描述模型,利用其运行机制检测攻击,并使用着色判决PN机的有色合成解决模式关联的问题,同时 相似文献
34.
联锁软件的逻辑严密性和安全性对于行车有很大的影响。利用自动化Petri网,根据轨道电路、信号机和道岔之间相互制约的关系以及状态的转换,分别建立了信号机、道岔和进路模型,并根据列车的运行状态细化模型从列车压入进路到出清进路的过程,建立进路解锁的模型。基于上述分析,设计了一种基于可编程逻辑控制器的联锁软件设计方案,实现对联锁的逻辑控制。 相似文献
35.
从Petri选择网模型的概念入手,分析了时间Petri网(TPN)模型的特点,研究了时间Petri网中顺序模型、并行模型、模型和循环模型等的推理方法.应用该方法建立了生产技术准备过程的时间Petri网模型,得出了基于时间Petri网的工作流模型复合线性推理方法,并采用一个具体的实例说明该方法的应用. 相似文献
36.
37.
文章通过建立执行单任务的网络化防空导弹系统的随机Petri网模型,分析系统作战状态的变化规律,得到系统作战效能评估方法。在此基础上,建立了系统可执行多任务作战的复杂随机Petri网模型,实现了网络化防空导弹系统信息共享和作战资源间协同调配。 相似文献
38.
39.
论文以登陆作战中协同通信为研究背景,通过对Petri网的理论介绍,论证了运用SPN分析登陆作战中协同通信系统进行性能评价的可能性,并建立了基于Petri网的登陆作战中协同通信的数学模型,最后给出了登陆作战中集团军内部组织协同通信网,协同动作的延时时间。论文对登陆作战中协同通信研究有一定借鉴意义。 相似文献
40.