分散システムの論理的解析と最適化

1996 年度 実績報告書

• 研究課題/領域番号: 06044112
• 研究機関: 京都大学
• 研究代表者: 茨木 俊秀 京都大学, 工学研究科, 教授 (50026192)
• 研究分担者: KARZANOV Ale ロシア科学院, システム科学研究所, 教授 ; BIOCH Jan C エスラムス大学, 経済学部, 教授 ; EITER Thomas ウィーン工科大学, 工学部, 助教授 ; KOGAN Alexan ラトガース大学, ラトコー研究所, 助教授 ; BOROS Endre ラトガース大学, ラトコー研究所, 教授 ; KAMEDA Tiko サイモンフレーザー大学, 計算学部, 教授 ; 柳浦 睦憲 京都大学, 工学研究科, 助手 (10263120) ; 茨木 智 京都大学, 工学研究科, 助手 (10252488) ; 永持 仁 京都大学, 工学研究科, 助教授 (70202231)
• キーワード: 分散システム / 論理的解析 / 最適化 / プール関数 / コテリ

研究概要

本研究は、分散システムの論理的解析を通じて、分散システム構造と機能を動的な側面と静的な側面から解明し、その結果に基づいて最適化を図ることを目的としている。具体的には
・分散システム、とくにコテリによる排他制御におけるブール関数の応用、
・部分定義ブール関数の理論と知識獲得問題への応用、
・正論理関数の同定と双対比のアルゴリズム、
のテーマに集約できる。本年度は、この共同研究の最終年度として、以下の派遣および招聘計画に従って共同研究を行い、所期の成果をあげた。
・平成8年7月、茨木俊秀が国際会議SWAT'96に出席し、知識獲得問題の研究成果を発表した。この際、デンマーク国コペンハーゲン大学と、オーストリア国ウイーン工科大学を訪問し共同研究を行った。
・平成8年7〜8月、茨木俊秀がアメリカ合衆国とカナダに出張し、サイモンフレーザー大学とラトガ-ス大学において共同研究を行った。
・平成8年9月、約1ヶ月の間、ラトガ-ス大学のAlexander Kogan教授を招聘し、論理関数の応用に関する共同研究を行った。
・平成8年11月から12月の2ヶ月間、ロシア科学院システム科学研究所からAlexander Karzanov教授を招聘し、ネットワーク理論に関する共同研究を行った。

研究成果

• [文献書誌] E.Boros: "Boolean analysis of incomplete examples" Algorithm Theory,Lecture Notes in Computer Science. 1097. 440-451 (1996)
• [文献書誌] K.Makino: "Interior and exterior functions of Boolean functions" Discrete Applied Mathematics. 69・3. 209-231 (1996)
• [文献書誌] K.Makino: "The maximum latency and identification of positive Boolean functions" SIAM J.on Computing. (掲載予定).
• [文献書誌] E.Boros: "Polynomial time recognition of 2-monotonic positive Boolean functions given by an oracle" SIAM J.on Computing. (掲載予定).
• [文献書誌] K.Makino: "Positive and Horn decomposability of particlly defined Boolean functions" Discrete Applied Mathematics. (掲載予定).
• [文献書誌] J.C.Bioch: "Minimum self-dual decompositions of positive dual-minor functions" Discrete Applied Mathematics. (掲載予定).