Darbo tikslas yra sukurti reikalavimų specifikavimo integralumą užtikrinantį metodą. Šiam tikslui įgyvendinti sukurtas procesų modelis, kurį sudaro trys pagrindiniai uždaviniai: reikalavimų identifikavimas, specifikavimas ir komponavimas. Pirmi du uždaviniai padeda identifikuoti besikertančius reikalavimus taip sumažinamas reikalavimų išsibarstymas specifikacijoje, nustatomos priklausomybės ir būtini reikalavimai. Komponavimo etapo tikslas yra sukomponuoti reikalavimus ir suteikti kūrėjams visą sistemos vaizdą bei nustatyti ir valdyti konfliktus tarp reikalavimų. Reikalavimų integralumas užtikrinamas visus reikalavimus, laikant vienoje formoje. Darbe išnagrinėti reikalavimų specifikavimo šablonai, klasifikavimo standartų bei reikalavimų valdymo įrankiai. Analizuojami besikertančių reikalavimų identifikavimo ir išgavimo strategijos. Atlikta funkcinių ir nefunkcinių reikalavimų integralumo metodų ir būdų analizė. Sukurtas šablonas reikalavimams specifikuoti, kuris apima funkcinius ir nefunkcinius reikalavimus, funkcinius ir nefunkcinius besikertančius reikalavimus. Reikalavimų valdymui sudarytas šablonas RequisitePro aplinkoje. Sukurtas MagicDraw paketo profilis, siekiant pateikti kūrėjams pilną sistemos vaizdą, atvaizduojant reikalavimų rinkinius panaudos atvejų diagramomis. Metodas patikrintas sudarant ATM sistemos reikalavimų specifikaciją, reikalavimai specifikuojami apimant funkcinius ir nefunkcinius reikalavimus, būtinus reikalavimus, funkcinius ir... [toliau žr. visą tekstą] / The aim of this work is to create A method for integrity support of requirements specification. For this purpose a process model is developed, which consists of three main tasks: the identification of requirements, specification and composition. The first two tasks helps to identify the crosscutting requirements of the following reduction the requirements dispersal in requirements specification, also identify responsibilities of requirements and identify required requirements. The goal of composition task is to compose the requirements to give the developer a view of the whole system and to identify and manage conflicts between requirements. Integrity of requirements are ensured keeping all requirements in a unique form. The paper analyzes the identification of crosscutting requirements and gathering strategies. The templates of requirements specification, standards of requirements classification and requirements management tools were analyzed. The methods and techniques of functional and non-functional requirements for the integrity were analyzed. The unique template for requirements specification was created, which includes functional and non-functional requirements, functional and non-functional crosscutting requirements. The template for requirements management was consisted in RequisitePro environment. The MagicDraw profile package was created, which provide the developer a view of the whole system, representing set of requirements for use case diagrams. The method... [to full text]

