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

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

(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.