Unified Advanced Support System for Design and Development of Intelligent Distributed Processing Systems

智能分布式处理系统设计开发统一高级支撑系统

• 批准号: 03452162
• 负责人: NOGUCHI Shoich
• 金额: $ 4.35万
• 依托单位: TOHOKU UNIVERSITY
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (B)
• 财政年份: 1991
• 资助国家: 日本
• 起止时间: 1991 至 1992
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-03452162/
• 关键词: intelligent distributed processing; unified advanced support system; intelligent system architecture; specification acquisition support system; intelligent language processing system; communication software; protocol; human interface; 通信ソフトウェア; 知

In this research project, our main aim is to establish a unified design and development methodology for intelligent distributed processing systems, and to construct the unified High support system for Development of Intelligent Processing Systems (HIDIPS).For this purpose, in 1991, the first year of this project, we have focussed on specific issues and have achieved the followings based on the results so far obtained- (1) A logical refinement of intelligent systems or network systems has been done. Based on it, we have fixed a intelectural system architecture suitable for intelligent distributed processing systems. (2) A proposal has been draw up, and successfully designed, for a new specification language suitable for intelligent processing. New functions such as parallel processing, process communication, and other necessary functions have been introduced on the basis of the developed programming systems AMLOG and ATRS. (3) Support systems for system specifications and software design for intelligent distributed systems have been constructed.In the second year, 1992, based on the results obtained in the first year, we have achieved the following items - (1) Verification method of the specification language has been considered and its support system has been implemented. (2) An intelligent distributed software has been completed, so that the final system has been established.

本课题的主要目的是建立智能分布式处理系统的统一设计与开发方法，构建统一的智能分布式处理系统开发高级支持系统（HIDIPS）。为此，在1991年，这个项目的第一年，我们重点关注具体问题，并根据迄今取得的成果取得了以下成果：(1)完成了智能系统或网络系统的逻辑细化。在此基础上，我们确定了一种适用于智能分布式处理系统的智能系统架构。(2)提出并设计了一种适合智能处理的新型规范语言。在开发的编程系统AMLOG和ATRS的基础上，引入了并行处理、进程通信等新功能。(3)构建了智能分布式系统的系统规范和软件设计支撑体系。第二年，1992年，在第一年取得成果的基础上，我们实现了以下项目：(1)考虑了规范语言的验证方法，并实施了规范语言的支持系统。(2)完成了智能分布式软件，从而建立了最终的系统。

项目成果

D.Jokanovic, N.Shiratori, S.Noguchi: "Fault Tolerant Processor Allocation in Hypercube Multiprocessors" IEICE Trans.Vol.E74, No.10. 3492-3505 (1991)

D.Jokanovic、N.Shiratori、S.Noguchi：“超立方体多处理器中的容错处理器分配”IEICE Trans.Vol.E74，No.10。

朴(勝),白鳥,野口: "Distributed Systems Management for OSI Environment:System Configuration,Communecation Methods and Their Behavior" IEICE Trans.COMMUNI.Vol.75-B. 691-699 (1992)

Park (Katsu)、Shiratori、Noguchi：“OSI 环境的分布式系统管理：系统配置、通信方法及其行为”IEICE Trans.COMMUNI.Vol.75-699 (1992)。

岡崎,高橋,白鳥,野口: "LOTOS仕様からの効率的な試験系列の生成法" 電子情報通信学会論文誌. Vol.J74-B-1. 733-747 (1991)

Okazaki、Takahashi、Shiratori、Noguchi：“基于 LOTOS 规范的高效测试序列生成方法”，电子、信息和通信工程师协会学报，第 J74-B-1 卷（1991 年）。

Mansfield,村田,樋口,Jayathi,Chakraborty,根元,野口: "Network Management in a Large-Scale OSR-based Campus Network using SNMP" ICC'92. (1992)

Mansfield、Murata、Higuchi、Jayathi、Chakraborty、Nemoto、Noguchi：“使用 SNMP 在基于 OSR 的大规模校园网络中进行网络管理”ICC92 (1992)。

野口: "Quantum Controlled Device and the Optical Computer" 「Optical Computing in Japan」1992,Nova Science Publishers INS.,ed,Ishihara. 13-21 (1992)

野口：“量子控制设备和光学计算机”“日本的光学计算”1992 年，Nova Science Publishers INS. 编辑，Ishihara 13-21 (1992)。