オブジェクト指向システムレベル設計

• 「システムレベル設計」はハードウェア/ソフトウェア未分化段階での設計を指す語．LSI設計，組込みシステム設計などにおける
  • デザインパターン，
  • リファクタリングによる段階的詳細化，
  • UMLとAction Semantics．
• 例えば制御システム設計など，他分野への応用．
• オブジェクト指向システムレベル設計や分散システム設計における，特に通信や相互依存関係のアスペクト指向による定式化．

計算機ネットワーク

• DNSを活用して最適サーバ選択を自動化するコンテンツ配信ネットワーク (Content Distribution Networks, CDN)．すでに実用化．
• サーバに一時的に膨大なアクセスが集中する「Flash Crowds」現象に対抗するCDNとP2Pを融合したネットワーク．共同研究中．
• サーバクライアント型階層構成とpeer-to-peer (P2P) 型対等構成との間で相転移するネットワーク．
• アドホックネットワークにおける動的クラスタ生成による効率的経路制御．

分散人工知能

過去のテーマ，その他

• 並列システムやVLSIの抽象的仕様からの導出設計： 特に，漸化式による数学的仕様から関数型ないし論理型プログラムの等価変換によって，シストリックアレイのハードウェアアルゴリズムを導出する設計方式について，原理構築から支援システム作成まで行った．さらに，関数型プログラミングでいうSkeletonによるメタレベル構造記述についても考察を進めた．
• 分散人工知能システム構築のためのプログラミング言語と処理系： パターン照合通信を採用して階層的プロセス構成を導入し，言語設計から処理系作成まで行い，他組織でのロボティクス関係の研究など実用にも供してきた．
• 分散協調探索の応用： 特に，分散センサ網における多体軌跡推定問題について従来の手法から飛躍的な効率化を達成し，一方で，新たに考案した階層型協調を画像認識における動的輪郭モデルSnakesに適用して精度向上を果たした．
• 遺伝的アルゴリズムのLSIハードウェア化： パイプラインや並列実行などハードウェア化に適した新たな遺伝的処理を導入し，世界的にも最高レベルの性能を達成し，さらにマルチLSIによる並列分散化も設計を行った．

• ネットワーク研究プロジェクトの特設ページ (英語)

連携組織・協力組織など

• 長崎大学 楢崎研究室
• 九州産業大学 下川研究室
• LIVE! ECLIPSE プロジェクト
• (株) 半導体理工学研究センター
• 日本信号 (株)
• (株) コム・アンド・コム

博士論文

2008 Merdan Atajanov "Studies on Adaptive Reorganization of Flash Crowds Alleviation Network" [Abstract]

2007 小林 憲貴 "システムレベル設計の制御システムへの応用に関する研究" [要旨]

2007 山崎 亮介 "システムレベル設計における段階的詳細化手法に関する研究" [要旨]

2006 松本倫 子 "動的輪郭モデルの分散協調化に関する研究" [要旨]

2006 Chenyu Pan "Studies on Adaptive Network for Flash Crowds Alleviation" [Abstract]

(九州大学)

2001 下川 俊彦 "広域分散環境における柔軟なサーバ選択機構に関する研究" [要旨]

1999 大月 美佳 "Management of Object-Oriented Software Components in Distributed Environments" [要旨]

1996 楢崎 修二 "Studies on Communication Strategies in Cooperative Search" [要旨]

修士論文 (最近3年間)

2008 木村 正裕 "実行可能UMLのリファクタリングに基づく段階的具体化設計" [要旨]

2008 白石 崇 "システムレベル設計における消費電力見積もりに向けたスイッチング解析" [要旨]

2007 川崎 陽平 "ネットワークDDoS攻撃に耐性を持つP2Pネットワーク" [要旨]

2007 佐藤 一帆 "複数キーワード検索に対応した分散ハッシュ型P2Pネットワーク" [要旨]

2007 澤村 崇博 "アドホックネットワーク上のマルチキャストにおける動的負荷分散型の経路制御" [要旨]

2007 武笠 寛幸 "実行可能UMLによる分散システム用デザインパターンの記述" [要旨]

2006 佐藤 崇 "分散ハッシュ型P2PネットワークへのBloomフィルタの適用" [要旨]

2006 佐藤 琢也 "P2Pネットワークを用いた動的分散型計算システム" [要旨]

2006 澤田 行弘 "モバイルエージェントの相互交渉に基づく随伴サービス提供" [要旨]

2006 田中 健介 "アドホックネットワークにおける競合回避型の経路制御" [要旨]

卒業論文 (最近3年間)

2008 岩田 英一郎 "実行可能UMLにおけるアスペクト指向のXSLTを用いた実装" [要旨]

2008 菅井 雅仁 "実行可能UMLにおけるアサーションベースの動的検証" [要旨]

2008 田中 喜裕 "適応型P2Pネットワークにおけるインデクスサーバ連携" [要旨]

2008 照屋 朗 "実行可能UMLにおける段階的具体化規則のアスペクト指向による記述" [要旨]

2008 村上 潤 "構造型P2Pネットワークにおけるコンテンツ複製配置" [要旨]

2007 大塚 治 "P2Pネットワークのスケールフリー性を活用した検索効率化" [要旨]

2007 木ノ嶋 崇 "システムレベル設計における通信仕様モデルの探索" [要旨]

2007 清水 公一 "アドホックネットワークにおける傾斜型クラスタによる経路制御" [要旨]

2007 吉田 雄亮 "P2Pネットワークにおけるノード信頼性の自律分散的な評価" [要旨]

2006 木村 正裕 "システムレベル設計におけるリファクタリング規則の抽出とカタログ化" [要旨]

2006 白石 崇 "システムレベル設計における通信仕様の段階的詳細化" [要旨]

2006 畑中 壮平 "スケールフリーP2Pネットワークにおけるハブの分散的検出と検索効率化" [要旨]

論文など