REALITY OF CHAOS IN THE DOUBLE SCROLL CIRCUIT - A COMPUTER-ASSISTED PROOF

被引:43
|
作者
MATSUMOTO, T [1 ]
CHUA, LO [1 ]
AYAKI, K [1 ]
机构
[1] UNIV CALIF BERKELEY,DEPT ELECT ENGN & COMP SCI,BERKELEY,CA 94720
来源
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS | 1988年 / 35卷 / 07期
关键词
D O I
10.1109/31.1836
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
引用
收藏
页码:909 / 925
页数:17
相关论文
共 50 条
  • [21] A computer-assisted proof for photonic band gaps
    Vu Hoang
    Michael Plum
    Christian Wieners
    Zeitschrift für angewandte Mathematik und Physik, 2009, 60
  • [22] A Computer-Assisted Verification of Chaos in a Hopfield Neural Network
    Fan, Qing-Ju
    Yang, Xiao-Song
    2008 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS PROCEEDINGS, VOLS 1 AND 2: VOL 1: COMMUNICATION THEORY AND SYSTEM, 2008, : 1093 - 1096
  • [23] Computer-assisted proof of performance ratios for the Differencing Method
    Michiels, W.
    Aarts, E.
    Korst, J.
    van Leeuwen, J.
    Spieksma, F. C. R.
    DISCRETE OPTIMIZATION, 2012, 9 (01) : 1 - 16
  • [24] Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rossler System: A Computer-Assisted Proof
    Wilczak, Daniel
    Serrano, Sergio
    Barrio, Roberto
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, 2016, 15 (01): : 356 - 390
  • [25] Computer-Assisted Language Learning: From Vision to Reality?
    Bush, Michael D.
    CALICO JOURNAL, 2008, 25 (03): : 443 - 470
  • [26] Mobile augmented reality for computer-assisted percutaneous nephrolithotomy
    Michael Müller
    Marie-Claire Rassweiler
    Jan Klein
    Alexander Seitel
    Matthias Gondan
    Matthias Baumhauer
    Dogu Teber
    Jens J. Rassweiler
    Hans-Peter Meinzer
    Lena Maier-Hein
    International Journal of Computer Assisted Radiology and Surgery, 2013, 8 : 663 - 675
  • [27] Mobile augmented reality for computer-assisted percutaneous nephrolithotomy
    Mueller, Michael
    Rassweiler, Marie-Claire
    Klein, Jan
    Seitel, Alexander
    Gondan, Matthias
    Baumhauer, Matthias
    Teber, Dogu
    Rassweiler, Jens J.
    Meinzer, Hans-Peter
    Maier-Hein, Lena
    INTERNATIONAL JOURNAL OF COMPUTER ASSISTED RADIOLOGY AND SURGERY, 2013, 8 (04) : 663 - 675
  • [28] COMPUTER-ASSISTED DECISION SUPPORT - A NEW AVAILABLE REALITY
    HARRIS, DK
    JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 1987, 258 (01): : 86 - 86
  • [29] Computer-assisted verification of chaos in the model of nuclear spin generator
    Yuan, Quan
    Yang, Xiao-Song
    APPLIED MATHEMATICS AND COMPUTATION, 2009, 213 (01) : 148 - 152
  • [30] A computer-assisted verification of hyperchaos in the Saito hysteresis chaos generator
    Li, Qingdu
    Yang, Xiao-Song
    JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2006, 39 (29): : 9139 - 9150