非線形方程式に対する解の存在検証の高速化に関する研究

非线性方程组解存在性的加速验证研究

基本信息

批准号：
16700018
负责人：
中谷祐介
金额：
$ 2.3万
依托单位：
Waseda University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2004
资助国家：
日本
起止时间：
2004 至 2006
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16700018/
关键词：
精度保証付き数値計算非線形方程式 Krawczykの方法

项目摘要

本研究では,有限次元の非線形方程式に対し,その解を精度保証付きで計算する手法の研究,開発を行ってきた.これまで,非線形方程式f(x)=0に対して,Krawczykの方法と呼ばれる解の存在検証法を用いて解を厳密に計算する精度保証の手法を提案した.本年度は非線形方程式に対する解を精度保証付きで計算する手法の応用を行った.その結果,回路におけるある基本定理に対して反例を示し,その厳密な証明を与えるという成果が得られた.回路解析の分野における基本問題の一つとして,「m個のトランジスタで構成される回路における動作点の最大個数Nmを求める」という問題がある.本研究で扱う定理はこの基本問題に対するもので,「2個のトランジスタで構成される回路における動作点の最大個数N2は,3である」というものである.近年,反例を与えることでこの定理が正しくないことの指摘がなされていたが,その過程における数値計算の結果は計算精度が重要になると思われるきわどいものであった.そこで本研究では,反例となる回路を与えその回路に対する動作点を精度保証付きで厳密に計算した.その結果5つの動作点が得られ,反例における厳密な証明を与えた.これにより,2個のトランジスタで構成される回路における動作点の最大個数は5以上であることも厳密に示され,本研究における精度保証の手法の実用性が示された.また本研究の成果は,2006年9月に開催された国際会議2006 International Symposium on Nonhnear Theoly and its Applications(NOUA2006)において報告を行った.

在这项研究中，我们研究并开发了一种对有限的非线性方程进行精确保证的解决方案的方法结果，对非线性方程式进行了准确性。是“由M晶体管组成的电路中的最大工作点。“寻求”存在一个问题。本研究中处理的定理是针对此基本问题的，“电路中的最大工作点数量由两个组成近年来，晶体管为3英寸。指出，通过给出倒置的示例，该定理是不正确的，但是在这项研究中，该过程中数值计算的结果令人困惑。给出了电路和该过程的操作点的操作点严格计算了准确的保证，因此获得了五个操作点，在伪造中给出了严格的证明。在这项研究中，这项研究的结果是2006年9月举行的2006年国际会议。