一类Petri网调度问题的符号求解技术

来源 :系统仿真学报 | 被引量 : 0次 | 上传用户:zhangsiqin
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论了Petri网分析的符号有序二叉决策图(Ordered Binary Decision Disgram--OBDD)技术.对于一类赋时Petri网模型的生产调度问题,通过实施赋时位置(迁移)结构等价替换,建立了调度问题求解的符号算法.该算法可以在makespan步得到结果,从而有效改善了求解的效率,适合于复杂大规模Petri网模型调度问题的求解.
其他文献
本文研究了复合材料粘接质量的定量评价和分类方法,该方法以小波变换和模糊模式识别为基础。首先使用超声无损检测方法对复合粘接材料进行检测,然后根据回波信号的特点,使用
目的:观察黄芪加冠心宁治疗冠心病心绞痛的临床疗效。方法:将冠心病心绞痛患者82例随机分为治疗组43例,对照组39例。治疗组采用黄芪加冠心宁治疗,对照组用血塞通粉针治疗,两组均以
目的:观察针刺颈夹脊穴结合推拿治疗颈椎间盘突出症疗效。方法:将颈椎间盘突出症患者60例随机分为针刺颈夹脊穴结合推拿治疗组30例和针刺颈夹脊穴对照组30例,进行对照观察疗效。
阐述了国内外的研究现状,并围绕获取母种和生产子实体两大主题,从菌种的分离、纯化,结菇试验,种性鉴定,栽培方法,原生质融合技术的应用等方面提出了驯化栽培野生黄绿蜜环菌的
本刊自2007年起,综述及论著栏目特别要求添加英文摘要,具体要求如下:1.文题应力求简洁,一般不用缩略语,文题的第一个字母大写,其余小写。
本文基于在对企业管理现实进行思考的基础上,提出了一些解决管理问题的认识和方法。
随着互联网的发展, 域名与商标的冲突日益突出, 如何解决二者的冲突,更好地保护权利人的合法权益,成为当务之急.本文试图就域名的法律性质、域名与商标冲突的形式展开阐述,并
在分布式多传感多目标信息融合系统中,由于每个局部传感器的采样频率不同以及具有不同的通信延迟,导致送入融合中心的局部航迹往往不是同步的。本文提出一种异步航迹的关联方法,该方法首先基于最小二乘法实现单传感器的时域融合,从而将多传感异步航迹同步化;然后利用网络优化算法,获得相应于每个目标的各个传感器的局部航迹组合。仿真试验表明本文算法在解决异步航迹关联问题的有效性。
能同时处理矢量和地形数据的混合地理信息系统逐渐成为研究的热点,其中待解决的难点是如何将复杂矢量数据实时渲染到多分辨率地形格网。结合实时优化自适应网格(Real-TimeOptimallyAdaptingMeshes,ROAM)地形简化算法,给出了关键数据结构及相关算法来实时显示多分辨率三维地形和2D空间矢量数据,并对算法性能做出分析并给出结论。
作者通过工作中的实践,研究国内地理信息系统的现状,总结出了西宁市地理信息系统框架建设中基础地理数据的组织、数据库建设以及数据的存储模式、编码方案、基于ORACLE大型空间数据库的数据管理模式等关键技术。