2002年度(平成14年度)学位論文

卒業論文


氏 名 論文タイトル
足立 智章小型ドーム型表示装置を用いた高没入感遠隔指示システムの試作
阿部 将佳並行時間オートマトンによる実時間アプリケーションの仕様からのJavaプログラム群の自動導出
伊藤 琢也化合物の類似性に基づく代謝反応パスウェイの再構築手法
上根 正万身障者の利用を考慮した現在位置に適応した制御を行う統合赤外線リモートコントロールシステムの設計
藤原 晶コンテンツ配信サービス提供者だけが視聴動向を把握できる委託配信システム
浦田 繁玄遠隔メソッド呼び出しを用いたJavaアプリケーション分割のためのクラス間通信量の評価
浦谷 謙吾奥行き情報を利用した拡張現実環境における注釈表示手法の提案
岡田 芳生ASIP Meisterのための割り込みコントローラの設計
岡本 邦宏原コンテンツが与えられる閾値型電子透かし検出法における検出閾値決定法の提案とその評価
緒方 彰吾ペトリネットの種々の特性に対するSATを利用した検証手法の提案
奥畑 健Google Web APIの利用により内部データベースを用いない画像検索エンジンの試作と評価
貝原 研人遺伝子調節ネットワーク推定のための干渉実験選定の手法とその計算機実験による評価
金田 祥平広域分散環境での並列ファイル転送におけるネットワークトポロジを考慮した静的スケジューリング
北川 光昭遺伝子制御ネットワークの挙動解析のための数値の幅を考慮したハイブリッドオートマトンのシミュレーションアルゴリズム
木村 寛分子生物学データベースの統合のためのXML標準化手法の提案
楠木 祐子時系列画像から得られる変位情報を利用した3次元医用画像位置合わせの精度向上
工藤 公太ソフトウェア不具合の重大度に対するベイジアンネットを用いた要因分析
小林 悠記コンフィギュラブルVLIWプロセッサの合成可能なHDL記述生成手法
才村 徹也MLによるプレスブルガー文真偽判定ルーチンの作成
佐々木 啓オープンソース開発支援のためのリビジョン情報と電子メールの検索システム
鈴木 朋子一時故障耐性を有する電子商取引エージェントプロトコル
田中 邦明SA(Simulated Annealing)による通信量最小化Javaプログラム分割法の提案とその評価
田中 辰弥マーキングマップによる空間認知に基づいた地域情報推薦手法
田中 直樹大腸菌遺伝子破壊株の実験データ解析手法
徳 隆宏光パスネットワークにおける分散型経路制御方式の評価
中島 康輔多人数用立体表示装置―IllusionHoleの遮蔽板への投影画像を利用した協調作業環境の構築
中本 博久フォトニックグリッド環境における分散計算のためのメモリアクセス手法の提案
中山 圭DDoS 攻撃トラヒックのモデル化および防御アルゴリズムへの適用とその評価
橋本 英明実時間制約を有するハードウェアのJava記述に対するパラメトリックモデル検査のための抽象化手法の提案
平尾 公男ゲート遅延を考慮した組み合わせ回路に対するベイジアンネットワークを利用した信号遷移確率の推定
細川 卓哉XML標準形式による分子生物学データベースの統合的検索システム
松井 学累積不透明度のプロセッサ間共有による並列ボリュームレンダリングの計算量削減
松浦 陽亮TCPプロキシ機構のネットワークプロセッサ上での実装と評価
松野 広一遺伝子集合から成るクラスタの特徴の分析ツールの開発
松本 直樹多人数参加型分散アプリケーション向け負荷分散アーキテキチャの提案
三谷 幸久機能実現期間の測定によるプログラマ能力の実験的評価
宮本 崇弘ユーザの意図と接続環境を反映したコンテンツ品質を保証するフレームワークの提案
安永 憲司線形符号における記号位置置換不変性を用いた局所距離分布の計算法
山口 明也不完全情報を表現できるように拡張した関係データベースにおける関係代数演算の閉包性の証明
山之内 太ベイジアンネットを用いたソフトウェアプロジェクト混乱予測モデルの試作と評価
山本 国士測地ドームの収縮と再帰分割によるボクセルデータからの簡易ポリゴンモデルの作成手法
山本 浩司分散システムにおける複数資源割当に対する一手法の提案
吉田 剛実時間動画像マルチキャストにおける動的なマルチキャストグループ再構成手法
吉田 信平並列シミュレーションの高速化のためのリンク間トラヒック量にもとづくネットワークモデル分割法に関する検討
米岡 昇バストランザクションモデルを用いたシステム性能解析手法の提案
渡辺 貴史項目間の対応関係を用いたXBRL財務報告書自動変換ツールの試作
ジャルンポーンサワッド タネスインターネットにおけるパケット単位のトラヒック測定に基づくアプリケーションレベルのトラヒック要求の推測手法に関する検討
ソン イカBluetoothスキャターネット構築アルゴリズムのCPN記述と性能評価
浅野 岳史帰納論理プログラミングのための属性可視化システムにおける不要属性の自動決定手法
岡田 俊之Radial Basis Functionを用いた統計的骨形状モデルの生成
佐藤 秀則電子会議システムにおける映像ストリームを携帯端末向けの静止画列に変換するエージェントの作成
田中 浩明PACK命令を考慮したSIMD拡張プロセッサ用コード選択手法
中里 祐介歩行者ナビゲーションにおける行動履歴からのユーザプロファイル獲得と目的地推定手法
泉田 聡介ソフトウェア保守のためのコードクローン情報検索ツール
川崎 裕也類似利用者情報とビデオジャンルスペクトルによるビデオ教材推薦システム
小堀 一雄ソースコードの静的特性を用いたJavaプログラム間類似度測定ツールの試作
大滝 浩之故障耐性と動的負荷分散を実現するPPPoEサーバクラスタの設計と実装
早崎 正剛2段階2頂点対間接続問題解法アルゴリズム

