...
首页> 外文期刊>計測自動制御学会論文集 >複数ジョブをもつ離散型並列生産システムのための動作モデルの提案-バッチ式化学プラントの動作検証への適用
【24h】

複数ジョブをもつ離散型並列生産システムのための動作モデルの提案-バッチ式化学プラントの動作検証への適用

机译:多次职位应用批量化工厂与运行验证的运行模式运行模型的建议

获取原文
获取原文并翻译 | 示例
           

摘要

本研究の目的は,“離散型並列生産システムの特徴的な動作”を明確に表現できる挙動表現モデルを開発することである.提案する挙動表現モデルは,既存の時間ステートチャート(TSC)の拡張であり,与えられた最適スケジュールに近い動作を実現するための事象駆動型の制御則および制御システムの設計や変更に活用できる.また,そこで与えた制御則の妥当性などの形式的検証も一定の範囲内で行なうことができる.これに関して本稿では,離散型並列生産システムの典型例として,現実規模のバッチ式化学プラントを取り上げ,提案したモデルを用いて,与えられた運転操作方法の安当性検証がラベリング法に基づいた形式的検証法の枠組の中で行なえることを示す.
机译:本研究的目的是开发一种可以清楚地表达“离散平行生产系统的特征行为”的行为模型。 所提出的行为表达式模型是现有时间状态图(TSC)的扩展,并且可用于设计和改变事件驱动的控制法和控制系统,以实现接近给定最佳时间表的操作。 此外,在某个范围内,还可以在某个范围内执行正式验证,例如给出的控制规则的有效性。 本文在本文中,作为离散平行生产系统的典型示例,将实际批量化学厂采用并使用所提出的模型,所以给定的操作方法的辅助验证是基于标记方法。表示它可以在验证方法的框架中完成。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号