摘要
电梯导轨平直度是电梯的平稳运行的基础。精矫系统的流程优化是保证精矫质量、提高企业效益的关键。由于精矫流程中存在随机性和不确定性,问题的约束和目标均不能解析描述。描述了精矫过程优化问题,为了电梯运行提高稳定性,采用Petri网作为建模方法,提出了限制库所容量的"资源—状态"模型,利用CPN Tools提供的状态空间分析工具分析了Petri网活性和死锁发生的原因。进行仿真的优化,结果实现了精矫电梯的目标,并为系统方案设计提供了支持。
The flatness of guide rail is the basis to keep elevator running stationary,and the optimization of the correcting procedure plays a key role in guaranteeing the guide rails' precision and increasing the benefit.The Constraints and the objective cannot be described analytically because the randomness and uncertainties consist in the procedure,thus the optimization can only be achieved by simulating.The differences between the correcting system and common Job-shop Scheduling Problem are described,and Petri net is used to model the system.Based on CPN Tools,a model named "Resources and states" is proposed,on which,the system's resource limit is described.Then CPN Tools State Space method is used to analyze the liveness and deadlock of the model.Later.Simulation based optimization method is used to optimize the procedure.Finally,the results of two programs are compared and used to support the system's designing.
出处
《计算机仿真》
CSCD
北大核心
2011年第6期347-353,共7页
Computer Simulation
关键词
皮特里网
流程建模
仿真优化
车间调度
Petri nets
Processing modeling
Simulation and optimization
Job-shop scheduling