着色Petri网
着色Petri网的相关文献在1998年到2023年内共计252篇,主要集中在自动化技术、计算机技术、无线电电子学、电信技术、铁路运输
等领域,其中期刊论文210篇、会议论文25篇、专利文献124023篇;相关期刊117种,包括系统工程与电子技术、通信学报、兵工自动化等;
相关会议21种,包括湖北省机械工程学会机械设计与传动专委会暨武汉市机械设计与传动学会第21届学术年会、第8届全国计算机支持的协同工作学术会议(CCSCW-2012)暨全国第23届计算机技术与应用学术会议(CACIS-2012)、2010年交通运输类院校研究生学术论坛等;着色Petri网的相关文献由586位作者贡献,包括王明哲、朱连章、金志刚等。
着色Petri网—发文量
专利文献>
论文:124023篇
占比:99.81%
总计:124258篇
着色Petri网
-研究学者
- 王明哲
- 朱连章
- 金志刚
- 陆以勤
- 刘靖
- 卢雷
- 叶新铭
- 王建民
- 任雪利
- 应时
- 廖晶静
- 张云荣
- 张志利
- 曾家智
- 李人厚
- 李军
- 李孝忠
- 杨守义
- 杨惠珍
- 林闯
- 王焱
- 秦江涛
- 胡晓辉
- 郑俊辉
- 郝莉莉
- 门鹏
- 陆彦辉
- 隋瑞升
- 韦岗
- 丁漪杰
- 于海斌
- 任志宏
- 伍先扬
- 党建武
- 刘卫东
- 刘心晶
- 刘洋
- 刘继玉
- 史金飞
- 吕良双
- 吴宏刚
- 周国祥
- 唐勇
- 夏春和
- 孔俊俊
- 孙桂川
- 孙涛
- 宋志明
- 封富君
- 廖赟
-
-
张源原;
高阳;
朱鹏;
刘锦涛;
谷树山
-
-
摘要:
无人机(unmanned aerial vehicle, UAV)战术规划问题是UAV作战的核心,本文以UAV战术规划中的资源分配和目标推理为研究对象,针对传统Petri网不能准确模拟战术规划中资源及任务正负效应建模问题,在阐述了利用传统Petri网将总体任务按计划及目标顺序进行层次分解后,采用着色Petri网对网间结构进行设计,利用总体目标管理图及变量管理图实现了消耗类资源以及多目标任务规划中的正负效应模拟问题。最后,将所提方法应用于UAV侦察任务中,验证了方法的有效性。
-
-
唐兴俊;
王树文;
胡欣
-
-
摘要:
为有效评估反导作战预警信息流转效能,分析了反导预警的作战过程,建立了基于着色Petri网(colored Petri nets,CPN)的反导预警信息流转模型,并用仿真软件对所建立的模型进行了仿真.通过优选效能评估指标,对反导预警信息流转CPN模型进行效能评估和优化.结果分析表明,适当减少用户的数量和传递层级,可以增加信息在用户之间的流转速率,以满足反导预警作战的时效性要求.
-
-
向双玲;
王英
-
-
摘要:
公铁联运过程涉及的主体众多,信息流动过程繁杂.原有的信息交互流程已不能很好地满足当前公铁联运的发展需求.为此将从流程化角度入手,探讨基于信息平台的新公铁联运信息交互流程,确定联运过程中何时需要相关参与者之间交换最有益且最具成本效益的信息属性.然后,利用着色Petri网对主要信息交互过程进行分层建模,揭示不同运输主体之间的信息共享的协同点.并以零散白货运输为例,进一步探索联运中所共享信息属性的经济效益.通过实例仿真验证加入新信息属性的联运信息共享流程具有便于零散白货清点整理工作的开展和货物运输状态的及时更新的经济效益.同时,也有助于提高同一时间内不同运输主体活动的高效性和协同性以及运力资源的利用率,缩短了整个联运的作业时间.
-
-
侯龙龙;
董建军;
潘欣维;
倪卫红;
付光辉
-
-
摘要:
针对缺乏对城市地下物流系统(underground logistics system,ULS)在市场环境下的运营状况进行研究的问题,引入"ULS服务运营商"的概念分析ULS服务供应链的运作流程,即ULS服务运营商承接第三方物流服务企业和生产企业的物流外包业务以及普通客户的物流服务需求,通过运营平台统一调度、分配服务资源,实现城市物流的集成、共同配送以及服务流程的自动化;进一步利用赋时着色Petri网理论构建基于城市ULS的服务供应链Petri网模型,考察该服务供应链运作流程的可靠性和效率,并根据仿真数据对模型的运作方式和性能进行分析,以期为ULS在市场化环境下运营模式及运作流程的研究提供建模仿真思路参考.结果 表明:该模型具备可靠性,符合设计预期;由仿真结果得到的各流程运作耗时情况以及服务供应链整体运作时间性能可知,售后服务、负责ULS终端分流的配送服务供应商和仓储服务供应商对城市ULS服务供应链整体的服务效率有较大影响,是供应链整体效率提升过程中需要关注的对象.
-
-
乔嘉林;
黄向东;
杨义繁;
王建民;
吴凯
-
-
摘要:
HDFS分布式文件系统作为Apache Hadoop的核心组件之一,在工业界得到了广泛应用.HDFS采用了多副本机制保证数据的可靠性,但是由于多副本的存在,在节点失效、网络中断、写入失败时可能会导致数据不一致.与传统文件系统相比,HDFS被认为其数据一致性有所降低,但用户并不知道何时会出现不一致的情况,目前也没有相关工作对其一致性机制进行验证说明.当数据存在一致性问题时,会增加上层应用的不确定性.可见,对数据一致性的研究十分必要.HDFS的软件规模庞大,且在分布式环境下运行,针对这些特点,采用了着色Petri网建模和状态空间分析的方法,完成了以下工作:(1)使用着色Petri网对HDFS的读写流程建立模型,该模型详细刻画了HDFS内部各个组件的功能及相互协作的机制;(2)基于着色Petri网模型,使用状态空间工具分析了HDFS的数据层一致性和操作层一致性,验证并详细说明了HDFS出现不一致的条件;(3)在分析过程中,提出了"时点重复读"的操作层一致性验证方法,采用串行化的重复读策略降低了状态空间复杂度.基于以上工作,针对HDFS上层应用的开发给出建议,帮助提高应用的数据一致性.此外,在建模过程中提出的建模技巧给基于CPN Tools工具分析其他系统提供了借鉴.
-
-
杜毛强;
何晓晖
-
-
摘要:
针对工程机械机群在承担道路抢险施工任务时面临的多点配置问题,分析了工程机械抢险施工作业的特点,建立了抢险施工排队网络的着色Petri网模型,并利用软件CPN Tools对排队过程进行仿真,进而验证了施工时间的计算方法,建立了抢险工程机械机群配置的数学模型,为求解机群的配置方案提供依据.
-
-
姚可欣;
付长军;
郑伟明;
陈得恩;
田兴聪;
熊轲
-
-
摘要:
为解决复杂场景下离散事件系统动态性高引起的分析困难问题,提出了一种基于着色Petri网的离散事件动态系统建模方法.该方法首先对系统进行信息流分析并建立UML模型,然后根据规则将UML模型映射为Petri网模型,再对Petri网模型进行分层并添加颜色集,建立系统的着色Petri网模型.在向着色Petri网模型转换时,首先将动态系统分解为顶层模型和子模型;然后定义不同的颜色集,用来表示系统运行过程中的指令和状态等信息,减少库所和变迁的使用量;接着对子模型的变迁加载守卫条件和时间戳,使模型能够处理系统的并发和顺序性问题;在此基础上为系统库所添加令牌,用于表示系统中流动的信息资源.CPN Tools测试输出的结果,验证了所提方法的有效性,同时也为系统的设计与优化提供了一定的参考.
-
-
张岩;
杨磊;
曾湘毅;
孙文桥;
刘启钢
-
-
摘要:
为合理控制复杂安全通信协议规范模型状态空间的体积,清晰完备地发现协议规范的死锁、活锁和属性缺陷,提出1种根据协议固有层次逐层建模和检验的方法.使用接口自动机网络(IAN)对目标层的上下层进行深入提取,抽象出协议规范的3层模型.依据由IAN模型至着色Petri网(CPN)模型的转化规则,将建立的IAN模型转换为CPN模型;提出利用模型检验工具CPN Tools检验扩展语言ASK-CTL描述的具有存在一致性和前向强制一致性2类属性的方法.选择列车运行控制系统安全通信协议的安全功能模块规范进行实例研究.结果 表明:提出的分层模型检验方法,可将模型状态空间的体积控制在要求的规模以内;安全通信协议的安全功能模块规范不存在死锁和活锁,说明安全功能模块流程设计合理;但存在安全功能模块连接建立过程不成功、高优先级数据无法传输和车地间通信连接断开的情况,因此列车控制系统应用层应具备连接功能失效的响应处理流程,以及故障导向安全的防护功能.
-
-
-
张立彬;
吕焕培;
胥芳;
谭大鹏;
陈教料;
林琼
-
-
摘要:
针对低压电器自动化装配中所存在的资源无序竞争及交互不平衡问题,提出一种基于着色Petri网(CPN)的协同装配方法;利用人工势场(APF)算法来实现机器人的协同交互控制;并提出了一种基于目标函数梯度的自适应量子遗传算法(AQGA),对装配时间、装配机器人数等关键参数进行平衡优化;构建了一个面向断路控制器的协同装配实例,对所提方法的有效性进行了验证.结果表明,协同装配控制方法能够提高低压电器装配的柔性化程度,确保装配单元间的协同交互,实现低压电器的快速有序装配,提高了装配工作效率.