シャフト制御器最適化によるMCE制御について(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
今年度コンペティションでは群制御器とシャフト制御器の開発が認められている.このうち群制御器は前回までにおける唯一の開発対象であり,シャフト制御器は今回から開発対象となった部分である.そこで本稿ではこのシャフト制御器に着目し,シャフト制御器の最適化によって平均サービス完了時間の短縮を試みる.
- 2011-01-13
著者
関連論文
- A-12-3 UMLステートマシンの有界モデル検査における同期遷移の記号表現方法の一考察(A-12.コンカレント工学,一般セッション)
- A-12-1 UMLコミュニケーション図からUML状態機械図の自動生成をペトリネットの可達空間を展開せずに行う手法について(A-12.コンカレント工学,一般セッション)
- T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について(グラフ,ペトリネット,ニューラルネット及び一般)
- T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について(グラフ,べトリネット,ニューラルネット及び一般)
- 同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査における記号表現方法の一考察(グラフ,ペトリネット,ニューラルネット及び一般)
- 同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査における記号表現方法の一考察(グラフ,べトリネット,ニューラルネット及び一般)
- シャフト制御器最適化によるMCE制御について(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察 (システム数理と応用)
- SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察 (ソフトウェアサイエンス)
- cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について (システム数理と応用)
- cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について (ソフトウェアサイエンス)
- SOAに基づくシステムの設計検証のためのUMLサブセット (回路とシステム)
- SOAに基づくシステムの設計検証のためのUMLサブセット (システム数理と応用)
- SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察
- SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察
- SOAに基づくシステムの設計検証のためのUMLサブセット(グラフ,ペトリネット,ニューラルネット,及び一般)
- SOAに基づくシステムの設計検証のためのUMLサブセット(グラフ,ペトリネット,ニューラルネット,及び一般)
- cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について
- cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について
- cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について
- SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察
- cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について
- SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察
- SOAに基づくシステムの設計検証のためのUMLサブセット