检索结果-南通市图书馆

开放Petri网可达状态求解系统的开发与实现

在线全文

学校读者我要写书评

暂无评论

电脑知识与技术 2016年第1Z期12卷 213-215,221页

作者：吴亚光同济大学上海201804

Petri网模型是理论计算机科学包括自动机模型和形式语言理论的一个分支,具有自然、直观、简单易懂等特点。开放Petri网是Petri网的一种扩充,在并行模型分析,协议的验证,自动控制等方面有广泛的应用。该文的主要工作在于开发一个可以生... 详细信息

Petri网模型是理论计算机科学包括自动机模型和形式语言理论的一个分支,具有自然、直观、简单易懂等特点。开放Petri网是Petri网的一种扩充,在并行模型分析,协议的验证,自动控制等方面有广泛的应用。该文的主要工作在于开发一个可以生成开放Petri网的软件,并能够求解其所有的可达状态,最后通过这样一个软件来研究开放Petri网的可达状态总数随网的规模变化和初始Token数变化而变化的情况。我们得到的结论是在这两种情况下可达状态数都是呈指数增长的。

关键词：开放Petri网 Petri网生成可达状态 Petri网规模

在线全文

学校读者我要写书评

暂无评论

利用状态缓存的时序等价性验证算法

计算机辅助设计与图形学学报 2008年第2期20卷 149-154页

作者：杨军翁延龄葛海通严晓浪浙江大学超大规模集成电路设计研究所杭州310027

为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态和不可达状态引入到验证过程中.将仿真过程中从初始状态可以到达的状态记录为可达状态,将验证过程中确认... 详细信息

为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态和不可达状态引入到验证过程中.将仿真过程中从初始状态可以到达的状态记录为可达状态,将验证过程中确认不能从初始状态到达的状态记录为不可达状态,利用它们减少验证过程中的原像计算.基于mcnc91电路的实验数据表明,该算法有效地减少了验证时间.

关键词：时序等价性验证寄存器匹配原像计算可达状态不可达状态

在线全文

学校读者我要写书评

暂无评论

基于增广Petri网生成受控日志

计算机工程与设计 2022年第3期43卷 876-885页

作者：邵叱风方贤文王吴松安徽理工大学数学与大数据学院安徽淮南232001 安徽科技学院信息与网络工程学院安徽蚌埠233030

为减少冗余日志,降低事件约束不可控对算法评估及验证的影响,提出基于可达状态的随机选择生成受控日志的方法。利用增广Petri网为系统建立模型,依据模型中库所与变迁的结构关系及标识分布构建输入矩阵;基于Petri网可达状态分析方法,随... 详细信息

为减少冗余日志,降低事件约束不可控对算法评估及验证的影响,提出基于可达状态的随机选择生成受控日志的方法。利用增广Petri网为系统建立模型,依据模型中库所与变迁的结构关系及标识分布构建输入矩阵;基于Petri网可达状态分析方法,随机选择触发可发生变迁,记录变迁序列;对记录进行受控分析,拼装生成多重集事件日志和XES标准日志。实现相关日志生成工具,利用BPIC2020数据进行实验,与已有工具进行比较,实验结果表明了工具的效率和有效性。

关键词：日志冗余事件约束佩特里网可达状态受控分析

在线全文

学校读者我要写书评

暂无评论

基于变迁指标的Petri网分解方法

计算机科学 2006年第1期33卷 144-146,163页

作者：曾庆田中国科学院计算技术研究所

通过定义 Petri 网变迁的指标函数,给出一种基于变迁指标的 Petri 网分解方法,通过分解得到子网系统均为结构简单的 T-网。分析了原网系统与子系统在结构性质和动态性质方面的对应关系,并且证明了通过子网之间的共享合成可以得到原先的... 详细信息

通过定义 Petri 网变迁的指标函数,给出一种基于变迁指标的 Petri 网分解方法,通过分解得到子网系统均为结构简单的 T-网。分析了原网系统与子系统在结构性质和动态性质方面的对应关系,并且证明了通过子网之间的共享合成可以得到原先的网系统,这为 Petri 网用于复杂的物理系统分析提供了可靠的理论依据和技术手段。

关键词： Petri网变迁指标分解可达状态语言 Petri网分解分解方法变迁结构性质子系统

在线全文

学校读者我要写书评

暂无评论

一个游戏难题的推广、建模及求解

数学的实践与认识 2007年第11期37卷 169-173页

