サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 記事・論文

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

高塚 佳代子,冨田 重幸

詳細情報

タイトル 複数ジョブをもつ離散型並列生産システムのための動作モデルの提案 : バッチ式化学プラントの動作検証への適用
著者 高塚 佳代子
著者 冨田 重幸
出版年 2013-10
別タイトル A Formal Behavior Model for Discrete Production Systems with Parallel Operation of Multiple Jobs : Application to Verification of Chemical Batch Plant Operation
件名(キーワード) discrete event system
件名(キーワード) behavior model
件名(キーワード) verification
件名(キーワード) chemical batch plant
件名(キーワード) model-checking-method
対象利用者 一般
資料の種別 記事・論文
掲載誌情報(ISSN形式) 04534654
掲載誌情報(ISSNL形式) 04534654
掲載誌情報(URI形式) http://iss.ndl.go.jp/books/R100000002-I000000006577-00
掲載誌名 計測自動制御学会論文集
掲載巻 49
掲載号 10
掲載ページ 901-910
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで