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

点击翻译按钮获取中文摘要

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