| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| VLD, CAS, MSS, SIP (共催) |
2012-07-03 15:00 |
京都 | 京都リサーチパーク | 混合整数計画問題を用いたマルチカーエレベータのかご制御と割り当て問題に関する研究 ○峰岸達矢・宮本俊幸（阪大）  CAS2012-25 VLD2012-35 SIP2012-57 MSS2012-25 |
高層ビルの建設が進むにつれて，より多くの人員を早く輸送する要求が高まっている． しかし，そのためにエレベータシャフト数... [more] |
CAS2012-25 VLD2012-35 SIP2012-57 MSS2012-25 pp.133-138 |
| SS, MSS (共催) |
2012-01-26 11:45 |
高知 | 高知市文化プラザかるぽーと | SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察 ○新村勇人・宮本俊幸（阪大） MSS2011-58 SS2011-43 |
近年，記号モデル検査\cite{SMC}の有効な手法として命題論理式の充足可能性問題 (satisfiability，S... [more] | MSS2011-58 SS2011-43 pp.21-26 |
| SS, MSS (共催) |
2012-01-26 13:15 |
高知 | 高知市文化プラザかるぽーと | cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について ○長谷川泰央・宮本俊幸（阪大） MSS2011-59 SS2011-44 |
情報システムを開発する際サービスと呼ばれるシステムの部品単位を組み合わせ，要求仕様を実現する方法論をサービス指向アーキテ... [more] | MSS2011-59 SS2011-44 pp.27-32 |
| CAS, MSS (共催) |
2011-11-18 11:40 |
山口 | 山口大学大学会館 | SOAに基づくシステムの設計検証のためのUMLサブセット ○長谷川泰央・新村勇人・宮本俊幸（阪大） CAS2011-79 MSS2011-48 |
短期間で情報システムを構築可能なアーキテクチャとしてSOA が注目されている．SOA に基づくシステム開発の効率化のため... [more] | CAS2011-79 MSS2011-48 pp.89-94 |
| MSS | 2011-01-20 09:35 |
山口 | 海峡メッセ下関 | CSTソリューションコンペティション2010 ～ マルチカーエレベータの最適制御 ～ ○中村正樹（金沢大）・山崎達志（摂南大）・山口真悟（山口大）・宮本俊幸（阪大）・内平直志（東芝） CST2010-57 |
[more] | CST2010-57 pp.1-4 |
| MSS | 2011-01-20 13:20 |
山口 | 海峡メッセ下関 | Reinforcement Learning with Conditioned Rule Updating to Prevent Conflicts during the Allocation of Tasks ○Alex Valdivielso・Toshiyuki Miyamoto（Osaka Univ.） CST2010-65 |
[more] | CST2010-65 pp.33-38 |
| MSS, CAS (共催) |
2010-11-18 14:55 |
大阪 | 関西大学 | T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について ○長谷川泰央・宮本俊幸（阪大） CAS2010-72 CST2010-45 |
情報システムを開発する際サービスと呼ばれるシステムの部品単位を組み合わせ，要求仕様を実現する方法論をサービス指向アーキテ... [more] | CAS2010-72 CST2010-45 pp.41-46 |
| MSS, CAS (共催) |
2010-11-19 15:20 |
大阪 | 関西大学 | 同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査における記号表現方法の一考察 ○新村勇人・宮本俊幸（阪大） CAS2010-80 CST2010-53 |
近年，記号モデル検査の一手法として命題論理式の充足可能性問題(satisfiability，SAT)を利用する有界モデル... [more] | CAS2010-80 CST2010-53 pp.83-88 |
| MSS | 2010-01-22 11:35 |
愛知 | 豊田中央研究所アクタスCホール | Mariaを用いたマルチエージェントネットのモジュラー可達性解析 ○堀口恭太・宮本俊幸（阪大） CST2009-50 |
[more] | CST2009-50 pp.73-78 |
| MSS | 2010-01-22 13:50 |
愛知 | 豊田中央研究所アクタスCホール | アクティビティ図によるコレオグラフィ実現に関する研究 ○赤松賢治（阪大）・藤井 拓（オージス総研）・宮本俊幸（阪大） CST2009-53 |
[more] | CST2009-53 pp.91-96 |
| MSS, CAS (共催) |
2009-11-27 16:40 |
愛知 | 名古屋大学 | ペトリネットを用いたコレオグラフィ実現について ○宮本俊幸（阪大）・藤井 拓（オージス総研） CAS2009-62 CST2009-35 |
複数のWebサービス間で実行される連携フロー定義はコレオグラフィと呼ばれる． コレオグラフィ実現問題とはコレオグラフィ... [more] |
CAS2009-62 CST2009-35 pp.99-104 |
| MSS | 2009-06-04 10:25 |
大阪 | 摂南大学大阪センター | モジュラーペトリネットを用いたマルチエージェントネットの可達性解析について ○堀口恭太・宮本俊幸（阪大） CST2009-6 |
マルチエージェントネットはマルチエージェントシステムの形式的なモデル記述言語である． また，複数モジュールにより離散事... [more] |
CST2009-6 pp.31-36 |
| MSS | 2009-06-04 15:40 |
大阪 | 摂南大学大阪センター | CSTソリューションコンペティション2007及び2008の総括 ○山口真悟（山口大）・宮本俊幸（阪大）・内平直志（東芝）・葛 崎偉（山口大）・本位田真一（NII） CST2009-11 |
CSTソリューションコンペティションはCST研究専門委員会が主催する産学協働の 学生向けコンペ事業である．本稿では同コ... [more] |
CST2009-11 pp.59-64 |
| MSS | 2009-01-29 17:25 |
神奈川 | 神奈川県産業振興センター会議室(第一会議室) | 秘密分散共有法を用いた分散データベースシステムの設計及び実装 ○水上翔太・宮本俊幸（阪大） CST2008-50 |
近年，個人情報の漏えい事故が多発しており，データベースセキュリティに対す る注目が高まっている. 分散データベースは... [more] |
CST2008-50 pp.51-56 |
| CAS, MSS (共催) |
2008-11-06 15:45 |
大阪 | 大阪大学 | MCEの群管理制御:スケジュール完了時間の最適化,スケジュール方向の同期化及びパーキング戦略を適用したアルゴリズム ○バルディヴィエルソ アレックス・宮本俊幸（阪大） CAS2008-49 CST2008-27 |
[more] | CAS2008-49 CST2008-27 pp.25-30 |
| CAS, MSS (共催) |
2008-11-07 10:35 |
大阪 | 大阪大学 | ペトリネットを用いたコミュニケーション図からステートマシン図の自動生成について ○宮本俊幸・倉畑宏行（阪大）・藤井 拓・細川亮二（オージス総研） CAS2008-54 CST2008-32 |
[more] | CAS2008-54 CST2008-32 pp.53-58 |
| MSS | 2008-06-03 11:15 |
愛知 | 名古屋大学野依記念学術交流館 | CSTソリューションコンペティション2007 ～ 評価実験の詳細報告 ～ ○宮本俊幸（阪大）・山口真悟（山口大）・内平直志（東芝）・葛 崎偉（山口大）・本位田真一（NII） CST2008-6 |
CST研究会では学生チームが企業から提供された課題に対して考案したソリューションを 競い合う「CSTソリューションコン... [more] |
CST2008-6 pp.7-12 |
| MSS | 2008-01-28 10:40 |
徳島 | 徳島大学 | Multi-Car Elevator Group Controller: Implementation of a Schedule Completion Time Optimization Algorithm with a Parking Strategy for Service Coverage Protection ○Alex Valdivielso・Toshiyuki Miyamoto・Sadatoshi Kumagai（Osaka Univ.） CST2007-36 |
MCE システムにはかご同士の衝突を回避する必要性など，さまざまな制約があるため，従来のエレベーターの群管理制御法を単純... [more] | CST2007-36 pp.7-12 |
| MSS | 2008-01-29 13:55 |
徳島 | 徳島大学 | Safety Critical Systemに対する強化学習適用に関する検討 ○藤原真一・宮本俊幸・熊谷貞俊（阪大） CST2007-53 |
マルチエージェント環境における，自律的な協調行動獲得の枠組みとして強化学習が注目されている． 強化学習は試行錯誤や知識... [more] |
CST2007-53 pp.41-46 |
| MSS, CAS (共催) |
2007-11-30 09:30 |
新潟 | 新潟大学自然科学研究科 | 秘密分散共有法を用いた分散データベースシステムのマルチエージェントネットによる実現について ○水上翔太・宮本俊幸・熊谷貞俊（阪大） CAS2007-73 CST2007-24 |
近年，データベースシステムで扱うデータの量や種類の増加により， 分散データベースシステムの必要性が増大している．また，... [more] |
CAS2007-73 CST2007-24 pp.1-6 |
[研究会発表申込システムのトップページに戻る]