期刊文献+
共找到33篇文章
< 1 2 >
每页显示 20 50 100
一种基于有色Petri网的知识库验证方法 被引量:10
1
作者 姜浩 罗军舟 方宁生 《东南大学学报(自然科学版)》 EI CAS CSCD 2000年第1期77-83,共7页
以有色Petri网为基础 ,在经过了必要的功能扩充后 ,针对知识验证的主要内容 ,建立了有色Petri网的知识表示模型 ,提出了一种简洁有效的、基于有色Petri网的知识库验证方法 ,并给出了相应的判定准则 ,最后给出了一个说明知识表示模型和... 以有色Petri网为基础 ,在经过了必要的功能扩充后 ,针对知识验证的主要内容 ,建立了有色Petri网的知识表示模型 ,提出了一种简洁有效的、基于有色Petri网的知识库验证方法 ,并给出了相应的判定准则 ,最后给出了一个说明知识表示模型和知识验证判定准则的实例 . 展开更多
关键词 知识库 知识验证 有色petri 人工智能
下载PDF
面向对象的Petri网方法及其在甲骨文编码中的应用 被引量:7
2
作者 肖明 胡金柱 赵慧 《华中师范大学学报(自然科学版)》 CAS CSCD 北大核心 1999年第4期495-499,共5页
介绍了面向对象的Petri网(OOPN)方法,给出了OOPN 的基本定义、图形和语言表示;并运用面向对象Petri网方法研究甲骨文象形码的编码原理,将每个甲骨文字做为一个对象实例,运用面向对象Petri网方法,对甲骨文字根对象进行聚类,形成码元。
关键词 OOPN 编码 面向对象 petri 甲骨文 封装
下载PDF
应用有色Petri网的复杂系统四性一体化综合评估方法 被引量:7
3
作者 孙有朝 郭媛媛 崔灿丽 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2017年第5期707-717,共11页
为避免复杂系统以可靠性、维修性、测试性和安全性为四性的设计中仍存在"割裂"现象,在确定四性一体化基本参数的基础上,约束可靠性等四性单性指标,建立了基于有色Petri网的复杂系统四性一体化综合评估方法。在JAVA环境下,基... 为避免复杂系统以可靠性、维修性、测试性和安全性为四性的设计中仍存在"割裂"现象,在确定四性一体化基本参数的基础上,约束可靠性等四性单性指标,建立了基于有色Petri网的复杂系统四性一体化综合评估方法。在JAVA环境下,基于有色Petri网,利用工具PIPE分别建立了复杂系统结构有色Petri网模型和综合评估有色Petri网模型,形成四性一体化综合评估有色Petri网模型。变迁触发时,将复杂系统的四性状态分为3类并分别染色。根据库所中的托肯颜色,判断复杂系统各项指标满足情况以及所处状态。重复迭代评估,实时跟踪复杂系统四性所处状态,实现四性一体化综合权衡设计。算例证明,四性一体化综合评估方法全面合理,验证了方法的有效性和准确性。 展开更多
关键词 可靠性系统工程 复杂系统 有色petri 四性
下载PDF
基于库所有色Petri网的故障诊断算法研究 被引量:6
4
作者 马良荔 刘永葆 汪丽华 《计算机应用研究》 CSCD 北大核心 2012年第3期941-943,949,共4页
基于库所有色Petri网的故障诊断技术充分利用Petri网在故障分析和诊断中的优势,以船舶电站故障数据集为基础构造模型;并结合故障诊断实际对传统有色Petri网作适当改进,实现图形化故障树的分层分类着色显示,并以简单的矩阵运算实现故障诊... 基于库所有色Petri网的故障诊断技术充分利用Petri网在故障分析和诊断中的优势,以船舶电站故障数据集为基础构造模型;并结合故障诊断实际对传统有色Petri网作适当改进,实现图形化故障树的分层分类着色显示,并以简单的矩阵运算实现故障诊断,从而有效弥补了传统Petri网在实际应用中的缺陷,适应了故障诊断的分析和建模需要。 展开更多
关键词 故障诊断 有色petri 船舶电站
下载PDF
面向低压电器的CPN协同装配任务建模与优化 被引量:4
5
作者 张立彬 吕焕培 +3 位作者 胥芳 谭大鹏 陈教料 林琼 《计算机集成制造系统》 EI CSCD 北大核心 2020年第7期1737-1748,共12页
针对低压电器自动化装配中所存在的资源无序竞争及交互不平衡问题,提出一种基于着色Petri网(CPN)的协同装配方法;利用人工势场(APF)算法来实现机器人的协同交互控制;并提出了一种基于目标函数梯度的自适应量子遗传算法(AQGA),对装配时... 针对低压电器自动化装配中所存在的资源无序竞争及交互不平衡问题,提出一种基于着色Petri网(CPN)的协同装配方法;利用人工势场(APF)算法来实现机器人的协同交互控制;并提出了一种基于目标函数梯度的自适应量子遗传算法(AQGA),对装配时间、装配机器人数等关键参数进行平衡优化;构建了一个面向断路控制器的协同装配实例,对所提方法的有效性进行了验证。结果表明,协同装配控制方法能够提高低压电器装配的柔性化程度,确保装配单元间的协同交互,实现低压电器的快速有序装配,提高了装配工作效率。 展开更多
关键词 协同装配系统 人工势场 着色petri 低压电器 自适应量子遗传算法
下载PDF
基于进程代数的上下文感知模型 被引量:1
6
作者 王卫红 覃征 +1 位作者 曹玉辉 李达 《西安交通大学学报》 EI CAS CSCD 北大核心 2005年第10期1060-1063,共4页
针对当前上下文感知研究大多集中于技术解决方案,缺乏理论上统一描述模型的问题,提出了基于进程代数的上下文感知模型(CAMBPA).该模型独立于具体的应用平台,具有平台无关性.首先,利用带时间参量的上下文的状态变迁来描述动态环境的变化... 针对当前上下文感知研究大多集中于技术解决方案,缺乏理论上统一描述模型的问题,提出了基于进程代数的上下文感知模型(CAMBPA).该模型独立于具体的应用平台,具有平台无关性.首先,利用带时间参量的上下文的状态变迁来描述动态环境的变化,并根据进程代数的合并理论,采用合成简单环境状态变迁的方法来实现对复杂环境状态变迁的描述.随后,通过在模型中引入感知函数,实现了对感知行为的描述,同时对上下文状态变迁赋予了资源语义,从而使模型能够刻画移动计算环境中的动态资源情形.采用染色Pe-tri网对CAMBPA模型实例进行了可视化仿真,结果表明该模型具有语法、语义的正确性,以及良好的可扩展性,能够很好地描述上下文感知. 展开更多
关键词 移动计算 上下文感知 进程代数 染色petri
下载PDF
基于有色Petri网的电梯门系统建模与仿真 被引量:4
7
作者 刘文良 刘久富 周建勇 《计算机技术与发展》 2015年第3期162-166,共5页
文中分析了电梯门系统的组成结构,描述了电梯门系统的运行过程。文中利用有色Petri网中不同颜色的token可以表示系统的不同类型的状态的原理建立了基于有色Petri网的电梯门系统模型,避免了传统Petri网建模模型时引起的状态空间爆炸问题... 文中分析了电梯门系统的组成结构,描述了电梯门系统的运行过程。文中利用有色Petri网中不同颜色的token可以表示系统的不同类型的状态的原理建立了基于有色Petri网的电梯门系统模型,避免了传统Petri网建模模型时引起的状态空间爆炸问题。然后利用CPN Tools对模型进行动态分析并生成状态空间报告以分析模型的回归性、有界性、活性及公平性。活性分析存在死标识时,提出基于ASK-CTL模型检验理论的死标识合理性算法验证模型中不存在自循环终端和死锁标识,进而验证了死标识存在的合理性,证实了电梯门系统CPN模型的正确性。 展开更多
关键词 电梯门系统 有色petri ASK-CTL 死标识 活性
下载PDF
基于扩展的层次有色petri网的组合服务测试用例生成 被引量:3
8
作者 蔡菊 王迪 李必信 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第4期598-604,共7页
为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后... 为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义-使用路径覆盖标准. 展开更多
关键词 有色petri 数据流 测试序列 OWL—S 组合服务
下载PDF
基于Petri网的程序缓冲区溢出检测方法 被引量:1
9
作者 黄金志 胡健生 +1 位作者 廖赟 柴仁文 《计算机应用》 CSCD 北大核心 2005年第5期1219-1221,1224,共4页
由于软件的安全性问题的很大一部分是由于缓冲区溢出而引起的。因此,为了减少软件的安全漏洞,本文提出了一种利用着色Petri网的理论来检测原代码缓冲区溢出方法,并用CPNTools进行仿真证明了该方法的正确性和简便性。这为软件的缓冲区溢... 由于软件的安全性问题的很大一部分是由于缓冲区溢出而引起的。因此,为了减少软件的安全漏洞,本文提出了一种利用着色Petri网的理论来检测原代码缓冲区溢出方法,并用CPNTools进行仿真证明了该方法的正确性和简便性。这为软件的缓冲区溢出检测增添了一种新的方法。 展开更多
关键词 着色petri CPNTools 缓冲区溢出
下载PDF
一种基于CPN的BPEL异常处理逻辑的开发方法 被引量:2
10
作者 管华 应时 +2 位作者 贾向阳 蒋曹清 王一兵 《计算机科学》 CSCD 北大核心 2013年第1期150-156,共7页
针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法。该方法利用着色Petri网(CPN)形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对BPEL的异常处理逻辑... 针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法。该方法利用着色Petri网(CPN)形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对BPEL的异常处理逻辑开发,并依据此建模思想,提出了一个BPEL的异常处理CPN模型的转换工具,用以实现将异常处理的BPEL着色Petri网模型转换成对应的带异常处理的BPEL代码。该工具可在输入的原始的没有异常处理功能的BPEL代码基础上,通过动态地添加BPEL的异常处理语言成份,形成带有异常处理功能的BPEL流程。最后通过引入供应商流程案例,阐述了该方法的具体使用过程。 展开更多
关键词 着色petri BPEL(Business Process EXECUTION Language) 异常处理
下载PDF
智能网络管理中一种基于Petri网的知识验证技术
11
作者 姜浩 罗军舟 方宁生 《小型微型计算机系统》 CSCD 北大核心 2001年第6期711-715,共5页
知识库是智能网络管理系统中的重要组成部分 ,知识库的维护要求知识库系统必须具备知识的验证功能 .智能网管系统中知识组织的动态性决定了知识的结构性验证必须正确、有效和及时 .本文以有色 Petri网为基础 ,针对智能网管系统中知识验... 知识库是智能网络管理系统中的重要组成部分 ,知识库的维护要求知识库系统必须具备知识的验证功能 .智能网管系统中知识组织的动态性决定了知识的结构性验证必须正确、有效和及时 .本文以有色 Petri网为基础 ,针对智能网管系统中知识验证的主要内容 ,以一种扩充的有色 Petri网作为描述和分析工具 ,建立了相应的知识表示模型和知识验证模型 ,提出了一种简洁的、基于有色 Petri网的知识验证方法 ,并给出了相应的判定准则 . 展开更多
关键词 智能网 网络管理 petri 知识验证
下载PDF
基于着色Petri网的资源共享问题的研究 被引量:1
12
作者 廖贇 胡健生 吕书春 《重庆通信学院学报》 2005年第3期102-105,共4页
Petri网具有严格的数学定义与直观的图形表示,又有丰富的系统描述手段与行为分析技术:是一种适合于描述异步并发竞争机制的系统模型。不同进程对系统资源存取的同步与互斥是资源共享系统中的关键问题,解决多个进程共享资源同步与互... Petri网具有严格的数学定义与直观的图形表示,又有丰富的系统描述手段与行为分析技术:是一种适合于描述异步并发竞争机制的系统模型。不同进程对系统资源存取的同步与互斥是资源共享系统中的关键问题,解决多个进程共享资源同步与互斥的传统方法有:加锁机制、信号量机制和管程机制等。本论文基于着色Petri网理论,以计算机操作系统中的经典哲学家问题为引例,提出了基于着色Petri网描述与解决资源共享与同步问题,并用CPNTools工具进行了仿真,取得了简明直观的效果,为解决资源共享问题提供了一种新的研究方法。 展开更多
关键词 着色petri 资源共享 并发 竞争 CPNTools
原文传递
一种扩展式动态环境演算范型的Petri网描述 被引量:1
13
作者 曹玉辉 王卫红 覃征 《西安交通大学学报》 EI CAS CSCD 北大核心 2008年第10期1230-1234,共5页
为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行... 为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证. 展开更多
关键词 移动计算 环境演算 染色petri
下载PDF
动态合同网安全模型的研究
14
作者 刘灵敏 陈利 +2 位作者 顿煜卿 刘静 董刚刚 《计算机工程与设计》 CSCD 北大核心 2009年第18期4257-4259,共3页
以往的多Agent间的通信都是建立在理论安全的网络传输的基础上,但网络中信息的传递必须考虑安全问题。为此,引入数字签名技术,运用加解密算法对合同网协议中的信息进行处理,构造了一个具有安全性的动态合同网模型。运用有色Petri网建模,... 以往的多Agent间的通信都是建立在理论安全的网络传输的基础上,但网络中信息的传递必须考虑安全问题。为此,引入数字签名技术,运用加解密算法对合同网协议中的信息进行处理,构造了一个具有安全性的动态合同网模型。运用有色Petri网建模,CPN Tools分析,实验结果表明,该模型具有可达性、活性、公平性的特点。 展开更多
关键词 动态合同网 数字签名 有色petri 安全模型 CPN TOOLS
下载PDF
基于着色Petri Net的金属矿山环境评价信息化技术 被引量:1
15
作者 马云峰 韩天放 +2 位作者 李琳琳 胡筱敏 朱彤 《金属矿山》 CAS 北大核心 2010年第11期125-129,共5页
用C4ISR的理论改造环境影响评价技术,建立环境评价自动化系统C4ISRE是解决现今环境评价领域诸多问题的有效方法。建立C4ISRE的首要问题是将传统的环境评价报告形式转换为Petri网的形式,进而实现计算机对环境评价报告的自动化构建、分析... 用C4ISR的理论改造环境影响评价技术,建立环境评价自动化系统C4ISRE是解决现今环境评价领域诸多问题的有效方法。建立C4ISRE的首要问题是将传统的环境评价报告形式转换为Petri网的形式,进而实现计算机对环境评价报告的自动化构建、分析、处理等。以《金山店铁矿环境影响评价报告书》为例,根据传统环境评价工程分析方法的特点,构建了与其同构的着色Petri Net模型,并运用CPNtools完成了环境评价工程分析的各种论证,从而为建立C4ISRE奠定了基础。 展开更多
关键词 环境评价 环境评价信息化 环境评价自动化系统 着色petrinet CPNtools C4ISR C4ISRE
下载PDF
一种改进的CMP1协议及其Petri网分析
16
作者 赵军民 王春丽 《河南城建学院学报》 CAS 2014年第3期57-63,共7页
研究了一种改进的电子商务协议CMP1协议。针对原有CMP1协议的冗余设计、不满足协议公平性和时限性要求、存在被重放攻击的可能等不足,提出了一种改进方案,并使用颜色Petri网协议分析方法对改进后的CMP1协议进行了建模仿真和性质分析。... 研究了一种改进的电子商务协议CMP1协议。针对原有CMP1协议的冗余设计、不满足协议公平性和时限性要求、存在被重放攻击的可能等不足,提出了一种改进方案,并使用颜色Petri网协议分析方法对改进后的CMP1协议进行了建模仿真和性质分析。仿真结果证明改进后的CMP1协议不但满足网络协议的可追究性、公平性和时限性等属性要求,而且避免了被重放攻击的可能。 展开更多
关键词 CMP1协议 颜色petri CPN TOOLS 状态分析
下载PDF
冷水机组群控系统有色Petri网
17
作者 于燕 马奕 《电脑知识与技术》 2010年第11期8733-8735,共3页
普通Petri网对冷水机组群控制能力较弱,数量仅限于少台组群,若数量增多则网络过于庞杂。该文介绍一种流量/热量法实现对多台冷水机组群台数的控制,用有色Petri网建立了两台以上冷水机组群的控制模型。有色Petri网可以通过状态的逐... 普通Petri网对冷水机组群控制能力较弱,数量仅限于少台组群,若数量增多则网络过于庞杂。该文介绍一种流量/热量法实现对多台冷水机组群台数的控制,用有色Petri网建立了两台以上冷水机组群的控制模型。有色Petri网可以通过状态的逐次改变即变迁的激发实现网的运行,反映冷水机组群系统的动态特性。利用CPN Tools实现了系统建模与仿真验证。 展开更多
关键词 有色petri CPN TOOLS 冷水机组 变迁
下载PDF
基于CPNtools的环评工程分析信息化技术的研究 被引量:8
18
作者 胡筱敏 马云峰 +1 位作者 王宇佳 赵研 《环境保护科学》 CAS 2011年第3期63-65,72,共4页
以东北制药总厂现状环境评价为例,首先抽象出其采用的代数系统,然后构建了与其同构的着色PetriNet模型,并运用CPNtools完成了环境评价学的各种分析和论证,从而为构建C4ISRE奠定了基础。
关键词 环境评价 环境评价信息化 环境保护指挥自动化系统 着色petri net CPNtools C4ISRE
下载PDF
基于面向服务架构的调度命令系统模型开发研究 被引量:3
19
作者 白雪 肖宝弟 王建英 《计算机应用》 CSCD 北大核心 2009年第B12期145-148,共4页
首先介绍了面向服务的架构(SOA)的体系结构和有色Petri网的概念;然后,使用SOA的方法,通过对调度命令系统业务流程的梳理,提取出调度命令系统的一组服务模型,形成服务总线模式的调度命令系统的SOA架构;最后,以调用下达命令服务为例,将系... 首先介绍了面向服务的架构(SOA)的体系结构和有色Petri网的概念;然后,使用SOA的方法,通过对调度命令系统业务流程的梳理,提取出调度命令系统的一组服务模型,形成服务总线模式的调度命令系统的SOA架构;最后,以调用下达命令服务为例,将系统拆分为服务提供者、服务请求者和服务总线三个组件,再将服务总线组件拆分为接入访问组件、权限认证组件、服务路由组件和消息转换组件,利用有色Petri网在动态建模方面的优势,分别对其进行建模,详细说明了其内部流程。SOA架构提高了调度命令系统的灵活性和可扩展性,结合有色Petri网对系统内部结构和控制逻辑的形式化描述,这种架构方法与建模语言相结合的方法对调度命令系统的开发有一定的指导意义。 展开更多
关键词 面向服务的架构 有色petri 调度命令系统
下载PDF
An Attack Modeling Based on Colored Petri Net
20
作者 周世杰 秦志光 +1 位作者 张峰 刘锦德 《Journal of Electronic Science and Technology of China》 2004年第1期47-52,共6页
A color petri net (CPN) based attack modeling approach is addressed. Compared with graph-based modeling, CPN based attack model is flexible enough to model Internet intrusions, because of their static and dynamic feat... A color petri net (CPN) based attack modeling approach is addressed. Compared with graph-based modeling, CPN based attack model is flexible enough to model Internet intrusions, because of their static and dynamic features. The processes and rules of building CPN based attack model from attack tree are also presented. In order to evaluate the risk of intrusion, some cost elements are added to CPN based attack modeling. This extended model is useful in intrusion detection and risk evaluation. Experiences show that it is easy to exploit CPN based attack modeling approach to provide the controlling functions, such as intrusion response and intrusion defense. A case study given in this paper shows that CPN based attack model has many unique characters which attack tree model hasn’t. 展开更多
关键词 petri net color petri net (CPN) intrusion detection and response attack modeling
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部