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

(1)三状态变量常微分方程行为分析的算法研究主要成果包括：（1）三维区域形状和拓扑的信息结构设计与算法;（2）三维曲线的信息结构设计与算法;（3）定性与定量相结合的三状态变量常微分方程解曲线局部几何特征提取算法。(1d)通过整合局部分析的结果，开发用于探索具有三个状态变量的常微分方程的解曲线的全局行为的算法，以及（1 e）通过将上述子系统组合在一起，开发自动分析仪。(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.