非線形方程式に対する解の存在検証の高速化に関する研究
非线性方程组解存在性的加速验证研究
基本信息
- 批准号:16700018
- 负责人:
- 金额:$ 2.3万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Young Scientists (B)
- 财政年份:2004
- 资助国家:日本
- 起止时间:2004 至 2006
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
本研究では,有限次元の非線形方程式に対し,その解を精度保証付きで計算する手法の研究,開発を行ってきた.これまで,非線形方程式f(x)=0に対して,Krawczykの方法と呼ばれる解の存在検証法を用いて解を厳密に計算する精度保証の手法を提案した.本年度は非線形方程式に対する解を精度保証付きで計算する手法の応用を行った.その結果,回路におけるある基本定理に対して反例を示し,その厳密な証明を与えるという成果が得られた.回路解析の分野における基本問題の一つとして,「m個のトランジスタで構成される回路における動作点の最大個数Nmを求める」という問題がある.本研究で扱う定理はこの基本問題に対するもので,「2個のトランジスタで構成される回路における動作点の最大個数N2は,3である」というものである.近年,反例を与えることでこの定理が正しくないことの指摘がなされていたが,その過程における数値計算の結果は計算精度が重要になると思われるきわどいものであった.そこで本研究では,反例となる回路を与えその回路に対する動作点を精度保証付きで厳密に計算した.その結果5つの動作点が得られ,反例における厳密な証明を与えた.これにより,2個のトランジスタで構成される回路における動作点の最大個数は5以上であることも厳密に示され,本研究における精度保証の手法の実用性が示された.また本研究の成果は,2006年9月に開催された国際会議2006 International Symposium on Nonhnear Theoly and its Applications(NOUA2006)において報告を行った.
在这项研究中,我们一直在研究和开发一种计算具有准确性保证的有限维非线性方程的解决方案的方法。到目前为止,我们提出了一种保证准确性的方法,该方法使用Krawczyk方法严格计算非线性方程F(x)= 0的解决方案。今年,我们采用了一种以准确性保证为非线性方程计算解决方案的方法。结果,我们为电路中的某个基本定理提供了反规定,并提供了严格的证明。电路分析领域的基本问题之一是“在由M晶体管组成的电路中找到最大的工作点数”的问题。本研究中涵盖的定理是出于这个基本问题,“两个点”“由Rangister组成的电路中的最大工作点N2数为3。”近年来,已经指出,通过给出反例,该定理是不正确的,但是在此过程中数值计算的结果极为危险,其中计算精度被认为很重要。因此,在这项研究中,我们给了反例电路,并以准确的保证计算了该电路的工作点。结果,获得了五个操作点,我们为反例提供了严格的证明。这还表明,由两个晶体管组成的电路中的最大工作点数为5或更多,表明本研究中准确性保证方法的实用性。这项研究的结果也于2006年9月给出。该报告是在国际非Hhnear Theoly及其应用的国际研讨会上提出的(NOUA2006)。
项目成果
期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Numerical Verification of Five Solutions in Two-transistor Circuits
二晶体管电路五种解的数值验证
- DOI:
- 发表时间:2006
- 期刊:
- 影响因子:0
- 作者:Y.Nakaya;S.Oishi;T.Nishi;M.Claus
- 通讯作者:M.Claus
実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法
实对称定广义特征值问题所有特征值的精度保证数值计算方法
- DOI:
- 发表时间:2004
- 期刊:
- 影响因子:0
- 作者:丸山晃佐;荻田武史;中谷祐介;大石進一
- 通讯作者:大石進一
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
中谷 祐介其他文献
計算機援用証明II
计算机辅助证明II
- DOI:
- 发表时间:
2004 - 期刊:
- 影响因子:0
- 作者:
丸山 晃佐;荻田 武史;中谷 祐介;大石 進一;Siegfried M.Rump (荻田 武史訳);Siegfried M.Rump (荻田 武史訳) - 通讯作者:
Siegfried M.Rump (荻田 武史訳)
Change of Inflow Load and Water Environment in Osaka Bay
大阪湾入水负荷与水环境变化
- DOI:
- 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
中谷 祐介;川住 亮太;西田 修三 - 通讯作者:
西田 修三
底曳網漁業が大阪湾の水質構造に及ぼす影響の数値解析
底拖网捕捞对大阪湾水质结构影响的数值分析
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
稲垣 翔太;中谷 祐介;秋山 諭;木村 祐貴 - 通讯作者:
木村 祐貴
計算機援用証明I
计算机辅助证明Ⅰ
- DOI:
- 发表时间:
2004 - 期刊:
- 影响因子:0
- 作者:
丸山 晃佐;荻田 武史;中谷 祐介;大石 進一;Siegfried M.Rump (荻田 武史訳) - 通讯作者:
Siegfried M.Rump (荻田 武史訳)
中谷 祐介的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('中谷 祐介', 18)}}的其他基金
瀬戸内海における外洋起源有機物の動態とCODの制御限界
濑户内海海洋有机物动态及 COD 控制限值
- 批准号:
21K04273 - 财政年份:2021
- 资助金额:
$ 2.3万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
非線形方程式に対する精度保証付き数値計算法に関する研究
非线性方程精度保证的数值计算方法研究
- 批准号:
13780256 - 财政年份:2001
- 资助金额:
$ 2.3万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
相似海外基金
非線形確率微分方程式系における確率カオスの定量解析とその応用
非线性随机微分方程系统随机混沌的定量分析及其应用
- 批准号:
23K20814 - 财政年份:2024
- 资助金额:
$ 2.3万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
非線形分散型方程式の大域解析
非线性分布方程的全局分析
- 批准号:
23K22403 - 财政年份:2024
- 资助金额:
$ 2.3万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
分数冪ラプラス作用素を伴う非線形拡散方程式に関する変分解析および数値解析
具有分数幂拉普拉斯算子的非线性扩散方程的变分和数值分析
- 批准号:
24KJ0381 - 财政年份:2024
- 资助金额:
$ 2.3万 - 项目类别:
Grant-in-Aid for JSPS Fellows
非線形分散型方程式のキンクならびにソリトン解の漸近安定性解析
非线性色散方程扭结解和孤子解的渐近稳定性分析
- 批准号:
24K06792 - 财政年份:2024
- 资助金额:
$ 2.3万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
二重非線形放物型積分方程式に対する正則性理論と幾何学的熱流の正則解の大域存在
双非线性抛物型积分方程的正则理论与几何热流正则解的全局存在性
- 批准号:
24K06798 - 财政年份:2024
- 资助金额:
$ 2.3万 - 项目类别:
Grant-in-Aid for Scientific Research (C)