・題 目：

艤装工場における車両配置替え計画手法

・著 者：

○長尾陽一・中野信一・星野明史・金田靖史（川崎重工）

  ・喜多敏幸・岡本正和（川重テクノ）

・選定理由：

車両工場における車両繰り替えスケジュールを有向グラフでモデル化しGA を用いて準最適解を得ている． 熟練技術者によるスケジュールと同等のものをPCで短時間で得られる点で有効性を特に高く評価する．数理システムに即し， かつ，現状の問題に合致した応用を紹介したこと,およびそれを有効グラフのモデル化とGA による最適化を使って， 実用的な結果を得られたという数理的な知見が表彰に値すると判断した． さらに，短時間で熟練者並みの解を得るという問題設定，数理的な解法を図示によりわかりやすく説明した上で，計算機実験による 評価を行っており，論文の表現，構成としても高く評価できる．

詳しくは，Fundamentals Review, Vol.4, No.1掲載のESSニュースをご覧ください．

題目

時間付き離散事象システムにおける分散スーパバイザ制御

著者

野村雅司・高井重昌（阪大）

選定理由

離散事象システムを仮想クロックで拡張した時間付き離散事象システムにおける分散スーパバイザ制御は，今後の分散システムの設計などにおいて重要なテーマである．本論文では，事象の生起を強制するか否かに関して，複数のローカルスーパバイザの判断をANDルールもしくはORルールで統合した場合の，時間付き離散事象システムの分散スーパバイザ制御について考察し，ANDルールを用いた場合とORルールを用いた場合とでは，分散スーパバイザが存在する言語のクラスがことなることを明らかにしている．また，それぞれの場合について，制御仕様が満足されるような分散スーパバイザの存在条件を導出している．関連研究のレビューがしっかりと記述され，ANDルールとORルールの場合の存在条件を示したことには新規性が認められる．また，提案した定理の証明も厳密になされており，信頼性があると判断できる．