工学类情报工学系.pptVIP

電子?情報工学系　外部評価資料 研究８分野の紹介 数理情報工学 知能ソフトウェア ソフトウェアシステム 計算機工学 メディア工学 知能情報工学 電子情報システム リスク工学 数理情報工学分野 数理情報工学の方向性 CONTINUOUS MEDIA 　　北川(高)教授（メディア情報検索）、蔡助教授（ビジュアリゼーション）、 徳永助教授（フラクタル画像符号化） ? 非適切問題 ? 逆問題、精度保証、複雑系 　　　北川(高)教授（積分方程式、解の安定性）、久野助教授（非線形非凸計画問題、解の一意性）、 　　　　　徳永助教授（分岐問題、現象の存在）、櫻井助教授（精度保証、解の存在）、 　　　　　　　河辺講師（ハイブリッドシステムの制御系） ?　 大規模線形?非線形系 ? シミュレーション、並列計算 　　名取教授、伊藤助手（大規模線形系?固有値問題）、櫻井助教授（大規模非線形系） 　　 　　コールジェームズ助教授（非線形系シミュレーション）、蔡助教授（並列計算） 　　　 ナノテクノロジー、バイオテクノロジーへの応用 　コールジェームズ助教授（フォトニック結晶の光伝播）、 　　　　坂本直人教授（生体化学反応） 知能ソフトウェア分野 記号計算グループ 井田哲雄教授 Aart　Middeldorp助教授　南出靖彦講師 山田俊行助手 ソフトウェアシステム分野概要 オペレーティングシステム 言語処理系 データベースシステム ソフトウェア工学 オペレーションズリサーチ（システム評価） キーワード：分散コンピューティング、モバイルコンピューティング、並列コンピューティング、セキュアコンピューティング、異種情報源統合、高次元データ検索 オペレーティングシステムとシステムソフトウェア研究室加藤和彦，松原克弥 オープンネットワークの基盤システムソフトウェア モバイルオブジェクトシステムPlanet メディア工学分野 映像メディア研究室　：　齋藤恒雄　教授 3D digital imaging and modeling ３次元イメージング ３次元形状モデリング ウェーブレット符号化 PDMディジタルニューラルネットワークシステム(平井) ニューロン数：1000 内部電位精度：12ビット シナプス数：100万(1000x1000) 結合係数精度：7ビット 入出力表現：パルス密度方式 ディジタル回路，ゲートアレイ 動作方程式：非線形1次微分方程式 1000次元並列?連続時間動作 動作速度 ワークステーションの1万倍 インターネットを介して利用可能 http://www.viplab.is.tsukuba.ac.jp 電子情報システム分野の研究グループ 電子回路?電波?光波 電子回路研究室（石橋研究室） 石橋 幸男 教授 マイクロ波制御研究室 平澤 一紘 教授 レーザ工学研究室 根本 承次郎 教授 電子情報システムグループ 　飛行機、自動車などの高速移動物体に取り付けるスロットアンテナの特性解析プログラムを開発した。 　このプログラムの特徴は、(1)スロットの裏側に矩形キャビティが付いており、スロット形状とキャビティの大きさの影響を厳密に考慮した特性計算ができること、(2)任意に折れ曲がった形状のスロットアンテナの特性計算ができることの2つである。 　現在は、この計算プログラムを用いて、広帯域周波数特性を持つスロットアンテナの研究を行っている(科研(基盤C))。 更多资源 * * By D. 複雑系?カオス　 徳永隆治助教授 生命数理情報 坂本直人教授 HPC大規模線形系　　　名取亮教授、伊藤祥司助手 非線形方程式系　　　　 櫻井鉄也助教授 メディア情報システム 　北川高嗣教授 　　　　　　ビジュアリゼーション　蔡東生助教授 　　　　　　シミュレーション　　 コールジェームズ助教授 　　　最適化問題?数理計画 久野誉人助教授 　　　システム制御理論 　　 河辺徹講師 By D. ソフトウェア基礎 インタラクティブシステム 記号計算 研究グループ プログラム 論理研究室 計算知能 研究グループ インタラクティブ プログラミング 研究室 知能ロボット 研究室 計算モデル プログラミング 言語 検証 GUI ３D ロボット インタラクティブ システム 宣言型言語 計算のモデル 停止性 関数論理型言語 関数型言語 項書換え系 ラムダ計算 プログラム変換 ナローイング計算系 厳密なソフトウエア 新しい計算モデル 新しい言語機能 モデルチェッキング Object repository Unload Load Site A Thread Object