制約とマルチコンテクストに基づく並列協調問題解決
スポンサーリンク
概要
- 論文の詳細を見る
本論文では制約とマルチコンテクストを利用した並列協調問題解決モデルを堤案し,その実現方式について述べる.このモデルは部分問題間の依存性が大きな設計問題を対象に考案したもので,制約充足機能を有するオブジェクトで表現した設計対象モデルを共有する復数のエージェントが並列かつ協調して問題解決を進める.そして制約充足機能により,設計解の整合性を維持するとともに,制約伝播を利用した協調動作を実現する.また,スロットの組み合わせを扱うノード網を用いたマルチコンテクスト機能をオブジェクトに持たせることにより,復数の解候補を並列に処理可能とする.そして,この方式に基づいた並列協調設計システムのプロトタイプを並列論理型言語KL1を用いて,分散メモリ型のマルチプロセッサ計算機Multi-PSI上に試作し,その有効性を確認した.
- 一般社団法人情報処理学会の論文
- 1993-02-15
著者
-
横山 孝典
武蔵工業大学大学院工学研究科電気工学専攻
-
小野 昌之
(財)新世代コンピュータ技術開発機構
-
大崎 宏
(財)日本情報処理開発協会
-
横山 孝典
(株)日立製作所日立研究所
-
大崎 宏
(財)新世代コンピュータ技術開発機構
-
和田 正寛
(財)新世代コンピュータ技術開発機構
関連論文
- 分散型組み込み制御システムのための分散リアルタイムOS (ディペンダブルコンピューティング)
- 分散型組み込み制御システムのための分散リアルタイムOS (コンピュータシステム)
- 4L-2 静的構造モデリングのためのアスペクト指向設計環境(要求定義とプログラミング言語・設計・実装,学生セッション,ソフトウェア科学・工学)
- 1L-6 組み込みシステムのためのアスペクト指向に基づくコンフィギュレーション(組込みとネットワーク,学生セッション,アーキテクチャ)
- 1L-4 組み込みシステム向けのダイナミックリンク手法に関する研究(組込みとネットワーク,学生セッション,アーキテクチャ)
- モデルレベルでの織り込みを実現するアスペクト指向設計環境(学生セッション A_モデル指向(1))
- 組み込み制御ソフトウェアのアスペクト指向に基づく開発法(組み込みシステム)
- BattailのSOVAに対する精密化について(符号理論)
- 4A-3 パーソナルコンピュータの元気化によるライフサイクル延長について(省電力と高信頼技術,一般セッション,アーキテクチャ)
- 法的推論システムHELIC-II(4) : 論理構築支援
- 法的推論システムHELIC-II(3) : 判例を用いた類似検索と判断生成
- 法的推論システム HELIC-II
- 法的推論システムHELIC-II(2) : 類似事例検索の改良と評価
- 非定形UIMSの概念
- メタユーザインタフェースを有するユーザインタフェース構築支援システム
- 対話の階層モデルに基づくユーザインタフェース管理システム
- 法的推論システムnew HELIC-IIの概要
- 時間駆動処理とイベント駆動処理が共存する組み込み制御システムのための分散処理環境
- D-6-7 RMを基にしたリアルタイムスケジューリングアルゴリズムの分析(D-6.コンピュータシステムC,一般セッション)
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- 組み込み制御ソフトウェア開発のためのSimulink・UMLモデル変換ツール
- オブジェクト指向組み込み制御システムのモデルベース開発法(分析・設計技法)
- Clock Gatingに基づいたGALS型システムにおける回路性能を考慮したインタフェースの構成法(計算機システム)
- 5N-2 応答時間を短縮した時間駆動分散処理ミドルウェア(組み込みシステム,学生セッション,アーキテクチャ)
- 3-219 大学情報系学科における組込みソフトウェア教育の実践と課題(オーガナイズドセッション「企業における技術者継続教育-日本を強くする組込みシステム教育のあり方-」,口頭発表論文)
- 5L-1 フラッシュROM上で動作する組み込みOSの動的更新方法(組込みOS,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 2T-2 排他的な処理を含むSTGに対するCSC Conflictの因果関係追加による解消手法について(論理・物理設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 1Q-1 組み込み制御ソフトウェア開発のためのSimulinkモデルからUMLモデルへの変換ツール(開発環境・開発支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 6L-5 仮想化技術を用いたセキュアクライアントの提案(仮想化技術(2),学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- JIS校正記号準拠のオンライン手書編集方式
- 画数, 筆順, 回転, 区切りに依存しないオンライン手書図形認識方式
- 法的推論システムHELIC-II(1) : 並列定理証明器MGTPを拡張した法律条文に基づく推論
- プログラムの動作を可視化する教育用プログラミング言語環境の提案
- 産業システムのためのコンパイラに基づくオブジェクト指向リフレクティブアーキテクチャ
- データ分散化とオブジェクト再構築に基づく分散処理システムの高信頼化方式
- 高信頼オブジェクト指向分散処理環境
- 広域分散システム環境におけるノンストップ・バージョンアップ手法
- 広域分散システム環境の高信頼化に関する一手法
- 2T-1 束データ方式のデータパス回路に適した非同期式制御回路の一設計手法(論理・物理設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 5N-1 時分割スケジューリング機能を有する時間駆動アーキテクチャ向けリアルタイムOS(組み込みシステム,学生セッション,アーキテクチャ)
- 制約に基づくオブジェクト指向知識表現システム
- オブジェクト間の制約伝播による問題解決方式
- プログラムの動作を可視化する教育用プログラミング言語環境の提案 (技術と社会・倫理)
- 3L-2 GALS型システムにおける効率的なインタフェースの一構成法(論理・物理設計技術,学生セッション,アーキテクチャ)
- 2R-3 組み込みシステム向けエージェントフレームワーク(マルチエージェント(2),学生セッション,人工知能と認知科学)
- 1L-3 動的更新が可能な組み込みOSに関する研究(組込みとネットワーク,学生セッション,アーキテクチャ)
- 6K-2 SMTプロセッサにおける軸タスク分割を考慮したスケジューリングアルゴリズム(プロセッサと可視化,学生セッション,アーキテクチャ)
- 5U-9 アドホックネットワーク向け分散オブジェクトネーミングサービス(センサネットワーク運用・制御,学生セッション,ネットワーク)
- 5U-8 無線LAN環境向け分散オブジェクト基盤(センサネットワーク運用・制御,学生セッション,ネットワーク)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- デ-06 プログラム知識が無くても内容を作ることができる教材(デモセッション,コンピュータと人間社会)
- 4Z-2 複数経路を利用し通信の品質を保つアドホックルーティングプロトコル(アドホックネットワーク,学生セッション,ネットワーク)
- 3V-4 リソースに制限のある組み込みシステムのためのエージェントフレームワーク(マルチエージェント(1),学生セッション,人工知能と認知科学)
- 3T-9 手持ちの材料だけを使って調理できる料理レシピをWebから検索するシステム(センサデータベースとコンテンツ,学生セッション,データベースとメディア)
- 2ZC-7 DHTを用いたWeb情報共有手法(P2P,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 1V-6 組み込みシステム向けマルチエージェントフレームワーク(マルチエージェント(1),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 生産システムのオープンネットワーク (特集 IT革命と省エネ)
- 制約とマルチコンテクストに基づく並列協調問題解決
- 設計向き並列協調問題解決システムの提案
- 並列協調問題解決のための対象モデル表現方式
- 組込み制御システムのための時間駆動オブジェクト指向ソフトウェア開発法
- 自動車分散制御システムフレームワークの開発(2) : 機能と実装
- 自動車分散制御システムフレームワークの開発(1) : ねらいと特徴
- 5N-3 時間駆動ネットワークを導入した組み込み制御システム向け分散オブジェクト環境(組み込みシステム,学生セッション,アーキテクチャ)
- 組み込み制御システム向け時間駆動分散オブジェクト環境(OSとネットワーク,組込みシステム工学)
- 組込み制御システム向け時間駆動分散オブジェクト環境(組込みシステム開発環境)
- 組込み制御システム向け時間駆動分散オブジェクト環境(組込みシステム開発環境)
- 組込み制御システム向け時間駆動分散オブジェクト環境
- 組込み制御システム向け時間駆動分散オブジェクト環境
- 教材配信の場としてのblogの活用
- D-6-15 RMに基づいたマルチプロセッサ用プリエンプション低減リアルタイムスケジューリングアルゴリズムの提案(D-6.コンピュータシステムC(ソフトウェア),一般セッション)
- D-6-16 利用率をベースにしたリアルタイムスケジューリングアルゴリズムの提案(D-6.コンピュータシステムC(ソフトウェア),一般セッション)
- アスペクト指向プログラミングによる組込みOSのカスタマイズ手法の提案
- RMに基づいたマルチプロセッサ用プリエンプション低減リアルタイムスケジューリングアルゴリズムの提案
- 利用率をベースにしたリアルタイムスケジューリングアルゴリズムの提案
- 自動車ネットワークの進化を支える半導体 (特集 ネットワーク時代を支える半導体)
- 振る舞いモデル生成機能を持つSimulink・UMLモデル変換ツール
- 純音の定位に及ぼす妨害音の影響
- 組み込み制御システムのためのオブジェクト指向コード生成ツール(組込ソフトウェア開発手法)
- 自動車制御のための分散システム・フレームワーク
- 組込制御システムのためのオブジェクト指向開発
- 位置透過性のあるシステムコールを有する組込み制御システム向け分散リアルタイムOS
- RMに基づいたリアルタイムスケジューリングアルゴリズムの提案と可能性解析
- 制約式の伝播によるオブジェクト指向計算モデル