研究概要 |
本研究の初年度に当り, まず複数トランジションの同時逐次詳細化によるシステムのトップダウン設計なちびにネットモジュールの複合によるボトムアップ設計の基礎研究を行い,各階層モデルでの有界性・活性の保存性についての条件を導出した. これらの知見はフレキシブル生産システムの階層表現における, 解析・検証に対する新らしい手法を提供するものである. つぎに, 並行システムでの各構成要素間の動作の並行性に対する定量的な尺度を定義し, これを評価する手法に関し従来の同期距離の概念との関係も含めて考察し基礎的知見を得た. この知見は有限資源の特定要素による独占排除や資源の有効配置問題に適用することができる. また, 並行分散システムでの周期動作ならびに過渡状態に対する新しい概念を導入し, その評価方法を与えた. これはシステムの復旧動作・異常検出に適用することができる. 最後に, 既に開発済の並行システムシミュレータPCSSの機能を拡充するにめに解析ツールの開発・搭載を行うことを試み, システムの構造解析を行う際に不可欠のインバリアントの検出プログラムならびに有界性,活性判定アルブリスム, 周期, 過渡応答時間の見積り評価プログラム等を完成し搭載が行われた. また, 生産システムの設備制約をネットモデル陽に表現し, その競合状態をタイムペトリネット上で検出し, 最適スケジューリングを行う有効な方法を開発し, PCSSに搭載された. 以上により, 当初計画の大部分が予定通り達成され次年度への発展が期待される.
|