Skip to content

修士論文・卒業研究報告

2023 年度

修士論文

  • シングルボードコンピュータで動作する高速・高精度な半導体ウェハーアラインメントシステムの実装
  • 顔表情評定AIの汎化性能向上に関する研究
  • 初学者を対象としたビジュアルプログラミングに基づくモデル検査支援環境の開発
  • 大規模ゲームスクリプトの検査用モデルの統合手法の開発
  • UE5 Blueprint のゲームスクリプトを対象とした自動検証ツールの開発

卒業研究報告

  • モデル検査による UE5 Blueprint のゲームスクリプトの自動検証手法に関する評価
  • React Flow を用いた nuXmv のビジュアルプログラミング環境の実装
  • センサフュージョンによるドライバーの心理状態検出システムの研究
  • ゆびレコーダーを用いた布地識別に関する研究
  • マンゴーの生育状況判定AIの高精度化に関する検討
  • YOLO を用いた半導体ウェハー上の文字検出の高精度化

2022 年度

修士論文

  • 遺伝アルゴリズムとモデル検査を用いたステートマシン図の自動修正に関する研究
  • モデル検査を用いたゲームスクリプトの形式的検証に関する研究

卒業研究報告

  • ビジュアルプログラミングを用いたnuXmvのモデル生成支援環境の改良
  • ビジュアルプログラミングを用いたnuXmvのモデル生成支援環境の評価
  • 適用実験に基づくゲームスクリプトのモデル検査手法の評価
  • 時間制約をもつゲームスクリプトのモデル化に関する検討
  • 顔表情評定AIシステムにおける汎化性能向上のための検討
  • 手触り感を推定する環境ロバスト触覚センシングシステムの検討
  • AIを用いた生育情報判定システムの高精度化検討

2021 年度

修士論文

  • 階層的な制御構造をもつシーケンス図の合成と整合性検証に関する研究

卒業研究報告

  • ドローンを用いたパイナップルの収穫時期管理システムの一考察
  • ドライバーの眠気予測を目的とした顔表情評定AIシステムの軽量化に関する検討
  • UE4 Blueprintで作成したゲームプログラムを対象としたモデル検査のコスト削減に関する検討
  • 初学者を対象としたnuXmvの検査用モデル作成支援環境の開発
  • タブレット上で動作する半導体運搬装置の無線ティーチングアプリの開発

2020 年度

修士論文

  • エッジAIとデータベースをリンクさせたドローンシステムの通信量削減に関する研究
  • ビジュアルプログラミングを用いたnuXmvのモデル生成支援環境の開発

卒業研究報告

  • モデル抽象化による時間ペトリネットの検査コスト削減
  • モデル検査の反例を用いたステートマシン図の自動修正手法の開発
  • UE4 BluePrintで作成されたゲームプログラムのモデル検査コストの削減
  • UE4 BluePrintで作成されたゲームプログラムのモデル検査手法の拡張
  • 触覚センサにおける識別用深層ニューラルネットワークのスパース化
  • 車載向け非接触ロバスト心拍センシングの研究
  • ドライバーの眠気予測を目的とした顔表情評定AIシステムに関する検討
  • ドローンによるパイナップル生育AIモニタシステムのアノテーション方式の検討
  • 階層型DBを用いたドローンによるパイナップル生育管理システムの一考察
  • 可搬型ローカル5G基地局電源部の状態遷移図設計及び動作検証
  • 5Gを用いた移動体による地産地消データ配信システムの検討

2019 年度

卒業研究報告

  • UE4 BluePrint で作成されたゲームプログラムのモデル検査手法の開発
  • Node-Red を用いた NuSMV のビジュアルプログラミング環境の開発
  • プロセス代数 CSP を用いたシーケンス図のモデル化手法の拡張と自動化
  • ドローン搭載物体検出AIを用いた通信量の削減
  • ドローン搭載AIを用いたパイナップルの収穫日予測システムの提案
  • 再生可能エネルギーで稼働できるローカル5G基地局電源部のエネルギー効率の改善
  • ToFセンサを用いた3次元画像認識処理の簡略化
  • MEMS触覚センサによる繊維の表面形状の識別

2018 年度

修士論文

  • ハードウェア化された機械学習プログラムの等価性検証手法についての一検討

卒業研究報告

  • NuSMV のモデル生成を支援するビジュアルプログラミング環境の開発
  • NuSMV のモデル生成を支援するモデル可視化手法の開発
  • 階層的な制御構造をもつシーケンス図のプロセス表現手法の開発
  • AIを用いたMEMS触覚センサによる表面形状の識別率向上のための研究
  • ドローン搭載向け物体検出組込みAIを用いたパイナップル畑の生育異常判定システム
  • ToFセンサによる電線回避ドローン用安全飛行システムの検討
  • 車載を想定したUWBセンサ・MIMOレーダを用いた心拍検出に関する研究

2017 年度

修士論文

  • MEMS触覚センサの動作解析モデルの研究
  • 画像認識とアドホック通信を用いた適応型ドローン自動着陸システムの提案
  • R-R-Iによるドライバモニタ用病変認識システムの研究
  • バッテリ駆動ノーマリオフコンピューティングにおける高効率エネルギ供給の研究
  • 車載を想定したUWBセンサを用いての心拍動検出に関する研究

卒業研究報告

  • ディープラーニングを用いた画像学習による手触り感識別の研究
  • DJI Simulatorプログラム改良によるドローン自動操縦システムの実現
  • 触覚MEMSセンサによる手触り感認識の検討
  • FDR を用いた UML 図の整合性検証環境の開発
  • 心臓動作原理に基づいた病変抽出メモリベースブランチングマシンの設計
  • NuSMV を用いたステートマシン図の誤り自動修正手法の開発