2009年度(平成21年度)学位論文

卒業論文


氏 名 論文タイトル
福原 悠人複数の論理体系の組み合わせによる高位ハードウェア設計記述に対する近似的検証手法
赤江 直樹全方位カメラを用いた歩容認証におけるセンサ配置に関する検討
井上 裕之整数型の変数を持つ並行システムに対するSMTソルバを利用した有界モデル検査手法
岩井 卓也アトラクタ選択モデルを用いた誤差に耐性のあるカバレッジ制御手法の提案と評価
君家 一紀低消費電力無線通信方式のためのディジタル送受信回路の設計と評価
鎌田 祐司多チャンネル生体情報センシング用SoCのアーキテクチャ設計とその評価
貴戸 祥郎正直プレーヤが存在する合理的秘密分散のための高確率で公正となるプロトコル
窪田 峻(非公開)
澤田 龍太XMLスキーマ間の表現能力保存問題の決定可能性に関する研究
田村 駿介シミュレーションパターン集合のランダム拡張によるモニタカバレッジ改善手法
樽谷 優弥トラヒックエンジニアリングにおける収集情報量削減のための観測リンク選択手法の提案と評価
中川 智文充足可能性判定を用いたメッセージ・シーケンス図に対する実行順解析手法
中濱 浩二災害情報共有システム評価のための避難行動シミュレータ
難波 亨SATソルバを用いたペアワイズテスト生成手法の提案
藤澤 志寿加複眼全方位カメラを用いた視差検出
村田 謙介プロセッサ・コンパイラ同時生成のための命令ビヘイビア記述の提案
山本 恭平ソフトウェア開発プロジェクトに対する相関ルールマイニングを利用したリスク診断および改善案提示ツールの試作
バズラチャルヤ アヌーズ ラトゥナ無線センサ端末を用いた電子トリアージ向けデータ収集システムの実装
井下 智加(非公開)
ダムディンスレン チョルーンスレン受信端末駆動型無線マルチホップネットワークにおける残余電力に基づいた長寿命化手法の提案
富樫 祐二都市街路における排気ガス量の削減を目的とする車車間通信併用型リアルタイム信号制御手法の提案
樋口 雄大無線ノードの移動検出により誤差伝播および測位回数を抑制する協調型位置推定
戸田 桃子エネルギー効率の可視化を行う無線センサネットワーク向け分散アルゴリズムシミュレータ
秋山 茂樹構文の規則性を利用したパックラット構文解析の並列化
足利 えりか動画像中の仮想ゲート通過人数推定のためのオプティカルフロー抽出法
伊勢 悠輝障害物が電波伝搬に与える影響を考慮したIEEE 802.16j リレーネットワークの性能評価
上田 大介大量ゲノム配列断片を利用した構造変異検出手法
老田 健太郎事務および科学アプリケーションを同時実行するためのGPU向け協調マルチタスキング
岡田 啓佑大規模な金融データのためのモンテカルロ・シミュレータのGPU実装
鹿島 悠識別子の命名支援を目的とした動詞-目的語関係の辞書構築
金井 秀行遅延耐性ネットワークにおけるノード移動がポテンシャル経路制御に与える影響
川合慎治乱数生成器の故障時における自己安定トークン巡回アルゴリズムの解析
神田 裕士CUDAプログラムの性能を解析するための実行履歴生成ツール
小林 和貴ESC/Java2の反例出力を利用したJavaメソッド実行パス取得ツールの試作および評価
重藤 隆文IEEE 802.16j リレーネットワークにおけるノード位置の調整による通信性能の改善
関山 太朗既存ソフトウェア中の頻出コード片を用いたコード補完手法の提案
中山 智義免疫アルゴリズムを用いた遺伝子制御ネットワークのS-systemモデル推定手法
藤井 太一シミュレーション体験学習を実現する分散アルゴリズムの協調学習支援システムの構築
藤川 達也新規開発者のためのプログラム依存グラフ可視化によるソフトウェア理解支援手法の提案
堀田 圭佑ソースコード修正時におけるコードクローンの影響に関する調査- 複数の検出ツールを用いて -
政井 智雄Template Method パターン適用における類似メソッドの差分分離支援
松下 誠設計情報の再利用を目的としたUML図の自動推薦ツール
森島 茂貴全方位レンジセンサと作業者視点映像カメラを用いた遠隔協調作業支援システム
グエン カム リーTanimoto 係数を用いた類似化合物検索のクラスタリングによる高速化手法
大西 崇之レーザセンサと単眼カメラを用いた台車型3次元計測センサ
橋本 卓也正準相関分析を用いた化合物・タンパク質間の相互作用予測手法
藤原 由来タイルドディスプレイ用分散可視化アプリケーション同時遠隔操作モジュール
武藤 祐子クラス間関係を利用した単体テストおよび静的検査の網羅率可視化ツールの試作と評価

