期刊文献+
共找到44篇文章
< 1 2 3 >
每页显示 20 50 100
基于颜色Petri网的食堂窗口排队模拟仿真 预览
1
作者 邓雪峰 侯益明 冯灵清 《无线互联科技》 2019年第10期172-174,共3页
食堂窗口是高校中排队现象最普遍的服务窗口,在就餐高峰期容易出现排长队的情况。文章对高校食堂的4个服务窗口进行了实地的调查,发现高校食堂窗口的平均到达率为1.3,平均服务率为0.672413793,平均队长为3.741935485,在此基础上,利用CPN... 食堂窗口是高校中排队现象最普遍的服务窗口,在就餐高峰期容易出现排长队的情况。文章对高校食堂的4个服务窗口进行了实地的调查,发现高校食堂窗口的平均到达率为1.3,平均服务率为0.672413793,平均队长为3.741935485,在此基础上,利用CPN Tools工具对食堂的排队情况进行动态仿真与监测。经实验证明,在可控制的误差范围内,该模型可以有效地对高校食堂的排队情况进行模拟仿真。 展开更多
关键词 颜色PETRI 食堂窗口 CPN TOOLS
在线阅读 下载PDF
改进蚁群算法在VRP问题中的应用及颜色Petri网实现 预览
2
作者 郑文艳 赵丽敏 《计算机系统应用》 2018年第11期186-191,共6页
蚁群算法在解决车辆路径问题时存在运行速度慢等问题,基于此本文提出了一种自适应蚁群算法.该算法把客户需求等因素加入禁忌表,实时记录当前最优解,据此智能调整信息素的更新规则,同时调整了概率转移公式和可行解的构造方法,并建立了相... 蚁群算法在解决车辆路径问题时存在运行速度慢等问题,基于此本文提出了一种自适应蚁群算法.该算法把客户需求等因素加入禁忌表,实时记录当前最优解,据此智能调整信息素的更新规则,同时调整了概率转移公式和可行解的构造方法,并建立了相应的颜色Petri网模型.最后利用VRP问题库中的几个经典实例与GA及其他改进蚁群算法进行了对比试验,验证了该算法既可以加快收敛速度,又可以避免局部最优,同时保证了最优结果的多样性. 展开更多
关键词 蚁群算法 车辆路径问题 颜色PETRI
在线阅读 下载PDF
基于资源竞争的协同式维修操作过程建模 被引量:1
3
作者 张志利 李向阳 +2 位作者 高钦和 梁丰 马超 《系统仿真学报》 CAS CSCD 北大核心 2015年第1期82-92,共11页
大型复杂装备的维修过程通常需要多个维修人员的协同配合操作,使得具有独占性的维修资源在分配和使用时存在一定的竞争性。对协同式维修操作过程特点及其协同模式进行分析的基础上,基于颜色Petri网对其相关的维修对象、维修人员和维修... 大型复杂装备的维修过程通常需要多个维修人员的协同配合操作,使得具有独占性的维修资源在分配和使用时存在一定的竞争性。对协同式维修操作过程特点及其协同模式进行分析的基础上,基于颜色Petri网对其相关的维修对象、维修人员和维修资源等要素进行行为分析和状态变换描述。在考虑维修操作时间开支的基础上,基于资源竞争机制建立了大型复杂装备的协同式维修操作过程模型。对避免资源竞争和并发冲突的相关策略进行了分析和论述,开发了大型复杂装备通用化CMOP仿真平台,为大型复杂装备协同式虚拟维修过程建模和仿真实现提供技术支撑。 展开更多
关键词 资源竞争 协同式维修 操作过程 并发冲突 颜色PETRI
石材制品生产流程的CPN建模与优化调度分析 预览
4
作者 王苏城 方欢 《长春师范大学学报》 2015年第12期26-29,共4页
复杂的多阶段、多产品的石材制品生产流程是一个重要的工业应用案例,对其进行形式化建模分析和优化调度控制是工业控制的重要目标。本文应用颜色Petri网对该生产流程进行形式化建模,并将模型进行软件仿真,通过仿真结果分析得到该过程的... 复杂的多阶段、多产品的石材制品生产流程是一个重要的工业应用案例,对其进行形式化建模分析和优化调度控制是工业控制的重要目标。本文应用颜色Petri网对该生产流程进行形式化建模,并将模型进行软件仿真,通过仿真结果分析得到该过程的优化调度方法。重点运用了3个关键方面:首先,在建模中实现多阶段、多产品的工序选择;其次,通过设置单个步骤变迁的输入和输出函数,满足不同石材制品不同处理时间的需要;最后,应用CPN-Tools工具验证了模型的活性,并基于可达标识图和状态空间报告求解最优调度。 展开更多
关键词 颜色PETRI 性能分析 CPN-Tools 生产流程
在线阅读 下载PDF
基于颜色Petri网的再制造工艺过程建模与优化调度方法 预览 被引量:6
5
作者 李玲玲 李聪波 +1 位作者 杜彦斌 穆安勇 《中国科技论文》 CAS 北大核心 2015年第4期407-415,共9页
针对再制造工艺过程的众多不确定性问题,建立了一个基于颜色Petri网的再制造工艺过程模型,引入颜色标识描述了再制造工艺路线的不确定性、再制造工艺时间的不确定性和再制造资源冲突不确定性。以最小化再制造工艺成本和延期交货惩罚成... 针对再制造工艺过程的众多不确定性问题,建立了一个基于颜色Petri网的再制造工艺过程模型,引入颜色标识描述了再制造工艺路线的不确定性、再制造工艺时间的不确定性和再制造资源冲突不确定性。以最小化再制造工艺成本和延期交货惩罚成本为目标建立了再制造优化调度模型,并提出了一种基于模拟退火算法和最小松弛时间规则的优化调度方法。该混合算法结合概率突跳特性在解空间中随机寻优,确定最优的再制造工艺路线和零部件加工优先级。将所提出的优化模型和方法应用到某废旧机床再制造实践中,运用Matlab编程开展再制造调度仿真。仿真结果表明:所提出模型与方法与基准案例相比,可平均减少15%的再制造总成本。 展开更多
关键词 再制造 不确定性 颜色PETRI 调度 模拟退火算法
在线阅读 下载PDF
颜色Petri网的电子商务协议攻击分析方法 预览 被引量:1
6
作者 司亚利 刘文远 卢贝 《计算机工程与设计》 CSCD 北大核心 2014年第3期814-818,840共6页
针对现有颜色Petri网方法较少分析电子商务协议存在重放攻击的问题,提出一种基于颜色Petri网的电子商务协议攻击分析方法,用于分析协议中可能存在的攻击。给出带有攻击者的具体建模方法和分析过程,提出从不可否认证据中提取敏感信息... 针对现有颜色Petri网方法较少分析电子商务协议存在重放攻击的问题,提出一种基于颜色Petri网的电子商务协议攻击分析方法,用于分析协议中可能存在的攻击。给出带有攻击者的具体建模方法和分析过程,提出从不可否认证据中提取敏感信息作为不安全状态的定义方法,并且采用逆向状态分析和CPN Tools仿真工具两种方法来分析颜色Petri网模型,得出协议的攻击结果。对CMP1协议进行实例分析,理论分析和实验结果表明了该方法的正确性和有效性。 展开更多
关键词 电子商务协议 形式化分析 颜色PETRI 重放攻击 颜色Petri工具
在线阅读 下载PDF
基于颜色Petri网的有偿交互QA系统投诉模型 预览
7
作者 李彦成 曾庆田 +1 位作者 鲁法明 薛洁 《计算机科学》 CSCD 北大核心 2014年第7期110-113,共4页
有偿交互问答(QA)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉.通过分析有偿交互QA系统的投诉流程,首先利用颜色Petri网对投诉流程进行形式化建模;然后使用CPN Tools对所建立的形式化模型进行验证;最后对... 有偿交互问答(QA)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉.通过分析有偿交互QA系统的投诉流程,首先利用颜色Petri网对投诉流程进行形式化建模;然后使用CPN Tools对所建立的形式化模型进行验证;最后对所建模型的状态空间报告进行分析,证明了系统各响应流程设计的正确性等特性.所提出的方法对有偿交互QA系统的综合形式化分析具有重要意义. 展开更多
关键词 有偿交互问答系统 颜色PETRI 投诉模型 CPN TOOLS
在线阅读 免费下载
基于颜色Petri网的网格服务组合 预览
8
作者 翟正利 《计算机科学》 CSCD 北大核心 2014年第1期152-155,177共5页
在新的面向服务的网格计算架构下,网格服务为Intemet上的分布式计算提供了一种重要范例。对服务提供者和消费者来说,通过组装已有网格服务来创建新的增值网格服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中的一个重... 在新的面向服务的网格计算架构下,网格服务为Intemet上的分布式计算提供了一种重要范例。对服务提供者和消费者来说,通过组装已有网格服务来创建新的增值网格服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中的一个重要课题。由于可用网格服务的复杂性,许多网格服务表现出复杂的会话协议,要求其提供的操作能根据特定的规则进行调用。讨论了以下几个问题:(1)如何精确描述网格服务的会话协议;(2)如何建立组合规则来对选定的组件服务进行合成;(3)如何验证整个网格服务组合的正确性,尤其是被合并的组件服务的一致性和它们的会话协议。Petri网提供了描述并发系统同步的结构,高级编程语言提供了描述和操作数据值的结构,而颜色Petri网结合了Petri网和高级编程语言的表达能力。为了解决上述问题,提出了一个基于颜色Petri网的会话协议和网格服务组合模型,其使用颜色Petri网的带颜色的token来模拟业务流程的不同消息和事件类型,把服务的会话协议和网格服务组合过程转换为颜色Petri网(CPN),利用现有的CPN的专门工具(如CPNTools)来对CPN进行模拟以分析评价系统的性能和行为性质。 展开更多
关键词 格服务组合 组件服务 会话协议 过程组合 颜色PETRI
在线阅读 免费下载
一种改进的CMP1协议及其Petri网分析 预览
9
作者 赵军民 王春丽 《河南城建学院学报》 CAS 2014年第3期57-63,共7页
研究了一种改进的电子商务协议CMP1协议。针对原有CMP1协议的冗余设计、不满足协议公平性和时限性要求、存在被重放攻击的可能等不足,提出了一种改进方案,并使用颜色Petri网协议分析方法对改进后的CMP1协议进行了建模仿真和性质分析... 研究了一种改进的电子商务协议CMP1协议。针对原有CMP1协议的冗余设计、不满足协议公平性和时限性要求、存在被重放攻击的可能等不足,提出了一种改进方案,并使用颜色Petri网协议分析方法对改进后的CMP1协议进行了建模仿真和性质分析。仿真结果证明改进后的CMP1协议不但满足网络协议的可追究性、公平性和时限性等属性要求,而且避免了被重放攻击的可能。 展开更多
关键词 CMP1协议 颜色PETRI CPN TOOLS 状态分析
在线阅读 免费下载
基于颜色Petri网的不确定库存模型性能仿真 预览
10
作者 郑文艳 《计算机工程与应用》 CSCD 2014年第22期250-255,共6页
供应链中由于信息传递过程中出现的信息膨胀引起牛鞭效应造成各种成本的急剧增长,为使目标函数费用最小,基于颜色Petri网建立了不同需求预测方法及库存策略的CPN模型。在订单数量等变量随机产生以及订货点等因素不确定的情况下,通过... 供应链中由于信息传递过程中出现的信息膨胀引起牛鞭效应造成各种成本的急剧增长,为使目标函数费用最小,基于颜色Petri网建立了不同需求预测方法及库存策略的CPN模型。在订单数量等变量随机产生以及订货点等因素不确定的情况下,通过实验仿真数据确定了存储、订货及缺货费用与各种不确定变量的关系,从而确定了最优的库存策略。通过对比实验证明了该方法的有效性及正确性。 展开更多
关键词 供应链 需求预测 库存策略 颜色PETRI
在线阅读 下载PDF
基于CPN的程序测试用例生成方法的研究 预览
11
作者 郑文艳 《计算机工程与应用》 CSCD 2014年第11期39-45,共7页
采用成熟的建模仿真工具CPN tools不仅仅对程序设计语言的三种基本结构进行了建模,而且对并行程序中的并行结构也进行了建模和仿真。在不针对某些具体语言比如C语言的情况下,提出了生成测试用例的新方法,该方法对具备三种基本结构特... 采用成熟的建模仿真工具CPN tools不仅仅对程序设计语言的三种基本结构进行了建模,而且对并行程序中的并行结构也进行了建模和仿真。在不针对某些具体语言比如C语言的情况下,提出了生成测试用例的新方法,该方法对具备三种基本结构特性的所有程序都具有普遍适用性。对具有并行结构的程序通过化简寻找测试路径。最后在生成测试用例之后,又利用CPN tools对所获得的测试用例进行选择和评价,最终确定合适的测试用例,不仅能够保证获取的测试路径是完整的而且是最优的。 展开更多
关键词 程序测试 颜色PETRI 强连通图 测试路径 并行结构 状态空间 状态空间爆炸
在线阅读 下载PDF
医疗信息系统的集中式整合模式及其建模分析 被引量:2
12
作者 闫春钢 汪明新 +1 位作者 刘关俊 吴岩 《系统仿真学报》 CAS CSCD 北大核心 2013年第7期1435-1441,共7页
优化医疗信息系统的整合问题是医疗信息化建设迫切需要解决的问题。目前医院中医疗信息系统大多是由各个子系统以互连方式整合而成。这些系统存在系统的可扩展性差、对系统的维护不方便、对系统的分析困难等问题。提曲了基于IHE(Integr... 优化医疗信息系统的整合问题是医疗信息化建设迫切需要解决的问题。目前医院中医疗信息系统大多是由各个子系统以互连方式整合而成。这些系统存在系统的可扩展性差、对系统的维护不方便、对系统的分析困难等问题。提曲了基于IHE(IntegratingtheHealthcareEnterprise)擞术框架的医疗信息系统的集中式整合模式,克服了现有的互连式整合模式的若干不足。运用对象Petri网对集中式整合模式进行建模。首先对各个子系统进行建模,然后根据各子系统之间的关系建立系统的整合模型,并对整合后的医疗信息系统的合理性进行了分析,给出了在IHE框架下针对复杂系统建立工作流模型的过程及其分析方法。该模型为整合医疗信息系统的实现提供了理论基础和依据。 展开更多
关键词 IHE技术框架 颜色PETRI 集中式整合 对象PETRI
基于CPN仿真的排队系统建模及性能分析 被引量:8
13
作者 方欢 陆阳 +1 位作者 黄镇谨 魏臻 《系统仿真学报》 CAS CSCD 北大核心 2013年第2期228-234,共7页
排队网络模型是一种经典的性能分析模型,提出按照队列的输入过程、排队规则和服务机桷三要素,将排队系统转换为层次颜色Petri网模型的建模规则,利用CPNToolsI具在模型中加入monitor监视器监视模型运行臂况,使用DataCollector采集相... 排队网络模型是一种经典的性能分析模型,提出按照队列的输入过程、排队规则和服务机桷三要素,将排队系统转换为层次颜色Petri网模型的建模规则,利用CPNToolsI具在模型中加入monitor监视器监视模型运行臂况,使用DataCollector采集相关数据,进行从列模型的相关指标的性能分析和评价工作,最后给出基于仿真的建模与分析方法的一般操作步骤。这种建模和分析方法不需要对系统作任何的假设和限定,可以对模型的任何方面进行性能分析,扩展了传统排队系统的研究范围,具有很强的灵活性;一些扩展排队网络的建模和分析,如考虑服务台损坏和维修时间的扩展模型,只需对基础的排队网络稍加修改即可完成建模和性能分析,提高了模型的复用性:层次化的建模方法克服了基本Petri网组合状态爆炸的缺点,可以用于大规模的复杂排队系统。 展开更多
关键词 排队系统 颜色PETRI 建模仿真 性能分析
基于CPN的求解关键路径的新方法 预览 被引量:1
14
作者 郑文艳 《计算机系统应用》 2013年第8期9-13,53共6页
在证明转换规则正确性的基础上, 首先利用转换规则对AOE网进行转换, 然后从两个方面对转换后的CPN(Colored Petri Nets)模型不合理的地方进行合理性的修改. 再利用编写的函数求出从源点到汇点的所有的可达路径, 在获得所有可达路径的... 在证明转换规则正确性的基础上, 首先利用转换规则对AOE网进行转换, 然后从两个方面对转换后的CPN(Colored Petri Nets)模型不合理的地方进行合理性的修改. 再利用编写的函数求出从源点到汇点的所有的可达路径, 在获得所有可达路径的同时也获取了所有可达路径所花费的时间, 那么时间最大的就是关键路径. 该方法不仅简便直观, 而且能够在保证正确性合理性的前提下提高执行效率, 减小时间复杂度. 展开更多
关键词 关键路径 颜色PETRI 消息序列图 时间复杂度 状态空间
在线阅读 下载PDF
一种颜色Petri网的电子商务协议分析方法 被引量:1
15
作者 王宝文 卢贝 +1 位作者 司亚利 刘文远 《小型微型计算机系统》 CSCD 北大核心 2013年第11期2594-2598,共5页
针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色... 针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,并充分考虑时限性对公平性的影响,更加有效地分析公平性.文中以KZG协议为例,建立了KZG的分层颜色Petri网模型,利用CPNTools工具对该模型仿真运行,并通过状态空间和查询函数分析了协议的性质,证明了本方法的有效性. 展开更多
关键词 形式化分析方法 电子商务协议 颜色PETRI CPN TOOLS KZG协议
CPN在数据结构教学改革中的应用 预览
16
作者 郑文艳 《电子商务》 2013年第4期93-94,共2页
离散数学作为一门理论抽象、内容广泛、结构严谨的计算机专业核心基础课程,它几乎是所有后续专业课程的重要基础,而学生在学习离散数学的过程中普遍都感觉到比较抽象理解上比较困难,而且很难和计算机联系起来。因此,如何提高离散数... 离散数学作为一门理论抽象、内容广泛、结构严谨的计算机专业核心基础课程,它几乎是所有后续专业课程的重要基础,而学生在学习离散数学的过程中普遍都感觉到比较抽象理解上比较困难,而且很难和计算机联系起来。因此,如何提高离散数学的教学质量和效果是非常重要的事情。而Petri网既能描述系统的结构,又能模拟系统的运行,利用CPN这个工具就图论部分中的最短路径和关键路径的求解来进行教学应用上的一些探讨,以加强学生对离散数学在应用方面的知识理解和吸收。 展开更多
关键词 离散数学 ML语言 颜色PETRI 关键路径
在线阅读 下载PDF
一种给定脆弱性环境下的安全措施效用评估模型 预览 被引量:14
17
作者 吴迪 冯登国 +1 位作者 连一峰 陈恺 《软件学报》 EI CSCD 北大核心 2012年第7期1880-1898,共19页
评估信息系统安全措施效用是改进系统信息安全绩效的一条重要途径.传统方法在评估安全措施效用时并没有考虑业务数据流、攻击流和安全措施要素之间的相互作用和影响,无法保证评估过程和结果的有效性.提出了一种给定脆弱性环境下的信... 评估信息系统安全措施效用是改进系统信息安全绩效的一条重要途径.传统方法在评估安全措施效用时并没有考虑业务数据流、攻击流和安全措施要素之间的相互作用和影响,无法保证评估过程和结果的有效性.提出了一种给定脆弱性环境下的信息系统安全措施效用评估方法,应用颜色Petri网为系统业务数据流、攻击流和安全措施要素进行统一建模.通过设计节点间脆弱性利用图生成算法和改进的Dijkstra算法识别所有可能破坏信息系统安全属性的最短攻击路径,使用层次评价模型评估系统安全措施的效用.给出了一种基于多属性决策的系统最优信息安全效用提升方案选择算法.改善评估过程对人员主观经验的依赖问题,有助于保证评估结果的一致性和可追溯性.以一个具体的Web业务系统为例进行实验,验证了所提出的模型和方法的正确性和有效性. 展开更多
关键词 信息安全措施 效用评估 颜色PETRI 最短攻击路径 多属性决策
在线阅读 下载PDF
一种基于攻击图的安全威胁识别和分析方法 预览 被引量:21
18
作者 吴迪 连一峰 +1 位作者 陈恺 刘玉岭 《计算机学报》 EI CSCD 北大核心 2012年第9期1938-1950,共13页
业务系统安全管理需要网络攻击图来评估系统整体安全性或态势,同时又需要对那些可能严重危害系统安全的脆弱性利用威胁进行重点分析和优先处置.现有安全威胁识别和分析方法无法兼顾这两个方面,也无法处理脆弱性利用威胁分析过程中的... 业务系统安全管理需要网络攻击图来评估系统整体安全性或态势,同时又需要对那些可能严重危害系统安全的脆弱性利用威胁进行重点分析和优先处置.现有安全威胁识别和分析方法无法兼顾这两个方面,也无法处理脆弱性利用威胁分析过程中的不确定性问题.作者提出了一种安全威胁识别和分析方法.利用颜色Petri网(CPN)定义网络攻击图,并给出了网络攻击图生成NAGG算法,根据攻击模型分析结果生成网络攻击图;给出了基于CPN仿真的网络攻击图分解NAGD算法,可一次性分解出各脆弱性利用威胁对应的子攻击图,所述子攻击图不存在循环路径且最长攻击路径不超过预设值.并给出了一种脆弱性利用威胁度评估VETE算法,将子攻击图转换为不确定性推理规则集,采用D-S证据推理计算各子攻击图所对应安全威胁的威胁度,以确定安全威胁处置优先级.最后以一个典型Web应用系统为例,验证了所述安全威胁识别和分析方法的有效性. 展开更多
关键词 攻击模型 络攻击图 子攻击图 颜色PETRI 不确定性推理 D-S证据理论
在线阅读 下载PDF
Web服务的颜色Petri网模型及验证 预览
19
作者 李景霞 赵慧娟 《计算机应用与软件》 CSCD 2011年第3期 80-82,88,共4页
利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组... 利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组合结构的模型表达,用于构造满足实际需求的Web服务组合流程。该模型能较全面地描述Web服务组合,同时还能够对组合流程正确性进行分析验证,最后通过建模实例说明了所提模型的实用性。 展开更多
关键词 颜色PETRI 模型驱动体系结构 形式化描述模型 WEB服务组合验证
在线阅读 下载PDF
基于颜色Petri网的交通信息网格系统建模与分析 预览 被引量:1
20
作者 李景霞 赵慧娟 《微计算机信息》 2011年第6期20-21,6共3页
交通信息网格系统以高性能计算网格环境为支撑平台,综合运用网格及Web服务技术提供交通信息服务。系统请求响应过程复杂且有功能复用,为了确保系统各响应流程设计的正确性,建立了基于颜色Petri网的分层描述模型,在模型基础上利用形式化... 交通信息网格系统以高性能计算网格环境为支撑平台,综合运用网格及Web服务技术提供交通信息服务。系统请求响应过程复杂且有功能复用,为了确保系统各响应流程设计的正确性,建立了基于颜色Petri网的分层描述模型,在模型基础上利用形式化方法验证了系统设计的正确性。 展开更多
关键词 交通信息格系统 颜色PETRI 形式化描述模型
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部 意见反馈