摘要
This paper presents a rigorous verification of chaos in the RCLSJ model for studying dynamics of the Josephson junction. By carefully picking a suitable cross-section with respect to the attractor, it is shown that for the corresponding Poincare map P obtained in terms of second return time, there exists a closed invaria