期刊文献+
共找到660篇文章
< 1 2 33 >
每页显示 20 50 100
一种实现无扰切换的功能块系统及其着色Petri网建模 被引量:2
1
作者 王智 于海斌 《高技术通讯》 EI CAS CSCD 2001年第3期66-69,77,共5页
提出了基于着色Petri网 (CP网 )的功能块集成模型。该模型采用模块化、面向对象的建模思想 ,分别以一个CP网来描述不同的功能块 ,在每个CP网内部定义了内部变量和外部消息。当利用功能块构造控制系统时 ,相应地把代表它们的CP网集成在一... 提出了基于着色Petri网 (CP网 )的功能块集成模型。该模型采用模块化、面向对象的建模思想 ,分别以一个CP网来描述不同的功能块 ,在每个CP网内部定义了内部变量和外部消息。当利用功能块构造控制系统时 ,相应地把代表它们的CP网集成在一起 ,并且通过消息传递 ,协调功能块之间的作用关系 。 展开更多
关键词 功能块 控制系统 无扰切换 着色petri
在线阅读 下载PDF
汽车混流装配线系统的时间着色Petri网建模 被引量:1
2
作者 黄银娣 卞荣花 +1 位作者 余伟 马健霄 《森林工程》 2011年第1期56-60,共5页
采用建模仿真技术进行汽车混流总装配线系统的改进与优化的关键之一是建立合理实用的生产线物流流程模型。本文提出用时间Petri网方法来建立单一车型的总装配线生产系统模型;对于中小型客车企业,提出用着色方法研究多种车型混流装配系... 采用建模仿真技术进行汽车混流总装配线系统的改进与优化的关键之一是建立合理实用的生产线物流流程模型。本文提出用时间Petri网方法来建立单一车型的总装配线生产系统模型;对于中小型客车企业,提出用着色方法研究多种车型混流装配系统的建模,最终建立多种车型混流总装配线系统的时间着色Petri网模型并进行实例应用,证明应用该方法建模可行有效。该模型为今后进行进一步的系统性能分析奠定基础。 展开更多
关键词 petri 混流装配
在线阅读 下载PDF
基于Petri网的区块链智能合约攻击者建模与检测
3
作者 杨林枫 黄政 +1 位作者 徐岩 丁志军 《计算机工程》 北大核心 2025年第4期15-26,共12页
智能合约是第二代区块链以太坊的核心,涉及大量资金流动,因部署在公有链上易遭黑客攻击。因此,检测合约潜在漏洞以确保其安全性至关重要。然而,现有检测方法难以应对攻击代码结构性欺骗、深入解析程序逻辑、缓解状态空间爆炸等情况。为... 智能合约是第二代区块链以太坊的核心,涉及大量资金流动,因部署在公有链上易遭黑客攻击。因此,检测合约潜在漏洞以确保其安全性至关重要。然而,现有检测方法难以应对攻击代码结构性欺骗、深入解析程序逻辑、缓解状态空间爆炸等情况。为此,构建一种基于Petri网的智能合约攻击者建模检测框架,利用抽象语义规则和网络动态运行特性精确捕捉攻击行为,确保智能合约检测的高适配性和高准确性。同时,提出一种多层次漏洞统一检测方法,结合各层次漏洞的关键特征,推导攻击可能性及其潜在影响。针对状态空间爆炸问题,设计一种按需生成状态空间的缓解机制,有效提升了检测效率和资源利用率。实验结果表明,所提检测方法具有可行性与实用性。 展开更多
关键词 智能合约 颜色petri 攻击 检测
在线阅读 下载PDF
基于分层着色Petri网的增强现实装配系统建模 被引量:8
4
作者 宋荆洲 马铁军 +2 位作者 孙汉旭 贾庆轩 高欣 《计算机集成制造系统》 EI CSCD 北大核心 2012年第10期2166-2174,共9页
为弥补场景图在增强现实装配应用中的不足,提出一种将层次着色Petri网与图灵机模型结合的方法,建立了增强现实装配环境系统模型。该模型借鉴图灵机的思想,以虚拟手的手势代号及位姿矩阵作为输入,输出具体操作事件更新场景图,记录系统的... 为弥补场景图在增强现实装配应用中的不足,提出一种将层次着色Petri网与图灵机模型结合的方法,建立了增强现实装配环境系统模型。该模型借鉴图灵机的思想,以虚拟手的手势代号及位姿矩阵作为输入,输出具体操作事件更新场景图,记录系统的当前内部状态并根据用户输入给出下一步的操作响应。相对于单一的碰撞检测方法,该方法能更好地满足增强现实装配系统的动态实时响应等性能要求。开发建立了该模型的原型系统,并通过网络状态生成图分析验证了模型实时响应的能力。 展开更多
关键词 层次着色petri 图灵机 增强现实 装配环境
在线阅读 下载PDF
基于着色Petri网的复杂产品开发多项目调度建模研究 被引量:20
5
作者 施国强 李伯虎 柴旭东 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第17期3869-3872,3948,共5页
建立多项目调度模型已经成为复杂产品开发多项目计划和控制的基础。分析了复杂产品开发多项目调度的特点,指出目前已经提出的多项目调度建模方法不能全面的体现和描述上述特点,提出了用着色Petri网建立多项目调度模型的具体思路和方法,... 建立多项目调度模型已经成为复杂产品开发多项目计划和控制的基础。分析了复杂产品开发多项目调度的特点,指出目前已经提出的多项目调度建模方法不能全面的体现和描述上述特点,提出了用着色Petri网建立多项目调度模型的具体思路和方法,即在着色Petri网颜色定义的基础上,利用着色网的颜色、层次等特点描述多项目调度的相似性、开放性和层次性,利用着色网的守卫函数、弧函数和双向弧等方法描述多项目调度的冲突性、技术关联性和迭代性,文章简要阐述了模型实例和分析方法,最后给出结论和下一步工作。 展开更多
关键词 复杂产品开发 多项目 着色petri 调度
在线阅读 下载PDF
模糊着色Petri网及其在工作流建模中的应用 被引量:9
6
作者 张鹏程 李人厚 +1 位作者 秦明 顾新华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第8期713-716,共4页
Petri网是当前工作流建模中广泛采用的工具之一 .针对工作流过程定义中模糊信息的描述和处理问题 ,提出模糊着色 Petri网的描述方法 ,并给出基于模糊着色 Petri网的推理过程 .最后给出一个简单业务流程的基于模糊着色 Petri网的工作流模... Petri网是当前工作流建模中广泛采用的工具之一 .针对工作流过程定义中模糊信息的描述和处理问题 ,提出模糊着色 Petri网的描述方法 ,并给出基于模糊着色 Petri网的推理过程 .最后给出一个简单业务流程的基于模糊着色 Petri网的工作流模型 。 展开更多
关键词 着色petri 工作流 流程定义 智能表达 糊推理
在线阅读 下载PDF
着色Petri网及其在系统建模与仿真中的应用 被引量:16
7
作者 肖兵 瞿坦 王明哲 《计算机工程》 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网的装备战场抢修系统建模 被引量:10
8
作者 齐胜利 武昌 杨懿 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第10期2327-2329,2337,共4页
讨论了一种基于分层着色Petri网理论建立装备战场抢修系统模型的方法。这种方法是通过引入复杂库所和Petri子网来对原有的装备战场抢修系统模型进行改造,克服了以往用普通Petri网建模的不足之处,使模型变得直观、简单,并有利于模型分析... 讨论了一种基于分层着色Petri网理论建立装备战场抢修系统模型的方法。这种方法是通过引入复杂库所和Petri子网来对原有的装备战场抢修系统模型进行改造,克服了以往用普通Petri网建模的不足之处,使模型变得直观、简单,并有利于模型分析和仿真实现。 展开更多
关键词 分层着色petri 装备 战场抢修
在线阅读 下载PDF
基于着色解释Petri网的网络协议建模及协同仿真方法 被引量:5
9
作者 彭磊 吴磊 +1 位作者 毕亚雷 曾家智 《计算机集成制造系统》 EI CSCD 北大核心 2009年第1期82-88,96,共8页
为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网。借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方... 为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网。借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法。作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模。在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法。基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用。 展开更多
关键词 协议工程 离散事件系统 着色解释petri 协同仿真
在线阅读 下载PDF
基于面向Agent的赋时着色Petri网的可重构装配线建模 被引量:8
10
作者 苑明海 白颖 李东波 《计算机集成制造系统》 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网的维修作业建模与人机工效分析 被引量:4
11
作者 徐庆宏 孙有朝 +1 位作者 李龙彪 王异香 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2014年第6期951-958,共8页
基于着色Petri网和CPN Tools平台,研究了维修作业过程的建模方法,提出了维修作业过程建模方法与步骤,采用模特法计算每一步操作所需时间值,采用人体动作代谢能耗预测模型计算每个操作的能耗值,实现了维修作业建模与仿真、作业序列的控... 基于着色Petri网和CPN Tools平台,研究了维修作业过程的建模方法,提出了维修作业过程建模方法与步骤,采用模特法计算每一步操作所需时间值,采用人体动作代谢能耗预测模型计算每个操作的能耗值,实现了维修作业建模与仿真、作业序列的控制以及维修人员工作负荷和工作时间的定量计算。以A320飞机前起落架轮胎拆卸作业为例,采用CPN Tools软件进行了维修作业建模和仿真模拟,验证了模型和方法的可行性与有效性。该方法引入了传统维修作业模型中没有涉及的人机工效因素,能够有效评价维修人员的作业舒适性。 展开更多
关键词 着色petri 作业 维修作业 人机工效分析
在线阅读 下载PDF
基于设计结构矩阵和着色Petri网的产品设计过程建模与仿真 被引量:4
12
作者 李海涛 杨波 +2 位作者 尹晓玲 王兴祖 姚孔 《中国机械工程》 EI CAS CSCD 北大核心 2014年第1期108-117,共10页
将设计结构矩阵与着色Petri网结合后,进行了产品设计过程建模与仿真的研究。首先利用设计结构矩阵对产品设计过程进行建模,从产品设计过程特点出发,为支持基本过程逻辑的描述定义了着色Petri网基本网模型结构,将设计结构矩阵映射为着色P... 将设计结构矩阵与着色Petri网结合后,进行了产品设计过程建模与仿真的研究。首先利用设计结构矩阵对产品设计过程进行建模,从产品设计过程特点出发,为支持基本过程逻辑的描述定义了着色Petri网基本网模型结构,将设计结构矩阵映射为着色Petri网,建立了产品设计过程着色Petri网模型。在此基础上建立了对设计资源进行有效分配的动态分配模型,通过定量仿真分析,实现了产品开发过程资源冲突的检测及资源的重新分配和调整。桥式起重机小车设计的实例说明了该方法的有效性。 展开更多
关键词 设计结构矩阵 产品设计过程 与仿真 着色petri
在线阅读 下载PDF
基于赋时着色Petri网的协同工作建模和性能研究 被引量:5
13
作者 田锋 李人厚 张金成 《西安交通大学学报》 EI CAS CSCD 北大核心 2003年第6期560-564,共5页
提出了利用赋时着色Petri网(TimedColoredPetriNet)对协同工作进行建模和性能分析的方法;从性能角度提出一种新的协调策略,即从任务动态分配的角度对协同性能进行分析,并比较了各种资源优化分配的不足之处;提出利用模糊策略的方式,按照... 提出了利用赋时着色Petri网(TimedColoredPetriNet)对协同工作进行建模和性能分析的方法;从性能角度提出一种新的协调策略,即从任务动态分配的角度对协同性能进行分析,并比较了各种资源优化分配的不足之处;提出利用模糊策略的方式,按照协同成员(组)的不同能力,在满足完成时间的要求下进行任务分配,从而达到了整体协作性能提升的效果.同时,用Deisgn/CPN对该策略进行了仿真分析,其结果证明了该方法的有效性和可行性.所提的调度策略已在CooPDesigner系统中得以实现. 展开更多
关键词 协同工作 赋时着色petri 协调策略 性能分析
在线阅读 下载PDF
基于着色Petri网的卫星军事应用系统建模 被引量:5
14
作者 李强 赵新国 徐雪峰 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期237-240,共4页
卫星军事应用系统是一个复杂的军事信息系统,具有同步、并发、冲突等特点。应用着色Petri网技术对其进行建模,符合卫星军事应用系统的特点,能够有效分析系统的静态结构和动态行为。介绍了着色Petri网的基本概念,剖析了卫星军事应用系统... 卫星军事应用系统是一个复杂的军事信息系统,具有同步、并发、冲突等特点。应用着色Petri网技术对其进行建模,符合卫星军事应用系统的特点,能够有效分析系统的静态结构和动态行为。介绍了着色Petri网的基本概念,剖析了卫星军事应用系统的作战过程,建立了系统的CPN模型,最后针对模型进行了性能分析。 展开更多
关键词 卫星军事应用系统 着色petri 常规导弹
在线阅读 下载PDF
着色Petri网在科技计划项目管理系统建模中的应用 被引量:3
15
作者 张方田 王开义 +1 位作者 隋静 孙桂川 《计算机应用》 CSCD 北大核心 2009年第B12期396-398,400,共4页
在深入研究科技计划项目管理业务基础上,鉴于Petri网的特点,提出了利用着色Petri网建模科技计划项目管理系统的方法。分析了着色Petri网适合于系统建模的原因,以项目管理评审环节为例讨论了着色Petri网在建模中的应用,并建立了基于着色P... 在深入研究科技计划项目管理业务基础上,鉴于Petri网的特点,提出了利用着色Petri网建模科技计划项目管理系统的方法。分析了着色Petri网适合于系统建模的原因,以项目管理评审环节为例讨论了着色Petri网在建模中的应用,并建立了基于着色Petri网的系统模型。通过对该模型的分析仿真结果表明,该方法是可行和有效的。 展开更多
关键词 着色petri 项目管理
在线阅读 下载PDF
基于着色赋时混合Petri网的精敏型供应链动态系统建模与仿真 被引量:8
16
作者 王雯 傅卫平 任立鹏 《机械科学与技术》 CSCD 北大核心 2009年第10期1393-1400,共8页
精敏型供应链是精益型与敏捷型两种运作模式混合的动态系统。这类供应链系统的主要特点之一是把批量生产模式与定制生产模式有机结合,而且具有动态网络结构。批量生产活动呈相对较强的连续性,而定制生产活动以及订购、交付、运输活动则... 精敏型供应链是精益型与敏捷型两种运作模式混合的动态系统。这类供应链系统的主要特点之一是把批量生产模式与定制生产模式有机结合,而且具有动态网络结构。批量生产活动呈相对较强的连续性,而定制生产活动以及订购、交付、运输活动则呈一定的离散性;同时,为了适应环境的变化,供应链成员实体的重组导致供应链系统结构具有动态性。因而可以将精敏型供应链看成是连续与离散状态混合的、结构可变的动态系统。根据上述考虑,针对汽车产品,提出基于着色赋时混合Petri网的精敏型供应链系统的动态模型,其中批量生产活动用连续Petri网描述,定制生产活动以及其它活动用离散Petri网描述,而结构动态重组用着色Petri网表达。仿真结果表明:着色赋时混合Petri网模型可以较好地描述精敏型供应链系统的运行机制和动态特性。 展开更多
关键词 精敏型供应链 着色赋时混合petri 动态系统 仿真
在线阅读 下载PDF
防空武器系统的着色Petri网络建模与仿真 被引量:2
17
作者 黄树采 李为民 张多林 《计算机工程》 CAS CSCD 北大核心 2004年第23期147-149,共3页
防空武器系统是一个复杂的军事系统,具有异步、并发的特点。应用着色Petri网络技术对其进行建模与仿真,极适合军事系统的特点。介绍了CPN的基本概念和建模特性,建立了防空武器系统的CPN模型并进行了计算机仿真,应用状态空间分析法对仿... 防空武器系统是一个复杂的军事系统,具有异步、并发的特点。应用着色Petri网络技术对其进行建模与仿真,极适合军事系统的特点。介绍了CPN的基本概念和建模特性,建立了防空武器系统的CPN模型并进行了计算机仿真,应用状态空间分析法对仿真结果进行了有效的分析和讨论。 展开更多
关键词 着色petri CPN 仿真结果 系统 与仿真 计算机仿真 并发 异步 络技术
在线阅读 下载PDF
基于扩展着色赋时Petri网的板材FMS建模及分析 被引量:2
18
作者 苏春 许超 孙庆鸿 《东南大学学报(自然科学版)》 EI CAS CSCD 2000年第2期89-92,共4页
提出带有决策库所的扩展着色赋时Petri网 (ECTPN)建模方法 .建立了板材FMS的ECTPN模型 ,通过ECTPN模型对板材FMS运行中的潜在冲突作出分析 .结合调度规则 ,ECTPN模型能准确刻画板材FMS的运行过程 。
关键词 板材 柔性制造系统 FMS petri ECTPN
在线阅读 下载PDF
基于着色Petri网的联合反导作战系统建模 被引量:3
19
作者 韩朝超 黄树彩 《计算机工程与应用》 CSCD 北大核心 2011年第6期235-238,共4页
防空反导作战系统是一个复杂的军事系统,具有同步、并发、冲突等特点。应用着色Petri网技术对联合反TBM作战系统进行建模,符合联合反导作战系统的特点,能够有效地分析联合反导作战系统的静态结构和动态行为。分析了联合反导作战系统的... 防空反导作战系统是一个复杂的军事系统,具有同步、并发、冲突等特点。应用着色Petri网技术对联合反TBM作战系统进行建模,符合联合反导作战系统的特点,能够有效地分析联合反导作战系统的静态结构和动态行为。分析了联合反导作战系统的信息交换关系,建立了系统的CPN模型,对模型进行了验证和仿真。 展开更多
关键词 联合反导 着色petri(CPN) 仿真
在线阅读 下载PDF
基于RC和着色Petri网的企业信息化过程建模研究 被引量:2
20
作者 林健 张玲玲 《系统工程学报》 CSCD 2003年第4期312-318,共7页
随着企业中IT应用复杂程度的提高,企业信息化的高风险性和高失败率问题日益突出,严重阻碍了信息化的进行.文章通过对上述问题的分析和研究,提出实施前用结果链模型(RC)和着色Petri网对其实施过程建模,找出最佳实施途径;在实施过程中利... 随着企业中IT应用复杂程度的提高,企业信息化的高风险性和高失败率问题日益突出,严重阻碍了信息化的进行.文章通过对上述问题的分析和研究,提出实施前用结果链模型(RC)和着色Petri网对其实施过程建模,找出最佳实施途径;在实施过程中利用结果链模型和评价系统实时/阶段性地监测实施过程中出现的问题,及时进行判断并予以解决,以确保信息化过程始终与企业的利益及战略吻合.拟通过上述手段为企业信息化提供一种定量分析和模拟的工具.这是降低信息化过程的风险,提高成功率的一种探索. 展开更多
关键词 企业信息化 RC 着色petri 过程 企业管理
在线阅读 下载PDF
上一页 1 2 33 下一页 到第
使用帮助 返回顶部