权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

数値計算の品質制御用数値情報処理システムの試作研究

数值计算质量控制数值信息处理系统原型研究

基本信息

批准号：
09750085
负责人：
久保田光一
金额：
$ 1.28万
依托单位：
Chuo University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1997
资助国家：
日本
起止时间：
1997 至 1998
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09750085/
关键词：
計算の品質高速自動微分自動微分誤差評価数値情報処理

项目摘要

本研究の目的は,従来プログラム言語ごとに独立して定められていた数値のデータ型(整数,単・倍精度)をプログラム言語と切り離して確立し,新たに有理数,精度・指数部可変浮動小数点数,自動微分用の数,級数展開数,精度保証数等の数値用データ型を加え.ひとつの計算環境として提供することであった.昨年度当初はこの目標に向かって研究を進め始めたが,昨年度中に,計算の品質保証の基礎技術である「高速自動微分法」の「欠点」を一般的に解消するシステムの試作に成功し,本年度はその拡充を図り,論文としてまとめた.高速自動微分法により,計算誤差の大きさを精確に評価できることは以前から知られていたが,その反面,計算「時間」に比例する領域が必要であるという欠点があった.現在,メモリは安価になってきたとはいえ,巨大な計算に対してはメモリ不足により高速自動微分法を実行できなくなることは事実である.多少の計算時間の増加を許して,この欠点を解消する理論的な方法は,ドイツのA.Griewankにより与えられていたが,これを実行するには,プログラムの実行を凍結し,コピーし,解凍して再実行するという機能が必要である.一般的なコンパイラを利用しながらこの機能を提供することは,世界的に見ても未だ成功例がなかったが,今回,高速自動微分法の処理系とUNIXのプロセス処理を組み合わせて,一般的なFORTRAN77プログラムに対して,メモリ効率の良い高速自動微分法を適用できるようなシステムの試作に成功した.この結果は, Optmization Methods and Softwareという論文に投稿し,1998年12月に採録された.現在はシステムの改良中である.また,本研究を含めて,10年来の研究成果をとりまとめた著書「アルゴリズムの自動微分と応用」を中央大学理工学部伊理正夫教授と共著でコロナ社より出版した.

The purpose of this study is to establish new rational numbers, precision exponent parts with variable decimal points, automatic differentiation numbers, series expansion numbers, precision guarantee numbers, etc. The computing environment provides the opportunity to Last year, we began to make progress in our research on this subject. In the middle of last year, we successfully tried to solve the problem of "high speed automatic differentiation" and "short point" in the basic technology of calculation quality assurance. This year, we have made great progress in our research. High speed automatic differentiation method is used to calculate the error of large and accurate evaluation. It is necessary to calculate the proportion of time. Now, it's not easy to calculate, it's not easy to calculate. How much time to calculate increases, and how much time to solve the problem? A.Griewank, A.Griewank, A.Griewank, In this paper, the processing system of high speed automatic differentiation method is combined with the processing system of UNIX, and the test of high speed automatic differentiation method is successful. The result is Optometry Methods and Software, published December 1998. Now we're trying to improve it. This research includes the results of 10 years of research and the book "Automatic differentiation and application" co-authored by Professor Masao Iri, Faculty of Science and Technology, Chuo University.