南山大学大学院 理工学研究科 2014年度 修士論文要旨集

システム数理専攻

腰塚 武志 研究室

車両共同利用の可能性の考察 ～名古屋市を対象として～ (M2013SS004 加藤　弘也)

松田 眞一 研究室

SN比の信頼区間導出に関する支援ソフトの研究 (M2013SS005 松月 強)

正準相関分析と包絡分析法に関する研究 (M2013SS009 信田 真佑)

SGSアルゴリズムとグラフィカルモデリングの支援ソフトに関する研究 (M2013SS010 野口 良輔)

佐々木 克巳 研究室

中学校数学領域「図形」における問題づくりの数理的考察 (M2013SS008 永井 千尋)

佐々木 美裕 研究室

国際会議における部屋割り当て問題のモデル化とその解法 (M2013SS003 伊藤 喜紀)

需給バランスを考慮した病床配分最適化モデル (M2013SS011 鈴木 まみ)

リアルタイム・プライシングによる電力需給調整に関する研究 (M2013SS014 安西 将貴)

白石 高章 研究室

分散が一様でない正規多標本モデルにおけるすべての平均相違の多重比較法 (M2013SS002 早川 由宏)

杉浦 洋 研究室

疎信号に対する高速フーリエ変換 (M2013SS006 溝口 竜二)

半無限積分に対する切断Gauss則 (M2013SS012 上岡 航平)

鈴木 敦夫 研究室

ホームセンターのID付レシートデータの分析 (M2013SS007 森口 元気)

青山 幹雄 研究室

アジャイル開発におけるステークホルダのインタレスト分析方法の提案と評価 (M2013SE001 原 起知)

SparkのGPGPUを用いたグラフ処理高速化方法の提案と評価 (M2013SE002 稲本 裕貴)

コンテキストデータの動的影響分析方法の提案と評価 (M2013SE004 伊藤 まどか)

RDFを用いたソフトウェア要求仕様書分析方法の提案と評価 (M2013SE009 中根 拓也)

マルチクラウド基盤上のアプリケーション構築自動化アーキテクチャの提案と評価 (M2013SE010 岡田 幸大)

蜂巣 吉成 研究室

変数に着目した部分プログラム抽出によるコードレビュー手法の提案 (M2013SE005 加藤 大典)

野呂 昌満 研究室

スマートデバイス向けアプリケーションのための共通アーキテクチャの提案 (M2013SE006 黒田 航平)

財務会計システムにおけるアプリケーションの自動生成に関する研究 (M2013SE007 村上 晃輝)

SOAに基づくシステムのメッセージ変換に関する研究 (M2013SE011 坪井 智哉)

沢田 篤史 研究室

同時性を考慮した並行システムの振舞い検証支援に関する研究 (M2013SE003 石原 脩平)

定理証明を用いたシステム状態の一貫性検証に関する研究 (M2013SE012 渡邉 大輔)

市川 朗 研究室

フィードバックによる楕円軌道上のフォーメーションフライト (M2013SC010 南 佳那)

河野 浩之 研究室

DNSSEC/SMIMEA対応MUAアドオンの実装 (M2013SC005 平林 有理)

Android OSを対象とした仮想マルウェア解析環境の構築 (M2013SC012 中野 祐輔)

大石 泰章 研究室

強化学習を用いた回転型倒立振子の振り上げ制御 (M2013SC001 天野敦)

不変集合解析に基づく非線形システムの動的量子化器設計 (M2013SC003 荒川 紘次)

渋滞吸収車両による交通渋滞の解消 (M2013SC004 江上一樹)

マニピュレータの軌道追従制御 (M2013SC006 今村智貴)

擬似線形表現に基づく3自由度ヘリコプタの非線形制御 (M2013SC008 加藤真)

クレーンにおけるジブの旋回とトロリーの移動の同時制御 (M2013SC009 児島 圭)

オプティカルフローの推定におけるH∞フィルタの利用 ～急激な輝度変化への対処～ (M2013SC015 鷲見智)

奥村 康行 研究室

QAMとOOK信号の共存する光アクセス網の伝送特性改善法 (M2013SC007 加藤 万貴)

高見 勲 研究室

双線形特性を持つ3-DOF Helicopterのロバスト制御 (M2013SC011 長屋 秋馬)

Guarantee of the Robustness for the changes of road condition and vehicle velocity in ABS (M2013SC013 Hiroshi Sasaki )

Robust Stabilization for 3-DOF Helicopter Including Unmeasurable States using Output Feedback (M2013SC014 Takuma Sugino )

Gain-Scheduling Control for Crane via Parameter Dependent Lyapunov Function Considering All Varying Parameters in Dynamics (M2013SC016 Yuki Ushida )

Nonlinear Control for First-Order Nonholonomic System with Hardware Restriction and Disturbance (M2013SC017 Shota Washizu )