2001年度(平成13年度)学位論文

卒業論文


氏 名 論文タイトル
浅越 悟史キャンパスに分散配置された端末システム用電源管理エージェントの設計と実装
石田 晋哉高信頼WDMネットワークにおける論理トポロジー再構成のためのパス交換手法の提案
伊藤 敦史マルチサーバにおける予測を用いた競合事象同期手法の提案と評価
梅森 文彰バイトコードを単位とするJavaスライスシステムの試作
江口 智也多変量解析を用いたアクティブキュー管理機構の性能評価に関する検討
太田 範ノートパソコンから構築される計算機環境におけるモバイルエージェントを用いた教育支援システムの設計
大村 浩正複数開催者に対応した共通電子くじおよび当選者除外の継続開催を想定した放送型電子くじの提案
奥田 晃司構成可変なVLIWプロセッサのアーキテクチャモデルとそのシミュレータ・ジェネレータの提案
川崎 康博分散メモリ環境上のマスター・スレーブ型並列分枝限定法のためのタスク粒度調整手法
神戸 友樹MPI並列プログラムにおける同期待ち要因の解析ツール
小西 祥之取得順序が決められたコンテンツの配信における利用者のプライバシを保護した配信制御法
佐井 祐介木構造をもつコンテンツにおける頂点間の共起性を考慮したアクセス権モデルの提案と実現
櫻井 佑輔キャンパスに分散配置された端末システムを制御する遠隔電源管理サーバの設計と実装
櫻木 太データフローモデルに基づく手術支援システムの空間構造表現と誤差解析への応用
佐藤 潔之限量子を含まない等号付第一回述語論理に対する等式制約を考慮した恒真性判定アルゴリズムとその実装
島川 由美オブジェクト指向データベースへの推論攻撃に対する安全性の判定可能性に関する考察
杉山 陽一放射はしご状図形の上のパスグラフの最大クリークを求めるアルゴリズム
高尾 昭則通信ライブラリMPIにおける集合通信の通信実行時間予測方法の提案
高尾 祐治オープンソース開発支援用メール検索システムの試作
田代 孝仁2次元X線透視画像を用いた椎骨3次元CTデータレジストレーションのための最適撮影方向の決定
田中 崇浩充足可能性判定を用いたモデル検査ツールの実装と評価
東條 晴基ネットワークプロセッサを用いたネットワークエミュレータシステムの構築
友添 雄亮ステージ分割制御モデルに基づく インオーダ完了型パイプライン・プロセッサの 形式的検証法の提案
土居 聡IPv6 ネットワークにおけるエニーキャスト通信実現のためのプロトコル設計と実装
中南 和宏ナビゲーションとWebの連携のためのXMLによるコンテンツ記述形式の提案
夏山 京大フィードバック制御理論を用いた高品質なDV転送システムの研究開発
西 秀雄プログラム依存グラフを利用した情報漏曳解析手法の提案と実装- 一般的な束構造を持つセキュリティクラスを対象として -
野口 智史動作スケジュール制御が行える分散アルゴリズム可視化シミュレータ
羽原 寿和ウェラブルPCのための画像マーカを用いた屋内位置検出機構の試作
濱崎 考成プロジェクト質問表の回答のクラスタ分析とその混乱予測への応用
板東 由香プレスブルガー算術処理系を用いた回路記述言語SFLに対するシンボリックシミュレータの実装
東浦 俊文コードレビューにおける注釈の付加履歴を参照できるコード理解支援ツール
廣部 貴志ハッシュ法を用いたゲノム配列からの繰り返し配列抽出手法
藤田 肇時間制約付きカラーペトリネットで記述されたグループワークに対する支援システムの実装
藤本 昌宏仮想世界における言語指示に基づくイベントの映像化のためのカメラ制御の検討
藤本 喜彦全方位映像のコンテンツ構成の可視化と要約
前田 真希モバイル情報端末のための赤外線識別子を用いた位置検出機構の試作
松川 文一シナリオを用いたレビュー手法PBRの追証実験- UMLで記述された設計仕様書を対象として -
松村 和哉GF(2**8)リードソロモン符号復号器の面積/性能のトレードオフ解析
松山 和裕データ転送プロトコルの仕様導出を支援するシステムの作成
水本 明ディレクトリの併用を考慮した階層的キーワードファイル管理のためのGUI環境
守山 千代子時間拡張LOTOSを用いて実時間通信プロトコルをJavaアプレットとして実現する可視化ツールの作成
八尾 智幸映像に対するメタデータ記述支援システムの提案
幸 太一アドホック無線ネットワークにおける経路情報を利用したTCP性能向上手法の提案
吉川 恭平並行プロセス間のデータ流量計測のSystemCを用いた実現方法の提案
吉富 隆ソフトウェア開発における不具合発見履歴と最終品質の関係に対する統計的分析
カオ マン レ タン複数の動画像マルチキャストの分散協調型階層数調整方式の提案と性能評価
木谷 友哉プラスティックセルアーキテクチャにおける機能回路配置配線機構の一実現法の提案
瀧 浩平ベイジアンネットワークを用いた遺伝子の制御ネットワークの推定手法--サンプル寄与率を考慮した遺伝子発現プロファイルの利用--
谷口 義明動画像品質調整機能を組み込んだプロキシキャッシングシステムの実装と評価
太田 浩康発現プロファイルを用いた代謝反応パスウェイの共発現部分抽出手法
川崎 達矢単語一致表を用いた遺伝子配列とゲノム配列のアラインメント手法
中村 嘉隆アプリケーションレベルマルチキャストプロトコルの一方式の提案とその性能評価
岸上 和宏充足可能性判定を用いた通信サービスの競合検出の試み
石川 俊輔関数記号を許した順序回路における近似を利用した状態列挙アルゴリズム

