| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
システム数理と応用研究会 (MSS) (検索条件: 2009年度)
「from:2010-01-21 to:2010-01-21」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2010-01-21 13:00 |
愛知 | 豊田中央研究所アクタスCホール | 検証モデリングの比較検討 ～ 組込みソフトウェアの事例 ～ ○中島 震（NII）・谷津弘一・野中 哲・佐原 伸（タオベアーズ）  CST2009-37 |
[more] | CST2009-37 pp.1-6 |
| MSS | 2010-01-21 13:25 |
愛知 | 豊田中央研究所アクタスCホール | 瞬時電源遮断機構を用いたマルチコアSoC向け省電力ソフトウェア実行環境 ○小野内雅文・十山圭介・野尻 徹・佐藤真琴（日立）・間瀬正啓・白子 準（早大）・佐藤未来子（東京農工大）・高田雅士・伊藤雅之（ルネサステクノロジ）・水野弘之（日立）・並木美太郎（東京農工大）・木村啓二・笠原博徳（早大） CST2009-38 |
8つのCPUコアを搭載するマルチコアSoC RP2と，自動並列化コンパイラOSCARを用いて，高い処理性能と省電力を両立... [more] | CST2009-38 pp.7-12 |
| MSS | 2010-01-21 13:50 |
愛知 | 豊田中央研究所アクタスCホール | 車載組込みシステム向けの要求分析手法 ○荒木円博（豊田中研）・田中 聡（トヨタ自動車） CST2009-39 |
エンジン制御などの車載組込みシステムをできるだけ少ない手戻りで開発する上で，システムが満たすべき要件の明確化（要求分析）... [more] | CST2009-39 pp.13-18 |
| MSS | 2010-01-21 15:00 |
愛知 | 豊田中央研究所アクタスCホール | プロセス代数CSPによるシーケンス図設計の詳細化と検証 ○海津智宏（北陸先端大）・磯部祥尚（産総研）・鈴木正人（北陸先端大） CST2009-40 |
ソフトウェアのモジュール構造の設計には，シーケンス図が用いられる場合が多い．本論文では，プロセス代数CSP を利用して，... [more] | CST2009-40 pp.19-24 |
| MSS | 2010-01-21 15:25 |
愛知 | 豊田中央研究所アクタスCホール | 省電力を考慮した市場モデルによるメニーコアプロセッサのコア配分 ○宮城拓人・山崎達志（摂南大） CST2009-41 |
現在，多数のコアを搭載したメニーコアプロセッサの開発が進んでいる．そこでは並列に動作する各タスク間で，適切に計算機資源を... [more] | CST2009-41 pp.25-30 |
| MSS | 2010-01-21 15:50 |
愛知 | 豊田中央研究所アクタスCホール | マルチバージョンタスクの最適バージョン決定問題に対する動的計画法に基づく近似解法 ○寺田早百合・潮 俊光（阪大） CST2009-42 |
組込み制御システムにおいて，そのジョブの実行遅延やジッタが大きくなると実行結果の性能が劣化する．タスクの相対的デッドライ... [more] | CST2009-42 pp.31-36 |
| MSS | 2010-01-21 16:15 |
愛知 | 豊田中央研究所アクタスCホール | 大規模分散組込みシステム向け仮想実行環境の開発 ～ 現状報告 ～ ○中本幸一（兵庫県立大）・藪内健二（オクトパス）・原 央哉・岸田貴成・阿部一晴（兵庫県立大）・尾崎辰典・北村 章（富士通テン） CST2009-43 |
車載システムやプロセス制御システムなど分散組込みシステムの規模と複雑さが増加している．さらにより環境に配慮した，もしくは... [more] | CST2009-43 pp.37-42 |
| MSS | 2010-01-21 17:00 |
愛知 | 豊田中央研究所アクタスCホール | ［招待講演］予防安全システム評価シミュレータSTREET ○町田貴史・安田浩志・小里明男・山田直之・岩瀬竜也・倉橋哲郎・森 博子・北岡広宣（豊田中研） CST2009-44 |
我々は車載型予防安全システムの効果検証を目的として安全システム評価シミュ レータSTREET(Safety ＆ Tra... [more] |
CST2009-44 pp.43-44 |
| MSS | 2010-01-22 09:10 |
愛知 | 豊田中央研究所アクタスCホール | Acyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングによる判定方法の提案 山口真悟・○濱野慎司・黒田祐樹・田中 稔（山口大） CST2009-45 |
ワークフロー管理とは仕事の流れをワークフローとして定義し，そのインスタンスを自動化することである． ワークフローには同... [more] |
CST2009-45 pp.45-48 |
| MSS | 2010-01-22 09:35 |
愛知 | 豊田中央研究所アクタスCホール | 離散事象システムにおける事象駆動制御とスケジュールベース制御の併用手法 ○萩原 雅・高橋宏治（東工大） CST2009-46 |
離散事象システムの制御には、適切な事象発生制御が必要である。従来用いられているスケジュールベース制御では、システムの一部... [more] | CST2009-46 pp.49-54 |
| MSS | 2010-01-22 10:00 |
愛知 | 豊田中央研究所アクタスCホール | 多種作業が複数混在するシステムにおける作業進捗制御の可視化のためのモデリング ○遠藤充泰・高橋宏治（東工大） CST2009-47 |
[more] | CST2009-47 pp.55-60 |
| MSS | 2010-01-22 10:45 |
愛知 | 豊田中央研究所アクタスCホール | 救急医療システムを対象としたカラーペトリネットシミュレーションモデルの提案と検討 ○富澤秀治・永井昌寛・太田 淳（愛知県立大） CST2009-48 |
大規模な社会システムとして大きな成果を上げてきた救急医療システムだが，近年では医師不足や患者数の増大により救急患者の迅速... [more] | CST2009-48 pp.61-66 |
| MSS | 2010-01-22 11:10 |
愛知 | 豊田中央研究所アクタスCホール | タスクの順序に基づくビジネスプロセスの検証方法の提案 ○村田大二郎・三部良太（日立）・磯部祥尚（産総研） CST2009-49 |
情報システムの上流設計情報の検証を目的として，複数の部分的なビジネスプロセス図を順序制約へ変換し，それらの無矛盾性や詳細... [more] | CST2009-49 pp.67-72 |
| MSS | 2010-01-22 11:35 |
愛知 | 豊田中央研究所アクタスCホール | Mariaを用いたマルチエージェントネットのモジュラー可達性解析 ○堀口恭太・宮本俊幸（阪大） CST2009-50 |
[more] | CST2009-50 pp.73-78 |
| MSS | 2010-01-22 13:00 |
愛知 | 豊田中央研究所アクタスCホール | 同形グラフの節点対応におけるカーネルセットの提案とその性質について ○浮田三晴・池田雄紀・葛 崎偉・中田 充（山口大） CST2009-51 |
本論文では，グラフに関する新たな概念であるカーネルセットを提案し，その性質について述べる．カーネルセットとは，グラフ$G... [more] | CST2009-51 pp.79-84 |
| MSS | 2010-01-22 13:25 |
愛知 | 豊田中央研究所アクタスCホール | 時間付き離散事象システムにおけるスーパバイザの存在条件の簡単化 ○野村雅司・高井重昌（阪大） CST2009-52 |
時間付き離散事象システムのスーパバイザ制御において，スーパバイザは，与えられた制御仕様が満足されるように，その生起を許容... [more] | CST2009-52 pp.85-89 |
| MSS | 2010-01-22 13:50 |
愛知 | 豊田中央研究所アクタスCホール | アクティビティ図によるコレオグラフィ実現に関する研究 ○赤松賢治（阪大）・藤井 拓（オージス総研）・宮本俊幸（阪大） CST2009-53 |
[more] | CST2009-53 pp.91-96 |
[研究会発表申込システムのトップページに戻る]