回路デザイン研究室 >> thesis



修士論文・卒業論文テーマ

修士論文

平成27年度
赤利 昌紀
ネットワークルータにおけるパケットメモリの高速化とテスト方式の設計
尾上 雅尚
ノーマリオフ機能を搭載した低消費電力ペースメーカ設計の研究
神崎 裕大
バッテリ駆動システム向けノーマリオフコンピューティングの研究
平成26年度
上野 将太
センサノードへのノーマリオフ制御の最適化設計
岡崎 圭祐
整合性検証を目的としたUML図のプロセス表現の拡張
小田桐 由樹
リングセグメント型GALSシステムにおけるバス制御機構の分散化
平成25年度
荻野 真奈美
FPGAに実装したRSフリップフロップのメタステーブル動作解析
落水 恭介
状態マシン図を用いたスマートフォンアプリの開発支援環境の考察
片山 巧
プロセスの模倣性判定に基づいたUML図の整合性検証
河村 喬
行列圧縮とGPGPUを併用した大規模デジタルシステムの性能評価の高速化
河村 亮太
有界モデル検査を用いた時相ペトリネットの形式的検証
松本 大作
生体適合性の向上を指向した心臓ペースメーカにおける制御機構の低消費電力化
森 洋史
X Windowシステムにおける透視化マルチウィンドウ合成のGPGPUを利用した高速化
平成24年度
浅田 和真
SPINを用いた階層構造をもつシーケンス図の詳細化検証
三輪 陽介
検証の高速化を指向した時間ペトリネットから時間オートマトンへの変換手法の開発
大山 国晃
ring segmented 型非同期バスを対象とした非同期式アービタの構成法に関する研究
古好 佑輔
大規模デジタルシステムを対象とした性能評価の高速化に関する研究
堀井 俊彰
カメラ故障を対象とした多眼カメラのフォールトトレランス化に関する研究
岡本 晃実
線形内挿法を前提とした射影変換器の構成法に関する研究
鳥崎 充良
マイクロカメラを用いた心臓微細血管径計測の自動化に関する研究
石川 裕大
心臓ペースメーカにおける制御機構の低消費電力化に関する研究
平成23年度
香川 真哉
GPGPUを利用した高速透視化マルチウィンドウシステムの開発
西田 展久
GPGPUの超並列性を利用したGALSシステムの性能評価の高速化に関する研究
川上 由香
整合性検証を目的としたシーケンス図における階層構造の論理式表現
仁宮 章恵
Alloyを用いたUML設計における整合性違反の自動修正システムの開発
平成22年度
桐田 和明
UPPAALを用いたGALSシステム検証におけるモデルサイズの削減
西原 潤
透視化機能を持つマルチウィンドウシステムにおける画像管理機構の開発
原田 慎士
UML設計間の整合性違反の自動修正ツールの開発
平成21年度
大坪 浩次
加算のみを用いた再構成型幾何学変換器の設計と試作
兒玉 吉隆
シングルポートSDRAMを用いた透視化マルチウィンドウシステムにおける操作対象ウィンドウの切替え機構の開発
森本 祥行
透視化マルチウィンドウシステム用管理サーバにおけるウィンドウ操作機能の開発
瀬古 剛一
JavaScriptで実装されたWebナビゲーションを対象としたリバースエンジニアリング手法の開発
近藤 真史
Globally Asynchronous Locally Synchronousシステムを対象とした非同期バスの一構成法
平成20年度
岩本 保彦
高速透視化マルチウィンドウシステムへの移植を目指したXwindowサーバの解析
橋本 龍輝
Globally Asynchronous Locally Synchronous システムの性能評価ツールの開発
平成19年度
伊藤 大介
漸化式表現による高速・高精度射影変換器の実現法に関する研究
井上 寛之
動画像を用いた膝関節運動解析システムの開発
佐藤 貞仁
モデル検査を用いた複数UML図の形式的検証に関する研究
宮岡 有希
透視化機能をもつ高解像度高速マルチウィンドウシステムにおけるターゲットウィンドウ切り替え法
平成18年度
木村 康秀
部分広画角動画像の提示を前提とした全周動画像の生成に関する研究
田代 和幸
Globally Asynchronous Locally Synchronousシステムの性能評価に関する研究
幡谷 大介
高速透視化機能をもつマルチウィンドウシステムの高解像度化に関する研究
山田 善紀
ハードウェア化を前提とした高速・高精度射影変換法に関する研究
平成17年度
千坂 純一
動画像を対象とした再構成型幾何学変換器の構成法に関する研究
中山 修一
多眼カメラを用いたモザイク動画像生成システムの開発
宮崎 仁
透視化機能をもつ高速マルチウィンドウシステムの構成法とその性能評価
平成16年度
阿部 誠
RISC命令の並列実行機能を有する画像処理用DSP
梅津 寛明
動画像用射影変換器における高速化手法に関する研究
田邊 勝也
操作対象ウィンドウの識別性を向上させるマルチウィンドウシステム
小橋 祐介
UMLからXMLのスキーマへの変換手法に関する研究
三宅 理恵
照応関係を考慮した文章要約システムの開発
平成15年度
宮本 勲
同期式モジュールで構成される大規模論理回路におけるモジュール間通信動作の定式化
豊田 光弘
表層的特徴を用いたHTML文書要約手法に関する研究
平成14年度
岡本 卓士
プレインテキストデータのXML化手法に関する研究
小泉 国芳
FPGAを用いた回路デザイン教育に関する一検討
治徳 英輔
高速マルチウィンドウシステムのWindowsマシンへの実装
芹澤 裕子
複数のパートをもつMIDIデータにおけるメロディ抽出手法に関する研究
平成13年度
尾山 智英
描画時合成マルチウィンドウシステムにおける領域演算の高速化に関する一考察
兼田 満
ペトリネットを用いた競合処理回路のメタステーブル動作性能の評価法に関する研究
深堀 昇
SQUIDを用いた超伝導論理回路の実現法に関する研究
平成12年度
片山 幹康
非同期式デジーチェンアービタの応答時間に関する研究
茅野 功
高速マルチウィンドウシステムのハードウェアアーキテクチャ設計と試作

