トップ   編集 差分 バックアップ 添付 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS

*学位論文(高井研) [#w020e6a9]

**2015年度 [#thesis2016]
**2016年度 [#thesis2016]
***修士論文 [#thesis2016m]
-地域エネルギー管理システム群における電力市場価格の不確定性を考慮したロバスト運転計画,岡田 昌紘
-エレベータMULTIに対する速度変化及び衝突回避を考慮したルーティング法,岡本 貴汰
-時刻に依存する最大通信遅延や摂動を持つマルチエージェントシステムの安定性の考察,加藤 雅也
-事象駆動型Consensus-ADMMを用いた分散凸最適化問題の解法,藤村 勇人
-マルチホップダイナミクスによる合意形成過程の考察,三宅 志織
-非決定離散事象システムの模倣制御におけるノンブロッキングスーパバイザの存在性,山田 悠貴
-条件付き判断を用いた離散事象システムのリライアブル分散スーパバイザ制御,吉田 翔

***学士論文 [#thesis2016b]
-センサネットワークにおける楕円形密度分布を用いたボロノイ被覆制御,伊藤 龍弥
-2つのシナリオからなるコレオグラフィ実現のための非循環関係導出アルゴリズム,冨永 一矢
-事象の強制に条件付き判断を用いた時間付き離散事象システムの分散スーパバイザ制御,三浦 進平

**2015年度 [#thesis2015]
***修士論文 [#thesis2015m]
-イベントトリガ型マルチエージェントシステムの被覆制御,安部 洸暉
-離散時間マルチエージェントシステムに対する衝突回避を考慮した事象駆動型合意問題の検討,岩瀬 真司
-非決定離散事象システムの双模倣・模倣制御に関する研究,串 直紀
-離散事象システムにおける部分観測のもとでの状態アトラクション制御,沢崎 遼馬
-移動型PTZカメラセンサネットワークによる2レベル階層型協調追跡,瀬川 昂平
-制約プログラミングにおける並列多目的最適化手法,安原 正人

***学士論文 [#thesis2015b]
-バイラテラルフィルタを用いたグラフフーリエ変換の検討,石川 和幸
-離散事象システムの繰返し故障に対する可診断性に関する研究,伊藤 貴紀
-通信販売薬局向け調剤センタにおけるスケジューリング問題の制約プログラミングモデルの構築,上野 夏人
-事象駆動型の合意制御に基づく劣勾配法による分散最適化,梶山 祐一
-非循環関係の再合成可能な分割を用いた複数のコミュニケーション図から状態機械図への変換手法,木下 聖基
-地域エネルギー管理システム群の交互方向乗数法を用いたデマンド制御,福田 卓也

**2014年度 [#thesis2014]
***修士論文 [#thesis2014m]
-混合整数計画問題及び凸計画問題の分散最適化,浅井 俊紀
-サービス指向アーキテクチャに基づくシステムの整合性検証に関する研究,老邑 博行
-イベントトリガ型連続時間マルチエージェントシステムに対する合意問題の考察,野村 健二
-事象と状態の観測に基づく非決定離散事象システムの分散スーパバイザ制御,星野 正法
-イベントトリガ型マルチエージェントシステムによる分散推定及び被覆アルゴリズム,村西 悠
-条件付き判断を用いた離散事象システムの分散型診断に関する研究,横田 翔一

***学士論文 [#thesis2014b]
-表面弾性波共振器設計のGPGPUを用いた高速化における一検討,岡田 昌紘
-リアルタイムシステムにおける摂動を考慮したスケジュール可能性の検討,加藤 雅也
-線形計画問題の秘匿性を考慮した分散シンプレックス法による解法,藤村 勇人
-離散時間平均合意ダイナミクスに関する収束性の検討,三宅 志織
-条件付き判断を用いた離散事象システムに対する分散スーパバイザの構成法,吉田 翔

**2013年度 [#thesis2013]
***博士論文 [#thesis2013d]
-工場エネルギー供給計画最適化に関する研究,北村 聖一

***修士論文 [#thesis2013m]
-事象センサの固定故障を考慮した離散事象システムの診断,金川 直樹
-事象と状態の観測に基づく非決定離散事象システムの双模倣・模倣制御,木村 克行
-蓄電池を有する分散エネルギー管理システムにおける機器の高効率な利用を目指した運転計画手法,芝田 耕大
-マルチエージェントシステムにおけるオイラー・ラグランジュ系のコンセンサス,浜田 健太
-ハイブリッド手法によるマルチカーエレベータのかご制御と割り当て問題に関する研究,峰岸 達矢
-ANDルールを用いた離散事象システムにおける分散型診断器の構成,山本 聖
-時間的に資源消費量が変化する資源制約付きプロジェクトスケジューリング問題に関する研究,吉田 智志

***学士論文 [#thesis2013b]
-マルチエージェントシステムの合意問題における非協調エージェン トの検出と分離,安部 洸暉
-トランジションシステムの模倣制御における出力フィードバックコントローラの最大許容性,串 直紀
-市場原理を用いた分散最適化手法の最適解への収束性に関する研究,桑名 孝汰
-抽象化を用いた離散事象システムに対する診断器の構成,近藤 哲也
-平均合意ダイナミクスを用いた分散KLIEPアルゴリズムによる変化点検出,瀬川 昂平
-制約プログラミングにおける多目的最適化手法の計算機実験による評価,安原 正人

**2012年度 [#oa8349cf]
***博士論文 [#ma97684a]
-強制可能事象をもつ時間付き離散事象システムにおける分散スーパバイザ制御,野村 雅司

***修士論文 [#ic6a594d]
-容量をもつAGVシステムにおける割り当ておよび衝突がない経路計画問題に対する局所探索手法,井上 健輔
-種々のエネルギー資源制約を考慮したRCPSPとその発見的モード制限手法,大久保 広訓
-抽象化を用いた部分観測離散事象システムの性質の検証,横谷 美怜
-出力フィードバックによるトランジションシステムの模倣・双模倣制御,Vu Tung Nam
-コンカレント同期合成でモデル化された離散事象システムの可観測性解析,王 龍江

***学士論文 [#o1435e42]
-cbUMLメタモデル及びCSCB法の実装と評価,老邑 博行
-イベント駆動型マルチエージェントシステムのDeferrableサーバを用いたタスクスケジューリング,野村 健二
-観測者間の通信を考慮した離散事象システムにおけるオパシティとその検証,星野 正法
-円の代数的あてはめ問題へのコンセンサスアルゴリズムの応用,村西 悠
-非決定性離散事象システムの可診断性とその検証,横田 翔一
-分散シンプレックス法による離散最適化問題への協調制御理論的アプローチ,吉村 仁希

**2011年度 [#oa8348cf]
***博士論文 [#ma97683a]
-"Studies on Global Bifurcation Structures and Effects of
Changing Ion Channel Conductances on Pacemaker Rhythm
in Cardiac Sinoatrial Node Cell Models",潘 振興
-"MCE Group Control for Efficient Call Allocation and
Non-restrictive Interference Prevention",Alex Valdivielso

***修士論文 [#ic6a593d]
-"離散事象システムの分散型故障診断における冗長性解析",中田 修平
-"SOAに基づくシステムの設計検証のためのUML状態機械の有界モデル検査に関する研究",新村 勇人
-"可読性を考慮したUMLコミュニケーション図からUML状態機械図への変換に関する研究",長谷川 泰央

***学士論文 [#o1435e41]
-"マルチカーエレベータにおけるかご制御と割り当て問題の整数計画問題としての定式化",峰岸 達矢
-"ANDルールを用いた離散事象システムの分散型診断における共可診断性の検証",山本 聖
-"ペトリネットを用いた複数枚のUMLコミュニケーション図からUML状態機械図への変換手法",渡辺 早紀矢
-"事象と状態の観測に基づく非決定離散事象システムの双模倣制御",木村 克行
-"言語仕様をもつ階層型離散事象システムの可診断性の十分条件",金川 直樹

**2010年度 [#tcd0e8a2]
***修士論文 [#a93aaee4]
-"時間付き離散事象システムにおける分散スーパバイザ制御",野村 雅司
-"離散事象システムにおける安全性制約をもつ分散型予知診断",原田 洋樹
-"マルチエージェントネットのモジュラー可達性解析に関する研究",堀口 恭太
-"モード変更時の消費エネルギーを考慮に入れた資源制約つきプロジェクトスケジューリング問題について",任 銀姫
-"Decentralized Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions",CHAWALARAT NADDA
***学士論文 [#r59e07f9]
-"移動経路計画手法改善のためのGUI実装と評価",井上 健輔
-"分散EMSにおける全体最適化モデルの自動生成に関する研究",大古瀬 広樹
-"蓄電池エージェントを含む多期間分散EMSの構築に関する研究",芝田 耕大
-"抽象化を用いた離散事象システムの予知診断可能性の検証",横谷 美怜
-"不可制御入力を持つトランジションシステムのフィードバック制御",VU TUNG NAM

**2009年度 [#k01ad931]
***修士論文 [#wadbb597]
-"アクティビティ図によるコレオグラフィ実現に関する研究",赤松 賢治
-"通路制約を考慮したAGVの移動経路計画手法",古用 晋一朗
-"多期間分散EMSにおけるエネルギー変換機器運転計画問題の解法に関する研究", 室田 勇輝
***学士論文 [#j394e11a]
-"同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査に関する研究",新村 勇人
-"時間付き離散事象システムにおける部分観測スーパバイザの存在条件の簡単化",野村 雅司
-"UML状態機械図の可読性を考慮した自動生成アルゴリズムに関する研究",長谷川 泰央
*学位論文(熊谷研) [#tf2935f7]
**2008年度 [#w6b26820]
***修士論文 [#da704bbd]
-"市場指向プログラミングを用いた分散EMS効率化のためのCO2排出原単位決定機構に関する研究", 杉本 洋平
-"確率的手法による高次元データの低次元埋め込みと知識発見に関する研究", 西川 尚斗
-"POMDPs環境における状態遷移の部分的履歴を用いた強化学習法に関する研究", 藤原 真一
-"秘密分散共有法を用いた分散データベース実現のための脅威モデルに基づく設計及び実行環境の構築", 水上 翔太
-"非線形動的モデルの大域的分岐構造に基づく心筋細胞の薬物感受性解析", 山口 麗
-"Multi-Car Elevator Group Control Algorithm for Interference Prevention and Optimal Call Allocation", VALDIVIELSO ALEX
***学士論文 [#xa653aba]
-"ギャップ結合が心臓ペースメーカ細胞の振動周期に及ぼす影響", 原田 洋樹
-"モジュラーペトリネットを用いたマルチエージェントネットの可達性解析に関する研究", 堀口 恭太
**2007年度 [#l7982c55]
***修士論文 [#c042e715]
-"大脳皮質錐体細胞モデルの構築と視覚野神経回路網のシミュレーション", 石木 達也
-"エージェントネットと拡張ROOM法に基づくサービスの連携検証用UMLシミュレータの提案", 倉畑 宏行
-"1次元写像力学系に基づくRandom Boolean Networkダイナミクスの解析", 藤原 伸光
-"自律分散型AGVの初期割り当て手法及び経路作成手法の改善による経路計画アルゴリズムの効率化", 森弘 佑輔
-"動径基底関数ネットワークを用いた画像処理問題の超単純反復解法", 潘 振興
***学士論文 [#xa653aba]
-"拡張ROOM法における先行子表編集のためのGUIの開発", 赤松 賢治
-"確率的近接データ埋め込み法のランダム化とタンパク質構造推定への応用", 安部 友康
-"人間心室筋細胞モデルの大域的分岐構造に基づくイオンチャネル薬物感受性の解析", 久門 聡
-"衝突を考慮した自律分散型AGVの搬送経路計画手法に関する研究", 古用 晋一朗
-"多期間における分散EMSの最適運転計画問題に関する研究", 室田 勇輝
-"カルシウムイメージングデータを用いた細胞間連関解析に関する基礎的検討", 妹尾  真人
**2006年度 [#r7e284c5]
***修士論文 [#cedb4ec9]
-"秘密分散共有法を用いた分散データベースシステムにおけるクエリ最適化に関する研究",池村 武司
-"確率的近接データ埋め込み法の拡張と距離幾何問題への応用",加嶋 浩之
-"心臓心室筋細胞モデルの非線形解析とその臨床応用に関する研究",高橋 直之
-"高効率エネルギーシステム構築のための市場指向プログラミングを用いた分散EMSに関する研究",八切 好司
***学士論文 [#wab08615]
-"AGV搬送経路計画問題におけるタブサーチの適用に関する研究",大谷 芳明
-"分散EMSにおけるエネルギー取引決定手法に関する研究",杉本 洋平
-"確率的手法を用いた高次元データの低次元埋め込みに関する研究",西川 尚斗
-"Safety Critical Systemにおける強化学習の適用に関する研究",藤原 真一
-"秘密分散共有法を用いた分散データベースシステムの設計及び開発",水上 翔太
-"心筋細胞詳細モデルの大域的分岐構造とイオンチャネル薬物感受性に関する研究",山口 麗

**2005年度 [#v7ddc64b]
***修士論文 [#x76c193f]
-"Distance Geometry 問題の大域的最適化による解法に関する研究",臼居 亮二
-"UMLで表現されたビジネスプロセスモデルの検証を支援するためのモデルシミュレータの研究",遠藤 悟
-"マルチエージェントネットモデルにおける述語抽象化を用いた可達性解析ツールに関する研究",坂本 雅樹
-"非線形モデルを用いた心臓心室筋細胞の刺激応答特性と薬物感受性に関する研究",永田 清香
***学士論文 [#k1fb5bb3]
-"心筋イオンチャネル異常の活動電位伝播速度に及ぼす影響",石木 達也
-"BPEL/UMLシミュレータにおけるWebサービス連携機能に関する研究",倉畑 宏行
-"結合写像系を用いた遺伝子制御ネットワークのモデル化",藤原 伸光
-"自律分散型AGVの搬送経路計画問題における初期割り当て改善方法に関する研究",森弘 佑輔

**2004年度 [#gf30d828]
***修士論文 [#qae03640]
-"Hodgkin-Huxley型生理学モデルのパラメータ推定と医学応用",岩佐 陽介
-"バッファ容量を考慮した自律分散型AGVの搬送計画手法",辻本 典弘
-"膵臓β細胞塊の血糖調節作用に関する研究",宮本 新也
-"秘密分散共有法を用いた分散データベースシステム",守田 泰博
***学士論文 [#b5c0d0d6]
-"分散データベースにおけるクエリー最適化",池村 武司
-"確率的近接データ埋め込み法の分子構造決定問題への応用",加嶋 浩之
-"心筋イオンチャネルコンダクタンスの活動電位持続時間に及ぼす影響",高橋 直之
-"最適化手法を用いたタンパク質構造推定の並列計算",田村 嘉章
-"分散EMSの最適運転計画ソフトウェアに関する研究",八切 好司

**2003年度 [#xe0ef982]
***修士論文 [#dd272151]
-"マルチエージェントによる環境負荷を考慮した分散エネルギーマネジメントシステムに関する研究",北山 朋宏
-"サプライチェインモデルにおける在庫管理戦略評価のための市場指向プログラミングツールの開発",嶋田 清孝
-"代数的画像再構成法における部分空間の直交性を利用した新しい並列計算法",橋本 真人
-"バージョン管理と自動修復機能による自律分散ストレージシステムの信頼性向上技術",林 大介
-"B-T細胞間の協調を考慮した免疫ネットワークの解析",林 友和
-"自律分散型交通信号制御システムに関する研究",朴 日
-"遺伝的アルゴリズムを用いたラインバランシング手法に関する研究",李 磊

***学士論文 [#zce57e66]
-"ガウス型目的関数を用いたタンパク質立体構造の推定",臼居 亮二
-"Peer to Peerコラボレーションシステムにおけるデータ同期・管理手法の開発",遠藤 悟
-"シーケンス制御システムにおける形式的検証のためのマルチエージェントネットモデル導出手法",坂本 雅樹
-"多属性・多品目オークション実現のためのクラスライブラリの開発",須佐美 壮志
-"大域的分岐構造に基づく心筋イオンチャネル薬物感受性の解析",永田 清香
-"(k,n)閾値法を用いた秘密分散実装のための有限体計算法に関する研究",森口 宏一