2005年度(平成17年度)学位論文

卒業論文


氏 名 論文タイトル
伊藤 隆浩固定優先度調停方式バスにおける転送優先度探索手法の提案と評価
阪井 拓郎注視点を考慮した腸管展開画像の適応的表示法
寺澤 雅樹ゴシップ型ブロードキャストのErasure符号を用いた性能向上に関する研究
朱 偉ASIPにおけるソースコードレベルでの実行時間および消費電力量の見積り手法の提案
井須 久美子車車間のアドホック通信に基づく危険車両検出プロトコルの提案
大橋 正稔波長予約に基づく高速光パス設定方式の実装と評価
紀本 眞テストフレームワークJUnitを用いたペアワイズテストの支援手法の提案
熊井 勝伸入力系列のカバレッジに着目したアサーションの評価手法
近堂 高広ベイズ識別器に基づくプロジェクトリスクのシミュレータの試作
清水 博章頂点ラベルがユニークなグラフ集合に対する多頻度類似部分グラフ探索アルゴリズム
城 武史命令のビヘイビア記述からのプロセッサ生成手法の提案
田口 雄己OSD復号法に基づく電子透かしの抽出における復号失敗を考慮した信頼性向上
竹内 翔動的局所変数を含むアサーションに対する限定モデルチェッキング
深町 司郎時間オートマトンのあるサブクラスに対するパラメトリック解析ツールの開発と実時間ソフトウェア解析への応用
西岡 潔郁複眼全方位センサを用いた装着型防犯アラームの開発
森本 卓爾いくつかのXPath問い合わせ処理手法の効率に関する比較実験と検討
八木 隆裕テスト効率に着目したテスト項目数の予測モデルの提案
横田 圭太周辺構造用いた正規化に基づく腹部臓器の統計アトラス構築
吉田 昌起署名文書の部分検証が可能な長期署名方式の提案
渡邉 孝文無線 LAN を用いた屋内における位置推定を目的とする無線基地局配置手法の提案
ファン アン ティ ラン2元線形符号の零隣接性とトレリス構造を利用した局所重み分布の計算法
木利 友一大規模センサネットワークにおけるクラスタ間マルチホップ通信の性能評価
武井 和也階層化複眼全方位画像を用いた接近物体検出
池田 直徒P2Pアプリケーション開発用統合開発環境の提案及び大規模実験環境での評価
吉田 功発現類似遺伝子群の数理モデル化とデータベース検索システムの開発
増田 浩充環境センサを用いたブロック型情報収集方式の効率向上
森 一成インラインネットワーク計測手法およびその応用手法の公衆網における性能評価
白石 貴士CAGEタグ相互マッピングによる遺伝子の転写開始点の比較解析手法
冨岡 健史ルータにおけるバッファサイズがTCP性能に与える影響のシミュレーション評価
中崎 剛史アルゴリズム講義用プレゼンテーションツールの提案
服部 剛之コードクローンの分布情報を用いた特徴抽出手法の提案
中村 友宣ウェアラブル学習システムのための利用者コンテキスト認識機構の設計と実装
前野 滝授グラフィクスハードウェアを用いたモルフォロジー演算の高速化手法
峰 久也分散処理プラットフォームBOINCに対するスケジューリングアルゴリズムRRの実装による消費余剰計算力の改善
相原 聖定点観測に基づくモバイル分布密度の推定
角野 大輔分散システムにおけるエージェント数制御を利用した負荷分散の実験的評価
木村 和正Javaソフトウェア部品検索システムSPARS-Jのためのリポジトリ自動更新機能の実現
小林 正幸アドホックネットワークにおけるクラスタヘッド変更の抑制法の提案と評価
五味田 遵GPUを用いる高速な2次元/3次元剛体位置合わせ手法の実装と性能評価
瀬尾 淳哉グラフ構造を利用した機能的に類似なバイオインフォマティクスワークフロー抽出手法
高橋 佑典P2Pネットワークにおけるブルームフィルタを利用したインデックス情報散布法の改良
田中 秀典ボリュームデータの細線化とグラフマッチングを用いた人体の姿勢推定法
服部 雄一3次元Huモーメント不変量を用いた時系列ボリュームデータの圧縮法
浜口 優ウェブアプリケーションにおける内部処理動作のモデル検査支援ツール
林 豊仮想空間内でのナビゲーションと文字入力をシームレスに行う入力手法の提案と試作
馬場 慎太郎定量的データに基づくソフトウェア開発演習評価の試み
村尾 憲治ソースコード更新履歴を利用した変更危険度計測システムの試作
森本 泰貴Google Maps APIを応用したロボット型住所情報検索システムにおけるインターフェース部の作成
山村 知弘ユースケースポイント計測ツールの改良とその評価
行政 幸治複数地点への安定した通信経路を構築する車車間アドホックルーティングプロトコル
チョイ コーイーWeb共同編集機能を実装したメール検索システム
小川 優グリッド環境における大規模ネットワークシミュレーションのためのネットワークモデル分割手法
酒田 理人完全線形符号を用いた局所マルチプルアラインメント
作元 雄輔広帯域ネットワーク向けトランスポート層通信プロトコル XCP の特性解析

