時間オートマトンによるフェースディスプレイの上位設計と形式的検証
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,コンピュータを利用した教育支援システムに対して,学生の学習意欲の向上を目的としたフェースディスプレイを開発している.フェースディスプレイとは,教育支援システムに同期して表情アニメーションを実行するものである.はじめに,フェースディスプレイと教育支援システムのモデルを,それぞれ時間オートマトンによって構築している.この際,フェースディスプレイのモデルである時間オートマトンのサイズを小さくするための工夫として,顔画像をショットと呼ぶグループに分割している.つぎに,CTL (Computation Tree Logic) 時相理論に基づくモデル検証ツールである Uppaal を用いて,二つの時間オートマトンを並列合成したステム全体の到達可能性,安全性,および,活性を確認している.最後に,フェースディスプレイと教育支援システムを,Java により並行プログラムとして実装している.
- 一般社団法人情報処理学会の論文
- 2010-02-25
著者
関連論文
- 分散オブジェクト技術によるプログラムのπ計算への変換
- 研究室配属プログラムの開発と運用
- RA-005 Ambient Calculusによる物流システム記述に対するモデル検査(モデル・アルゴリズム・プログラミング,査読付き論文)
- ペナルティ関数法によるSAWフィルタのロバスト最適設計
- 時間オートマトンによるフェースディスプレイの上位設計と形式的検証
- 複数のロバスト仕様をみたすPID制御器の設計
- ロボットの動的制御における計算の並列化問題に対する最適化および準最適化アルゴリズム
- 非凸多角形区間演算とそのインプリメント
- 最適化コンパイラによるロボット制御プログラムの開発
- ある種のマルチDSPシステムにおける多目的最適化問題に対する分枝限定法の適用
- Differential EvolutionによるSAWフィルタの多目的最適設計
- 距離に基づく生存選択を用いた Differential Evolution の構成法
- 連続世代モデルに基づく微分進化法の分散分析による比較研究
- 微分進化法における連続世代モデルの提案と分散分析による評価
- 5P-3 大規模最適化問題に対する適応的Free&Freeze法(進化的計算とバイオインフォマティクス,学生セッション,ソフトウェア科学・工学)
- 微分進化法による平衡型SAWフィルタの最適設計
- ユーザ教示とデータ通信によるQ-table生成機構を有するユビキタスQ学習エンジンの実装(ユビキタスコンピューティング,マルチメディア,分散,協調とモバイル(DICOMO2006))
- 遺伝的アルゴリズムによるSAWフィルタの多目的最適設計
- 遺伝的局所探索法によるSAWフィルタの多目的最適設計
- DMSフィルタの大規模な設計問題に対する適応的 Free&Freeze 法
- タグチメソッドと遺伝的局所探索法による共振器型SAWフィルタのロバスト最適設計
- アフォーダンス理論による人工技能への接近 : 記憶と身体性
- 315 弾性表面波フィルタのロバスト最適設計
- 315 弾性表面波フィルタのロバスト最適設計
- 可変近傍探索法による三電極SAWフィルタの最適化設計
- アフォーダンス理論に基づく知能ロボットの創発 : 身体の形状と環境
- 手先コンプライアンスを考慮した冗長アームの最適姿勢問題とその区間解析による解法
- 今西進化論に基づく遺伝アルゴリズムによるモジュール配置問題の多様な最適解の探索
- 今西進化論に基づく遺伝アルゴリズムによる多様なパレート最適解の抽出法 - 多目的資源分割問題を実例として -
- 高速区間二分法による非線形方程式の全解探索とロボットアームの逆運動学問題への適用
- 時間オートマトンによるフェースディスプレイの上位設計と形式的検証
- 連続世代モデルに基づく微分進化法の分散分析による比較研究
- Ambient計算に基づく動的な海上物流の監視システム
- 遺伝的アルゴリズムとアフォーダンスを用いた知能ロボットの創発
- 距離に基づく遺伝アルゴリズムの構築法 -表現型の距離と調和交叉法-
- 巡回セールスマン問題に対する遺伝的アルゴリズムの構成法 : 表現型の距離と調和交叉法
- 物流システムに対するAmbient Logicモデル検査システム
- 物流システムに対する Ambient Logic モデル検査システム
- 物流システムに対するAmbient Logicモデル検査システム
- 物流システムに対するAmbient Logicモデル検査システム
- 3M-7 Ambient Calculusを用いる物流検査システムの実装(数理モデルと問題解決,学生セッション,ソフトウェア科学・工学)
- A-032 分散オブジェクトからπ計算プロセスへの変換系(A分野:モデル・アルゴリズム・プログラミング)
- Ambient Calculusを用いた物流検査システム
- A-015 動的な接続関係を持つJavaプログラムの一記述法とπ計算への変換(A分野:モデル・アルゴリズム・プログラミング)
- D-1-12 Javaオブジェクトからπ計算プロセスへの変換について(D-1. コンピュテーション, 情報・システム1)
- Differential Evolution によるSAWフィルタの多目的最適設計
- Java分散オブジェクトからπ計算プロセスへの変換系
- ロボットの逆動力学計算に対する最適化システム
- ロボット制御則の並列化問題に対する遺伝アルゴリズムの適用
- ロボット制御則の並列化問題に対する重み付きエッジ交叉法
- 多角形区間演算を用いたゲイン余裕の算出
- ある種のマルチDSPシステムのスケジューリング問題に対する最適化アルゴリズム
- ロボットの動的制御における計算の並列化アルゴリズムとオブジェクト指向による実現
- SA-1-8 多角形区間演算を用いたロバスト制御系の解析・設計(SA-1. 区間演算の工学的応用,シンポジウム)
- ハイブリッドシミュレータを用いたδ差分実現によるEMM制御系の評価
- 遺伝アルゴリズムを枠組としたメタ戦略の構築法-グラフ彩色問題を実例として-
- 操作力を考慮した人工腕の最適姿勢問題と区間解析による大域的最適化
- ロボット制御則の並列処理におけるタスクの自動生成手法 -数式の代数的変換による並列化-
- 並列差分進化計算の比較研究
- 遺伝的アルゴリズムを用いた拡張論理プログラムの学習 (テーマ:「インターネットとAI」及び一般)
- マルチDSPシステムによるスループット時間が最短であるディジタル制御器の実現
- Ambient CalculusのJavaによる処理系の実装
- 物流システム記述のための多重Ambient Calculus (プログラミング Vol.5 No.2)
- 多重Ambient Calculusによる物流記述に対する弱双模倣等価性を用いたモデル検査 (プログラミング Vol.5 No.3)