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

計算の品質保証のための数値情報処理システムに関する研究

计算质量保证的数值信息处理系统研究

基本信息

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

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08750089/
关键词：
計算の品質高速自動微分自動微分誤差推定数値計算

项目摘要

工業製品・ソフトウェアの品質と同様,数値シミュレーション等において数値計算結果も一種の「製品」とみなされる状況では,計算結果に対する「品質」の管理も重要である.計算結果に対する要求制度に応じて,計算を制御することが必要となるからである.そのためには,「高速自動微分」,「区間演算」などの新たな接近法が必要である.研究代表者自身は,以前からこの方向に沿った分野を研究してきており,これまでに,「自動微分・高速自動微分」を発展させ,数値計算における「数」の多様性(浮動小数点数,精度・指数部可変浮動小数点数,自動微分用の数など)に着目した実験システムの構築を目指している.本研究の目的は主として2点あった.ひとつは,数値計算結果の精度保証の自動化の仕組みの技術を発展させ,数値計算の結果の「品質」を保証し,管理できるシステムを設計することである.具体的には,数値計算結果の自動精度保証を基礎として,それを実際に支援するための効率の良いC++クラスライブラリの設計・開発である.もうひとつは,理論面での研究であり,多様な「数のデータ構造」を用いる技術の効率の良い実現法を検討し,数値計算用の「数」として,何を用い,どの精度保証の手法を用いるべきであるかというデータ構造選定の自動化の確立であった.結果は以下の通りである.C++用に開発していたライブラリプログラムの一部をFORTRAN90のモジュールに書き換えた.高速自動微分用プリプロセッサについて他に無い特長として2階微分係数まで計算できることと,1階微分係数自身に含まれる誤差も計算できることを強調し,国際会議で発表した.現存数式処理システムとの比較のために,Mathematicaを用いた計算の品質保証の数値実験を行なった.また,当初研究予定の使い勝手のよい「グラフイカルユーザインタフェース」を備えた処理系の設計には至らなかった.なお,計画どおりワークステーションを購入し,数値実験を行ない,8月には統計数理研究所主催の国際シンポジウム「最適化と計算」にて発表し,11月には九州大学中尾充宏教授主催の研究集会「新しい科学計算技法とその誤差解析」にて発表した.

The quality of industrial products is the same as that of industrial products, and the calculation results show that the quality of industrial products is the same as that of industrial products, and the results are the same as those of industrial quality products. The results of the calculation show that the system is required to improve the performance of the system, and it is necessary to make sure that it is necessary. High-speed automatic differential, high-speed automatic differential, inter-zone calculus, high-speed automatic differential, inter-zone calculus, high-speed automatic differential, inter-zone calculus, high-speed automatic differential, high-speed automatic differential, inter-zone calculus, high-speed automatic differential, inter-zone calculus, high-speed automatic differential, high-speed automatic differential and inter-zone calculus. The research representative himself, in the past, the direction of the research team has been in the field of research in the field of automatic differential, automatic differential. The purpose of this study is to focus on the two o'clock clock. To ensure the accuracy of the calculation results, to ensure the accuracy of the calculation results, to ensure the accuracy of the calculation results, to ensure the accuracy of the calculation results, to ensure the accuracy of the calculation results, to ensure the accuracy of the calculation results, to ensure the accuracy of the calculation results, to ensure the accuracy of the calculation results, to ensure the accuracy of the calculation results, to ensure the accuracy of the calculation results, to ensure the accuracy of the calculation results, to ensure the accuracy of the calculation results, to ensure the accuracy of the calculation results, to ensure the accuracy of the calculation results. For specific information, the results of numerical calculation show that the automatic accuracy guarantee is very important, and that the international market supports high performance, high precision, high precision, high In order to improve the accuracy and accuracy of the system, the system is used to determine the accuracy of the system, and the method of calculating the accuracy of the system is based on the analysis of the accuracy of the computer system. Results the following information is available. C + + uses the following information to improve the performance of the FORTRAN90 network. High-speed automatic differential system is used for automatic differential calculation of high-speed automatic differential equipment. For high-speed automatic differential calculation, high-speed automatic differential calculation is used for high-speed automatic differential calculation. there are no special features for high-speed automatic differential calculation. the National Congress of the people's Republic of China is responsible for the calculation of high-speed automatic differential. The number of existing data is higher than that of Mathematica, and the number of products is calculated by the number of customers. At the beginning of the study, it was intended that the design of the department of science should be designed to improve the performance of the system. In August, the Institute of Mathematics and Statistics urged the International Institute of Mathematics and Science to promote the most efficient calculation of the international economy. In November, Professor Yoshihiro, a professor at Kyushu University, called for a research rally called "New Scientific calculation techniques."