福井大学 大学院工学研究科 情報・メディア工学専攻
(English)
メール: dsksh(a)u-fukui(d)ac(d)jp
〒910-8507 福井市文京3-9-1 (工学系3号館 506・510号室)
アクセス情報 キャンパスマップ
電話: 0776-27-8773 (学内用内線: 4381)
メンバー
教員
博士前期課程1年生
- 泉 翔太
- 井上 晃輔
- 香椎 蓮司
- 藤井 采人
- 藪 智仁
学部4年生
- 北出 和正
- 野村 亮太
- 八田 竜起
- 深川 慎介
- 村上 椋星
OB
研究内容
背景: サイバーフィジカルシステム
- 物理環境と強く結びついた情報システム (入力: センサ、出力: アクチュエータ)
- 例: 自動車、飛行機、ロボット、家、医療機器、発電所
課題: 高信頼なCPS開発のための技術が必要
- 問題の記述 (モデリング) 方法がわからない (例: ドライバーやエンジンと連動した車載プレーキ制御プログラム)
- モデルと実装のギャップが大きい (例: 運動方程式 <==> 数値計算のCプログラム)
- 実装の信頼性を高めたい (例: 車載プログラムのバグによる交通事故)
研究内容1: ハイブリッドシステムを扱うための技術
- 専用プログラミング言語
- 区間計算によるシミュレーション
- 検証技術
研究内容2: 数値制約プログラミング技術
- 区間計算を用いた制約ソルバー
- 制約ソルバーの大規模並列化
- ロボットの稼働空間解析への応用
|