特別研究報告(卒業論文)

平成27年度
荒木 英友
複数のFPGAを用いた分散型非同期式アービタの実装
江見 拓哉
組み込みシステム向け画像認識の高速化の一考察
遠藤 瞬
GDDR5を用いたパケットメモリにおけるアクセス制御高速化の提案
江見 拓哉
組み込みシステム向け画像認識の高速化の一考察
岡 健大朗
Verilog-HDLによる大規模ハードウェア設計の検証支援ツールの開発
金谷 啓司
顔認識機械学習へのマルチコア適用に向けた一考察
久保 貴誠
仕様記述パターンによる検査特性の記述支援ツールの開発
坂村 賢士
組込みボードを用いたノーマリオフコンピューティングによる省電力化の検討
千葉 嵩之
エネルギーハーベスト機構をもつセンサノードへのノーマリオフコンピューティング最適制御の研究
山下 大地
UWBセンサーを用いたR波検出の研究
平成26年度
井川 直
遷移規則の順序づけによる有界モデル検査の効率化
石本 拓也
ネットワークルータにおけるパケットメモリアクセス制御の高速化
犬塚 大樹
低消費電力ペースメーカ評価基板作成のための回路構成手法
笠原 大和
検証コスト削減を目的とした状態マシン図の抽象化
佐保 宏晃
画像認識のハードウェア処理による高速化の一考察
中野 涼太
分散制御型リングセグメントバスを対象とした速度性能評価ツールの開発
松澤 広敏
ノーマリオフコンピューティングによるセンサノード無線通信の低電力化
森光 勇太
記号モデル検査を目的としたVerilog-HDLによるハードウェア設計の論理モデル化
平成25年度
尾上 雅尚
ペーシング応答機能を有する模擬心電位発生装置の設計
神崎 裕大
バッテリ駆動ノーマリオフコンピューティングシステムの基礎検討
山下 勇気
車載向け画像認識ヘテロジニアスシステムに関する基礎検討
吉崎 晋矢
整合性検証を目的としたUML図からCSP記述への自動変換ツールの開発
赤利 昌紀
バス制御を伴う分散型非同期式アービタの構成法に関する研究
東山 大地
Verilog-HDLによるハードウェア設計への記号モデル検査の適用
平成24年度
上野 将太
ノーマリオフコンピューティングによる低消費電力センサノードの構成法の検討
久保 博海
プログラマブルアンプを利用した高精度マルチセンサインターフェースの研究
岡崎 圭祐
LTSAによるシーケンス図の詳細化検証を目的とした入力補助ツールの開発
寺谷 仁宏
モデル検査を用いた時間ペトリネット検証における検証コストの評価
岡 康二
大規模デジタルシステムを対象とした性能評価の高速化に関する研究
-GPGPUに内蔵される shared memory を用いる効果-
小田桐 由樹
GALSシステムを対象とした同期式アービタの構成法に関する研究
内田 大空
動画像を対象とした線形内挿法の実現に関する研究
平成23年度
松本 大作
心臓ペースメーカの非同期化に関する基礎研究
-ペーシング機構の検討-
荻野 真奈美
FPGAを対象としたツリー型非同期式アービタの実装と動作解析
河村 喬
GALSシステムの性能評価を対象とした並列化手法のCUDAへの実装
森 洋史
透視化マルチウィンドウシステムにおけるウィンドウ操作機構のCUDAへの実装
落水 恭介
状態マシン図の直交合成状態によるユーザ認証を伴うWebナビゲーションのモデル化
片山 巧
プロセス代数を用いた階層構造をもつシーケンス図の詳細化検証
河村 亮太
充足可能性判定ツールyicesを用いたGALSシステムの有界モデル検査
平成22年度
吉田 宏起
縦横斜め配線を考慮したミニカット配置手法の開発
石川 裕大
心臓ペースメーカの制御機構の非同期化に関する基礎研究
大山 国晃
リングセグメント型GALSシステムにおける調停処理機構の開発
古好 佑輔
GALSシステムを対象とした性能評価システムの高効率化
三輪 陽介
GALSシステムを対象としたモデル検査手法の高速化
浅田 和真
LTSAを用いたシーケンス図の詳細化か関係の検証
坂口 有里
X Window Systemのサンプルサーバにおけるマッピング機能の解析
堀井 俊彰
全周動画像生成用多眼カメラにおけるカメラ配置の検討
平成21年度
新谷 憲司
透視化マルチウィンドウシステムにおける操作対象ウィンドウの切替えの高速化に関する研究
香川 真哉
PC Linux用Xウィンドウシステムの管理サーバにおける描画機能の解析に関する研究
西田 展久
Stochastic Timed Petri Netでモデル化されたシステムの性能評価ツールの改善に関する研究
沼田 弘貴
Stochastic Timed Petri Netでモデル化されたシステムの検証手法に関する比較と検討
川上 由香
記号モデル検査を用いた結合フラグメントの形式的検証
仁宮 章恵
仕様検査ツールAlloyを用いたUML設計の整合性検証
森分 陽亮
縦横斜め方向の線分探索配線システムの迂回配線機能向上に関する研究
小垣 慶彦
多眼カメラを用いたモザイク画像生成のためのキャリブレーションの高速化に関する研究
竹内 拓也
生体顕微鏡による冠動脈動画像からの血管径自動測定法の検討
植田 雄也
パーティクルフィルタを用いた膝関節運動解析手法の検討
平成20年度
西原 潤
ウィンドウ操作に焦点を絞ったX Window Systemのサーバの解析
青木 啓介
CCD生体顕微鏡を用いた拍動心動画像からの微小血管径測定法の検討
清原 大輔
動画像を対象とした再構成型幾何学変換器の設計
黒江 友哉
GALSシステム用性能評価ツールの高速化に関する研究
酒徳 将明
縦横斜め方向の線分探索配線システムの開発
桐田 和明
モデル検査ツールUPPAALを用いたGALSシステムの形式的検証
原田 慎士
SMVを用いたUML設計の整合性検証ツールの作成
平成19年度
兒玉 吉隆
輝度低下及び透視化機能を持つ高速マルチウィンドウシステムの高解像化
森本 祥行
輝度低下及び透視化機能を持つマルチウィンドウシステムのサーバに関する研究 -Xサーバの解析-
堤 健一
配線層を考えた縦横斜め配線アルゴリズムの研究
近藤 真史
Globally Asynchronous Locally Synchronous System に対するペトリネットデザインツールの開発
瀬古 剛一
記号モデル検査を用いたWebナビゲーションの形式的検証
大町 周作
記号モデル検査を用いた複数UML図の自動検証手法の実装
小笠原 裕子
数値積分法を用いた単一加速度センサによる膝関節運動解析法に関する検討
大坪 浩次
高速・高精度射影変換法のMATLABを用いたエミュレーション
平成18年度
岩本 保彦
透視化機能を持つマルチウィンドウシステム用サーバに関する基礎検討
河中 隼人
漸化式表現を用いた高速射影変換法の高精度化に関する研究
山本 大樹
大規模論理回路用性能評価ツールにおける入力インタフェースの開発
進 裕紀
縦横斜め方向の線分探索法によるグリッドフリー配線法の研究
三田 和美
漸化式表現を用いた膝関節運動の測定法に関する検討
弘岡 耕一
モデル検査を用いたUML図の自動検証手法の実装と評価
大根 一夫
シーケンス図を対象としたモデル検査による形式的検証手法の拡張
平成17年度
伊藤 大介
動画像を対象とした2次射影変換器の再構成化に関する研究
宮岡 有希
高解像度高速マルチウィンドウシステムのためのメモリ構成
切明 優友
Globally Asynchronous Locally Synchronous Systemの性能評価ツールの開発
吉本 文信
縦横斜め方向の線分探索法による配線プログラム作成
井上 寛之
膝関節運動解析のためのソフトウェア開発に関する研究
佐藤 貞仁
モデル検査手法を用いたUML図の形式的検証手法の提案
立嶋 政也
UMLを対象としたモデル検査による検証手法の適用
平成16年度
妹尾 嘉之
記号モデル検査手法を用いたUML図の形式的検証
田代 和幸
Stochastic Timed Petri Netsを用いた非同期システムの性能解析
山田 善紀
平板カメラにおけるたる型ひずみ補正の高速化
木村 康秀
薄暮にも有効な監視カメラの画像処理
森 隆浩
縦横斜め方向の線分探索配線アルゴリズム
鳥取 香文
クロストークを考慮したRSフリップフロップのメタステーブル動作解析
平成15年度
千坂 純一
射影変換における座標計算の高速化手法
中山 修一
複数カメラを用いたモザイク画像生成における初期パラメータ算出に関する研究
宮崎 仁
操作対象ウィンドウの識別性を向上したマルチウィンドウシステム
周藤 茂孝
縦横斜め配線の改善手法の研究
石川 修
XMLデータを関係データベースに格納するための一手法
坂野 大作
ハッシュアプローチに基づくXPath処理系の開発
桝田 憲一郎
ハッシュアプローチににおけるXML要素名に対する関係表の割当手法の開発
平成14年度
阿部 誠
FPGAへの実装を前提とした演算回路の性能
岩成 優次
配線遅延を考慮したCMOS NOR型RSフリップフロップのメタステーブル動作
梅津 寛明
射影変換器の設計と試作
江原 憲一
構造化文書を関係データベースに格納するためのアルゴリズムとその実装
加藤 哲志
縦横斜め配線の研究
小橋 祐介
歌唱データのMIDI形式への変換手法とその実装
田辺 勝也
高速マルチウィンドウシステムのためのデバイスドライバの設計
三宅 理恵
指示語と先行詞の照応関係を考慮した文章要約手法
平成13年度
岡田 洋介
高速マルチウィンドウシステムにおけるメモリアクセスの高速化
信太 美洋
音強を考慮した自動採符システムの開発
高谷 泰弘
動画像用疑似アフィン変換器におけるメモリ構成に関する研究
豊田 光弘
HTMLに対応した文章要約システムの開発
宮本 勲
メタステーブル動作を考慮したリングアービタのペトリネット表現
平成12年度
岡本 卓士
クラスタリングを用いた文書の傾向分析に関する研究
治徳 英輔
高速マルチウィンドウシステムにおけるターゲットウィンドウ切替えの高速化に関する研究
砂川 志穂
動画像用疑似アフィン変換器の構成法に関する研究
小泉 国芳
FPGAを用いた論理回路の作成実験とロボット制御への応用に関する研究
芹澤 裕子
ハミング歌唱による音楽検索システムの開発
野口 静香
単語の出現順序を考慮した文章要約手法に関する研究
平成11年度
右京 剛
動画像用疑似アフィン変換器の構成に関する研究
尾山 智英
高速マルチウィンドウシステムにおけるターゲットウィンドウ切替えに関する研究
兼田 満
要求発生確率が異なるリングアービタのメタステーブル動作にもとづくMTBF
玉井 恵梨
Edge Approachを用いた半構造データベースシステム
深堀 昇
肯定リテラルと否定リテラルを含む磁気結合型ジョセンフソン論理素子の構成に関する研究
船越 禎久
Universal Relationを用いた半構造データ管理システムの構築






TOP