Lorenz Attractor by PwP

Komputerowo wspierane dowody w teorii układów dynamicznych (seminarium)

Rok akad. 1997/98 (archiwum)

W roku akademickim 1997/98 seminarium było prowadzone przez dra hab. Mariana Mrozka oraz dra Piotra Zgliczyńskiego. Spotkania odbywały się w piątki w godz. 8:15-9:45 w Instytucie Informatyki UJ w sali nr 220.

Kontynuacją tego seminarium jest seminarium na temat dynamiki symbolicznej i obliczeniowej prowadzone przez dra hab. Mariana Mrozka i dra hab. Wita Forysia.


Tematy spotkań w roku akad. 1997/98

03.10.1997 - Piotr Zgliczyński: Wprowadzenie

10.10.1997 - Marian Mrozek: Szeregi czasowe

17.10.1997 - Zbigniew Galias: Interwałowa metoda Newtona, na podstawie: G. Alefeld, Inclusion methods for systems of nonlinear equations - the interval Newton Method and modifications, Topics in Validated Comp.

24.10.1997 - Jacek Szybowski: Algorytm Szymczaka znajdowania par indeksowych

31.10.1997 - Paweł Pilarczyk: Algorytm obliczania grup homologii w R^3, na podstawie: Cecil Jose A. Delfinado, Herbert Edelsbrunner, An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere, Computer Aided Geometric Design 12 (1995) 771-784

07.11.1997 - Marcin Mazur: Michael Dellnitz, Andreas Hohmann, A subdivision algorithm for the computation of unstable manifolds and global attractors, Numerische Mathematik 75, 293-317 (1997) - c.d.n.

14.11.1997 - Piotr Zgliczyński: O dynamice symbolicznej: czasem można dowieść dużo więcej niż tylko sprzężenie z shiftem

21,28.11.1997 - Maciej Ślusarek: H. Edelsbrunner, T.K. Dey, S. Guha: Computational topology - c.d.n.

05.12.1997 - Leszek Pieniążek: M. Klemm, P.E. Beckmann, The topology of basin boundaries in a class of three-dimensional dynamical systems, International Journal of Bifurcations and Chaos, vol. 6, no. 1 (1996), 161-167

12.12.1997 - Marcin Mazur: O globalnych atraktorach (ciąg dalszy z 7.11.97)

19.12.1997 - Joanna Jaroszewska: Madjid Allili, Tomasz Kaczyński, An algorithmic approach to the construction of homomorphisms induced by maps in homology

09.01.1998 - Zbigniew Galias: O obliczaniu wykładników Lapunowa na podstawie danych eksperymentalnych

16,23.01;20.02.1998 - Piotr Zgliczyński: O punktach okresowych dla sieci słabo sprzężonych odwzorowań 1-wymiarowych - algorytm konstrukcji relacji nakrywających

27.02.1998 - Kinga Stolot: O śledzeniu pseudoorbit - numeryczne trajektorie mogą reprezentować prawdziwe orbity. Wg prac Yorke'a i spółki, m.in.: Hammel, Yorke, Geborgi, Numerical orbits of chaotic processes represent true orbits, Bulletin of the AMS, vol. 18, num. 2, October 1988, p. 465-469 oraz Silvina Dawson, Celso Grebogi, Tim Sauer, James A. Yorke, Obstructions to shadowing when a Lyapunov exponent fluctuates about zero, Physical Review Letters, vol. 73, num. 14, 3 October 1994

06.03.1998 - Kinga Stolot: c.d. o śledzeniu pseudoorbit: Tim Sauer, James A. Yorke, Rigorous verification of trajectories for the computer simulation of dynamical systems, Nonlinearity 4 (1991), 961-979

13.03.1998 - Kinga Stolot i Piotr Zgliczyński: ciąg dalszy dyskusji o śledzeniu pseudoorbit

20.03.1998 - Maciej Ślusarek: Algorytm obliczania grup homologii kompleksow lancuchowych: T. Kaczynski, M. Mrozek, M. Slusarek: Homology computation by reduction of chain complexes

27.03.1998 - Marcin Kadłuczka: Franco P. Preparata, Michael Ian Shamos, Computational Geometry, Spriger-Verlag 1985, rozdz. 8.7: The External Contour of a Union of Rectangles

03.04.1998 - Zbigniew Skolicki: Jakov G. Sinai, Elena B. Vul, Hyperbolicity conditions for the Lorenz model, Physica 2D (1981) 3-7

24.04.1998 [w zastępstwie prowadził Z. Galias] - Joanna Jaroszewska: Helena E. Nusse, James A. Yorke, A numerical procedure for finding accessible trajectories on basin boundaries, Nonlinearity 4 (1991) 1183-1212

08,15.05.1998 - Leszek Pieniążek: Michael Eidenshink, Exploring Global Dynamics: A Numerical Algorithm Based on the Conley Index Theory, PhD. Thesis, Georgia Institute of Technology, 1995

15.05.1998 - Marcin Kadłuczka: G. Osipenko, Construction of attractors and filtrations

22.05.1998 - Konstantin Mischaikow (Georgia Tech, Atlanta): Conler-Floer Theory for Nonlocal Equations: Traveling waves in lattice systems

29.05;05.06.1998 - Marcin Kulczycki: Algorytm Lohnera ścisłego całkowania równań różniczkowych, na podstawie: Computation of Guaranteed Enclosures for the Solutions of Ordinary Initial and Boundary Value Problems w: J.R. Cash, I. Goldwell: Computational Ordinary Differential Equations oraz na podstawie: Enclosures the solutions of ordinary Initial and boundary value problems w: Kauder, Kulisch, Ullrich, Scientific Computation and Programming Languages

12.06.1998 - Marcin Kozik: C. Foias, M.S. Jolly: On the numerical algebraic approximation of global attractors, Nonlinearity 8 (1995) 295-319 oraz C. Foias, R. Temam: The algebraic approximation of attractors: the finite dimensional case, Physica D 32 (1988) 163-182


Uczestnicy seminarium w roku akad. 1997/98

Zbigniew Galias, AGH

Joanna Jaroszewska, Instytut Matematyki UJ

Marcin Kadłuczka, Instytut Informatyki UJ

Piotr Kot, Instytut Matematyki UJ

Marcin Kulczycki, Instytut Matematyki UJ

Marcin Mazur, Instytut Matematyki & Instytut Informatyki UJ

Marian Mrozek, Instytut Informatyki UJ

Leszek Pieniążek, Instytut Matematyki & Instytut Informatyki UJ

Paweł Pilarczyk, Instytut Matematyki & Instytut Informatyki UJ

Zbigniew Skolicki, Instytut Informatyki UJ

Jacek Szybowski, Instytut Matematyki & Instytut Informatyki UJ

Maciej Ślusarek, Instytut Informatyki UJ

Klaudiusz Wójcik, Instytut Matematyki UJ

Piotr Zgliczyński, Instytut Matematyki UJ


Niniejsza strona WWW była prowadzona przez Pawła Pilarczyka.