修士論文


氏 名 論文タイトル
永瀬 智哉格子基底縮小アルゴリズムLLLの並列性能のPCクラスタ上での評価
長屋 務WWW ロボットを用いてキーワードに適合する住所とその関連情報を収集し地図上に提示する検索システムの開発
衿木 高広協調学習における相互参照可能な電子ノートの更新を動的に通知する手法
朝比奈 玲子Webを用いた学習環境における利用者のブラウジングログを活用した教育支援の提案
市井 誠ソフトウェア部品グラフのべき乗則の調査と部品検索への応用
出原 博Webページ中のHTML構文解析による画像と画像説明文を対応付けるための文章抽出手法
上田 健介カプセル内視鏡を用いた小腸映像の解析
大平 直宏メタモデル記述を用いた成果物間の依存関係追跡手法
梶田 泰伸静的解析と限定的な動的解析に基づいたJavaメソッドの事前・事後条件の生成手法
楠田 泰三メソッドの同時更新履歴を用いたクラスの機能別分類法
小西 一樹MobiREALネットワークシミュレータにおける並列シミュレーションフレームワークの設計と実装
佐々木 亨制約指向に基づいたUMLモデルの不整合検出・解消手法の提案
高辻 誠也内視鏡の撮像系キャリブレーション −画像歪みと照明分布の解析−
田中 裕也グリッド環境において過去の計算結果を実行時に再利用するための機構の検討
中山 崇ソースコードの差分を用いた関数呼び出しパターンの抽出手法の提案と実装
野口 裕之日照変化を考慮した屋外シーンの分光反射率推定
野田 貴司計算機の余剰計算能力を利用するマスタワーカ並列プログラムを簡単に開発するためのフレームワークの実装
原口 高裕分散データ構造スキップグラフの探索頻度偏りを考慮した拡張
平山 博章腹腔鏡対応フリーハンド3次元超音波システムを用いた肝臓の呼吸性移動及び変形の復元
藤原 貴之Strutsを用いたWebアプリケーションのSPINによる階層別モデル検査手法
松永 和彦実環境PCクラスタを考慮した効率的な分散トランスコーディングシステムの検討
三浦 高明ノード間距離を用いて遅延最小木を構築するMANET上のオーバレイマルチキャストプロトコル
村木 健介グリッド環境において短時間処理を実現するための資源選択手法の提案と評価
山内 由紀子距離2の彩色を利用した無線ネットワークにおけるTDMAスケジューリングを行う分散アルゴリズム
山本 宗主3次元CT画像を用いた分岐解析に基づく対話型血管構造抽出システムの開発とその肝区域推定への応用
吉田 則裕コードクローン間の依存関係を利用したリファクタリング支援手法の提案と実現
ポンヌムクン スチット腸管展開画像生成のための環状画像の変形位置合わせ
呉 エキP2Pシステムにおける確率的弱コーラムシステム(PWQS)を用いた探索手法の効率化
万波 秀年透過型・反射型液晶を用いた適応的ダイナミックレンジカメラ
浦谷 謙吾拡張現実環境における注釈の距離情報の視覚化の提案と評価
安部 誠也ベイズ識別器に基づくプロジェクト成功の予測に有効なメトリクスの統計的選択に関する研究
五十嵐 大輔ゴシップ型マルチキャストに適したオーバーレイネットワークの評価
池田 伸一物理ネットワークの構造を反映したオーバーレイネットワークの構築に関する研究
河合 克哉路面状況を考慮する三次元再構築のための自律移動ロボット
谷口 一徹動的再構成可能プロセッサのためのタスク分割最適化アルゴリズム
浜野 康裕ソフトウェア開発におけるリスク要因間の関係の相関ルールマイニングを利用した抽出に関する研究
浜辺 崇ブロック浮動小数点システムのためのビット長決定手法
松尾 尚文ホームネットワークシステムにおける連携サービスの自動検証に関する研究
シマンジュンタク フィデンス フェリクス先読みを伴う発見的探索を利用した命令セット評価手法
谷本 匡亮資源制約のある実時間並行システムに対するパラメトリック設計解析およびスケジューリング手法に関する研究
松浦 陽亮高速ネットワークにおけるインラインネットワーク計測技術を用いたTCP輻輳制御方式の性能評価
伊藤 建志GridFTP の解析および最適化:広帯域ネットワークに向けた並列データ転送機能の概要
樫原 俊太郎センサネットワークのための不安定な通信環境を想定した頑健なセンサ情報収集機構の設計および実装と評価
貴戸 秀年位置情報サービスにおけるユーザの位置プライバシー保護手法に関する研究
木村 旭ポリシーに基づき動的な多重帰属を制御するIP-VPNアーキテクチャの提案とその規模適応性評価
小泉 佑揮IP over WDMネットワークにおける複数レイヤ協調によるトラヒックエンジニアリングに関する研究
小西 潤士朗ピュア型P2Pファイル共有ネットワーク間の協調機構の設計と評価
佐藤 和基複数ノードの位置情報と移動距離を用いた位置推定手法の提案と評価
杉山 浩平ネットワーク分析手法を用いたソーシャルネットワークの構造分析
谷口 英二WDM技術に基くλコンピューティング環境のための共有メモリアーキテクチャの設計と評価
塚本 淳パケット衝突率制御を行う車車間アドホック通信プロトコルの提案と評価
津川 知朗インラインネットワーク計測に基づくTCPによるバックグラウンド転送
仲田 昌史有線・無線混在ネットワークにおける TCP 性能向上のための動的 ACK 分割手法の提案
橋本 雅和モバイル IPv6 にもとづくグローバルエニーキャスト機構の設計と開発
前川 太郎多様なノードが混在するモバイルアドホックネットワークのための単方向リンクを利用した経路制御手法の提案と評価
前田 久美子MANETシミュレーションにおける都市歩行流の再現とシミュレータの設計・開発
牧野 暢孝べき乗則の性質を有するネットワークにおける効率的かつ高信頼な通信を実現するための回線容量設計手法
山口 聖二パイプライン動作を行う実時間バスシステムに対する各タスクの時間制約導出手法
山口 徹マルコフモデル解析とシミュレーションを用いたソフトステートのロバスト性解析
山本 英之流体近似法を用いたインターネットにおけるアクティブキュー管理ルータの解析および設計
ゴメス アルメンタ オスカー並列ネットワークシミュレーション高速化のための準動的ネットワークモデル分割手法
付 宏野ハイブリッド型P2Pファイル共有ネットワークにおけるアプリケーションレベルの性能向上のためのネットワーク協調機構の設計と評価
中山 敏秘匿性と一貫性を保証する通信効率の良いデータ検索方式
橋本 健二XMLデータのスキーマ更新操作の提案及びそれらのスキーマ表現能力保存に関する性質の関係
藤田 高彬パッチワーク法に対する最適な透かし検出法
安田 隆広線形符号の復号誤り率の下界, 上界の局所重み分布を用いた改善
阪本 洋司部分構造の選択によるタンパク質と化合物間の相互作用探索手法
佐藤 卓也タンパク質間相互作用情報に基づくタンパク質の分類を利用した共通保存領域探索手法
松岡 弘樹異種生物間でのオーソログ遺伝子の発現比較による遺伝子の機能解析手法
森友 淳史動作レベルの回路設計記述に対する自動再詳細化を用いた等価性判定
山上 恭廣位置特異的スコア行列による化合物データの活性予測手法
ヴォ トゥイメタデータを用いた分子生物学DBの統合方式

