基于Petri网的IC制造调度优化

论文根据IC制造中存在的多制造路径、资源共享、可变晶片组及并发等特点,结合增强定时Petri网,提出了一种调度优化算法。该算法无论是对典型的Job-Shop问题,还是比此更复杂的问题,都能给出确实有效的优化结果,具有一定的通用性。该算法还具有较高的运行效率,文中的实验结果也充分显示了这点。     

基于多环面向对象着色Petri网的装配调度研究

采用多环面向对象着色Ｐｅｔｒｉ网（ＴＯＯＣＰＮＭ）同启发式算法相结合的方法，研究装配系统的调度问题。先用ＴＯＯＣＰＮＭ来表述系统的调度问题，然后生成并搜索网的部分可达图，以变迁发生顺序的方式给出一个最优或次优的可行调度。由于给出的是一个可行的调度，系统潜在的死锁可以自然得到避免，因此对模型或系统的活性分析可以省略。     

基于Petri网的启发式生产调度

提出一种新的柔性制造系统调度方法.该方法可以通过引入测试弧增强普通Petri网的建模能力,可以对系统中的设备维护、设备优先级以及操作优先级进行建模,并进一步利用搜索算法对模型的状态转换空间进行启发式搜索得到优化调度.文中的实例展示了算法的有效性.     

基于Petri网的批处理调度研究

批处理过程存在于复杂的动态环境中,来自主客观的干扰及问题固有的易变性,会导致各种过程参数的变化,因此,需要研究对意外事件作出快速反应的动态调度方法,以捕捉生产环境的实时变化。该文针对批处理过程中最常出现的操作处理时间波动,提出了基于Petri网仿真技术的批处理过程动态调度方法。仿真结果表明,该方法能有效地改善调度性能,为批处理过程动态调度的研究提供了新思路。     

基于Petri网与GA算法的FMS调度优化

提出了一种应用遗传算法解决柔性制造系统调度优化问题的新方法．首先用Petri网对柔性制造系统进行建模,然后应用遗传算法对该模型进行调度并获取近似最优解．在该算法中,用Petri网模型的激发序列作为染色体,采用期望值方法作为选择算子,总加工时间作为适应度函数,两点交叉法作为交叉算子,交叉点选择能到达相同标记的转移．对于变异算子,首先从染色体上随机选择一点作为变异点,然后从这点开始应用变异算法,该变异算法类似于Petri网的可达树算法．由于算法中的选择、交叉和变异算子都是对．Petri网模型中的元素进行操作,与问题空间中的元素无关,因此,与其它调度算法相比,它有较高的通用性．既可以处理典型的Job—Shop问题,也可以处理小批量、多品种的FMS(Flexible Manufacturing System)调度问题．文中通过实验验证了算法的有效性。     

基于有色Petri网的工作流阶段性调度

工作流的合理、有效调度有利于改善整个工作流系统的性能,从而提高业务流程的执行效率。静态调度有利于在静态环境下达到全局调度的最优,但不能有效地处理工作流的动态不确定性。而动态调度在考虑工作流的动态不确定性的同时,优化每个任务的调度方案,但很难达到所有任务的全局最优。在总结静态调度和动态调度两种方法各自的优缺点的基础上,本文提出了一种基于有色Petri网的工作流阶段性调度方法。该方法能够妥善地处理工作流的动态性和不确定性,并在静态全局最优和动态单个最优之间达到较好的均衡。仿真实验说明了该方法的有效性和优越性。     

炼油生产调度的混合Petri网建模

文章首先分析了炼油生产调度问题,指出炼油生产调度是一个既具有连续时间特性,又具有离散事件特性的混合动态系统,针对这种特性,该文在研究了连续Petri网和混合Petri网之后,将混合Petri网用于炼油生产调度系统的建模,为解决炼油生产调度的实时性问题提供了有力工具。     

基于着色Petri网的Internet电话端系统业务冲突检测

将描述端业务的LESS脚本转换为着色Petri网模型,可以为实现形式化方法检测端业务间的冲突提供基础。本文根据业务逻辑树节点的特性和LESS的定义,提出了通用的转化规则,实现了端业务的形式化建模,从而方便了业务的集成及业务间的离线检测。通过CPN Tools对建立的业务模型进行仿真并分析模型状态空间,检测出端业务之间是否存在冲突。最后,用典型的业务实例验证了所提方法在Internet电话端系统环境中的可行性和有效性。     

