Art

J-GLOBAL ID：200902203727851011   Reference number：05A0318451

Rigorous Verification of Poincare Map Generated by a Continuous Piece-Wise Linear Vector Field and Its Application

連続区間線形ベクトル場により生成されたPoincareマップの厳密な検証とその応用

Author (4)： OKAZAKI Hideaki (Shonan Inst. of Technol., Fujisawa-shi, JPN) ,  FUJITA Katsuhide (Ube Inst. of National Coll. of Technol., Ube-shi, JPN) ,  HONDA Hirohiko (Shonan Inst. of Technol., Fujisawa-shi, JPN) ,  NAKANO Hideo (Shonan Inst. of Technol., Fujisawa-shi, JPN)
Material： IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers)  (IEICE Trans Fundam Electron Commun Comput Sci (Inst Electron Inf Commun Eng))
Volume： E88-A  Issue： 4  Page： 810-817  Publication year： Apr. 01, 2005 
JST Material Number： F0699C  ISSN： 0916-8508  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： vector field ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=05A0318451&from=J-GLOBAL&jstjournalNo=F0699C") }}

JST classification (1)： Circuit theory in general  (NA02010M)

Reference (7)：

• RUMP, S. M. INTLAB-INTerval LABoratory. Developments in Reliable Computing. 1999, 77-104
• MATSUMOTO, T. Bifurcations : Sights, Sounds, and Mathematics. 1993
• NEUMAIER, A. Interval Methods for Systems of Equations. 1990
• KRAWCZYK, R. Interval operators and fixed intervals. Lecture Notes in Computer Science. 1985, 81-94
• OISHI, B. Introduction to Nonlinear Analysis. 1997

Terms in the title (5)： 線形 ,  ベクトル場 ,  マップ ,  検証 ,  応用