1996 Fiscal Year Annual Research Report
| Project/Area Number |
06044112
|
|---|
| Research Institution | KYOTO UNIVERSITY |
|---|
Principal Investigator |
茨木 俊秀 京都大学, 工学研究科, 教授 (50026192)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
KARZANOV Ale ロシア科学院, システム科学研究所, 教授
BIOCH Jan C エスラムス大学, 経済学部, 教授
EITER Thomas ウィーン工科大学, 工学部, 助教授
KOGAN Alexan ラトガース大学, ラトコー研究所, 助教授
BOROS Endre ラトガース大学, ラトコー研究所, 教授
KAMEDA Tiko サイモンフレーザー大学, 計算学部, 教授
柳浦 睦憲 京都大学, 工学研究科, 助手 (10263120)
茨木 智 京都大学, 工学研究科, 助手 (10252488)
永持 仁 京都大学, 工学研究科, 助教授 (70202231)
|
|---|
| Keywords | 分散システム / 論理的解析 / 最適化 / プール関数 / コテリ |
|---|
| Research Abstract |
本研究は、分散システムの論理的解析を通じて、分散システム構造と機能を動的な側面と静的な側面から解明し、その結果に基づいて最適化を図ることを目的としている。具体的には
・分散システム、とくにコテリによる排他制御におけるブール関数の応用、
・部分定義ブール関数の理論と知識獲得問題への応用、
・正論理関数の同定と双対比のアルゴリズム、
のテーマに集約できる。本年度は、この共同研究の最終年度として、以下の派遣および招聘計画に従って共同研究を行い、所期の成果をあげた。
・平成8年7月、茨木俊秀が国際会議SWAT'96に出席し、知識獲得問題の研究成果を発表した。この際、デンマーク国コペンハーゲン大学と、オーストリア国ウイーン工科大学を訪問し共同研究を行った。
・平成8年7〜8月、茨木俊秀がアメリカ合衆国とカナダに出張し、サイモンフレーザー大学とラトガ-ス大学において共同研究を行った。
・平成8年9月、約1ヶ月の間、ラトガ-ス大学のAlexander Kogan教授を招聘し、論理関数の応用に関する共同研究を行った。
・平成8年11月から12月の2ヶ月間、ロシア科学院システム科学研究所からAlexander Karzanov教授を招聘し、ネットワーク理論に関する共同研究を行った。
|
-
[Publications] E.Boros: "Boolean analysis of incomplete examples" Algorithm Theory,Lecture Notes in Computer Science. 1097. 440-451 (1996)
-
[Publications] K.Makino: "Interior and exterior functions of Boolean functions" Discrete Applied Mathematics. 69・3. 209-231 (1996)
-
[Publications] K.Makino: "The maximum latency and identification of positive Boolean functions" SIAM J.on Computing. (掲載予定).
-
[Publications] E.Boros: "Polynomial time recognition of 2-monotonic positive Boolean functions given by an oracle" SIAM J.on Computing. (掲載予定).
-
[Publications] K.Makino: "Positive and Horn decomposability of particlly defined Boolean functions" Discrete Applied Mathematics. (掲載予定).
-
[Publications] J.C.Bioch: "Minimum self-dual decompositions of positive dual-minor functions" Discrete Applied Mathematics. (掲載予定).
