排序方式: 共有12条查询结果,搜索用时 15 毫秒
1.
一种基于线性逻辑的Petri网分析方法 总被引:2,自引:0,他引:2
1 引言 Petri网是一种用网状图形表示系统模型的方法,能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。Petri网理论提供了强大的分析方法,如不变量分析、系统性能分析(如活性)等以证明系统的正确性。近年来Petri网也被用来表示知识推理,例如用于诊断和监控,这就需要发展一种关于Petri网行为的推理主题。有些学者把经典逻辑和Petri网相结合,用Petri网表示产生式规则系统,网的框架代表基于产生式规则 相似文献
2.
模糊推理Petri网及其在故障诊断中的应用 总被引:24,自引:0,他引:24
分析了推理Petri网与传统Petri网的共性和区别,给出了模糊产生式规则推理Petri网模型.在此基础上,给出了有效的推理算法,并以极大代数矩阵算子进行了形式化表示,此算法充分利用了Petri网的数学理论基础和描述并发系统的能力,具有并行推理能力,可以同时得到推理后系统的全部状态值.最后举例说明了其在故障诊断中的应用. 相似文献
3.
模糊时间Petri网的时间推理及其在过程监测中的应用 总被引:2,自引:0,他引:2
针对传统分析方法的不足,提出用线性逻辑给出模糊时间Petri网描述和时间推理的方法。该方法能清楚地分析模糊时间Petri网的运行行为,具体例子说明了其在系统过程监测和诊断中的应用。 相似文献
4.
柔性制造系统的主要特点是多种不同类型的工件同时在系统中加工 ,这些工件竞争系统中的有限资源会导致死锁的发生 ,能够检查出 FMS运控软件中可能发生的死锁问题是系统能够正常运行的必要条件之一。本文首次基于面向对象模型 ,定义了死锁问题 ,并在此基础上提出了检测死锁的算法 ,此算法具有通用性和实用价值。 相似文献
5.
随着互联网技术的发展,话语权逐步突破传统媒体的限制,在网络平台实现了前所未有的话语空间。网络原发的匿名性、开放性、平等性却成为网络环境安全的漏洞,产生了诸多不可预知的、与网络话语权正向性特质相背离的异化现象。网络话语主体的异化、话语载体的异化、话语功能的异化以及话语环境的异化等现象成为网络话语权与各类私权利、公权力冲突的根源。鉴于当前网络话语权的异化乱象,建议遵循保护和限制相结合的原则对网络话语权做出明确的法律规制。 相似文献
6.
7.
Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理论其不足之处在于:它的分析方法主要是可达树分析法和线性代数描述法。可达树分析法是针对某一个初始标识的,一个新的初始标识就意味着需要重新构造可达状态图;当系统存在较多 相似文献
8.
针对传统分析方法的不足,提出了时间Petri网的线性逻辑表示和时间推理方法。基于线性逻辑,定义了时间Petri网中变迁之间的各种解发规则,在这些规则的基础上,提出了时间Petri网运行行为的证明方法,此方法能清楚地分析时间Petri网的运行行为和进行时间推理。 相似文献
9.
10.
高梅梅 《成都电子机械高等专科学校学报》2016,(3)
当前高校大学生实习制度中存在的管理和立法漏洞导致无法切实保障实习生的人身权益。实习生身份认定的不确定性以及当前对实习生因工受伤制度的立法空白是造成实习生人身权益救济不足的重要原因。完善三方协议制度,全面推行实习责任保险,进一步完善相关立法是改变现状的重要途径。 相似文献