| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
システム数理と応用研究会 (MSS) (検索条件: 2009年度)
「from:2009-06-03 to:2009-06-03」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2009-06-03 10:40 |
大阪 | 摂南大学大阪センター | 部分観測下での最悪ケースを考慮したスーパバイザの強化学習 ○梶原弘治・山崎達志（摂南大）  CST2009-1 |
著者らはこれまでに，最悪ケースを考慮したスーパバイザ(制御器)を強化学習により設計する手法を提案している． しかし，現... [more] |
CST2009-1 pp.1-6 |
| MSS | 2009-06-03 14:00 |
大阪 | 摂南大学大阪センター | 空間の概念を持つコスト付き確率時間オートマトンの提案とセンサーネットワークへの適用 ○鎌澤浩司・山根 智（金沢大） CST2009-2 |
近年, 無線センサネットワークがさまざまな分野において注目を集めている. しかし, 無線センサネットワークには送信範囲や... [more] | CST2009-2 pp.7-12 |
| MSS | 2009-06-03 14:25 |
大阪 | 摂南大学大阪センター | CPUと動的再構成可能プロセッサとの協調システムのモデル検査 ○南 翔太・瀧内新悟・瀬古口 智・山根 智（金沢大） CST2009-3 |
CPUとDRPが協調動作するような動的再構成可能組込みシステムのモデル化，仕様記述とモデル検査手法を提案する．プリエンプ... [more] | CST2009-3 pp.13-18 |
| MSS | 2009-06-03 14:50 |
大阪 | 摂南大学大阪センター | SAT and SMT Based Model Checking of Concurrent Systems ○Tatsuhiro Tsuchiya・Tohru Kikuno（Osaka Univ.） CST2009-4 |
SATやSMTを用いたモデル検査について議論する．この種のモデル検査手法では，検証問題を論理式の充足可能性判定問題に帰着... [more] | CST2009-4 pp.19-23 |
| MSS | 2009-06-03 16:50 |
大阪 | 摂南大学大阪センター | ［招待講演］確率時間CEGAR ○森下 篤・駒形龍太・山根 智（金沢大） CST2009-5 |
本論文では, 確率時間オートマトンの到達可能性解析に述語抽象化とその精錬の枠組み（CEGAR）を適用する手法を提案する.... [more] | CST2009-5 pp.25-30 |
| MSS | 2009-06-04 10:25 |
大阪 | 摂南大学大阪センター | モジュラーペトリネットを用いたマルチエージェントネットの可達性解析について ○堀口恭太・宮本俊幸（阪大） CST2009-6 |
マルチエージェントネットはマルチエージェントシステムの形式的なモデル記述言語である． また，複数モジュールにより離散事... [more] |
CST2009-6 pp.31-36 |
| MSS | 2009-06-04 10:50 |
大阪 | 摂南大学大阪センター | 観測マスクをもつ離散事象システムにおける最大可制御オペイク部分言語の計算 依藤 梢（京都工繊大）・○高井重昌（阪大） CST2009-7 |
本稿では，形式言語に基づく枠組みにおいて，離散事象システムのオパシティを保証する最大許容スーパバイザの構成問題について考... [more] | CST2009-7 pp.37-41 |
| MSS | 2009-06-04 11:15 |
大阪 | 摂南大学大阪センター | 離散事象システムのモジュラ状態フィードバック制御に対する調停器設計 乾 翼・○潮 俊光（阪大）・足立正和・佐野範佳（豊田中研） CST2009-8 |
離散事象システムに対してモジュラ状態フィードバックの競合解消は重要である． 本報告では，調停器の性能を評価する指標とし... [more] |
CST2009-8 pp.43-48 |
| MSS | 2009-06-04 14:50 |
大阪 | 摂南大学大阪センター | アクションを共有するワークフローネットに対する振る舞い継承と健全性を満たす合成規則 ○渡辺悠生・山口真悟・池田 良・田中 稔（山口大） CST2009-9 |
[more] | CST2009-9 pp.49-52 |
| MSS | 2009-06-04 15:15 |
大阪 | 摂南大学大阪センター | 色つき量子ペトリネットによる量チューリング機械のモデル化と解析 ○伊藤慎祐・太田 淳・辻 孝吉（愛知県立大） CST2009-10 |
量子コンピュータは素因数分解などの発見から，現在のコンピュータよりも高速な処理が期待されている．一方で，コンカレントシス... [more] | CST2009-10 pp.53-58 |
| MSS | 2009-06-04 15:40 |
大阪 | 摂南大学大阪センター | CSTソリューションコンペティション2007及び2008の総括 ○山口真悟（山口大）・宮本俊幸（阪大）・内平直志（東芝）・葛 崎偉（山口大）・本位田真一（NII） CST2009-11 |
CSTソリューションコンペティションはCST研究専門委員会が主催する産学協働の 学生向けコンペ事業である．本稿では同コ... [more] |
CST2009-11 pp.59-64 |
[研究会発表申込システムのトップページに戻る]