期刊文献+
共找到419篇文章
< 1 2 21 >
每页显示 20 50 100
基于Petri网的区块链智能合约攻击者建模与检测
1
作者 杨林枫 黄政 +1 位作者 徐岩 丁志军 《计算机工程》 北大核心 2025年第4期15-26,共12页
智能合约是第二代区块链以太坊的核心,涉及大量资金流动,因部署在公有链上易遭黑客攻击。因此,检测合约潜在漏洞以确保其安全性至关重要。然而,现有检测方法难以应对攻击代码结构性欺骗、深入解析程序逻辑、缓解状态空间爆炸等情况。为... 智能合约是第二代区块链以太坊的核心,涉及大量资金流动,因部署在公有链上易遭黑客攻击。因此,检测合约潜在漏洞以确保其安全性至关重要。然而,现有检测方法难以应对攻击代码结构性欺骗、深入解析程序逻辑、缓解状态空间爆炸等情况。为此,构建一种基于Petri网的智能合约攻击者建模检测框架,利用抽象语义规则和网络动态运行特性精确捕捉攻击行为,确保智能合约检测的高适配性和高准确性。同时,提出一种多层次漏洞统一检测方法,结合各层次漏洞的关键特征,推导攻击可能性及其潜在影响。针对状态空间爆炸问题,设计一种按需生成状态空间的缓解机制,有效提升了检测效率和资源利用率。实验结果表明,所提检测方法具有可行性与实用性。 展开更多
关键词 智能合约 颜色petri 攻击 建模 检测
在线阅读 下载PDF
基于着色时间Petri网的飞机维修保障作业优化
2
作者 齐阳 祝华远 +1 位作者 李江龙 崔骏夫 《兵工自动化》 北大核心 2025年第6期93-97,103,共6页
针对舰基特殊条件下飞机的维修保障作业受限制问题,提出基于着色时间Petri网的飞机维修保障作业模型。利用ECRS法优化现有作业流程并使用着色时间Petri网以机械检查工序为例建立飞机维修保障作业模型。通过优化机械检查流程,并对不同维... 针对舰基特殊条件下飞机的维修保障作业受限制问题,提出基于着色时间Petri网的飞机维修保障作业模型。利用ECRS法优化现有作业流程并使用着色时间Petri网以机械检查工序为例建立飞机维修保障作业模型。通过优化机械检查流程,并对不同维修人员组合的维修时间进行仿真,得出串行工序的优先级、并行到串行转换的影响以及整体效率优化的结果。仿真结果表明:该模型能够在维修保障资源受限情况下,得到资源配置最优组合,对缩短维修时间,提高维修资源利用率,提升飞机放飞时效有一定指导意义。 展开更多
关键词 维修保障 着色时间petri 资源配置优化 流程优化 仿真分析 ECRS方法
在线阅读 下载PDF
基于着色Petri Net的金属矿山环境评价信息化技术 被引量:1
3
作者 马云峰 韩天放 +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
4
作者 王伟 苑伟政 张磊 《计算机应用》 CSCD 北大核心 2003年第8期109-113,共5页
在对象有色Petri网的基础上,引入知识库、目标库和规划模块,提出一种基于Agent的对象有色Petri网模型。以一个制造单元为例,介绍了使用该模型用于Agent系统建模的方法,以及Agent之间异步消息通信机制。最后,通过分析了由基于Agent的对... 在对象有色Petri网的基础上,引入知识库、目标库和规划模块,提出一种基于Agent的对象有色Petri网模型。以一个制造单元为例,介绍了使用该模型用于Agent系统建模的方法,以及Agent之间异步消息通信机制。最后,通过分析了由基于Agent的对象有色Petri网简化得到的制造单元的普通Petri网模型,验证了模型具有的三级活性、并发、有效性三个特征。 展开更多
关键词 对象有色petri 制造单元 AGENT
在线阅读 下载PDF
基于身份认证的BACnet/IP分析与改进
5
作者 谢鹏寿 朱家锋 +3 位作者 康永平 冯涛 李威 冉玉翔 《通信学报》 EI CSCD 北大核心 2024年第3期227-243,共17页
为了解决BACnet/IP身份认证存在多种可攻击漏洞和密钥泄露带来的安全问题,提出了一种安全增强的BACnet/IP-SA协议认证方案。研究协议身份认证消息流模型,基于着色Petri网理论和CPNTools对身份认证消息流建模,采用Dolev-Yao攻击者模型和... 为了解决BACnet/IP身份认证存在多种可攻击漏洞和密钥泄露带来的安全问题,提出了一种安全增强的BACnet/IP-SA协议认证方案。研究协议身份认证消息流模型,基于着色Petri网理论和CPNTools对身份认证消息流建模,采用Dolev-Yao攻击者模型和形式化分析方法对BACnet/IP进行安全性分析,发现协议漏洞并提出改进方案。BACnet/IP-SA协议使用设备的伪身份来保护真实身份信息,使用PUF响应进行认证,通过多信息集合的验证值来验证端身份的真实性并生成会话密钥。结合BAN逻辑和非形式化方法,对协议的安全性进行了证明。实验结果表明,所提方案能有效抵抗多类攻击和密钥泄露带来的安全威胁,在减少计算开销的同时增强了协议身份认证的安全性。 展开更多
关键词 BACnet/IP 形式化分析 着色petri BAN逻辑 协议改进
在线阅读 下载PDF
基于着色Petri网的Internet电话端系统业务冲突检测 被引量:1
6
作者 郝扬 古天龙 《计算机科学》 CSCD 北大核心 2007年第12期41-45,共5页
将描述端业务的LESS脚本转换为着色Petri网模型,可以为实现形式化方法检测端业务间的冲突提供基础。本文根据业务逻辑树节点的特性和LESS的定义,提出了通用的转化规则,实现了端业务的形式化建模,从而方便了业务的集成及业务间的离线检... 将描述端业务的LESS脚本转换为着色Petri网模型,可以为实现形式化方法检测端业务间的冲突提供基础。本文根据业务逻辑树节点的特性和LESS的定义,提出了通用的转化规则,实现了端业务的形式化建模,从而方便了业务的集成及业务间的离线检测。通过CPNTools对建立的业务模型进行仿真并分析模型状态空间,检测出端业务之间是否存在冲突。最后,用典型的业务实例验证了所提方法在Internet电话端系统环境中的可行性和有效性。 展开更多
关键词 着色petri 业务冲突 端系统
在线阅读 下载PDF
带有时间戳的着色逻辑Petri网 被引量:1
7
作者 王嘉丰 徐贤 《计算机科学与探索》 CSCD 北大核心 2024年第7期1776-1791,共16页
针对扩展着色逻辑Petri网存在的表达能力弱以及适用范围窄的问题,提出了一个新的Petri网模型,即带有时间戳的着色逻辑Petri网。首先,将颜色进行实例化以及将变量用于构建有向边上的表达式使得模型能够传递复杂的数据流。其次,引入全局... 针对扩展着色逻辑Petri网存在的表达能力弱以及适用范围窄的问题,提出了一个新的Petri网模型,即带有时间戳的着色逻辑Petri网。首先,将颜色进行实例化以及将变量用于构建有向边上的表达式使得模型能够传递复杂的数据流。其次,引入全局时间以及令牌的时间戳等概念为变迁使能规则增加时间上的约束,使得模型能够用于模拟实时系统。再次,定义库所约束函数并为变迁使能规则增加输出库所上的约束,使得模型能够适用于存储资源有限的场景。接着,提出基于逻辑变迁输入输出矩阵的匹配法,降低逻辑输入变迁的使能判定计算开销并简化逻辑输出变迁的使能判定计算过程。然后,重新定义适用于三类变迁的使能判定条件以及适用于三类库所的标记更新方法,解决原有模型语义在新模型中不适用的问题。最后,通过实例说明新的Petri网模型具有更强的表达能力和适用范围,它能够适用于传递复杂数据流、存储资源有限、实时的且包含批处理选择结构的系统。 展开更多
关键词 petri 时间戳 着色令牌 逻辑变迁
在线阅读 下载PDF
基于NSGA-Ⅱ的着色Petri网维修任务资源分配
8
作者 刘涛 雷涛 舒龙诚 《科学技术与工程》 北大核心 2024年第30期13189-13198,共10页
针对民用飞机在设计维修任务过程模型时主要关注维修拆卸流程中的顺序问题,但是缺乏对维修资源分配问题的分析。提出了一种基于NSGA-Ⅱ的着色Petri网维修资源分配方法,以提高民用飞机维修任务过程的维修效率并降低维修成本。该方法利用... 针对民用飞机在设计维修任务过程模型时主要关注维修拆卸流程中的顺序问题,但是缺乏对维修资源分配问题的分析。提出了一种基于NSGA-Ⅱ的着色Petri网维修资源分配方法,以提高民用飞机维修任务过程的维修效率并降低维修成本。该方法利用着色Petri网工具建立维修任务过程模型,实现对维修过程的可视化,使得维修任务设计人员分析整个维修过程,确定维修顺序与维修资源的从属关系。其次,建立了以最大化维修效率和最小化维修成本为多目标的优化模型,并运用NSGA-Ⅱ算法对最优维修过程进行求解,实现维修任务的最优化维修资源分配。通过大气数据模块的维修任务拆卸实例,验证了本文方法的有效性,可避免资源重复分配,提高维修任务过程效率,降低维修成本。该方法在实际应用中具有较高的实用性和参考价值。 展开更多
关键词 维修任务 NSGA-Ⅱ算法 着色petri 资源分配
在线阅读 下载PDF
基于随机颜色Petri网的食物网能量流动建模与分析
9
作者 管梦真 刘伟 李清 《计算机应用与软件》 北大核心 2024年第2期25-32,共8页
为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Pe... 为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Petri网提出可达图构造算法和随机概率矩阵;将随机颜色Petri网应用到食物网的能量流动过程中,对能量流动过程进行分析并对传递的物质进行分类,验证该模型的有效性。 展开更多
关键词 随机颜色petri 随机函数 能量流动 约束函数 可达图
在线阅读 下载PDF
绿色云环境下基于动态匹配机制的资源调度策略
10
作者 李维勇 王颖 张伟 《计算机应用与软件》 北大核心 2025年第2期299-307,386,共10页
针对云计算系统低性能高能耗的问题,提出一种基于动态匹配机制的资源调度算法。根据价值度和紧急度进行任务分类,采用四象限法则将全局云任务队列拆成四个分队列;利用具有记忆标识的颜色Petri网建立资源节点可用度评估模型,根据节点可... 针对云计算系统低性能高能耗的问题,提出一种基于动态匹配机制的资源调度算法。根据价值度和紧急度进行任务分类,采用四象限法则将全局云任务队列拆成四个分队列;利用具有记忆标识的颜色Petri网建立资源节点可用度评估模型,根据节点可用度所处区间动态划分四级资源池;将四个分队列中的任务匹配调度到四级资源池中,同时,资源池采用不同的电源管理技术进行管理。仿真结果表明,相对传统的资源调度策略,该策略能够有效保证用户服务性能,并显著降低系统总能耗开销。 展开更多
关键词 云计算 资源调度 任务分类 颜色petri 电源管理
在线阅读 下载PDF
基于CGSPN的复杂电子系统测试性参数确定方法
11
作者 张超 房颖涛 +2 位作者 董志杰 何世烈 周振威 《系统工程与电子技术》 北大核心 2025年第5期1525-1535,共11页
因大量采用分布式、综合化、模块化方案,复杂电子系统极易出现共因故障和故障并发等新问题,传统测试性参数确定方法难以解决。针对这一问题,提出一种基于着色广义随机Petri网(colored generalized stochastic Petri nets,CGSPN)的复杂... 因大量采用分布式、综合化、模块化方案,复杂电子系统极易出现共因故障和故障并发等新问题,传统测试性参数确定方法难以解决。针对这一问题,提出一种基于着色广义随机Petri网(colored generalized stochastic Petri nets,CGSPN)的复杂电子系统测试性参数确定新方法。首先,综合需求信息、约束边界和维修保障等要求,建立电子系统两层级CGSPN模型,引入着色,实现不同模块各种状态的实时追踪和故障并发处理,通过广义随机处理共因故障的随机不确定性;然后,利用着色和可用度探索一种带有冗余设计的测试性参数处理手段,丰富测试性体系;最后,构建一种不同模块、各种状态融合的并行分析技术,统一系统层和模块层之间的状态转移关系,避免分阶段串行处理和等效替换。以通信导航识别系统为例进行实例分析,所提方法比传统方法具有更好的可用性和有效性。 展开更多
关键词 电子系统 测试性参数 着色广义随机petri 共因故障 故障并发
在线阅读 下载PDF
有色—时间Petri网航班延误模型与波及分析 被引量:13
12
作者 丁建立 陈坦坦 刘玉洁 《计算机集成制造系统》 EI CSCD 北大核心 2008年第12期2334-2340,共7页
基于有色Petri网和时间Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色—时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机... 基于有色Petri网和时间Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色—时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机场是否出现航班延误,并分析和预测延误时间。仿真实验表明,松弛时间越大,越能够有效吸收延误波及;初始延误时间越长,波及下游机场个数越多。 展开更多
关键词 petri 有色-时间petri 航班延误 模型 波及分析
在线阅读 下载PDF
矿井机车运输监控系统调度联锁过程的Petri网建模 被引量:23
13
作者 陆阳 郭智奇 +1 位作者 韩江洪 杨晴晴 《煤炭学报》 EI CAS CSCD 北大核心 2007年第11期1216-1223,共8页
分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri网对矿井机车调度联锁过程进行了建模.在建模的过程中,对库所和变迁进行了着色;使用约束组合弧并结合外部输入的车到和过车信息,对机车运行路线错误、任务内闯红灯等意外情况... 分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri网对矿井机车调度联锁过程进行了建模.在建模的过程中,对库所和变迁进行了着色;使用约束组合弧并结合外部输入的车到和过车信息,对机车运行路线错误、任务内闯红灯等意外情况进行了描述;对进路的闭锁和解锁情况进行了细分,根据保证安全和兼顾效率的原则,建立了不同的控制方式;最后给出了调度联锁过程的整体Petri网模型. 展开更多
关键词 机车运输监控 调度联锁 有色petri 约束组合弧
在线阅读 下载PDF
基于有色自控Petri网的电网故障区域识别 被引量:18
14
作者 谢敏 吴亚雄 +1 位作者 黄庶 刘明波 《电力系统保护与控制》 EI CSCD 北大核心 2016年第2期56-64,共9页
为减小电网故障搜索范围,避免对电网内所有元件依次进行故障判断,提出了一种基于有色自控Petri网的电网故障区域识别方法,有效地把故障诊断问题局限于一个或多个无源网络中。首先,针对断路器跳闸引起电网拓扑结构变化这一离散事件的动... 为减小电网故障搜索范围,避免对电网内所有元件依次进行故障判断,提出了一种基于有色自控Petri网的电网故障区域识别方法,有效地把故障诊断问题局限于一个或多个无源网络中。首先,针对断路器跳闸引起电网拓扑结构变化这一离散事件的动态过程,以Petri网作为建模工具,对全部元件赋予颜色属性并允许有向弧上有可变的权,构建用于电网故障区域搜索的有色自控Petri网模型。然后以Net Beans为开发环境,运用Java语言编程实现对故障区域的快速搜索。对某8节点测试系统的仿真结果表明:对于电网中存在的单重故障、多重故障以及保护和断路器有不正确动作的复杂故障,该方法均能快速准确地确定故障区域,有助于电网故障诊断的后续工作顺利进行。 展开更多
关键词 有色自控petri 故障区域 故障诊断 电力系统 JAVA
在线阅读 下载PDF
模糊着色Petri网及其在工作流建模中的应用 被引量:9
15
作者 张鹏程 李人厚 +1 位作者 秦明 顾新华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第8期713-716,共4页
Petri网是当前工作流建模中广泛采用的工具之一 .针对工作流过程定义中模糊信息的描述和处理问题 ,提出模糊着色 Petri网的描述方法 ,并给出基于模糊着色 Petri网的推理过程 .最后给出一个简单业务流程的基于模糊着色 Petri网的工作流模... Petri网是当前工作流建模中广泛采用的工具之一 .针对工作流过程定义中模糊信息的描述和处理问题 ,提出模糊着色 Petri网的描述方法 ,并给出基于模糊着色 Petri网的推理过程 .最后给出一个简单业务流程的基于模糊着色 Petri网的工作流模型 。 展开更多
关键词 模糊着色petri 工作流 建模 流程定义 智能表达 模糊推理
在线阅读 下载PDF
面向对象的Petri网方法及其在甲骨文编码中的应用 被引量:7
16
作者 肖明 胡金柱 赵慧 《华中师范大学学报(自然科学版)》 CAS CSCD 北大核心 1999年第4期495-499,共5页
介绍了面向对象的Petri网(OOPN)方法,给出了OOPN 的基本定义、图形和语言表示;并运用面向对象Petri网方法研究甲骨文象形码的编码原理,将每个甲骨文字做为一个对象实例,运用面向对象Petri网方法,对甲骨文字根对象进行聚类,形成码元。
关键词 OOPN 编码 面向对象 petri 甲骨文 封装
在线阅读 下载PDF
多卫星—地面站系统的Petri网模型研究 被引量:26
17
作者 王远振 赵坚 聂成 《空军工程大学学报(自然科学版)》 CSCD 2003年第2期7-11,共5页
提出一种新的扩展Petri网模型———时间约束着色Petri网,并对其进行了研究。然后,在对多卫星—地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星—地面站设备调度的时间约束着色Petri网模型,为... 提出一种新的扩展Petri网模型———时间约束着色Petri网,并对其进行了研究。然后,在对多卫星—地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星—地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。 展开更多
关键词 卫星 petri 着色petri 调度策略
在线阅读 下载PDF
基于分层着色Petri网的增强现实装配系统建模 被引量:8
18
作者 宋荆洲 马铁军 +2 位作者 孙汉旭 贾庆轩 高欣 《计算机集成制造系统》 EI CSCD 北大核心 2012年第10期2166-2174,共9页
为弥补场景图在增强现实装配应用中的不足,提出一种将层次着色Petri网与图灵机模型结合的方法,建立了增强现实装配环境系统模型。该模型借鉴图灵机的思想,以虚拟手的手势代号及位姿矩阵作为输入,输出具体操作事件更新场景图,记录系统的... 为弥补场景图在增强现实装配应用中的不足,提出一种将层次着色Petri网与图灵机模型结合的方法,建立了增强现实装配环境系统模型。该模型借鉴图灵机的思想,以虚拟手的手势代号及位姿矩阵作为输入,输出具体操作事件更新场景图,记录系统的当前内部状态并根据用户输入给出下一步的操作响应。相对于单一的碰撞检测方法,该方法能更好地满足增强现实装配系统的动态实时响应等性能要求。开发建立了该模型的原型系统,并通过网络状态生成图分析验证了模型实时响应的能力。 展开更多
关键词 层次着色petri 图灵机 增强现实 装配环境 建模
在线阅读 下载PDF
用层次颜色Petri网模拟主体行为 被引量:8
19
作者 马炳先 徐颖蕾 吴哲辉 《系统仿真学报》 CAS CSCD 2003年第z1期114-118,共5页
智能主体动态动作的形式化描述是开发应用多主体系统的关键之一,目前对于主体动作的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中。该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色Petri网... 智能主体动态动作的形式化描述是开发应用多主体系统的关键之一,目前对于主体动作的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中。该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色Petri网为多主体系统建模、模拟主体行为的方法,该方法对多主体系统中主体间的各种动态关系有较好的刻画,并且通过层次化的方法减少了利用一般Petri网系统(如: P/T系统)模拟复杂系统时所遇到的难度。 展开更多
关键词 智能主体 主体行为 petri 层次颜色petri
在线阅读 下载PDF
层次结构的Petri网 被引量:13
20
作者 郝克刚 丁剑洁 《计算机科学与探索》 CSCD 2008年第2期123-130,共8页
Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网和几种层次结构的Petri网,包括位置/转移精化网、对象网以及开放网等;分析和比较了这几种模型用以减少结... Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网和几种层次结构的Petri网,包括位置/转移精化网、对象网以及开放网等;分析和比较了这几种模型用以减少结点数和引入层次结构的方法,而且从结构上讨论了它们相互之间的关系。 展开更多
关键词 petri 层次结构 位置精化网 转移精化网 对象网 着色网 开放网
在线阅读 下载PDF
上一页 1 2 21 下一页 到第
使用帮助 返回顶部