基于Stopwatch时间Petri网的柔性作业车间优先级调度研究

作业时间不确定的柔性作业车间调度问题由于其计算复杂性、约束条件数量以及工件加工优先级等限制,难以获得最优解。采用Stopwatch时间Petri网对区间柔性作业车间优先级调度问题进行建模,通过Stopwatch状态类可达性分析方法获得模型所有可行变迁触发序列。为了准确执行变迁触发序列的时序分析,采取逆向分步法将此问题转化为线性规划问题,求出最小下界和最小上界的调度路径,进而获得基于优先级的最优调度方案。通过实验结果表明了模型的有效性,为区间柔性作业车间优先级调度提供了有效的模型支持。     

日本导弹防御系统向实战化迈进

日本政府2003年曾决定在2008年3月底之前建立起一套能够初步覆盖本国重点区域的弹道导弹防御系统。该系统的核心部分主要由“爱国者”PAC-3导弹系统和“标准”-3型导弹系统两部分组成,计划耗资2000亿日元、时间早已进人2008年了,时至今日,人们不难发现,主要由以“宙斯盾”驱逐舰为核心的海基高层导弹拦截系统和以“爱国者”PAC-3型导弹为核心的陆基低层导弹拦截系统构成的日本弹道导弹防御系统,已按计划基本成型,并且正在逐步向实战化迈进。