共搜索到1736条信息,每页显示10条信息,共174页。用时:0小时0分0秒312毫秒
基于Petri网的OHT搬运系统防死锁调度方法 刘晓斌,周炳海 (同济大学 机械与能源工程学院,上海,201804) 摘要:为了有效预防高空提升运输(OHT)小车运行过程中可能出现的碰撞及死锁现象,提高OHT搬运系统的运行效率,提出一种防死锁调度方法.首先,利用Petri网建立OHT小车搬运系统模型,在分析Petri网模型的基础上,证明有效避免死锁的控制规则.接着结合匈牙利算法构建防死锁调度方法,通过轨道节点的时间窗预测OHT小车下一步路径状况,避免小车碰撞和死锁现象,实现多台OHT小车的优化调度.最后,进行仿真实验及对比分析.研究结果表明:本文提出的防死锁调度方法是有效可行的. 关键词:OHT;调度;死锁;Petri网 中图分类号:TP29 文献标志码:A ......
模糊故障Petri网建模方法及其应用 黄敏,林啸,侯志文 (长沙理工大学 计算机与通信工程学院,湖南 长沙,410014) 摘要:为克服模糊Petri网和故障Petri网在模拟故障传播,诊断和推理过程中的不足,提出模糊故障Petri网的概念及其建模方法,分一因一果,一因多果,多因一果和竞争模式4种情况定义变迁发生的规则和后果,以此模拟系统的动态运行过程,反映故障传播的固有特性.将模糊故障Petri网的建模方法应用于故障推理与诊断,提出将正向推理和反向推理相结合,并给出相应的推理算法,用泵站机组压力不足的实例加以验证.研究结果表明:该方法既能模拟故障传播过程,又能进行模糊推理,实用性强. 关键词:模糊故障Petri网;正向推理;反向推理 中图分类号:TP391  ......
DOI: 10.11817/j.issn.1672-7207.2015.07.047 基于混合Petri网的单点信号优化感应控制 牟海波,俞建宁,刘林忠 (兰州交通大学 交通运输学院,甘肃 兰州,730070) 摘要:为研究单交叉口交通信号感应控制问题,建立由连续Petri网描述交通流和离散Petri网描述交通信号控制的混合Petri网模型.根据连续Petri网的离散化方法,以连续Petri网中的参数为基础,提出各个相位车辆总停留时间的计算方法.为优化各个相位的绿灯时间,以车辆总停留时间最小为目标建立优化感应控制模型,并进行仿真计算.研究结果表明:采用基于混合Petri网的优化感应控制方法时,4个相位的车辆平均延误分别为18.19,15.65,14.88和15.24 s,与基于混合Petri网的一般感应控制方法,基于离散Petri网的感应控制方法相比较,平均延误的最大缩短率分别为......
......
基于Petri网和模糊模拟的协同维修进度预测 杨元1,黎放1,侯重远2 (1. 海军工程大学 管理科学与工程系,湖北 武汉,430033; 2. 海军工程大学 电气工程学院,湖北 武汉,430033) 摘要:为了解决协同维修过程中维修作业时间不确定,工序衔接时机不容易把握的难点,避免传统的模糊Petri网理论和方法在进度分析时依托模糊合成规则带来的问题,提出将模糊模拟技术引入到Petri网理论中的建模思想,形成协同维修进度预测的模型.首先,在确定维修任务分解结构,工序接口关系和维修工序作业模糊时间的基础上,利用着色Petri网描述协同维修过程;然后,设置相关颜色集,函数和代码实现模糊模拟技术嵌入Petri网模型的条件;最后,通过多次仿真,记录相应的维修时间和隶属度,完成可信性分析步骤.研究结果表明:所建立的协同维修进度预测模型能将模糊工期型有效转化为与隶属度相关的肯定工期型,克服了传统模......
青霉素发酵间歇过程的特征状态监督 王妍,李宏光 (北京化工大学 信息科学与技术学院,北京,100029) 摘要:针对青霉素发酵间歇过程,探讨基于赋时Petri网和RBF神经网络相结合的过程特征状态监督方法.通过过程分析,描述若干个过程的特征状态,建立2个RBF神经网络,分别对主特征状态和辅助特征状态进行提取.采用赋时Petri网建立特征状态的演化模型,从而实现对间歇过程的实时智能监督.在青霉素发酵仿真实验对象上进行验证,结果表明了技术方法的有效性. 关键词:青霉素发酵;特征状态;监督;Petri网;神经网络 中图分类号:TP277 文献标志码:A 文章编号:1672-7207(2011......
基于着色Petri网的Web服务组合建模 杨书新1,彭洁1,李淑芝1 (1.江西理工大学信息工程学院,江西,赣州,341000;2.江西理工大学应用科学学院,江西,赣州,341000) 摘要:用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性. 关键词:Web服务组合; 着色Petri网; 服务网; [全文内容正在添加中] ......
Petri网理论与方法研究综述蒋昌俊山东矿业学院计算机科学与技术系!泰安271019中国科学院计算技术研究所国家智能机中心摘 要:综述了Petri网领域的国内外研究状况,阐明了作者对网论的发展观点.指出Petri网理论和方法上所取得的成绩及其发挥的作用,结合自己的工作展望了这一领域的发展势态.关键词:Petri网;并发系统;模型;......
基于Petri网的ECA规则建模宋丽1,艾迪明21. 军械工程学院管理工程系2. 军械工程学院军械技术研究所摘 要:在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型.对如何用Petri网表示具有复合事件ECA规则进行了专门分析.提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性.通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.关键词:Petri网;ECA规则;复合事件;......
基于精炼操作的Petri网建模及其分析方法丁志军,蒋昌俊摘 要:针对复杂系统的Petri网建模及其分析问题,定义了Petri网的精炼操作及其相关的Petri网模型.基于序列投影,建立精炼Petri网与原网,子网间的动态行为关联关系,并分析了该精炼操作的相关动态性质,得到一组性质保持判据.最后,基于该方法实现了一个顺序资源共享系统的应用案例的建模及其分析.所提出的方法不仅为复杂系统的Petri建模提供了新的思路,而且有助于复杂Petri网模型的分析和验证.关键词:Petri网;精炼;复杂系统;......