Netiesinių matematinių modelių grafuose skaitinė analizė

Abstract

Disertacijoje nagrinėjami nestacionarių matematinių modelių nestandartinėse srityse skaitiniai sprendimo algoritmai. Uždavinio formulavimo sritis yra šakotosios struktūros (ang. branching structures), kurių išsišakojimo taškuose apibrėžiami tvermės dėsniai. Tvermės dėsnių skaitinė analizė ir nestandartinių kraštinių sąlygų analizė skiria nagrinėjamus uždavinius nuo klasikinių aprašytų literatūroje matematinės fizikos uždavinių. Disertacijoje suformuluoti uždaviniai apima skaitinių algoritmų šakotose struktūrose su skirtingais srautų tvermės dėsniais stabilumo ir konvergavimo tyrimą, lygiagrečiųjų algoritmų sudarymą ir taikymą, skaitinių schemų uždaviniams su nelokaliomis integralinėmis sąlygomis tyrimą. Disertacijoje sprendžiami taikomieji neurono sužadinimo ir impulso relaksacijos lazerio apšviestame puslaidininkyje uždaviniai, netiesinio modelio identifikavimo uždavinys. Disertaciją sudaro įvadas, penki skyriai, rezultatų apibendrinimas, literatūros šaltinių sąrašas ir autorės publikacijų disertacijos tema sąrašas. Įvadiniame skyriuje formuluojama problema, aprašytas tyrimų objektas, darbo aktualumas, formuluojami darbo tikslai ir uždaviniai, aprašoma tyrimų metodika, darbo mokslinis naujumas, darbo rezultatų praktinė reikšmė, pateikti ginamieji teiginiai ir disertacijos struktūra. Pabaigoje pristatomi pranešimai konferencijose disertacijos tema. Pirmajame skyriuje pateikta matematinių modelių nestandartinėse srityse arba su nestandartinėmis sąlygomis apžvalga. Antrajame skyriuje aprašyti trys skaitiniai algoritmai tiesiniam paraboliniam uždaviniui šakotose struktūrose: svorinis neišreikštinis algoritmas ir du prediktoriaus – korektoriaus tipo algoritmai, grindžiami skirtingu srities padalijimu. Pateikiama algoritmų stabilumo ir konvergavimo analizė. Trečiajame skyriuje aprašytos lygiagrečios algoritmų versijos, lygiagrečių algoritmų efektyvumo ir išplečiamumo analizė, aprašytas neurono sužadinimo skaitinis eksperimentas. Ketvirtajame skyriuje nagrinėjamas vienmatis parabolinis uždavinys su nelokaliąja integraline kraštine sąlyga. Neišreiktinės schemos analizė atliekama su skirtingomis nelokaliosios sąlygos koeficientų reikšmėmis. Penktajame skyriuje ištirtas krūvininko rekombinacijos lazerio apšviestame puslaidininkyje uždavinys, kuris dėl savo netiesiškumų pavidalo yra panašus į jaudrios ląstelės modeliavimo uždavinį, pateikiama skaitinės schemos analizė, sprendžiamas modelio identifikavimo uždavinys. Tyrimų rezultatai paskelbti septyniuose moksliniuose straipsniuose, iš kurių šeši – recenzuojamuose mokslo leidiniuose. Šie rezultatai pristatyti trylikoje konferencijų.

The numerical algorithms for non-stationary mathematical models in non-standard domains are investigated in the dissertation. The problem definition domain is represented by branching structures with conjugation equations considered at the branching points. The numerical analysis of the conjugation equations and non-classical boundary conditions distinguish considered problems among the classical problems of mathematical physics presented in the literature. The scope of the dissertation covers the investigation of stability and convergence of the numerical algorithms on branching structures with different conjugation equations, the construction and implementation of parallel algorithms, the investigation of the numerical schemes for the problems with nonlocal integral conditions. The modeling of the excitation of neuron and photo-excited carrier decay in a semiconductor, also the problem of the identification of nonlinear model are considered in the dissertation. The dissertation consists of an introduction, five chapters, main conclusions, bibliography and the list of the author's publications on the topic of dissertation. Introductory chapter covers the problem formulation and the object of research, the topicality of the thesis, the aims and objectives of the dissertation, the methodology of research, scientific novelty and the practical value of the achieved results. The defended thesis and structure of the dissertation are given in this chapter. The first chapter presents the overview of mathematical models in the non-standard domains or with non-classical boundary conditions. In second chapter the θ-implicit algorithm and two predictor-corrector algorithms for the linear parabolic problems on branching structures are given. The stability and convergence analysis of these algorithms is performed. The third chapter presents the parallel versions of the algorithms, the efficiency and scalability analysis of parallel algorithms, and the numerical simulation of neuron excitation. The fourth chapter deals with the one-dimensional parabolic problem with nonlocal integral boundary condition. The analysis of the implicit scheme is performed with different values of coefficients of the nonlocal boundary condition. The nonlinear model of excited carrier decay in a semiconductor is presented in chapter five. The analysis of the linearized numerical scheme and the results of the model fitting experiment are presented. The research results have been published in 7 scientific articles, 6 of them in the reviewed scientific journals. The results have been presented at 13 conferences.