基于Petri网的虚拟企业建模与调度

在分析现有虚拟企业建模及其调度方法的基础上,探讨了基于一种扩展Petri网模型的虚拟企业建模和调度方法,给出了T时延广义自控网的形式化定义和变迁规则。根据虚拟企业项目的特点,描述了基于T时延广义自控网的虚拟企业建模过程。基于所建立的虚拟企业项目模型,分别针对时间最短与费用最小两个调度目标,设计了A*算法以实现虚拟企业项目调度方案求解。实例分析验证了所提模型及调度算法的有效性。     

Intranet环境下基于Multi-agent机制的生产调度系统研究

提出一种基于多代理机制的系统实现方案。系统中各代理对等分布,通过有机协作来完成调度问题的求解。主管代理的引入使系统的功能可配置,状态可监测。为保证应用系统的安全运行,提出了一些安全措施。     

基于Petri网与遗传算法的可重入生产系统调度

可重入生产系统调度问题属于NP难题,该文建立了系统的扩展Petri网模型,并且将遗传算法方法与调度规则结合起来用于解决可重入生产系统的调度问题。针对可重入生产系统生产过程的动态复杂性,首先建立了一类综合调度规则,然后提出了基于设备分组与分时段的综合规则组合的可重入生产系统调度策略,并采用遗传算法与基于Petri网模型的过程仿真相结合的方法对综合规则组合进行优化,仿真比较验证了该调度策略的有效性。     

基于上下文赌博机的自适应实时车间调度

传统的多Agent车间调度方法使用单一调度规则, 忽略了生产环境变化对调度规则适用性的影响, 导致调度结果欠佳. 本文针对该问题提出一种自适应实时车间调度方法, 通过上下文赌博机对工件调度过程进行类比建模. 经过若干回合学习的上下文赌博机模型能够依据生产环境制定调度决策, 获得优异的调度结果. 最后, 通过仿真实验验证了提出方法的有效性.     

基于DNA架构和COM+组件的分布式信息系统设计

介绍了基于DNA架构的分布式信息系统的体系结构及其功能。通过实例详细阐述了系统的设计方案,并建立基于Petri网的分布式系统运作过程的模型。论述了在DNA架构环境下,开发COM 组件的方法、接口设计及应注意的相关问题。     

基于Internet/Intranet的数字化远程故障诊断系统

介绍了制造企业远程故障诊断系统的模型，并详细讨论了它的总体结构，同时结合中德政府合作项目面向上海大众汽车有限公司的具体应用给出了实例。     

基于Petri网的分布式实时调度模型研究

Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。     

基于船舶管件加工的车间自动化产线调度系统研究

针对有多工位、同一工作站船舶管件直管段加工自动化生产线的排产优化,同时考虑管材自动化立体仓库、法兰上位机的精准配料等问题,采用精准算法的多系统协同方式,包含有智能产线管控系统(BCS)、产线主控PLC、仓储配送系统(WMS)、法兰上位机系统,以智能产线管控系统(BCS)为中央处理单元,负责与产线主控PLC通讯处理整条产线的实时管控、包括生产任务的下达,协调立库的仓储配送系统、法兰上位机系统管材、法兰上料,以实现船舶管件直管段自动化产线有序加工、提高生产效率,尤其是解决先焊后弯突破后,大量直管段加工需求,极大降低生产成本。     

基于物联网视觉的大型拥堵车辆调度系统设计

针对道路拥堵车辆调度问题,设计了一种基于物联网视觉的大型拥堵车辆调度系统,分析了系统的总体结构,给出了系统的ZigBee协调器模块、车载传感器节点、图像采集处理模块以及无线传输模块的硬件结构,详细介绍了拥堵车辆调度算法流程,并给出了车辆调度最佳路径算法代码,实现了大型拥堵车辆的有效调度;实验结果说明,所设计系统可获取有效的交通车辆拥堵图像,实现交通拥堵的高效调度.     

基于Internet／Intranet分布式网络控制系统的实现

本文论述了自动控制系统的发展过程,提出了基于Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ分布式网络控制系统的新概念,并讨论了这种控制系统的技术特点和实现方案。