1999 Fiscal Year Annual Research Report
| Project/Area Number |
10740046
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
桜井 鉄也 筑波大学, 電子・情報工学系, 助教授 (60187086)
|
|---|
| Keywords | 非線形方程式 / 大域的解法 / 近接解 / 因子 / 精度保証 |
|---|
| Research Abstract |
1.非線形方程式の大域的解法
与えられた領域内部のすべての解を局所的な解法のみで求めることは困難である.そのため大域的な解法のためには領域内部の解の分布を求める方法が必要となる.しかし,領域内部に近接した解があるときにはこれらの解をすべて求めることは悪条件問題となる.本研究ではまず近接した解をクラスタとして分離することで安定に解の分布を求める方法について研究を行った.本年度は特に得られたクラスタ内部の近接解を因子として求める方法,およびその精度保証について研究を行った.領域内に唯一の解の存在を仮定する従来の方法では近接解に対しては精度保証を行うことが困難であった.本研究では近接した解を一つの因子として求めることで精度保証を与える方法を開発した.この研究成果を国際会議ICRA'99(Antwerp)において発表し,また,Reliable Computingに投稿し採録決定となった.
2.開発したプログラムをWeb上で利用するシステムの開発
解法の研究と平行して,開発した数理ソフトウエアを有効に利用するためのシステムの開発を進めた.本システムはJava言語によって記述されており,利用者はローカルマシン上のWWWブラウザからネットワークを介してサーバーマシンに接続をし,特別なプログラム言語などによる記述を必要とすることなく問題記述を行うことを目指す.また,アルゴリズム記述とデータベース化のために,XMLを用いてデータ表現を行うための研究を行った.
|
-
[Publications] P.Kravanja: "On locating clusters of zeros of analytic functions"BIT. 39・4. 646-682 (1999)
-
[Publications] T.Sakurai: "On factorization of analytic functions and its verification"Reliable Computing. (2000)
-
[Publications] T.Sakurai: "On factorization of analytic functions and its verification"Technical Report Institute of Information Science and Electronics,Univ,Tsukuba. TR-99-162. (1999)
