Mealy机的实时系统调度方法

为得到实时并发系统的最优运行路径,提出一种基于Mealy机建模的最优调度方法.通过分析以Ptime Petri网建模的实时系统,并用Mealy机建立中库所及其对应时间的关系,得到在满足系统非死锁、非阻塞特性下的最优路径.基于这种方法,可获得P-time Petri网的最优合法序列.通过实例验证表明:所提出的方法具有较好的效果.

染缸资源的离散事件动态系统建模及优化

根据印染企业订单排缸生产计划的实际情况,建立染缸资源配置系统的自动机模型,使订单的各种染缸配置方式映射到自动机模型中;然后,根据模型行为演化过程,对订单的染缸资源配置过程划分阶段,在各个阶段设定性能指标函数,并建立各阶段间性能指标函数间的递推关系式;最后,用动态规划法对染缸的配置过程寻找最优排缸策略,得到染缸资源利用率最大的配置方式.实例结果表明:与现有的计算机调度系统相比,所建立的模型和决策方法能有效地提高染缸资源的利用率.