修士論文


氏 名 論文タイトル
芦田 英二ペトリネットに対する充足可能性判定を用いた自動検証手法の提案
足立 卓也ソフトウェア開発プロジェクトのアンケートを利用した リスク予測における理由説明の試み
上野 貴之オーディオ信号へのある電子透かしにおける検出誤り確率推定法
大塚 裕孝通信プロトコルの試験系列生成問題に対するSATアルゴ リズムの適用法の提案
岡村 真吾ブラックボックス型不正者追跡機能および不当排除を防止した加入者排除機能をもつ放送型コンテンツ配信法
岡本 道也動的なカテゴリ定義を利用した個人化サービスの実現
木梨 玲遺伝子発現プロファイルを用いた代謝反応パスウェイ再構築手法
桐村 昌行並行周期EFSM群を用いたリアルタイムシステムに対するハードウェア構成法の提案とその評価
五嶋 宏之循環関係を用いた代謝反応パスウェイのクラスタリング手法
酒田 輝昭コンフィギュラブル・プロセッサの構造を考慮した効率的な面積・遅延時間の見積り手法とその評価
重松 英二郎ソフトウェアテスト工数とフィールド不具合数の関係についての統計的分析
志村 努スプリットトランザクションを含むインターフェースプロトコルの形式的仕様記述及び検証手法
瀧 友和CPLで記述したインターネット電話サービスにおけるサービス競合の検出
土田 順関係データベースへの背理法に基づく推論攻撃の定式化と安全性の尺度の提案
豊城 かおりオンライン流通における\\コンテンツの二次利用を想定した権利管理機構の提案と実現
中川 剛XMLのスキーマ間におけるデータ統合のための関係の提案
西 進一朗局所多重アライメントによる共通保存領域の抽出手法―文字の頻度分布と位置情報の利用
濱田 貴之通信サービスにおけるサービス競合の記号モデル検査に基づく検出手法の提案
堀 真人仮想空間共有システムにおけるユーザ間の通信遅延と通信頻度に基づく動的サーバ選択手法の提案
本多 亮マルチコンテキストFPGAのためのコンテキスト分割アルゴリズムの提案と評価
坊垣 恭右遺伝子発現プロファイルの比較による発現変動遺伝子群の抽出手法
前田 友英コンフィギュラブル・プロセッサの内部割込み制御回路生成手法とその評価
牧 一之進公平なサービスを実現する高速かつスケーラブルなパケット処理方式の提案と評価
宮林 正樹TCPデータ通信との公平性を考慮した輻輳適応能力を有するMPEG動画像通信のための品質調整機構
向川 慎治属性間の相関関係の可視化機構をもつ帰納論理プログラミングシステムの構築
山下 岳人実時間動画像マルチキャスト通信のための統合化資源割当制御
山田 誠メディア同期プロトコルに対する機能試験の一手法の提案
横川 勇仁Deformable Templateマッチング法による唇輪郭抽出法の提案とその評価
米津 政隆双方向マンハッタンストリートネットワークにおけるノード配置問題に対する階層型近似アルゴリズムの提案
シャオワッタナ ダンジェート軟判定多数決論理復号法と Ordered Statistic 復号法による 2 段階復号法の性能解析
井階 美歩関節モデルを用いた時系列ボリュームデータ中の複数剛体トラッキング手法
石川 武志オープンソース開発支援のためのソースコード及びメールの履歴対応表示システム
大下 福仁異種クラスタシステムにおける集合通信操作のアルゴリズム
大塚 忠広マルチモバイルエージェントシステムにおける受動的オブジェクトを考慮したチェックポイントリカバリ
加藤 潤一WDMネットワークにおける信頼性に関するQoSを考慮した論理トポロジー設計手法の提案
川辺 亮統計的トラヒック分析にもとづくアドレス検索アルゴリズムの性能評価手法に関する研究
黒田 洋介帰納論理プログラミングのブースティングを利用した効率化
幸田 守弘衛星インターネットにおけるTCPコネクション多重化のためのプロキシ機構に関する研究
誉田 謙二バイトコード間の動的依存情報を抽出するJavaバーチャルマシン
近藤 和弘Javaプログラムの変更を支援する影響波及解析システム
近藤 大介自己安定パイプライン型ブロードキャスト付フィードバック
佐々木 智充高解像度ボリュームレンダリングを高速化するための分散メモリ環境向けの並列化手法
上甲 貴広屋内向けナビゲーションにおける個人の嗜好に適応した目的地推定手法
杉尾 敏康WWWに対するマルチメディアデータ検索エンジンのHTML構文を活かしたスコア付け手法の提案と評価
多田 貴志遅延制約を考慮した直並列グラフに対するタスクスケジューリング
田原 靖太既存ソフトウェアの変更履歴を利用したソースコード修正支援システム
寺井 達彦インターネットサーバにおけるコネクション資源の動的管理方式に関する研究
中川 智史言語を用いた指示による人体動作を含むシーンのアニメーションの作成
中南 良浩非同期式分散アルゴリズムにおける時間計算量評価手法の提案
長瀧 寛之生徒と教師のやりとりを支援するシステムの実現
平田 雅之関数の簡約化を用いたプログラムの安全性の自動検証
平野 暁スポーツ映像における音環境理解に基づくインデキシング
藤本 康平ユーザ品質を考慮したストリーミングアプリケーションのためのプレイアウト制御機構
藤本 寛史ビデオアーカイブを利用した学習の支援システム
藤原 晃類似度を用いたプログラムの再利用性尺度の提案と実現
船屋 寛高分解能マウスの作業精度を向上させるソフトウェア手法の提案と評価
宮内 進吾音声・言語・映像の協調的処理によるスポーツ映像からのイベント検出
宮本 仁樹フリーハンド3次元超音波システム設計支援のための空間的誤差解析シミュレーション
森田 光茂システム同定を用いたインターネットのパケット伝送遅延時間のモデル化およびレート型輻輳制御機構の設計への応用に関する研究
山口 昭ワークフロー記述のための時間制約付きカラーペトリネットと それを用いたグループワーク支援システムの提案
山口 成基与えられた性能要求を満足するデータ転送プロトコルの自動導出法
山本 貴之アドホックネットワークにおける高速データ通信プロトコルに関する研究
山本 裕己一対一プロセッサ間通信の一括化を考慮したタスクスケジューリングアルゴリズムの提案と評価
山脇 晋吾特徴選択に基づく遺伝子発現プロファイルのクラスタリング手法
金 京煥XML文書の構造を利用した品質評価手法の提案と実現
沈 黎仮想的照明の下での画像生成のためのイメージ・ベースの描画

博士論文


氏 名 論文タイトル
井口 信和動画像通信の技術診断への応用に関する研究
遠里 由佳子代謝反応パスウェイ解析のためのアライメントアルゴリズムに関する研究
山内 英樹マルチメディア信号処理向けVLSIアーキテクチャ
山本 哲男版管理とソフトウェア再利用の支援に関する研究
上原 智Webシステムのためのセッション管理方法のコンポーネントオブジェクト技術を用いた実現と評価
深田 敦史並行時間オートマトン群で記述されたプロトコルの適合性試験法
相薗 岳生超微細加工装置の自律分散システムを利用した開発
大畑 文明プログラム静的解析法の効率化とフレームワーク構築に関する研究
北村 浩IPv6インターネットに向けたプロトコルの設計と実装
崔 銀惠高信頼分散k-相互排除を実現するk-コテリーの設計と評価
床井 浩平集合演算表現された多面体の直接的かつ高速な描画アルゴリズム
水野 修ソフトウェア開発プロセスの効果的な改善を目指したソフトウェアプロジェクトシミュレータの開発
大原 剛三例外を含む知識ベースシステムにおける推論と学習に関する研究

[ICS HOME]ICS Home Page へ