期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
顺序共享资源制造系统Petri网控制器的形式化设计方法 被引量:1
1
作者 李志武 郝林 《机械科学与技术》 CSCD 北大核心 2002年第3期488-490,共3页
基于通信顺序进程和资源向量的有关概念 ,提出了截断迹及截断迹集 ,研究了系统具有共享资源时标志容量的计算方法 ,提出了具有顺序共享资源制造系统
关键词 共享资源 资源向量 截断迹 petri网控制器 FMS 制造系统 形式化设计方法
下载PDF
顺序共享单一资源自动制造系统实时PETRI网控制器的一种形式化设计方法
2
作者 刘宏 李志武 叶尚辉 《电子机械工程》 1996年第4期15-21,64,共8页
自动制造系统(AMSs:AutomatedManufacturingSystems)Petri网控制器形式化设计是AMSsPetri网控制器自动设计的理论基础。本文以AMSs计划(Planning)层和调度(Scheduling)层生成的工序序列(OperationSequences)和资源需求序列(Re... 自动制造系统(AMSs:AutomatedManufacturingSystems)Petri网控制器形式化设计是AMSsPetri网控制器自动设计的理论基础。本文以AMSs计划(Planning)层和调度(Scheduling)层生成的工序序列(OperationSequences)和资源需求序列(ResourceRequirementSequencces)为基础,为顺序共享资源AMSs设计了一种规格说明语言。通过对位置和变迁引入输入输出状态函数,结合所设计的规格说明语言,可以自动生成AMSs实时控制PETRI网控制器的表格表达式,该表达式为模型分析和AMSs技制软件自动生成奠定了基础。最后,用一个实例说明了设计过程。 展开更多
关键词 自动制造系统 petri网控制器 形式化设计
下载PDF
基于奇偶校验的Petri网控制器故障检测
3
作者 陈丽娟 杨欣 《系统科学与数学》 CSCD 北大核心 2009年第2期263-270,共8页
提出基于奇偶校验的方法对Petri网控制器进行故障检测.设计出满足包含标识向量和Parikh向量的线性约束的Petri网控制器;建立一个包含一定数量库所的附加Petri网控制器以满足奇偶校验的编码要求;分别针对库所故障和变迁故障,选用不同的... 提出基于奇偶校验的方法对Petri网控制器进行故障检测.设计出满足包含标识向量和Parikh向量的线性约束的Petri网控制器;建立一个包含一定数量库所的附加Petri网控制器以满足奇偶校验的编码要求;分别针对库所故障和变迁故障,选用不同的奇偶校验参数进行故障检测,并通过实例详细阐明了故障检测的过程. 展开更多
关键词 奇偶校验 petri网控制器 故障检测.
原文传递
基于Petri网和GA的多目标动态优化调度问题研究 被引量:3
4
作者 陶泽 李小军 刘晓霞 《组合机床与自动化加工技术》 北大核心 2011年第10期5-9,共5页
以最小化生产周期、机床负载和机床与工人的费用为调度目标,基于受控Petri网和遗传算法提出了一种多目标作业车间调度方法,用于解决作业车间的加工受到机床、操作工人双资源制约条件下的动态优化调度。首先,给出了基于Parikh矢量的Petr... 以最小化生产周期、机床负载和机床与工人的费用为调度目标,基于受控Petri网和遗传算法提出了一种多目标作业车间调度方法,用于解决作业车间的加工受到机床、操作工人双资源制约条件下的动态优化调度。首先,给出了基于Parikh矢量的Petri网控制器简化设计方法,并应用该方法构建了基于紧急订单的受控Petri网模型;然后设计了基于Pareto的遗传算法,能够获得Pareto最优解集;尤其重要的是能够针对车间的动态扰动给出相应的调度方案。最后,通过实例验证了该方法的可行性和有效性。 展开更多
关键词 Parikh矢量 petri网控制器 多目标动态优化调度 遗传算法(GA)
下载PDF
跑道入侵防御系统的可重构性研究 被引量:2
5
作者 许峰 汤新民 +1 位作者 揭东 洪网君 《武汉理工大学学报(交通科学与工程版)》 2017年第5期821-827,共7页
为了实现跑道入侵防御系统应用的灵活性,提出了一种基于Petri网跑道入侵防御系统的重构方法.对监视数据源进行了数据分析与处理,并基于标准构建机场的矢量地图模型,再结合机场场面跑道结构建立跑道Petri网控制器模型,构建跑道状态灯模型... 为了实现跑道入侵防御系统应用的灵活性,提出了一种基于Petri网跑道入侵防御系统的重构方法.对监视数据源进行了数据分析与处理,并基于标准构建机场的矢量地图模型,再结合机场场面跑道结构建立跑道Petri网控制器模型,构建跑道状态灯模型,利用重构方法建立了各个模块之间的接口,包括机场地图模型与Petri网控制器模型、Petri网控制器与跑道状态灯模型、车辆/航空器分布向量与Petri网控制器标识向量、可控变迁的使能状态向量与跑道状态灯状态向量,并通过案例说明了跑道入侵防御系统重构方法的有效性. 展开更多
关键词 跑道入侵防御 petri网控制器 接口 可重构性
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部