修士論文


氏 名 論文タイトル
天嵜 聡介ソフトウェア開発プロジェクトにおける残存不具合数に対するベイジアンネットに基づく予測モデルの提案
石元 豪XMLデータベースにおける問合せ言語の表現能力を保存したスキーマ統合および統合可能となるための十分条件
市原 浩司ペトリネットに対するSATを利用したモデル検査の効率化
上田 恭子データ流量解析に基づく組込みシステム性能見積り手法
大塚 亮平クラスタリングに基づく遺伝子配列と発現プロファイルの比較手法
賀紋 孝夫イベント駆動型可視化シナリオと動的マルチランデブ機構を用いた分散型ネットワークモニタの実現
北山 育全域木に基づくグラフ分割法を利用したアミノ酸配列間の共通保存領域抽出手法
西條 竜太郎タンパク質機能予測のための分子生物学データベースの統合検索手法
佐々木 敏公非発行順完了に対応したコンフィギュラブル・プロセッサの自動生成手法
笹部 昌弘ピア・ツー・ピア型通信による途切れなくスケーラブルなストリーミング配信技術
下田 大輔ソフトウェア開発プロジェクト管理のためのシステムダイナミクスに基づくインタラクティブなシミュレーションモデルの提案
管 靖彦遺伝子機能予測のための決定木を用いた発現プロファイル解析手法
瀬尾 茂人グラフ構造に基づく遺伝子発現プロファイルのクラスタリング手法
竹内 亨情報伝播モデルに基づく利用者間コミュニケーションの評価
田林 俊也線形ブロック符号の最小重み部分符号の再帰的最尤復号法における計算量の削減と復号性能評価
津久井 崇文クォーラムに基づく安全性と可用性を共に実現するデータ多重化法の提案
常村 和史オーバレイネットワークにおける遅延最小木の動的再構築アルゴリズムの提案
時久 卓也階層化設計に適したHWインタフェース検証仕様手法の提案
中田 和久実時間磁場歪み補正機能を有する腹腔鏡対応3次元超音波システムの開発
中原 大志配列アラインメント問題に対するハードウェアアルゴリズムとそのFPGAへの実装
福島 行信トラヒック変動に対する耐性を備えたWDMネットワーク設計手法
舛田 文彦並行周期EFSMに対するパラメトリックモデル検査およびパラメタ条件簡約高速化の一手法の提案
三田 健太朗コンフィギュラブル・プロセッサのためのゼロ・オーバヘッド・ループ制御方式の提案
三宅 晶子グラフ構造を用いた代謝反応パスウェイと遺伝子位置関係の比較解析手法
山根 之訓ASIP MeisterによるVorbisデコーダの実現とその評価
リーラープルット パッタラCall Processing Languageで記述したインターネット電話サービスにおける意味上の警告とサービス競合の検出
安部 公章組み込みプロセッサのためのパイプライン段数最小化アルゴリズム
石尾 隆プログラムスライスを用いたアスペクト指向プログラムのデバッグ支援環境
泉 泰介停止故障およびタイミング故障に対する耐性を有するアトミックブロードキャストについて
岩男 康平帰納論理プログラミングにおける仮説の欠損値耐性向上のための補完ルール学習手法
植田 泰士開発保守支援を目指したコードクローンの抽出手法- 支援環境Geminiへの実装 -
大西 悠季生メタ属性を利用した構成的帰納学習
大山 寛郎非剛体を対象とした画像位置合わせの並列化およびデータ分散手法
岡本 卓也インターネットサーバにおける動的資源管理方式
岡本 直樹大規模施設における個人に適応した行動支援のためのスケジュール作成手法
岡本 啓嗣ユーザ・フィードバックをともなう映像シーンのクラスタリング
岡本 幸大学教育に適した学生ポートフォリオシステム
置田 真生メッセージ通信プログラムのデバッグのためのフォールトプロセス特定手法の考案と実装
小倉 武紘映像メディアに付与されたメタデータを用いた個人適応型映像ポータルの提案と実現
垣内 洋介並列同期動作と分割トランザクションを含むインターフェースプロトコルのモデル化と検証手法
片上 修一コンテンツ配信におけるメタデータに基づいたCM選択機構の実現と評価
加藤 雄一郎処理能力の異なる端末群に対するメディア配信をサービスを実現するアプリケーションレベルサービスネットワーク構築アルゴリズムの提案
川口 真司潜在的意味解析法 LSA に基づくソフトウェアシステム分類法の提案
河村 一史最小値関数を用いて適合度を算出するNRA検索アルゴリズムの改善
岸本 統久インターネットにおける輻輳制御機構に関する研究-- AIMD 型ウィンドウフロー制御機構およびアクティブキュー管理機構 --
小西 幸雄近縁種のゲノム比較を利用した転写因子結合部位の検出手法
後藤 嘉宏ピアツーピアサービスにおける探索性能向上のためのレプリカ配置手法
酒井 雅浩コンテンツ配信における配信数の下限達成証明法の提案
坂上 弘祐複数のJava携帯端末からなるアプリケーションのペトリネット記述に対するメモリ容量制約を考慮した実行方式の提案と実装
竹内 彰Sort-Last型並列レンダリングのための画像合成手法:静的負荷分散に基づく手法と動的スケジューリングに基づく手法
徳田 航一高速データ転送を実現する TCP の輻輳制御方式
西澤 尚宏映像の関連性を用いたダイジェスト映像の自動生成手法の提案
久松 潤之インターネットにおけ るトランスポート層プロトコルの定常特性および過渡特性解析
平野 聡遺伝子制御ネットワーク推定のための大規模DNAマイクロアレイデータからの相関関係の抽出手法
平野 秀明他の学習者が作成したノートを利用して自己学習を補完するビデオ学習支援システム
藤井 将人動的情報を利用したソフトウェア部品評価手法
楊井 裕之認証申請者のプライバシーを保護した権限認証プロトコル
矢原 潤一教育目的に応じて観察の抽象度が変更可能な計算機シミュレータとその評価
山口 貴詩ファイバ遅延線バッファを備えたフォトニックパケットスイッチにおけるパケットスケジューリングアルゴリズム
山下 剛複数のビデオストリーム転送に対する QoS 制御機能を持つアプリケーションレベルマルチキャストミドルウェアの設計と実装
山田 達也実時間動画像マルチキャストのためのアクティブ動画像品質調整手法の設計と実装
山中 祐介エイリアス関係を考慮したJavaプログラム用静的スライシングツール
鷲尾 和則インラインスクリプトに対するデータフロー解析を用いたXHTML 文書の構文検証
侯 立偉CDMAセルラーネットワークにおけるソフトハンドオフを考慮したTCPの性能に関する有線/無線統合評価
譚 林計算ノードの速度変化と故障があるグリッド環境における粗粒度独立タスク集合のスケジューリングアルゴリズム

博士論文


氏 名 論文タイトル
高田 智規プログラム解析の効率化に関する研究
小林 真輔ASIP設計空間探索のためのコンパイラ生成手法
新田 直子インターモーダル協調による放送型スポーツ映像の意味内容解析
森 亮憲FSMを用いて記述された実時間プロトコルに対する適合性試験手法
川路 英哉タンパク質配列における共通保存領域の探索手法に関する研究
平山 雅之ソフトウェア開発における実用的な選択的テスト手法に関する研究
桝本 潤多時相3次元医用画像からの臓器領域抽出と変形推定に関する研究
荒川 伸一高信頼性を備えたIP over WDMネットワーク設計に関する研究

[ICS HOME]ICS Home Page へ