Studies on a System for Automated Analysis of Dynamical Systems by Integrating Qualitative and Quantitative Analysis

定性定量分析相结合的动力系统自动分析系统研究

• 批准号: 04452317
• 负责人: NISHIDA Toyoaki
• 金额: $ 3.07万
• 依托单位: Nara Institute of Science and Technology (1993-1994)Kyoto University (1992)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (B)
• 财政年份: 1992
• 资助国家: 日本
• 起止时间: 1992 至 1994
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-04452317/
• 关键词: Artificial Intekkigence; Qualitateve Reasoning; Dynamical Systems; Ordinary Differential Equations; Knowledge Engineering; Intelligent Scientific Computation; 知的科学計算; 知的科学技術計算

(1) Development of an algorithm for analysis of behaviors of ordinary differential equations with three state variablesThe major results involve :(1a) design of information structure and algorithms for representing the shape and topology of three-dimensional regions,(1b) design of information structure and algorithms for representing three-dimensional curves,(1c) development of an algorithm for extracting local geometric features of solution curves of ordinary differential equations with three state variables, by integrating qualitative and quantitative analysis.(1d) development of an algorithm for exploring global behaviors of solution curves of ordinary differential equations with three state variables, by integrating the results of local analysis, and(1e) development of an automated analyzer by putting together the above subsystems.(2) Development of a platform for scaling up the automated analyzerThe major results involve :(2a) development of a platform for agent programming in which autonomous agents cooperatively interact with each other.(2b) development of a method for increasing interoperability of agent by mediation based on a common ontology,(2c) development of a knowledge media which allows for data-driven knowledge acquisition from natural information resources.

(1)开发了一种具有三个状态变量的常微分方程行为分析算法。主要成果包括：（1a）设计了三维区域形状和拓扑的信息结构和表示算法；（1b）设计了三维曲线的信息结构和表示算法；（1c）开发了具有三个状态变量的常微分方程解曲线的局部几何特征提取算法状态变量，通过定性和定量相结合的分析。（1d）通过整合局部分析的结果，开发了一种用于探索具有三个状态变量的常微分方程解曲线的全局行为的算法；（1e）将上述子系统整合在一起，开发了一个自动分析仪。(2)开发用于扩展自动化分析的平台主要结果包括：（2a）开发用于智能体编程的平台，在该平台中，自主智能体相互协作交互。（2b）开发一种方法，通过基于公共本体的中介来提高代理的互操作性；（2c）开发一种知识媒体，允许从自然信息资源中获取数据驱动的知识。

项目成果

西田豊明: "Towards the Knowled geable Community" Proceedings of KB & KS'93. 157-166 (1993)

Toyoaki Nishida：“走向知识的吉布尔社区”KB & KS93 论文集（1993）。

Toyoaki Nishida: "Qualitative Reasoning for Automated Exploration for Chaos" Proceedings. AAAI-94. 1211-1216 (1994)

Toyoaki Nishida：“混沌自动探索的定性推理”论文集。

Toyoaki Nishida: "Towards Integration of Heterogeneous Knowledge for Highly Autonomous Analysis of Dynamical Systems-Preliminary Reports from the PSX Project" Journal of Information Processing. 15. 350-363 (1992)

Toyoaki Nishida：“走向动态系统高度自主分析的异构知识整合 - PSX 项目的初步报告”信息处理杂志。

Toyoaki Nishida: "Generating Quasi-symbolic Representation of Three-dimensional Flow" Proceedings. AAAI-93. 554-559 (1993)

Toyoaki Nishida：“生成三维流的准符号表示”论文集。

西田豊明: "Towards the Knowledgeable Community" Proceedings of KB&KS′.93. 157-166 (1993)

Toyoaki Nishida：“走向知识社区”KB&KS.93 论文集（1993）。