• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Knowledge-Based and Intelligent Information and Engineering Systems >A declarative approach for AGVs modeling and cyclic scheduling
【24h】

A declarative approach for AGVs modeling and cyclic scheduling

机译：AGVS建模和循环调度的声明方法

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper, we deal with the cyclic scheduling problem usually observed in the FMS producing multi-type parts where the AGVS plays a role of a material handling system. Finding the conditions guaranteeing the AGVs deadlock- free and collision-free movement policy is the aim of this work. The AGVs co-sharing the common parts of the transportation route while executing repetitive processes, i.e. being assigned to AGVs passing along machines in a cyclic way, can be modeled in terms of Cyclic Concurrent Process Systems (CCPS). Schedulability analysis for a given CCPS answers the question whether a cyclic schedule exists or not. The paper suggests a novel approach for schedulability analysis employing the declarative modeling. The sufficient conditions guaranteeing CCPS schedulability are discussed and the recursive approach to their designing is proposed.
机译：在本文中，我们处理通常在产生多型部件的FMS中观察到的循环调度问题，其中AGVS发挥物料处理系统的作用。找到保证AGVS僵局和自由碰撞运动政策的条件是这项工作的目标。在执行重复过程的同时共共享运输路线的公共部分的AGV，即被分配给以循环方式传递机器的AGV，就可以根据循环并行过程系统（CCP）来建模。给定CCP的调度分析回答了循环计划是否存在的问题。本文建议采用声明建模的调度性分析新方法。讨论了保证CCP调度性的充分条件，提出了其设计的递归方法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号