| Project/Area Number |
06558037
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (A)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 試験 |
|---|
| Research Field |
計算機科学
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
SASAKI Tateaki Tsukuba Univ., Inst.Math., Professor, 数学系, 教授 (80087436)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
MOTOYOSHI Fumio Electro-Technical Laboratory, Chief, 知能情報部, 室長
SUZUKI Masayuki Iwate Univ., Dept.Inf.Eng., Assoc.Prof., 工学部, 助教授 (20143365)
KAKO Fujio Nara Wo.Univ., Dept.Inf.Sci., Professor, 理学部, 教授 (90152610)
NODA Matu-tarou Ehime Univ., Dept.Comp.Sci., Professor, 工学部, 教授 (10036402)
KITAMOTO Takuya Tsukuba Univ., Inst.Math., Assistant, 数学系, 助手 (30241780)
|
|---|
| Project Period (FY) |
1994 – 1996
|
| Project Status |
Completed (Fiscal Year 1996)
|
| Budget Amount *help |
¥10,500,000 (Direct Cost: ¥10,500,000)
Fiscal Year 1996: ¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1995: ¥3,300,000 (Direct Cost: ¥3,300,000)
Fiscal Year 1994: ¥5,200,000 (Direct Cost: ¥5,200,000)
|
|---|
| Keywords | approximate algebra / algebraic computation / algebraic-numeric computation / computer algebra / computer algebra system / effective floating-point number / 近似代数システム / 近似代数の応用 / 近似代数算法 / 数値数式融合システム |
|---|
| Research Abstract |
The purposes of this research were, 1) to develop an approximate algebra system which allows us to monitor cancellation errors of the floating-point numbers, 2) to study algorithms of various algebraic operations, and 3) to seek for applications of approximate algebra.
As for approximate algebra system, effective floating-point number which we have proposed has been implemented in NSL (Nara Standard Lisp) (by Kako), and proved to be quite useful for approximate algebraic computation (by Sasaki & Kako). Furthermore, effective complex floating-point number and interval have been implemented in NSL (by Kako). On the basis of these facilities, numeric types of effective-float and interval have been equipped in formula manipulation system GAL,and arithmetic of approximate polynomials with coefficients of these numbers have been implemented in GAL (by Sasaki & Kako).
Algorithm studies done are, improvement of approximate GCD algorithm (by Sasaki et al., Noda & Kai), factor separation of univariate polynomial and its application to multiple/close root problem (Sasaki et al.), relationship between approximate GCD and Pade approximation & continued fraction expansion (by Noda & Kai), Puiseux series expansion method for eigenvalues and eigenvectors of matrices of univariate polynomial entries (by Kitamoto), primary decomposition method using approximate power series expansion of polynomial roots (by Kitamoto), fast algorithm for polynomial GCD (by Motoyoshi), and so on.
As for application, approximate GCD was utilized for numerical integration of rational functions (by Noda & Kai), multivariate power series expansions of polynomial roots was utilized for algebraically solving control system with parameters (by Kitamoto), and so on.
We think that effectiveness of approximate algebra has been proved almost sufficiently by these studies.
|
