期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到6篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于Petri网与遗传算法的半导体生产线建模与优化调度 被引量：11
1
作者 曹政才 余红霞 乔非 《电子学报》 EI CAS CSCD 北大核心 2010年第2期340-344,共5页
针对半导体生产线调度复杂、难以优化的问题,本文提出一种基于层次有色赋时Petri网技术和遗传算法相结合的优化调度方法.该方法利用层次化的思想结合自顶向下建模方法对半导体生产线进行模块化建模,模型不仅能够反映生产线待加工产品的... 针对半导体生产线调度复杂、难以优化的问题,本文提出一种基于层次有色赋时Petri网技术和遗传算法相结合的优化调度方法.该方法利用层次化的思想结合自顶向下建模方法对半导体生产线进行模块化建模,模型不仅能够反映生产线待加工产品的多条加工路径及其资源约束,还可以对系统的设备维护、各种优先级等特性进行描述,得到对生产系统更完善更精确的刻画.通过在遗传算法编码中考虑投料策略、工件选设备规则、批加工调度规则和单件加工设备规则等因素得到更加有效的调度方案,提高了模型的优化程度.在此基础上,对实际半导体生产线的不同调度方案分别进行仿真,并对仿真结果进行比较,从而验证了建模方法的正确性及调度策略的有效性. 展开更多
关键词 半导体生产线 层次有色赋时petri网 遗传算法 建模 优化
下载PDF
基于信息驱动机制的导弹作战流程建模问题 被引量：2
2
作者 黄路炜 张滨 +2 位作者 李淑媛 郝磊 李轶 《火力与指挥控制》 CSCD 北大核心 2018年第6期66-70,共5页
流程建模是开展作战流程量化分析的前提。针对当前导弹作战流程呈现出的"复杂度高、执行自动化程度高、控制精细度高"等特点,提出了基于拓展的层次有色赋时Petri网技术的总体建模思路,基于此完成了要素模型、流程模型的建立... 流程建模是开展作战流程量化分析的前提。针对当前导弹作战流程呈现出的"复杂度高、执行自动化程度高、控制精细度高"等特点,提出了基于拓展的层次有色赋时Petri网技术的总体建模思路,基于此完成了要素模型、流程模型的建立。统筹考虑后续流程量化分析需求,提出了面向对象的导弹作战流程模型组装方法。建模思路和具体方法能很好地指导基于信息驱动机制的导弹作战流程建模,支撑流程量化分析。 展开更多
关键词 信息驱动 导弹作战流程 层次有色赋时petri网 面向对象思想
下载PDF
铁路信号联锁逻辑形式化建模研究 被引量：24
3
作者 陈邦兴 吴芳美 《铁道学报》 EI CAS CSCD 北大核心 2002年第6期50-54,共5页
铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发 ,还是对联锁软件的测试都是非常重要的。铁路大站的联锁逻辑十分复杂 ,对其进行形式化描述是一项艰难的工作。目前 ,国内外尚无这方面详细研究的文章和报道。本文利用层次... 铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发 ,还是对联锁软件的测试都是非常重要的。铁路大站的联锁逻辑十分复杂 ,对其进行形式化描述是一项艰难的工作。目前 ,国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念 ,采用层次化有色 Petri网 ,以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的 ,以车站联锁设备的层次化有色 Petri网模型为背景 。 展开更多
关键词 铁路信号联锁逻辑 形式化建模 有色petri网 层次化有色petri网 联锁设备
下载PDF
基于Petri网的铁路信号联锁逻辑形式化描述的研究
4
作者 韩晓燕 颜荣正 《煤矿现代化》 2005年第5期40-41,共2页
在层次化有色Petri网的基础上,引入了UML建模技术的类图的概念和方法,提出了一种针对联锁逻辑Petri网的建模方法,并以铁路车站设备的HCPN模型为前提,介绍了铁路联锁逻辑层的形式化描述方法。
关键词 层次化有色petri网 UML建模 联锁逻辑 有色petri网 形式化描述方法 信号联锁 逻辑 铁路 建模技术 建模方法 车站设备 层次化
下载PDF
基于Petri网的虚拟装配环境交互管理模型研究
5
作者 彭高亮 徐贺 刘新华 《系统仿真学报》 CAS CSCD 北大核心 2009年第12期3641-3645,共5页
对设计者交互操作的准确理解和快速响应,是提高虚拟装配的可操作性和实用性的关键问题。定义了一种层次时间有色Petri网(HTCPN),并以此为工具建立了虚拟装配环境下的交互管理模型。该模型以设计者操纵数据手套的位姿变换信息、对象间的... 对设计者交互操作的准确理解和快速响应,是提高虚拟装配的可操作性和实用性的关键问题。定义了一种层次时间有色Petri网(HTCPN),并以此为工具建立了虚拟装配环境下的交互管理模型。该模型以设计者操纵数据手套的位姿变换信息、对象间的碰撞检测信息以及装配约束识别信息作为输入,运行后输出具体的操作事件实现设计者在虚拟装配环境中的浏览、移动零部件、装配和拆卸调整等一系列交互操作活动。实践证明该模型满足了虚拟环境的实时和并发等动态性能要求,实现了虚拟装配过程中大量离散事件的处理及操作意图的响应。 展开更多
关键词 虚拟装配 虚拟环境 层次时间有色petri网 交互管理模型
下载PDF
Web服务组合的层次化建模
6
作者 王玉英 陈平 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第1期39-44,共6页
目的形式化地描述Web服务组合流程,为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中<scope>、<compensation>、<faultHandlers>和<terminationHan... 目的形式化地描述Web服务组合流程,为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中<scope>、<compensation>、<faultHandlers>和<terminationHandlers>几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的角度完善现有的层次化有色Petri网定义,将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义,提出了Web服务组合的层次化建模方法。结论层次化构建Web服务组合模型是一种可以用于大型BPEL流程的方法,所构建的模型有利于从抽象层面和细节上分析Web服务组合。 展开更多
关键词 WEB服务组合 BPEL 层次化有色petri网 建模
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部