Development of CAD for Control Systems Based on High Quality Numerical Computation in Next Generation

本研究开发了一个多精度算法库，使我们能够在不修改现有代码的情况下改变计算精度，并开发了一个经过验证的数值计算库，使得在用户程序中使用区间算法变得非常容易。提出了一种保证任意精度的数值计算方法，在多精度运算中自适应地控制尾数的位长。在此基础上开发了一个高质量的数值计算库。我们开发了一个用于控制系统建模和仿真的工具，它提供了易于使用的用户界面，并使我们能够利用高质量的数值计算。

This research developed a library for multiple-precision arithmetic which enables us to change the precision of computation without modifying the existing codes and a library for verified numerical computation which makes it possible to use interval arithmetic very easily in the user programs. And a method for numerical computation with guaranteed arbitrary accuracy was proposed which controls adaptively the bit-length of the mantissa in multiple-precision arithmetic. A library for high quality numerical computation was developed based on the libraries above and the proposed method. We have developed a tool for modeling and simulation of control systems which provides the easy-to-use user interface and enables us to utilize high quality numerical computation.