並列・分散プロセスにおける協調メカニズムの基礎研究

并行分布式进程协调机制的基础研究

• 批准号: 01550289
• 负责人: 翁長 健治
• 金额: $ 1.09万
• 依托单位: Hiroshima University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1989
• 资助国家: 日本
• 起止时间: 1989 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-01550289/
• 关键词: 並列分散プロセス; 協調メカニズム; ペトリ・ネット; デ-タ・フロ-・グラフ; 知識システム間の協調; 命題論理プログラムの証明抽出

地理的に分散しているサイトのシステムは自律的に独立動作する傾向が強く、協調作業を行うには通信プロトコルと性能評価を明確に規定しなければならない。また同一サイトのシステムは作業を分割し並列に行うことにより出力性能の向上の可能性を持つが、分割された作業要素間の制御とデ-タの交信を明確に定めなければならない。耐故障性、自律制御性、自己組織性、局所性など柔軟な統合化技術は古くて新しいテ-マであり、本研究でいう『協調メカニズム』とは自律分散並行システムにおけるプロセスの目標、通信、実行制御の相互作用を意味している。(1)複数の知識システム間の協調:広域タクシ-網を解析例に取り上げ、いかなる知識システムにモデル化すれば、タクシ-各自が行動目標を立て、交通状況・客待ち状況を相互に交換し、本部を介した電話予約客の配分などの協調制御を実行可能とし、かつ生起した協調行為をル-ルから説明可能とするかを研究し、DAISY-IIという説明システムを構築中である。今回はエピソ-ド記憶を活用したカ-・セ-ルス対話プランナ-を設計した、[1]。(2)数式処理における学習:不定積分に分野を限定し、経験事例に説明を加えることにより学習機能を獲得するメカニズムを、学習空間の三階層分割とマクロ操作抽出によって実現することを試みた、[2]。(3)デ-タ駆動型計算プログラム:計算機内部における自律分散実行はデ-タ駆動原理に基いて実現されるが、そのプログラムはペトリ・ネットで実現される。計算の停止性と唯一決定性のネット論を展開した、[3]。(4)ペトリ・ネット解析:ペトリ・ネットは並列分散システムの強力な表現機能を有している。アルゴリズム問題を階層的に整理し、計算複雑度を解析した。命題論理プログラムの証明過程抽出を多項式時間で実行するアルゴリズムを設計した、[4]、[5]、[6]。

Geographic に scattered し て い る サ イ ト の シ ス テ ム は に independent action of self-discipline す る strong tendency が く line, coordinate work を う に は communication プ ロ ト コ ル と performance evaluation 価 を specific set に し な け れ ば な ら な い. ま た same サ イ ト の シ ス テ ム は homework を line segmentation し tied for に う こ と に よ り output performance の の upward possibility を hold つ が, segmentation さ れ た homework elements between の suppression と デ - タ の / letter を set clear に め な け れ ば な ら な い. Fault resistance, system of self-discipline, their organization, bureau な ど soft な integration technology は ancient く て new し い テ - マ で あ り, this study で い う "coordination メ カ ニ ズ ム" と は scattered self-discipline parallel シ ス テ ム に お け る プ ロ セ ス の goal line, communication, be suppression の interaction を mean し て い る. (1) the plural の knowledge シ ス テ ム の coordination between: his design domain タ ク シ - net を parsing example に take り げ, い か な る knowledge シ ス テ ム に モ デ ル change す れ ば, タ ク シ - their が action target を て, traffic condition, guest stay ち を に し exchange each other, the department を dielectric し た phone to about guest の partition な ど の royal を coordinate system may be line と し, か し つ generated た coordination behavior を ル - ル か ら instructions may と す る か を research し, DAISY - II と い う illustrate シ ス テ ム を building in で あ る. Today back to は エ ピ ソ - を ド memory use し た カ - · セ - ル ス words プ seaborne ラ ン ナ - を design し た, [1]. (2) the number of type 処 Richard に お け る learning: indefinite integral に eset を qualified し, 経 験 に say を plus え る こ と に よ り learning function を get す る メ カ ニ ズ ム を three class divided, learning space の と マ ク ロ operation take out に よ っ て be presently す る こ と を try み た, [2]. (3) デ - タ 駆 moving type calculation プ ロ グ ラ ム : internal computer に お け る scattered self-discipline line be は デ - タ 駆 dynamic principle に base い て be presently さ れ る が, そ の プ ロ グ ラ ム は ペ ト リ · ネ ッ ト で be presently さ れ る. Computational <s:1> ceasicity と unique determinacy ネット theory を expansion た た, [3]. (4) ペ ト リ · ネ ッ ト analytic: ペ ト リ · ネ ッ ト は tied for scattered シ ス テ ム の strong な performance function を has し て い る. Youdaoplaceholder0 ゴリズム ゴリズム problem を hierarchy に organization た, calculation of complex 雑 degree を analysis た. Propositional logical プ ロ グ ラ ム の で を polynomial time prove process line be す る ア ル ゴ リ ズ ム を design し た, [4], [5], [6].

项目成果

K.W.Ge,T.Watanabe,K.Onaga: "Topological Analysis of Firing Activities of Data-Flow Program Nets" Transactions of the IEICE.

K.W.Ge、T.Watanabe、K.Onaga：“数据流程序网络发射活动的拓扑分析”IEICE 交易。

白井豊,小野典彦,寺内睦博,翁長健治: "問題の簡約化制御知識の学習--数式への適用事例--" 人工知能学会 人工知能基礎論研究会. SIG-FAI. 31-40 (1989)

Yutaka Shirai、Norihiko Ono、Mutsuhiro Terauchi、Kenji Onaga：“学习问题简化控制知识——数学公式的应用示例——”人工智能基础研究小组，SIG-40（1989）。

小野典彦,山口智治: "エピソ-ド記憶に基づく相互主導対話システム--知識システム群による分散協調問題解決--" 計測自動制御学会 自律分散システム・シンポジウム 発表予定.

Norihiko Ono、Tomoharu Yamaguchi：“基于情景记忆的相互主动对话系统——一组知识系统的分布式协作问题解决——”预定在仪器与控制工程师学会自治分布式系统研讨会上的演讲。

T.Watanabe,Y.Mizobata,K.Onaga: "Time Complexity of Legal Firing Sequences and Related Problems of Petri Nets" Transactions of the IEICE. E-72. 1400-1409 (1989)

T.Watanabe，Y.Mizobata，K.Onaga：“合法射击序列的时间复杂性和 Petri 网的相关问题”IEICE 交易。

T.Watanabe,Y.Mizobata,K.Onaga: "Minimum Initial Marking Problems of Petri Nets" Transactions of the IEICE. E-72. 1390-1399 (1989)

T.Watanabe，Y.Mizobata，K.Onaga：“Petri 网的最小初始标记问题”IEICE 交易。