博士論文


氏 名 論文タイトル
ハッサン モハメド アブドッサラームリアルタイムOS搭載組込みシステムのためのシステムレベルモデル化手法
本田 治サイバーソサイエティを実現するスケーラブルな仮想網技術に関する研究
中南 良浩自己安定プロトコルの時間計算量解析に関する研究
沈 黎実画像からの写実的な物体表現の取得に関する研究
天嵜 聡介逐次的に得られるメトリクスを用いた実証的ソフトウェア品質評価法の提案
石尾 隆ソフトウェア開発支援のためのアスペクト抽出とプログラム解析に関する研究
泉 泰介分散合意問題に対する先進的アプローチに関する研究
上田 恭子システムレベル・プロファイリングに基づく組込みシステム設計手法
置田 真生大規模なメッセージ通信並列プログラムに対する実行履歴の生成およびデバッグ支援
川口 真司ソフトウェアの類似性の分析とその応用に関する研究
瀬尾 茂人トランスクリプトーム解析のための遺伝子発現プロファイルの分類手法および類似構造探索に関する研究
久松 潤之制御理論を用いたインターネットにおける輻輳制御機構の解析および性能評価に関する研究
福島 行信波長ルーティングネットワークにおける柔軟性と拡張性を備えた物理網・論理網設計に関する研究
三宅 晶子グラフ構造を利用した代謝反応ネットワーク中の保存領域探索手法に関する研究
パッタラ リーラープルット電話サービスにおけるサービス競合のフィルタリングと検出
齋藤 正史先行経路の道路情報取得のためのアドホック通信プロトコルに関する研究
谷本 匡亮資源制約のある実時間並行システムに対するパラメトリック設計解析およびスケジューリング手法に関する研究
張 宗升大容量かつ長距離ネットワークにおける高速トランスポートプロトコルに関する研究
木谷 友哉コスト・性能を考慮したネットワークシステムの信頼性の高い設計手法に関する研究
羽下 哲司時空間動き特徴に着目した屋外侵入者監視技術に関する研究
笹部 昌弘分散型情報ネットワークにおける動画像ストリーミングのためのキャッシュを利用した適応型メカニズム
沈 黎実画像からの写実的な物体表現の取得に関する研究

[ICS HOME]ICS Home Page へ