| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
システム数理と応用研究会 (MSS) (検索条件: 2008年度)
「from:2008-06-02 to:2008-06-02」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2008-06-02 10:40 |
愛知 | 名古屋大学野依記念学術交流館 | ツリートポロジーに基づく並列遺伝アルゴリズムの多様性の実験評価 ○宮城隼人・名嘉村盛和（琉球大）  CST2008-1 |
本稿では，並列遺伝アルゴリズムの一つである「ツリートポロジーに基づくマイグレーション付き並列遺伝アルゴリズム」におけるマ... [more] | CST2008-1 pp.1-6 |
| MSS | 2008-06-02 13:00 |
愛知 | 名古屋大学野依記念学術交流館 | ［招待講演］離散状態の流体化 ○平石邦彦（北陸先端大） CST2008-2 |
状態空間爆発は離散状態をもつ大規模システムの検証において大きな障害となる．同一の規則に従って動作する多数のプロセスを流体... [more] | CST2008-2 pp.7-12 |
| MSS | 2008-06-02 14:00 |
愛知 | 名古屋大学野依記念学術交流館 | 待機電力を考慮した消費電力削減とQoS公平化とを実現するリソース配分法 ○寺田早百合・潮 俊光（阪大） CST2008-3 |
CPUアイドル状態において待機電力を消費していると仮定し，タスク集合の超周 期における平均消費電力削減と公平なQoSレ... [more] |
CST2008-3 pp.13-18 |
| MSS | 2008-06-02 14:25 |
愛知 | 名古屋大学野依記念学術交流館 | Mealyオートマトンを用いた離散事象システムのモデリング ○潮 俊光（阪大）・高井重昌（京都工繊大） CST2008-4 |
離散事象システムにおける論理的な制御手法として，スーパバイザ制御がある．スーパバイザは観測された事象列に対して生起を禁止... [more] | CST2008-4 pp.19-24 |
| MSS | 2008-06-03 10:50 |
愛知 | 名古屋大学野依記念学術交流館 | 述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法 駒形龍太・○森下 篤・山根 智（金沢大） CST2008-5 |
本論文では, まず確率時間オートマトンについて定義を行う. そして, その上での効率的な安全性検証手法を提案する. 提案... [more] | CST2008-5 pp.1-6 |
| MSS | 2008-06-03 11:15 |
愛知 | 名古屋大学野依記念学術交流館 | CSTソリューションコンペティション2007 ～ 評価実験の詳細報告 ～ ○宮本俊幸（阪大）・山口真悟（山口大）・内平直志（東芝）・葛 崎偉（山口大）・本位田真一（NII） CST2008-6 |
CST研究会では学生チームが企業から提供された課題に対して考案したソリューションを 競い合う「CSTソリューションコン... [more] |
CST2008-6 pp.7-12 |
| MSS | 2008-06-03 11:40 |
愛知 | 名古屋大学野依記念学術交流館 | WFネットの健全化問題の提案とProtocol継承を考慮した部分問題に対する一考察 ○池田 良・山口真悟・田中 稔（山口大） CST2008-7 |
[more] | CST2008-7 pp.13-18 |
| MSS | 2008-06-03 14:30 |
愛知 | 名古屋大学野依記念学術交流館 | 量子ペトリネットによる量子コンピュータのモデル化 ○伊藤慎祐・太田 淳・辻 孝吉（愛知県立大） CST2008-8 |
量子コンピュータは従来のコンピュータより高速であることが期待されているコンピュータである．その研究では様々な古典計算モデ... [more] | CST2008-8 pp.19-24 |
| MSS | 2008-06-03 14:55 |
愛知 | 名古屋大学野依記念学術交流館 | 手書き文字認識のための特徴グラフのマッチングアルゴリズムの提案 ○西田秀一・林 正紀・中田 充・葛 崎偉・吉村 誠（山口大） CST2008-9 |
本論文では，手書き文字認識に必要となる特徴グラフのマッチングアルゴリズムを提案する．特徴グラフとは，文字の構造を表現する... [more] | CST2008-9 pp.25-30 |
| MSS | 2008-06-03 15:20 |
愛知 | 名古屋大学野依記念学術交流館 | 強化学習に基づく時間付き離散事象システムのスーパバイザ制御 ○山崎達志（摂南大）・潮 俊光（阪大） CST2008-10 |
時間付き離散事象システムは，リアルタイムシステムのように，時間に関する制約を持つシステムの挙動を表現できる。本報告では，... [more] | CST2008-10 pp.31-36 |
| MSS | 2008-06-03 15:45 |
愛知 | 名古屋大学野依記念学術交流館 | 人格と民主主義の数理モデル ～ 善悪の数理的判断 ～ ○服部忠幸（非公開希望） CST2008-11 |
強化学習やマルコフ決定過程などの数理モデルを民主主義政治の理論として応用する者は少ない。そのまま使用すると過ちを齎すこと... [more] | CST2008-11 pp.37-42 |
[研究会発表申込システムのトップページに戻る]