知的分散処理システム設計・開発のための統合型高度支援システムの構築

1992 年度 実績報告書

• 研究課題/領域番号: 03452162
• 研究機関: 東北大学
• 研究代表者: 野口 正一 東北大学, 応用情報学研究センター, 教授 (80006220)
• 研究分担者: 布川 博士 東北大学, 電気通信研究所, 助手 (00208274) ; 富樫 敦 東北大学, 電気通信研究所, 助教授 (20172140) ; 白鳥 則郎 東北大学, 工学部・情報工学科, 教授 (60111316)
• キーワード: 知的分散処理 / 統合型高度支援システム / 知的システムアーキテクチャ / 仕様獲得支援システム / 知的言語処理システム / 通信ソフトウェア / プロトコル / ヒューマン・インタフェース

研究概要

知的分散処理システムを組織的かつ効果的に開発するためには、ネットワーク技術を基盤とした分散処理の開発と、分散処理システム上で協調的に動作する知的処理システムの開発を一貫して支援する、統合型高度開発支援システムの構築が不可欠である。本研究では、以上の背景のもと、知的分散処理システムの統一的開発法を確立し、新しい統合型高度開発支援システムHIDIPS(unified High support system for Development of Intelligent Processing Systems)を構築することを目的とする。
以上の本研究の目的を達成するため、今年度は以下の項目について研究を行なった。
(4)検証支援システムの作成
(5)統合型高度開発支援システムの作成と性能評価
(4)については、前年度(2)で設計した仕様記述言語のための検証法を検討し、検証支援システムを新設計算機上構築した。
(5)については、システム統合のための知的分散ソフトウェアを昨年(3)で整備した開発支援環境を用いて完成させ、各サブシステムを有機的に統合させることにより、知的分散処理システムの設計・開発を一貫して支援する最終システムを構築した。更に、システムの性能評価を通して、知的分散処理システム開発法の改善を行なった。

研究成果

• [文献書誌] 野口: "情報ネットワークの高信頼化設計問題" 情報社会における通信網の安全・信頼性ワークショップ. 1-10 (1992)
• [文献書誌] 野口: "将来の情報通信ネットワークに関する技術問題" テレコム旬間参加行事講演会. (1992)
• [文献書誌] Jayanthi,Mansfield,樋口,根元,野口: "Knowledge Base in Network Management" ICARCU'92. (1992)
• [文献書誌] Mansfield,村田,樋口,Jayanthi,Chakraborty,根元,野口: "Network Management in a LargeーScale OSIーbased Campus Network using SNMP" ICC'92. (1992)
• [文献書誌] Mansfied,村田,樋口,Jayanthi,Chakraborty,根元,野口: "An SNMPーbased Expert Network Management System for a LargeーScale OSIーbased Campus Network" IPCCC'92 CONFERENCE PROCCEEDINGS. 5.6.1.1-5.6.1.6 (1992)
• [文献書誌] Jayanthi,Mansfield,樋口,根元,野口: "Intelligent Network Management" Proceedings of INEN'92. 327-333 (1992)
• [文献書誌] Mansfield,村田,Jayanthe,Chakraborty,根元,野口: "An SNMPーBased Expert Network Management" Special Issue on 4th JC-CNSS. (1992)
• [文献書誌] Mansfield,村田,樋口,Jayanthi,Chakraborty,根元,野口: "Network Management In a LargeーScale OSIーbased Campus Network" IEEE 1992 NETWORK OPERATIONS AND MANAGEMENT SYMBOSIUM.Vol2. 19.2.1-19.2.13
• [文献書誌] Mansfield,村田,樋口,Jayanthi,Chakraborty,根元,野口: "An SNMPーbased Expert Network Management System for a LargeーScale OSIーbased Campus Network," IEEE Communication Society REPRINT. (1992)
• [文献書誌] 程,高橋,白鳥,野口: "An,Automatic Implementation Method of Protocol Specification in LOTOS," IEICE Trans.INF.&SYST.Vol.E75-D. 543-556 (1992)
• [文献書誌] 程,白鳥,野口: "ネットワーク環境におけるLOTOSマルチランデブ実装のための分散アルゴリズム" 電子情報通信学会論文誌. Vol.J75-D-1. 545-554 (1992)
• [文献書誌] 朴(勝),白鳥,野口: "Distributed Systems Management for OSI Environment:System Configuration,Communecation Methods and Their Behavior" IEICE Trans.COMMUNI.Vol.75-B. 691-699 (1992)
• [文献書誌] Kaniyil.小野里,野口: "On the Behavioral aspects of alternate routing in non-hierarchical networks" Computer Networks and ISDN Systems,. Vol.25. 275-294 (1992)
• [文献書誌] 野口: "Quantum Controlled Device and the Optical Computer" 「Optical Computing in Japan」1992,Nova Science Publishers INC.,ed,Ishihara. 13-21 (1992)
• [文献書誌] 野口: "新し知的コミュニケーションのための基本問題" コンピュータ科学. 418-422 (1992)
• [文献書誌] 木村,富樫,野口: "様相論理式による基本プロセスの合成アルゴリズム" 電子情報通信学会論文誌. Vol.J75-D-1. 1048-1061 (1992)
• [文献書誌] 木村,富樫,野口: "プロセスの枚挙に基づいた代数的プロセスの合成" 電子情報通信学会論文誌. Vol.J75-D-1. 1132-1143 (1992)