修士論文


氏 名 論文タイトル
東 誠データ競合を検出するための割込み自動生成
グエン ダタン三次元エッジ抽出法を用いた内視鏡映像における襞の追跡
伊藤 明彦時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析手法
伊藤 芳朗木構造の比較に基づくメソッド呼び出し履歴の変化の可視化手法
鵜久森 将隆ソフトウェアトレーサビリティ実現のためのソフトウェアタグ生成基盤システムの開発
大田 雄也高速動物体のワンショット高密度3次元計測
興津 佑輔複数GPUによる大規模ボリューム向けコーンビーム再構成の高速化
奥山 倫弘GPU向けの自動性能チューニング技術を用いた全点対最短経路長計算の高速化
片山 大河GPU向けメモリアクセスパターンを持つ高速なPET再構成
佐野 由希子オープンソースソフトウェアにおける重複コードと非重複コードの修正頻度計測とその比較
高田 篤史最小出力変化でトポロジ変化に適応する全域木構成分散アルゴリズム
田川 聖一全方位共焦点撮影に向けて
田中 健介ソフトウェア資源の機能整理を目的とした類似関数集合の検出
中井 亮Webサービスを対象としたチェックポイント・ロールバック方式による耐故障の実現とその評価
中村 哲彬類似性に基づく工数予測における予測回避プロジェクトの判別とその評価
西出 祐輔平行光ペアを用いた2回反射複眼全方位カメラの校正
馬場 大輔木ネットワークにおけるメモリ量最小なエージェント集合アルゴリズム
譜久島 亮リファクタリング作業中に生じるコンパイルエラーの自動解消手法
宮本 敬三アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出
宗像 聡プログラム動作理解支援を目的としたオブジェクトの振舞いの同値分割手法
宗川 裕馬タンパク質の相同性検索のために遊休GPUサイクルを活用する並列計算システム
森 敦史低フレームレート映像のための歩行周期に基づく位相同期による歩容認証
吉田 昌友プログラム動作の変更要因を特定するリファクタリング支援ツール
柳 慶吾データフロー情報を用いたソフトウェア部品利用例の抽出
赤井 和幸ラウンドモデルからの変換による非同期コンセンサスアルゴリズムの導出
アヌラグ アグラワルレンジデータのオブジェクトベースクラシフィケーション
岡本 潤也センサノードのための通信誤り訂正方式の消費電力量解析
門野 雅弥テストケース生成と時間オートマトンの検証に対するモデル検査の適用
近藤 兼弘カプセル型体内圧力測定システムのための小型低消費電力プロセッサへの誤り訂正符号方式の実装
繁田 浩功粒子ベース大規模ボリュームデータ可視化システムにおける局所観察のための三次元ユーザインタフェースの実装と評価
高村 達史非構造化P2Pシステムにおけるオーバーレイネットワーク構築プロトコルの評価とゴシップ型プロトコルの設計
竹田 夏木双曲面ハーフミラーを用いた頭部搭載型投影式ディスプレイのための投影画像の幾何・輝度補正手法
立石 昂裕単眼カメラとストローク入力を用いた\\三次元復元によるARジオラマシステム
田中 裕也OpenVG向きラスタライザのVLSIアーキテクチャの提案
中嶋 拓野マルチビューポートインタフェースにおける視点決定支援手法
西川 知宏マルチメディアコンテンツ動的再生制御のためのコンテキスト認識と位置情報クラスタリングを用いたスケジュール予測
濱松 雅単一多数決器を用いたカスケード式TMR及びWeighted Voting Systemの信頼度最適化手法の提案
南川 恭洋言語及びツールによる分散コンセンサスアルゴリズムのモデル検査支援
森井 亮介メソッド呼び出しに関する不具合修正におけるソースコード変更の分析
石井 倫太郎IEEE 802.16jマルチホップリレーネットワークにおける伝送遅延時間低減のためのタイムスロット割り当て手法
井上 貴博アトラクタ選択モデルを用いたMax-Min型の公平な帯域利用を実現するオーバレイマルチパス経路制御手法の提案と評価
大森 正也位置情報に基づきスロットの空き状況に適応して割り当てを行う車車間通信向けTDMAプロトコルの提案と評価
小笠 智康コミュニティ内のトラヒック局所性に関する研究 ― 分析およびサービスオーバレイネットワークにおける動的トポロジ再構成への応用 ―
奥村 治グラフ上のランダムウォークによる情報拡散の性質に関する考察
金本 淳志音声対話におけるエージェント発話行動の適応的調整
木山 昇無線センサーノード位置推定における相対位置の精度評価手法
楠田 純子MAC層遅延モデルを用いたMulti-Sink WSN向けの実時間データ収集プロトコル
栗山 さやか動画像中の人物の移動特性検出手法
小南 大智経路情報のソフトステート管理による受信端末駆動無線マルチホップネットワークのロバスト性
高橋 和也電子メールトリアージ支援のための受信者間の信頼情報を用いたメッセージの重要度推定手法
筒井 宣充WDMネットワークを用いたパス / パケット光統合網における動的波長割当手法の研究
アッサワルチャーノン ナランモバイルアドホックネットワークにおけるアトラクタ選択モデルに基づく適応的なルーティングプロトコル
西岡 孟朗大規模ネットワークシミュレーションに向けて - 異種のプロトコルが混在するネットワークのためのフローレベルシミュレータの設計と実装 -
橋本 匡史無線LAN環境におけるTCPフロー間の公平性改善のための輻輳制御手法
平山 孝弘べき則の性質を有するネットワークにおけるフィードバック型フロー制御に起因するパケット伝送遅延の評価
堀江 拓郎オーバレイネットワーキング技術を用いた複数障害からのプロアクティブ型回復手法
松田 一仁オーバレイルーティングによって増加する ISP 間トランジットコストの削減に関する研究
南本 真一無線端末の位置情報と通信情報を併用した地図生成手法の提案
村田 将一屋内センサネットワークにおけるシナリオ型仮説方式に基づくオブジェクト追跡手法の提案
村中 慎治CSMA/CA プロトコルを対象とした確率駆動シミュレーションモデルの提案
森 駿介ワイヤレスセンサネットワークアプリケーションの設計開発支援手法の提案と実装
森田 徳嗣流体近似モデルを用いたスケールフリーネットワークにおける TCP フローの解析
山本 宏パルス結合振動子モデルにもとづく段階的同期によるネットワーク間協調手法の提案
山田 大XMLスキーマ進化における文書変換効率化のためのスキーマ等価変換操作群の提案
大北 和也統計的フラジャイル電子透かしに対する改ざん画素の特定と復元
大野 遼平SAMLによるアイデンティティ連携におけるユーザ主導の属性解放ポリシ管理手法
小倉 達也XML文書集合の極大共通構造を表すXPath式の導出法及びその計算量
鈴木 斎輝UC/GUC安全性検証向け記号的モデルの提案
岸本 貴大活性サブクラスと部分構造の同時抽出による化合物データの活性予測手法
増田 和也第一階述語論理のサブクラスに対する近似的モデル検査アルゴリズム

博士論文


氏 名 論文タイトル
ミランダ ミランダ ミゲル没入型仮想環境におけるバンドヘルドデバイスを用いた三次元マジックレンズインタフィースの設定 実装および評価
瀬尾 淳哉生物情報解析におけるワークフローの検索手法と実行方式に関する研究
エリック M. ハイエン大規模な異種混在生体モデルの並列シミュレーションに関する研究

[ICS HOME]ICS Home Page へ