Disertacijoje ištirti trupmeniškai integruotų tiesinių laiko eilučių modelių su nestacionaria ilgąja atmintimi dalinių sumų ribiniai skirstiniai ir tam tikros statistikos, susijusios su dalinių sumų procesais. Philippe, Surgailis, Viano 2006 ir 2008 m. darbuose apibrėžė kintančius laike trupmeniškai integruotus filtrus su baigtine dispersija ir nagrinėjo jų dalinių sumų ribinius skirstinius. Disertacijoje ištirti tokių procesų dalinių sumų ribiniai skirstiniai, kai dispersija begalinė, laikant, kad inovacijos priklauso α–stabilaus dėsnio traukos sričiai (čia 1<α<2). Įrodyta, kad dalinių sumų procesas konverguoja į tam tikrą α–stabilų savastingąjį procesą su nestacionariais pokyčiais. Surgailis, Teyssière, Vaičiulis 2008 m. darbe įvedė pokyčių santykių arba IR (= Increment Ratio) statistiką ir parodė, kad IR statistika gali būti naudojama tikrinti neparametrinėms hipotezėms apie stacionariosios laiko eilutės ilgąją atmintį bei ilgosios atminties parametrą d. Disertacijoje apibendrinti šių autorių gauti rezultatai, t. y. įrodyta IR statistikos centrinė ribinė teorema ir gauti poslinkio įverčiai, kai stebiniai aprašomi tiesiniu laiko eilutės modeliu su trendu. Praplėsta laiko eilučių klasė, kuriai IR statistika yra pagrįsta, t. y. konverguoja į vidurkį. / In the thesis is studied the limit distribution of partial sums of certain linear time series models with nonstationary long memory and certain statistics which involve partial sums processes. Philippe, Surgailis, Viano (2006, 2008) introduced time-varying fractionally integrated filters and studied the limit distribution of partial sums processes of these filters under finite variance set-up. In the thesis is studied the limit distribution of partial sums processes of infinite variance time-varying fractionally integrated filters. We assume that the innovations belong to the domain of attraction of an α-stable law (1<α<2) and show that the partial sums process converges to some α-stable self-similar process. In the thesis is studied the limit of the Increment Ratio (IR) statistic for Gaussian observations superimposed on a slowly varying deterministic trend. The IR statistic was introduced in Surgailis, Teyssière, Vaičiulis (2008) and its limit distribution was studied under the assumption of stationarity of observations. The IR statistic can be used for testing nonparametric hypotheses about d-integrated (-1/2 < d <3/2) behavior of the time series, which can be confused with deterministic trends and change-points. This statistic is written in terms of partial sums process and its limit is closely related to the limit of partial sums. In particularly, the consistency of the IR statistic uses asymptotic independence of distant partial sums, the fact is established in the... [to full text]

In the thesis is studied the limit distribution of partial sums of certain linear time series models with nonstationary long memory and certain statistics which involve partial sums processes. Philippe, Surgailis, Viano (2006, 2008) introduced time-varying fractionally integrated filters and studied the limit distribution of partial sums processes of these filters under finite variance set-up. In the thesis is studied the limit distribution of partial sums processes of infinite variance time-varying fractionally integrated filters. We assume that the innovations belong to the domain of attraction of an α-stable law (1<α<2) and show that the partial sums process converges to some α-stable self-similar process. In the thesis is studied the limit of the Increment Ratio (IR) statistic for Gaussian observations superimposed on a slowly varying deterministic trend. The IR statistic was introduced in Surgailis, Teyssière, Vaičiulis (2008) and its limit distribution was studied under the assumption of stationarity of observations. The IR statistic can be used for testing nonparametric hypotheses about d-integrated (-1/2 < d <3/2) behavior of the time series, which can be confused with deterministic trends and change-points. This statistic is written in terms of partial sums process and its limit is closely related to the limit of partial sums. In particularly, the consistency of the IR statistic uses asymptotic independence of distant partial sums, the fact is established in the... [to full text] / Disertacijoje ištirti trupmeniškai integruotų tiesinių laiko eilučių modelių su nestacionaria ilgąja atmintimi dalinių sumų ribiniai skirstiniai ir tam tikros statistikos, susijusios su dalinių sumų procesais. Philippe, Surgailis, Viano 2006 ir 2008 m. darbuose apibrėžė kintančius laike trupmeniškai integruotus filtrus su baigtine dispersija ir nagrinėjo jų dalinių sumų ribinius skirstinius. Disertacijoje ištirti tokių procesų dalinių sumų ribiniai skirstiniai, kai dispersija begalinė, laikant, kad inovacijos priklauso α–stabilaus dėsnio traukos sričiai (čia 1<α<2). Įrodyta, kad dalinių sumų procesas konverguoja į tam tikrą α–stabilų savastingąjį procesą su nestacionariais pokyčiais. Surgailis, Teyssière, Vaičiulis 2008 m. darbe įvedė pokyčių santykių arba IR (= Increment Ratio) statistiką ir parodė, kad IR statistika gali būti naudojama tikrinti neparametrinėms hipotezėms apie stacionariosios laiko eilutės ilgąją atmintį bei ilgosios atminties parametrą d. Disertacijoje apibendrinti šių autorių gauti rezultatai, t. y. įrodyta IR statistikos centrinė ribinė teorema ir gauti poslinkio įverčiai, kai stebiniai aprašomi tiesiniu laiko eilutės modeliu su trendu. Praplėsta laiko eilučių klasė, kuriai IR statistika yra pagrįsta, t. y. konverguoja į vidurkį.