References in raw/Page_97.html

-
アフィン演算を用いた非線形回路のすべての解を求めるアルゴリズム
三島和博 - 大学院研究年報 理工学研究科編, 2011 - chuo-u.repo.nii.ac.jp
... Kashiwagi, “Existence test for solution of nonlinear systems applying affine arithmetic,” J.
Computational and Applied Mathematics, vol.199, no.2, pp.304–309, Feb 2007. ...
Combined Heat and Power Economic Dispatch for Isolated Microgrids
DF Romero Quete - Ingeniería Eléctrica - repositorio.unal.edu.co
... In this context, this thesis seeks to propose a practical EMS for CHP isolated MGs,
addressing uncertainty with the affine arithmetic method. Such a formulation could offer better ...
非線形方程式の解曲線追跡における区間演算とアフィン演算の比較
新宮弘敏， 神澤雄智 - 電子情報通信学会技術研究報告; 信学技報, 2009 - ieice.org
(和) 本報告では, 非線形方程式の解曲線を, 既知の解から追跡する方法として, 区間演算を用いた

ARCH-COMP18 category report: continuous and hybrid systems with nonlinear dynamics
F Immler, M Althoff, X Chen, C Fan... - Proc. of the 5th ..., 2018 - mediatum.ub.tum.de
... It is based on Runge-Kutta methods implemented with affine arithmetic. The distinctive
feature is that all algorithms are formally verified in the interactive theorem prover Isabelle/HOL: ...
Jorge Stolfi
J Stolfi - ic.unicamp.br
... Approximating Parametric curves with Strip Trees using Affine Arithmetic. In: Sibgrapi 2002
- 15th Brazilian Symposium on Computer Graphics and Image Processing, 2002, Fortaleza, ...
正交多頻多工系統使用複雜度資訊之位元寬度決定法
陳彥宇， 周景揚 - 2008 - ir.nctu.edu.tw
... It combines the interval and affine arithmetic for range analysis. Fang et al. employ affine

Interactive Theorem Proving and Rigorous Numerics for ODEs
W Tucker - 2015 - kalendarium.uu.se
... We present the formal verification of a rigorous numerical algorithm for solving ODEs based
on affine arithmetic and Runge-Kutta methods. It includes heuristics to split, intersect, and ...
アフィン演算を用いた複数のパラメータを持つ非線形方程式の全解探索
井原浩介， 神澤雄智 - 2012 - library.naist.jp
パラメータ依存非線形方程式の求解問題に対して, 区間演算を用いた全解探索アルゴリズム [1] が
知られている. 文献 [1] では探索領域を軸に平行な超直方体とし, 軸選択をしてから解の存在保証を...
Automated wordlength optimization framework for multi-source statistical interval-based analysis of nonlinear systems with control-flow structures
E Sedano Algarabel - 2016 - oa.upm.es
... un paso más allá introduciendo elementos de Multi-Element Generalized Polynomial Chaos
(ME-gPC) y combinándolos con una técnica moderna basada en Modified Affine Arithmetic ...
アフィン演算を用いた三角形-光線交差の精度保証
内村創， 柏木雅英， 柏木啓一郎 - 電子情報通信学会技術研究報告; 信学技報, 2008 - ieice.org
... so I used Affine-arithmetic(AA) as a precision-proving tool for intersection ... タイトル(英) Ray
Triangle intersection using Affine arithmetic ... キーワード(2)(和/英) アフィン演算 / affine arithmetic ...