搜索结果: 1-15 共查到“计算机科学技术 Petri网”相关记录160条 . 查询时间(0.124 秒)
基于平行Petri网的制造系统调度与控制一体化方法
调度 控制 平行Petri网 赋时Petri网
2023/4/20
为了消除制造系统调度层与控制层之间的隔阂,实现对生产事件快速灵活响应,本文提出了一种调度与控制一体化的方法.首先,定义了一种新型Petri网模型,即平行Petri网,从而集成地描述了传感器、执行器、任务和资源信息,构建制造系统的信息物理系统模型;其次,提出了一种从平行Petri网到赋时Petri网的抽象简化方法,大规模压缩优化调度所需搜索的状态空间;再次,定义了策略Petri网以描述最优调度策略....
软件可靠性是软件质量评估最重要的指标之一，随着软件工程和组件重用技术的发展，近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性，调研现有体系结构的可靠性评估模型，给出了现有体系结构模型的分类和模型代表，并分析了现有模型的不足。由于Petri具有良好的扩展性并且对异步和并行软件有良好的描述性，因此重点研究Petri网可靠性评估模型，通过划分时间变迁和瞬时变迁，并引入...
基于模糊Petri网的网络风险评估模型
安全风险评估 模糊Petri网 建模 层次分析法
2013/6/18
针对网络安全风险评估过程中存在的复杂性，以资产、脆弱性和威胁为安全评估的关键因素，建立安全分析的层次化评估指标体系。引入可信度概念，提出了一种基于模糊Petri网的安全风险评估模型以及模糊推理算法，同时结合层次分析法，采取定性与定量分析相结合的方法进行安全评估。实例分析表明：与传统的综合风险评估方法相比，基于模糊Petri网的风险评估方法给出的结果更加准确和科学。因此，该方法更适合应用于实际的网络...
第十四届全国Petri网理论与应用学术年会征文通知
第十四届 Petri网理论与应用 学术年会 征文通知
2013/1/30
由中国计算机学会主办的“第十四届全国Petri网理论与应用学术年会”（两年一届）将于2013年8月23-25日在西安召开。该会是中国Petri网理论与应用研究领域最高水准的学术盛事，会议将对Petri网理论研究、应用研究、工具开发、仿真技术、并发模型、形式化方法等理论与应用问题进行广泛、深入的研讨。
对可生存系统组件在攻击、抵抗、恢复3种因素作用下的状态转换过程进行分析，设计基于着色Petri网的系统可生存性仿真平台，从攻击强度、攻击密度、恢复强度、攻击策略、恢复策略5个方面模拟可生存系统的行为特性。以一个IPTV网络服务系统为例，利用平台仿真其在遭受不同攻击时的服务提供能力。仿真结果表明，该平台能较好地实现系统可生存性分析。
为了提高ECA规则集可终止性分析的准确性，建立了一种可描述ECA规则集的扩展Petri网(EPN, extended Petri net)模型，在此基础上研究并提出了一种ECA规则集终止性判定算法。该算法充分利用EPN网所包含ECA规则特性的丰富信息，综合分析了ECA规则特性对规则集可终止性的影响。理论分析和实验结果表明，所提出的算法具有更高的准确性和更低的时间复杂度。
改进的模糊Petri网算法及其在故障诊断中的应用
模糊Petri 网 虚库所虚变迁 液压系统
2011/3/9
为解决液压系统故障诊断过程中存在的大量不确定性信息，提出一种基于改进的模糊Petri 网故障诊断算 法。将虚库所和虚变迁引入到模糊Petri 网算法中，解决了变迁是否触发以及最后故障事件模糊概率值的确定问题， 使算法更符合实际和数学推理。结果证明了该改进算法的适用性和可行性。
在一类S3PR网柔性制造系统Petri网模型N中，考察两类所处位置特殊的资源。这两类资源分别被定义为第一类和第二类位置特殊资源。随后，证明这些资源不会出现在S3PR网N的任何一个严格极小信标(strict minimal siphon，SMS)或者是基本信标之中，并且任何使用这些资源的操作库所也不会出现在N的任何一个SMS或基本信标之中。结论说明，在柔性制造系统中可能存在一些同系统死锁的发生没有关...
基于Petri网和逻辑电路的网络安全验证
安全验证 Petri网 逻辑电路
2010/5/1
利用Petri网的库所和变迁来描述网络的状态和行为，用逻辑代数的0和1形象表示库所的状态，将复杂的PN模型转换成简单的逻辑表达式，提出了Petri网与逻辑电路相结合的新型网络数据流验证方式。这种方法具有的形式化步骤与数学模型相支持，是一种新型快捷的网络安全验证方法。
正规语言闭包运算的Petri网构造方法
Petri网 正规语言 闭包运算 Petri网构造方法
2010/4/21
Petri网语言与Chomsky文法体系之间的关系已有了一些结论，已经证明正规语言是Petri网语言的一个子类。相关文献中给出了一种Petri网子类——恰当终结的标准Petri网，并且已经证明恰当终结的标准Petri网语言与正规语言的等价性。在此基础上，研究了正规表达式中Kleene闭包运算“*”的Petri网构造方法，分别给出了Kleene闭包运算“*”的ε-空标注和无ε-空标注Petri网模型...
基于Petri网的概念模型验证方法研究
Petri 网 概念模型验证 CPN Tools 防空导弹作战过程
2010/3/1
针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题，提出了利用Petri网进行概念模型验证的一种新思路，研究了进行概念模型验证的具体步骤，分析了概念模型错误对应的Petri网错误，以及检测这些错误时需要验证的Petri网性质；最后以防空导弹作战过程为例，研究了利用Petri网以及CPN Tools软件进行概念模型动态部分内容验证的具体过程。实践证明此方法减少了领...
应用带标识的模糊Petri网的知识表示方法
带标识的模糊Petri网 加权模糊推理 知识表示
2010/2/23
提出一种在某些库所中带有标识的模糊Petri网模型来进行知识表示。为了获得更多的加权模糊产生式规则的信息，在知识表示的过程中考虑了权值，确定性因子，阈值等参数。这种模糊Petri网充分利用了Petri网的并行处理能力。随着带标识的模糊Petri网的运行，网中标识的变化可以标记加权模糊推理的运行。通过文中给出的基于相似性测度的计算方法可以更加高效地计算出多层加权模糊推理的推理结果。
基于多值逻辑Petri网的攻击模型
攻击模型 多值逻辑Petri网 权值学习
2010/2/10
针对基于Petri网攻击模型存在模型繁杂、规模大的缺点，提出从多条相关的命题规则生成多值逻辑Petri网(MVPN)的攻击模型。采用逆向推理简化模型，应用L-M算法对MVPN权值进行学习和训练，根据模型的性质与特点给出模糊逻辑推理算法。实验结果证明，该模型能对网络攻击行为进行描述，该算法能减小空间复杂度，提高计算效率。
模糊Petri网及其在Web服务信任评估中的应用
信任评估模型 信任度更新算法 模糊Petri网 模糊推理算法
2010/2/1
为了提高 Web服务的信任评估准确度和交互成功率，提出了一种新的基于模糊Petri网的Web服务信任评估模型(WS-TEM)。该模型给出了评估的模糊信任规则，在此基础上,提出了一种基于模糊Petri网的推理算法，并使用模糊Petri网中知识表示和运行的基本算法，并行处理一个服务实体的多个推荐信任来综合评估Web服务实体间的信任关系。经过模拟实验和分析表明，该模型在Web服务信任评估上更加准确可靠，...