基于时间自动机的动力调度岗位培训仿真机理建模

Modeling and Verification of Simulation Mechanism of Power Dispatching Job Training Based on Time Automata

针对大型风洞群中压空气系统存在调度机理复杂、岗位人员素质要求高、系统实操培训代价大等问题,实施基于时间自动机的动力调度岗位培训仿真机理建模。通过混杂系统理论提出适合大型风洞群中压空气调度的扩展时间自动机模型,基于先来先服务策略构建资源申请、机组工作等队列,建立调度器、就地执行器等核心机理模型,并采用UPPAAL工具对模型进行验证。结果表明:该模型的建立不仅为岗位人员掌握设备结构原理、积累实操经验提供有效手段,而且为建立风洞试验调度仿真系统、合理有效实施风洞动力调度岗位培训打下了基础。

Aiming at the problems of complex dispatching mechanism,high quality requirements of post personnel and high cost of system operation training in the medium-pressure air system of large wind tunnel group,the simulation mechanism modeling of power dispatching post training based on timed automata is implemented.Based on the hybrid system theory,an extended time automata(ETA)model is proposed for the air dispatching in large wind tunnel group.Based on the first come first service(FCFS)strategy,the resource application queue and the unit work queue are constructed,and the core mechanism models such as the scheduler and the local actuator are established,and the UPPAAL tool is used to verify the model.The results show that the establishment of the model not only provides an effective means for the post personnel to master the principle of equipment structure and accumulate practical experience,but also lays a foundation for the establishment of wind tunnel test scheduling simulation system and the reasonable and effective implementation of wind tunnel power scheduling post training.