作者：王家德崔英建郑州电力高等专科学校数学教研室郑州450004

推广了RPG游戏中的一个难题,建立了相应的数学模型,给出了完善的解决方案,深化了现行的相关结果.

关键词： RPG游戏可达状态控制向量数学模型 Gauss消元法

在线全文

学校读者我要写书评

暂无评论

模态逻辑与程序验证

厦门大学学报(自然科学版) 1985年第3期 300-307页

作者：王士铁厦门大学计算机科学系

本文探讨模态的一般概念,类似于客体变元视为集合化的个体,将模态变态变元视为集合化(或称为状态化)的客体变元,并在状态间建立了被称为可达关系的二元关系,当取状态为程序的执行状态时,将表示出各种不同的程序性质。为使程序性质便于演... 详细信息

本文探讨模态的一般概念,类似于客体变元视为集合化的个体,将模态变态变元视为集合化(或称为状态化)的客体变元,并在状态间建立了被称为可达关系的二元关系,当取状态为程序的执行状态时,将表示出各种不同的程序性质。为使程序性质便于演算,引入了程序语言的一种时态语义及若干推理规则,那么验证程序的不变性,部分正确性,完全正确性可与通常的一阶谓词演算一样进行逻辑推理。

关键词：可达状态程序语句变元不变量模态逻辑哲理逻辑推理规则二元关系

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

程序逻辑

计算机科学 1982年第3期 9-18页

作者： Z.Manna 孙永强

本文旨在探讨模态逻辑的一般体系,并说明它如何可应用于对顺序、并发、非确定性程序的论证。将模态逻辑的基本概念与程序环境相联系时,“世界”这一概念就对应于程序状态,“到达关系”这一概念对应于程序执行时状态之间的可导关系。以... 详细信息

本文旨在探讨模态逻辑的一般体系,并说明它如何可应用于对顺序、并发、非确定性程序的论证。将模态逻辑的基本概念与程序环境相联系时,“世界”这一概念就对应于程序状态,“到达关系”这一概念对应于程序执行时状态之间的可导关系。以这种非形式说明论证了在模态形式系统范围内可表示的各种不同的程序性质。

关键词：可达状态全域素数所有概念时态逻辑质数思维形式形式逻辑程序哲理逻辑模态逻辑进程个体变元执行序列程序变量不确定性

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于学习的缓存一致性协议带参验证

中国科技信息 2018年第20期 68-69页

作者：李勇坚中国科学院

人工智能开放创新平台:是由贵阳市政府与中国人工智能产业创新联盟、英特尔三方共同打造的开放平台。平台结合端到端的全面技术,打造软硬件开放创新平台,加速产业应用创新,通过打造人工智能开放平台、创立人工智能创新加速器等,建立完... 详细信息

人工智能开放创新平台:是由贵阳市政府与中国人工智能产业创新联盟、英特尔三方共同打造的开放平台。平台结合端到端的全面技术,打造软硬件开放创新平台,加速产业应用创新,通过打造人工智能开放平台、创立人工智能创新加速器等,建立完善的技术生态、在人工智能垂直领域应用、产业对接和市场推广等发挥各方优势和资源特色,加速中国人工智能的发展和应用创新。

关键词：关联规则不变式项目集可达状态学习算法 CMP 支持度人工智能可达集

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Petri网的建模与分析

无线互联科技 2021年第23期18卷 108-109页

作者：毛子剑北方民族大学计算机科学与工程学院宁夏银川750021

Petri网具有一种系统的数学建模能力,广泛地应用于具有同步、并发、冲突的离散事件系统的建模,可以用来描述较为复杂的业务过程。随着业务过程管理的复杂程度不断增加,使得业务过程建模的难度也逐渐提高,是当前业务过程建模中需要解决... 详细信息

Petri网具有一种系统的数学建模能力,广泛地应用于具有同步、并发、冲突的离散事件系统的建模,可以用来描述较为复杂的业务过程。随着业务过程管理的复杂程度不断增加,使得业务过程建模的难度也逐渐提高,是当前业务过程建模中需要解决的主要问题。首先,文章介绍了Petri网的基本概念及其形式化描述,其次描述了在业务过程建模中常用的4种工作流模型的基本结构并结合Petri网构成了工作流Petri网的基本模型,以此完成对业务过程的建模。最后,运用Petri网对索赔处理过程进行建模,并对其可达状态进行分析,进而提高业务过程管理质量。

关键词： Petri网业务过程工作流过程管理可达状态