期刊文献+
共找到420篇文章
< 1 2 21 >
每页显示 20 50 100
基于着色Petri Net的金属矿山环境评价信息化技术 被引量:1
1
作者 马云峰 韩天放 +2 位作者 李琳琳 胡筱敏 朱彤 《金属矿山》 CAS 北大核心 2010年第11期125-129,共5页
用C4ISR的理论改造环境影响评价技术,建立环境评价自动化系统C4ISRE是解决现今环境评价领域诸多问题的有效方法。建立C4ISRE的首要问题是将传统的环境评价报告形式转换为Petri网的形式,进而实现计算机对环境评价报告的自动化构建、分析... 用C4ISR的理论改造环境影响评价技术,建立环境评价自动化系统C4ISRE是解决现今环境评价领域诸多问题的有效方法。建立C4ISRE的首要问题是将传统的环境评价报告形式转换为Petri网的形式,进而实现计算机对环境评价报告的自动化构建、分析、处理等。以《金山店铁矿环境影响评价报告书》为例,根据传统环境评价工程分析方法的特点,构建了与其同构的着色Petri Net模型,并运用CPNtools完成了环境评价工程分析的各种论证,从而为建立C4ISRE奠定了基础。 展开更多
关键词 环境评价 环境评价信息化 环境评价自动化系统 着色petrinet CPNtools C4ISR C4ISRE
在线阅读 下载PDF
基于Agent的对象有色Petri Net及其在制造单元建模中的应用 被引量:1
2
作者 王伟 苑伟政 张磊 《计算机应用》 CSCD 北大核心 2003年第8期109-113,共5页
在对象有色Petri网的基础上,引入知识库、目标库和规划模块,提出一种基于Agent的对象有色Petri网模型。以一个制造单元为例,介绍了使用该模型用于Agent系统建模的方法,以及Agent之间异步消息通信机制。最后,通过分析了由基于Agent的对... 在对象有色Petri网的基础上,引入知识库、目标库和规划模块,提出一种基于Agent的对象有色Petri网模型。以一个制造单元为例,介绍了使用该模型用于Agent系统建模的方法,以及Agent之间异步消息通信机制。最后,通过分析了由基于Agent的对象有色Petri网简化得到的制造单元的普通Petri网模型,验证了模型具有的三级活性、并发、有效性三个特征。 展开更多
关键词 对象有色petri 制造单元 AGENT
在线阅读 下载PDF
基于着色Petri网的Internet电话端系统业务冲突检测 被引量:1
3
作者 郝扬 古天龙 《计算机科学》 CSCD 北大核心 2007年第12期41-45,共5页
将描述端业务的LESS脚本转换为着色Petri网模型,可以为实现形式化方法检测端业务间的冲突提供基础。本文根据业务逻辑树节点的特性和LESS的定义,提出了通用的转化规则,实现了端业务的形式化建模,从而方便了业务的集成及业务间的离线检... 将描述端业务的LESS脚本转换为着色Petri网模型,可以为实现形式化方法检测端业务间的冲突提供基础。本文根据业务逻辑树节点的特性和LESS的定义,提出了通用的转化规则,实现了端业务的形式化建模,从而方便了业务的集成及业务间的离线检测。通过CPNTools对建立的业务模型进行仿真并分析模型状态空间,检测出端业务之间是否存在冲突。最后,用典型的业务实例验证了所提方法在Internet电话端系统环境中的可行性和有效性。 展开更多
关键词 着色petri 业务冲突 端系统
在线阅读 下载PDF
基于Petri网的区块链智能合约攻击者建模与检测
4
作者 杨林枫 黄政 +1 位作者 徐岩 丁志军 《计算机工程》 北大核心 2025年第4期15-26,共12页
智能合约是第二代区块链以太坊的核心,涉及大量资金流动,因部署在公有链上易遭黑客攻击。因此,检测合约潜在漏洞以确保其安全性至关重要。然而,现有检测方法难以应对攻击代码结构性欺骗、深入解析程序逻辑、缓解状态空间爆炸等情况。为... 智能合约是第二代区块链以太坊的核心,涉及大量资金流动,因部署在公有链上易遭黑客攻击。因此,检测合约潜在漏洞以确保其安全性至关重要。然而,现有检测方法难以应对攻击代码结构性欺骗、深入解析程序逻辑、缓解状态空间爆炸等情况。为此,构建一种基于Petri网的智能合约攻击者建模检测框架,利用抽象语义规则和网络动态运行特性精确捕捉攻击行为,确保智能合约检测的高适配性和高准确性。同时,提出一种多层次漏洞统一检测方法,结合各层次漏洞的关键特征,推导攻击可能性及其潜在影响。针对状态空间爆炸问题,设计一种按需生成状态空间的缓解机制,有效提升了检测效率和资源利用率。实验结果表明,所提检测方法具有可行性与实用性。 展开更多
关键词 智能合约 颜色petri 攻击 建模 检测
在线阅读 下载PDF
基于着色时间Petri网的飞机维修保障作业优化 被引量:2
5
作者 齐阳 祝华远 +1 位作者 李江龙 崔骏夫 《兵工自动化》 北大核心 2025年第6期93-97,103,共6页
针对舰基特殊条件下飞机的维修保障作业受限制问题,提出基于着色时间Petri网的飞机维修保障作业模型。利用ECRS法优化现有作业流程并使用着色时间Petri网以机械检查工序为例建立飞机维修保障作业模型。通过优化机械检查流程,并对不同维... 针对舰基特殊条件下飞机的维修保障作业受限制问题,提出基于着色时间Petri网的飞机维修保障作业模型。利用ECRS法优化现有作业流程并使用着色时间Petri网以机械检查工序为例建立飞机维修保障作业模型。通过优化机械检查流程,并对不同维修人员组合的维修时间进行仿真,得出串行工序的优先级、并行到串行转换的影响以及整体效率优化的结果。仿真结果表明:该模型能够在维修保障资源受限情况下,得到资源配置最优组合,对缩短维修时间,提高维修资源利用率,提升飞机放飞时效有一定指导意义。 展开更多
关键词 维修保障 着色时间petri 资源配置优化 流程优化 仿真分析 ECRS方法
在线阅读 下载PDF
矿井机车运输监控系统调度联锁过程的Petri网建模 被引量:23
6
作者 陆阳 郭智奇 +1 位作者 韩江洪 杨晴晴 《煤炭学报》 EI CAS CSCD 北大核心 2007年第11期1216-1223,共8页
分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri网对矿井机车调度联锁过程进行了建模.在建模的过程中,对库所和变迁进行了着色;使用约束组合弧并结合外部输入的车到和过车信息,对机车运行路线错误、任务内闯红灯等意外情况... 分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri网对矿井机车调度联锁过程进行了建模.在建模的过程中,对库所和变迁进行了着色;使用约束组合弧并结合外部输入的车到和过车信息,对机车运行路线错误、任务内闯红灯等意外情况进行了描述;对进路的闭锁和解锁情况进行了细分,根据保证安全和兼顾效率的原则,建立了不同的控制方式;最后给出了调度联锁过程的整体Petri网模型. 展开更多
关键词 机车运输监控 调度联锁 有色petri 约束组合弧
在线阅读 下载PDF
基于Petri网的RFID中间件中复合事件检测研究 被引量:13
7
作者 叶蔚 黄雨 +2 位作者 赵文 张世琨 王立福 《电子学报》 EI CAS CSCD 北大核心 2008年第B12期1-8,共8页
探讨了一种利用复杂事件处理技术处理RFID高层业务逻辑的机制.通过用复合事件来表达RFID应用系统中常见的高层业务逻辑,将对业务逻辑的处理转化为RFID中间件对复合事件的检测.从RFID中间件检测行为的角度探讨了在这一转化过程中事件定... 探讨了一种利用复杂事件处理技术处理RFID高层业务逻辑的机制.通过用复合事件来表达RFID应用系统中常见的高层业务逻辑,将对业务逻辑的处理转化为RFID中间件对复合事件的检测.从RFID中间件检测行为的角度探讨了在这一转化过程中事件定义和事件检测的若干关键问题.基于有色网定义了RFID事件流检测网系统作为RFID事件检测模型的描述工具.给出了事件检测模型的构造规则.根据检测模型的网结构特征对具有复杂层次的复合事件的可检测性进行了分析. 展开更多
关键词 无线射频识别 无线射频识别中间件 复杂事件处理 复合事件检测 有色网
在线阅读 下载PDF
基于分层着色Petri网的增强现实装配系统建模 被引量:8
8
作者 宋荆洲 马铁军 +2 位作者 孙汉旭 贾庆轩 高欣 《计算机集成制造系统》 EI CSCD 北大核心 2012年第10期2166-2174,共9页
为弥补场景图在增强现实装配应用中的不足,提出一种将层次着色Petri网与图灵机模型结合的方法,建立了增强现实装配环境系统模型。该模型借鉴图灵机的思想,以虚拟手的手势代号及位姿矩阵作为输入,输出具体操作事件更新场景图,记录系统的... 为弥补场景图在增强现实装配应用中的不足,提出一种将层次着色Petri网与图灵机模型结合的方法,建立了增强现实装配环境系统模型。该模型借鉴图灵机的思想,以虚拟手的手势代号及位姿矩阵作为输入,输出具体操作事件更新场景图,记录系统的当前内部状态并根据用户输入给出下一步的操作响应。相对于单一的碰撞检测方法,该方法能更好地满足增强现实装配系统的动态实时响应等性能要求。开发建立了该模型的原型系统,并通过网络状态生成图分析验证了模型实时响应的能力。 展开更多
关键词 层次着色petri 图灵机 增强现实 装配环境 建模
在线阅读 下载PDF
模糊着色Petri网及其在工作流建模中的应用 被引量:9
9
作者 张鹏程 李人厚 +1 位作者 秦明 顾新华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第8期713-716,共4页
Petri网是当前工作流建模中广泛采用的工具之一 .针对工作流过程定义中模糊信息的描述和处理问题 ,提出模糊着色 Petri网的描述方法 ,并给出基于模糊着色 Petri网的推理过程 .最后给出一个简单业务流程的基于模糊着色 Petri网的工作流模... Petri网是当前工作流建模中广泛采用的工具之一 .针对工作流过程定义中模糊信息的描述和处理问题 ,提出模糊着色 Petri网的描述方法 ,并给出基于模糊着色 Petri网的推理过程 .最后给出一个简单业务流程的基于模糊着色 Petri网的工作流模型 。 展开更多
关键词 模糊着色petri 工作流 建模 流程定义 智能表达 模糊推理
在线阅读 下载PDF
有色—时间Petri网航班延误模型与波及分析 被引量:13
10
作者 丁建立 陈坦坦 刘玉洁 《计算机集成制造系统》 EI CSCD 北大核心 2008年第12期2334-2340,共7页
基于有色Petri网和时间Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色—时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机... 基于有色Petri网和时间Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色—时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机场是否出现航班延误,并分析和预测延误时间。仿真实验表明,松弛时间越大,越能够有效吸收延误波及;初始延误时间越长,波及下游机场个数越多。 展开更多
关键词 petri 有色-时间petri 航班延误 模型 波及分析
在线阅读 下载PDF
基于multi-Agent和Petri网的分布式风光互补系统 被引量:11
11
作者 余晓明 曾君 +1 位作者 郭红霞 柳澹 《控制理论与应用》 EI CAS CSCD 北大核心 2008年第2期353-356,360,共5页
近年来随着"大机组、高电压、大电网"发供电模式的弊端日益显露,分散式供电系统成为21世纪电力工业的发展方向.此外,随着风力、太阳能等可再生能源的飞速发展及其发电效率的不断提高,使研究风光互补系统的分布式供电有着重要... 近年来随着"大机组、高电压、大电网"发供电模式的弊端日益显露,分散式供电系统成为21世纪电力工业的发展方向.此外,随着风力、太阳能等可再生能源的飞速发展及其发电效率的不断提高,使研究风光互补系统的分布式供电有着重要意义.文中提出一种基于multi-Agent的分布式风光互补混合供电系统,将分散的风力、太阳能光伏发电装置组成分布式系统,并采用有色Petri网建立了multi-Agent的协作模型.通过模拟风力–太阳能的运行情况,证明了分散控制策略的有效性. 展开更多
关键词 分布式供电 风光互补系统 多智能体系统(MAS) 有色petri网(CPN)
在线阅读 下载PDF
面向对象的Petri网方法及其在甲骨文编码中的应用 被引量:7
12
作者 肖明 胡金柱 赵慧 《华中师范大学学报(自然科学版)》 CAS CSCD 北大核心 1999年第4期495-499,共5页
介绍了面向对象的Petri网(OOPN)方法,给出了OOPN 的基本定义、图形和语言表示;并运用面向对象Petri网方法研究甲骨文象形码的编码原理,将每个甲骨文字做为一个对象实例,运用面向对象Petri网方法,对甲骨文字根对象进行聚类,形成码元。
关键词 OOPN 编码 面向对象 petri 甲骨文 封装
在线阅读 下载PDF
着色Petri网及其在系统建模与仿真中的应用 被引量:16
13
作者 肖兵 瞿坦 王明哲 《计算机工程》 CAS CSCD 北大核心 2001年第1期30-32,共3页
在众多的系统建模方法和语言中,用着色Petri网( Colored Petri Net,简写CPN)建立的模型是可执行的,更有利于动态仿真,非常适合建模具有同步、并发、资源共享的大系统.文章介绍了CPN的基本概念及建模... 在众多的系统建模方法和语言中,用着色Petri网( Colored Petri Net,简写CPN)建立的模型是可执行的,更有利于动态仿真,非常适合建模具有同步、并发、资源共享的大系统.文章介绍了CPN的基本概念及建模特性,阐明了CPN的实用价值及应用发展前景,并对一个罕事系统一一空对空导弹攻击系统进行CPN的图形形式的建模分析,并用Design/CPN进行仿真验证. 展开更多
关键词 系统建模 系统仿真 着色petri 空对空导弹 计算机仿真
在线阅读 下载PDF
基于有色Petri网的车载设备模式转换测试序列生成方法 被引量:18
14
作者 赵晓宇 杨志杰 吕旌阳 《中国铁道科学》 EI CAS CSCD 北大核心 2017年第4期115-123,共9页
为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载... 为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载设备模式转换规则,将车载设备的工作模式及其转换路径映射为有向图,采用中国邮路算法求解有向图,生成1条最优邮路,并对该邮路进行二次优化,生成车载设备模式转换的测试目标序列集;将测试目标序列作为MTCPN模型的输入,仿真生成满足全路径覆盖准则的可执行的测试序列集和XML文件。验证结果表明:基于有色Petri网的测试序列生成方法能够满足测试需求,并且避免了既有方法的状态空间爆炸和搜索死循环问题,提高了测试效率。 展开更多
关键词 测试序列 车载设备 列车控制系统 模式转换 有色petri 中国邮路算法 路径覆盖量
在线阅读 下载PDF
基于Petri网的产品建模及其时序改进方法 被引量:6
15
作者 贾丽臻 檀润华 +1 位作者 张换高 刘伟 《计算机集成制造系统》 EI CSCD 北大核心 2016年第3期630-638,共9页
为构建系统功能和行为模型以实现系统功能与行为优化,将Petri网建模语言应用于系统行为描述过程,提出一种行为建模与时序优化方法,对系统的动作时序进行改进。将技术系统中的能量流、物料流及信息流元素与有色Petri网结合,定义了系统行... 为构建系统功能和行为模型以实现系统功能与行为优化,将Petri网建模语言应用于系统行为描述过程,提出一种行为建模与时序优化方法,对系统的动作时序进行改进。将技术系统中的能量流、物料流及信息流元素与有色Petri网结合,定义了系统行为建模语言。将系统行为分为串联、并联及反馈三种类型,并据此提出技术系统行为评定方法,提供系统动作时序的改进目标。提出5条行为优化路径及基于Petri网层次化建模过程的自顶向下行为优化方法,为系统动作时序的改进提供了方向与优化过程模型。将该产品行为建模方法与时序优化过程应用于一种纽扣电池阴极自动扣圈机的改进设计中,验证该行为优化过程模型的有效性。 展开更多
关键词 时序 有色petri 行为分析 优化过程 自动扣圈机
在线阅读 下载PDF
一种基于有色Petri网的知识库验证方法 被引量:10
16
作者 姜浩 罗军舟 方宁生 《东南大学学报(自然科学版)》 EI CAS CSCD 2000年第1期77-83,共7页
以有色Petri网为基础 ,在经过了必要的功能扩充后 ,针对知识验证的主要内容 ,建立了有色Petri网的知识表示模型 ,提出了一种简洁有效的、基于有色Petri网的知识库验证方法 ,并给出了相应的判定准则 ,最后给出了一个说明知识表示模型和... 以有色Petri网为基础 ,在经过了必要的功能扩充后 ,针对知识验证的主要内容 ,建立了有色Petri网的知识表示模型 ,提出了一种简洁有效的、基于有色Petri网的知识库验证方法 ,并给出了相应的判定准则 ,最后给出了一个说明知识表示模型和知识验证判定准则的实例 . 展开更多
关键词 知识库 知识验证 有色petri 人工智能
在线阅读 下载PDF
基于面向Agent的赋时着色Petri网的可重构装配线建模 被引量:8
17
作者 苑明海 白颖 李东波 《计算机集成制造系统》 EI CSCD 北大核心 2008年第11期2142-2149,2183,共9页
针对可重构装配线建模问题,提出了面向Agent的赋时着色Petri网的可重构装配线建模方法。在对装配资源进行分类的基础上,将装配资源Agent内部行为进行封装,建立了装配资源Agent的面向Agent的赋时着色Petri网模型,并通过过渡变迁合成可重... 针对可重构装配线建模问题,提出了面向Agent的赋时着色Petri网的可重构装配线建模方法。在对装配资源进行分类的基础上,将装配资源Agent内部行为进行封装,建立了装配资源Agent的面向Agent的赋时着色Petri网模型,并通过过渡变迁合成可重构装配单元面向Agent的赋时着色Petri网模型。根据每个可重构装配单元之间的逻辑关系,确定整个系统的消息传递关系。在此基础上,实现了装配线快速重构,通过引入相应的多Agent交互协议模型来解决模型中存在的死锁和冲突。最后通过实例分析说明了该建模方法的有效性。 展开更多
关键词 AGENT 赋时着色petri 可重构装配线 建模 交互协议
在线阅读 下载PDF
基于有色Petri网的复杂武器系统任务可靠性建模及估计 被引量:6
18
作者 原菊梅 侯朝桢 +1 位作者 高琳 王小艺 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第11期2563-2566,共4页
针对复杂武器系统的任务可靠性提出一种具有记忆标识的有色Petri网分层建模方法。首先用具有记忆标识的有色Petri网建立系统所有任务、每个任务具有的可重构数和所需资源,然后根据资源的状态和累积工作时间即可确定相应的任务能否完成,... 针对复杂武器系统的任务可靠性提出一种具有记忆标识的有色Petri网分层建模方法。首先用具有记忆标识的有色Petri网建立系统所有任务、每个任务具有的可重构数和所需资源,然后根据资源的状态和累积工作时间即可确定相应的任务能否完成,从而获得任务的可靠性指标。以某野战防空C3I系统中旅指挥站为例说明该方法是可行的。该方法适合于多任务可重构系统的任务可靠性建模及其估计。 展开更多
关键词 复杂武器系统 任务可靠性 具有记忆的有色petri 分层建模
在线阅读 下载PDF
优先级Petri网的CPN Tools仿真模型研究 被引量:7
19
作者 王胜德 胡望斌 徐宗昌 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第3期814-816,共3页
优先级概念的引入,增强了有色Petri网的描述能力,但同时也导致了重复开发相似的仿真工具,造成了极大的浪费。通用的有色Petri网仿真工具CPN Tools支持功能强大的元语言(ML),扩展性比较强。在CPN Tools中利用反库所(anti place)、列表(li... 优先级概念的引入,增强了有色Petri网的描述能力,但同时也导致了重复开发相似的仿真工具,造成了极大的浪费。通用的有色Petri网仿真工具CPN Tools支持功能强大的元语言(ML),扩展性比较强。在CPN Tools中利用反库所(anti place)、列表(list)和元语言(ML)等方法建立了变迁、库所和托肯三种类型优先级Petri网的仿真模型,并通过示例表明了方法的有效性,这对于优先级Petri网的仿真具有重要意义。 展开更多
关键词 有色petri 仿真模型 优先级 CPN Tools 反库所 列表 元语言
在线阅读 下载PDF
多卫星—地面站系统的Petri网模型研究 被引量:26
20
作者 王远振 赵坚 聂成 《空军工程大学学报(自然科学版)》 CSCD 2003年第2期7-11,共5页
提出一种新的扩展Petri网模型———时间约束着色Petri网,并对其进行了研究。然后,在对多卫星—地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星—地面站设备调度的时间约束着色Petri网模型,为... 提出一种新的扩展Petri网模型———时间约束着色Petri网,并对其进行了研究。然后,在对多卫星—地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星—地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。 展开更多
关键词 卫星 petri 着色petri 调度策略
在线阅读 下载PDF
上一页 1 2 21 下一页 到第
使用帮助 返回顶部