Derek

Lýsing

Umsókn um könnun á kraftmiklum kerfum, sem hægt er að lýsa með venjulegum mismunajöfnum með einföldu viðmóti og að mestu leyti myndrænni framsetningu á niðurstöðunum. Inniheldur nokkrar sérstakar aðferðir til að greina kraftmikla kerfi eins og Poincare hluta og Lyapunov veldisvísa. Inniheldur frábæran gagnagrunn yfir þekkt ólínuleg virk kerfi. Gerir kleift að kanna kerfi allt að 25. röð með því að nota skilvirkar tölulegar aðferðir.

Helstu eiginleikar-DEREK leyfa: -tilgreina lýsingu á kerfinu sem safn af diffurjöfnum, upphafsskilyrðum, sem og færibreytur í jöfnum -finna villur í lýsingu á kerfinu, tilgreina nákvæmlega stað og eðli villunnar; -Veldu sjálfkrafa færibreytur tölulegu aðferðarinnar til að leysa kerfið; -byggja sjónræn grafík fyrir lausnir og hvaða sem er háð lausnabreytum. DEREK getur sjálft skalað að sviðsreitum til að sýna þær sem best, en viðurkennir að framkvæma skipulag handvirkt - kanna þrívíddarmynd áfangaferilsins. DEREK getur snúið þrívíddar fasaferli, auk þess að þysja inn og út úr henni. DEREK felur einnig í sér nokkrar sérstakar aðferðir til að greina kraftmikla kerfi: -smíði "fjölskyldu" lausna sem eru háðar einni eða tveimur breytum, eða safni mismunandi upphafsskilyrða; -bygging "Poincare hluta" - mengi skurðpunkta kerfisferilsins við tiltekið plan. -útreikningur á "Lyapunov veldisvísum" - sett af tölum sem einkenna hegðun kerfisins við óendanlega þróun og eru ekki háð upphafsskilyrðum (nema, ef til vill, nokkrar undantekningar).