南山大学大学院 数理情報研究科 2011年度 修士論文・OJL報告書要旨集
修士論文要旨
情報工学分野
- 青山 幹雄 研究室
- クラウドコンピューティング連携のためのパブリッシュ/サブスクライブアーキテクチャの提案（M2010MM015 影石英紀）
- モデル検査における健全性を保持する変数抽象化方法の提案（M2010MM020 加藤友章）
- 医療情報クラウドサービスシステムの提案と評価（M2010MM023 河原芳昭）
- SOAに基づくソフトウェア開発プロジェクト管理プロセスのモデル化と実行環境の提案（M2010MM025 近藤淳樹）
- クラウドコンピューティングにおけるデータアクセス方法と評価（M2010MM038 志村惇）
- SOAに基づく車載イベント駆動アーキテクチャの提案（M2010MM039 武野佑基）
- クラウドコンピューティングによるオフショア開発支援環境の提案（M2010MM047 張錦峻）
- 野呂 昌満 研究室
- フォールトパターンを利用した実行前検査の研究（M2010MM018 神谷浩翔）
- 組込みソフトウェア開発におけるプラットフォームコードのマルチプラットフォーム化に関する研究（M2010MM036 佐藤俊成）
通信工学分野
- 石崎 文雄 研究室
- 1FFスケジューリングにおけるパケットの待ち行列遅延の解析に関する研究（M2010MM028 椴山馨）
- 1FFスケジューリングの公平性と定常状態の関係に関する研究（M2010MM029 中内芳朗）
- メッシュネットワークにおける帯域割り当てモデルとスケジューリングに関する研究（M2010MM043 坪井将行）
- センサネットワークの情報量とエネルギーのトレードオフに関する研究（M2010MM044 渡邊博功）
- 奥村 康行 研究室
- ビート雑音推定器に適応フィルタを用いた光CDMA方式の提案（M2010MM013 伊藤寛和）
- トラヒッククラスとキュー長閾値に基づくGE-PONにおける動的帯域割当アルゴリズム（M2010MM032 小川功）
- アドホック通信における通信機会公平性に関する研究（M2010MM033 岡田千明）
- 河野 浩之 研究室
- 感性情報とランキング情報による楽曲推薦システム（M2010MM030 西尾翼）
- パケットキャプチャに基づくIPトレースバックシステムの試作（M2010MM031 小田嶋晃）
- プローブカーデータを用いたOVモデルに基づく最適速度とエネルギー削減（M2010MM040 竹内秀樹）
システム運用工学分野
- 尾崎 俊治 研究室
- 愛知県市町村別人口の特色比較 －グループ分けと今後の予測－（M2010MM016 改田沙代）
- 時系列データを用いた電力需要の予測（M2010MM019 加納美奈子）
- 腰塚 武志 研究室
- 都市の歩行者流動量の推定 －愛知県豊橋市を対象として－（M2010MM034 櫻井洋子）
- 佐々木 美裕 研究室
- 大学時間割編成モデルの研究（M2010MM014 伊藤美登）
- 鈴木 敦夫 研究室
- ワイヤレスセンサネットワークにおけるセンサ数の決定問題（M2010MM006 長谷川遼太）
- 災害時の代替経路の確保を考慮した道路ネットワーク構築法（M2010MM045 山崎諭）
- 高見 勲 研究室
- ジブクレーンに対するロープ長の時間変化を考慮したゲインスケジューリング制御（M2009MM007 石田将一）
- 周波数特性に着目した位置決め制御系における摩擦補償（M2010MM007 早瀬雄太）
- スライディングモード制御を用いたロープ長の変動に不変なクレーンシステムの制御系設計（M2010MM009 堀津孝徳）
- 磁気浮上システムへの可変微分動作により極指定した単純適応制御(SAC)の設計法（M2010MM027 水谷明博）
- H∞制御理論を用いた２入力２出力ヘリコプタの制御設計（M2010MM035 佐竹徳哉）
- 二つの外乱を考慮したクレーンの制御 －外乱オブザーバ,H∞制御理論－（M2010MM037 清水健貴）
- 修正繰り返し制御を用いたボールバランサの制御 ～ポアンカレ写像に基づく収束性の検証と設計～（M2010MM041 竹内稔人）
情報分析科学分野
- 佐々木 克己 研究室
- 形式体系に基づく実証明の分析（M2010MM021 加藤あや美）
- 自然演繹法によるε-Ｎ論法の分析（M2010MM022 川邊達冶）
- 杉浦 洋 研究室
- 多次元正規密度関数の区間領域における精度保証付き数値積分法（M2010MM017 筧恵介）
- FFTを用いたポアソン方程式の高速解法（M2010MM026 蓑島伸明）
- 松田 眞一 研究室
- 移動相関管理図の構成とその有用性の研究（M2010MM001 秋月良康）
- 従業員満足の因果分析に関する研究（M2010MM002 浅井悟史）
- タグチメソッドのSN比に対する信頼区間の性質に関する研究（M2010MM003 藤村良介）
OJL報告書要旨
- 野呂 昌満 研究室
- SOAに基づく監視システムのプロトタイピング アスペクト指向に基づくサービス指向システムアーキテクチャの提案（M2010MM005 長谷川裕記）
- Javaを対象としたソースコードインスペクションツールの開発 －検査仕様記述方法の提案－（M2010MM010 堀田淳司）
- 歯科レセプト処理システムの開発 －ミドルウェアレイヤを軸にしたプロダクトライン化－（M2010MM024 児玉優太）
- 歯科レセプト処理システムの開発 －SOAに基づくシステムのアーキテクチャ設計支援－（M2010MM042 玉木佑一）
登録商標について