生产过程优化调度模型应用

该文讨论了坎得力等人提出的生产过程调度优化理论和数学建模。为了满足某制药厂的生产工艺进行生产过程的优化调度,对原有生产过程调度优化的数学模型进行改造,增加了设备在某一时间段不开工的约束,然后根据新的数学模型用软件来实现生产优化调度。软件的功能有用状态任务图网络来描述生产工艺,把状态任务图网络转化为用优化编程语言进行描述的求解模型,用ILOG CPLEX求解器进行求解,再用甘特图显示调度结果,并利用Petri网对生产过程进行仿真。

基于扩展CDM模型的调度算法研究

包含混合硬实时和软实时需求的嵌入式系统需要早期的、精确的时间特性分析。因此需要一种系统高层建模方法,在对嵌入式系统进行合理准确的抽象定义的基础上,对相关高层调度算法进行分析研究。介绍的方法是在CDM模型的基础上,通过对其进行通信时间的定义及信号同步方面的规定,从而扩展CDM模型的特性及调度算法,达到更加精确的计算调度执行的目的。

轻量级迁移实例的实现

给出了一种通过将迁移实例的消息处理功能和迁移寻址功能配置为可信工作位置的服务,从而实现迁移实例轻量化的方法,并讨论了基于任务状态转移图和ECA规则的轻量级迁移实例的任务执行机制。