Darbo tikslas - ištirti pacientų, kuriems diagnozuotas hepatitas C, ligos raiškos ir eigos ypatumus. Darbe apibendrinti ir apžvelgti turimi duomenys, išvestos pagrindines skaitines charakteristikos. Buvo nustatyta alkoholio vartojimo įtaką ligonių histologiniams bei biocheminiams rodikliams, kepenų cirozės įtakoti rodiklių pakitimai, ištirtas ryšys tarp ligos histologinio aktyvumo indekso ir kraujo biocheminių rodiklių. Taip pat buvo ieškoma priklausomybės tarp kitų rodiklių porų. / The aim of work was to examine patients with hepatitis C, i.e. to find out specialities of disease. Statistical analysis was carried out. The results are as follows. There was discovered direct impact of alcohol to histological and biochemical indicators as well as changes influenced by cirrhosis. The relationships among histological activity index and biochemical blood indicators was also explored. These are the main results however other indicators were also of high interest.

The title of the present work is “The Impact of Knowledge Control and Assessment on Learner and Teacher Relations: a Sociological Aspect”. The object of the research is issues related to checking and assessing knowledge of 10th and 12th school year learners. The aim of the research is to analyse in the social-pedagogical aspect and to disclose the impact of controlling and assessing 10th and 12th school year learner knowledge and skills on learner and teacher relationships. The hypothesis of the research states that objective assessment of learner knowledge functions as a precondition for positive learner-teacher relationships and promotes the learners’ wish to seek high results, as well as their wish to study. The objectives of the research are as follows: 1. To disclose the quality of learner-teacher relations. 2. To disclose attitudes of 10th and 12th school year learners towards controlling and assessment objectivity at schools of general education. 3. To distinguish the essential factors influencing the quality of learner-teacher relations. 4. To develop a general overview of the results obtained during the research and to provide related recommendations. In order to clarify what impact learner knowledge control and assessment has on learner and teacher relations, an experiment involving 508 school learners was carried out. The method used during the experiment was identification of responder opinions by questionnaire-based surveying. The survey was organised on the... [to full text]

Šiame darbe aptariama statinė ir dinaminė kodo analizė, jų privalumai ir trūkumai, analizės įrankių tipai bei jų paskirtis. Analizuojami „Gendarme“, „Cppcheck“ ir „FindBugs“ statinės kodo analizės įrankiai. Plačiau analizuojamas laisvai platinamas statinės kodo analizės įrankis „Gendarme“. Pateikiamos spragos, rastos esamose „Gendarme“ taisyklėse bei siūlomi jų patobulinimai, kurie turėtų padėti aptikti daugiau klaidų ir padidinti programų spartą, stabilumą, saugumą ir kodo skaitomumą. Taip pat pateikiamos naujos sukurtos taisyklės, kurios turėtų padėti aptikti daugiau perteklinio, nelogiško kodo, kurio kompiliatorius neaptinka. Naujos taisyklės turėtų padėti supaprastinti programos kodą ir taip pagerinti jo skaitomumą bei aptikti daugiau spragų, kuriomis pasinaudojus galima įtakoti programų veikimą. Atliktas eksperimentinis tyrimas, kurio metu buvo išanalizuotos programos su patobulintu ir nepatobulintu „Gendarme“ statinės kodo analizės įrankiu. Pateikiami eksperimento rezultatai ir išvados. / This paper discusses the static and dynamic code analysis, their advantages and disadvantages, types of analysis tools and their purpose. Analyzes the "Gendarme", "Cppcheck" and "FindBugs" static code analysis tools. Wider analyzes the freely distributed static source code analysis tool "Gendarme". Presented gaps which were found in existing "Gendarme" rules and the proposed modifications, which should help to detect more errors and improve program performance, stability, security and code readability. It also introduces new rules, which should help to detect more excessive, illogical code, which are not detected by the compiler. As well as simplify the code and thus to improve its readability and detect more vulnerabilities, which may be used to affect the functioning of applications. Experimental research was carried out in which some programs were analyzed with improved and not improved static code analysis tool "Gendarme". Experimental results and conclusions are presented.

The tasks generating and their answers automatic checking problems of web-based assessment and testing systems was formulated in this document. The main tasks for thesis were set. The similar systems were analyzed and possible solutions reviewed. In this case, was decided to design the tasks generating and automatic checking software, which will resolve the tasks, brought to user’s recurrence, improve the skills checking. The technologies for this project realization were choused. The created software system was tested and the quality analysis was made. Finally, the experimental research was accomplished. All the research results showed that the raised problems were resolved.

Modeliais paremtos architektūros (MDA) technologijos panaudojimo tikslas – automatizuoti kuriamos programų sistemos kuriamų modelių transformavimą ir kodo generavimą. Norint atlikti sukurtų modelių korektišką transformavimą, reikia užtikrinti modelių pilnumą ir suderinamumą tarpusavyje. Šie modeliai aprašomi UML modeliavimo kalba. Magistriniame darbe nagrinėjama nuo platformos nepriklausančio modelio kūrimo stadija, modelio klasių ir būsenų mašinų suderimo galimybės ir būsenų mašinų korektiškumo ir išbaigtumo metodikos. Taip pat bus pateikiamas sprendimas atliktas MagicDraw aplinkoje įskiepio pagalba. / The main goal of Model Driven Architecture (MDA) is the automation of software development process. According this technology, we need to create platform independent model (PIM), after that transform it to platform specific model (PSM); from PSM model we can generate program code. To do that, we need to ensure static and dynamic completeness of PIM. All these models are described using UML modeling language. In this work correctness and completeness of PIM is achieved by analyzing compatibility of class diagrams and state machines, as well as correctness and completeness of state machines themselves. To solve this problem, algorithms were created and implemented in a plug-in for MagicDraw CASE tool.

Formalios specifikacijos – tai matematinis programinės ar techninės įrangos aprašymas, kurį galima naudoti sistemos realizacijai. Formalių specifikacijų naudojimas dar negarantuoja specifikacijos teisingumo. Tam naudojami formalaus verifikavimo metodai. Šiame dokumente aptariami formalių specifikacijų validavimo metodai. Du populiaraiausi formalių specifikacijų validavimo metodai yra pasiekiamų būsenų grafo analizė bei invarianto tikrinimas. Pasiekiamų būsenų grafo analizę sudaro pasiekiamų būsenų grafo generavimas ir analizė. Grafo analizės metu ieškoma aklaviečių, uždarų ciklų, nepasiekiamų būsenų, atliekamas būsenų koordinačių apribojimų tikrinimas bei invarianto tikrinimas. Tradiciniai pasiekiamų būsenų grafo sudarymo algoritmai grafo sudarymui naudoja sistemos būsenų eilę. Kiekviena išanalizuota būsena įrašoma į pasiekiamų būsenų grafą. Dokumente aptariamas lygiagretaus programavimo naudojimas būsenų grafo generavimui, kuris analizuoja ir generuoja sistemos būsenas naudodamas lygiagrečias gijas. Eksperimentų su vienkanale aptarnavimo sistema metu nustatyta, kad lygiagretaus algoritmo naudojimas šio uždavinio metu leidžia pagerinti sistemos veikimą iki 35%, priklausomai nuo būsenų skaičiaus. / Arguably the most important task in creation of software is user requirement specification. Accurate requirement specification allows avoidance of errors in late stages of software development. This is extremely important in critical systems, where even vague error can cause great financial losses or even human victims. One of the methods used for precise user requirement specification is use of formal specifications. Formal specification is a mathematical method for describing of software or hardware, which might be suitable for system realization. Nevertheless, the construction of formal specifications does not guarantee the correctness of specification. For this reason formal specification validation is necessary. In this paper methods of formal specification validation are discussed. Two most popular methods of formal specification validation are reachable state graph analysis and invariant checking. Reachable state graph analysis consists of graph generation and graph analysis. Graphs can be analyzed for dead-ends, closed loops, state reach ability checking, coordinate restriction checking or invariant checking. Traditional reachable graph generation algorithm uses unanalyzed states queue to produce reachable state graph. Each step single state is analyzed and depending on results new vertex or edge is added to state graph. An improvement to the algorithm to consider is usage of parallel programming to process multiple states simultaneously. This allows increasing the... [to full text]

Lietuvos Respublikos muitinės vaidmuo smarkiai pasikeitė nuo 2004 m. gegužės 1 d. Po įstojimo į ES prekės valstybių narių teritorija juda be jokių prekybos apribojimų, o importuojamoms iš trečiųjų šalių prekėms taikomi vienodi tarifai ir kvotos. Lietuva atsakinga už ES išorinės sienos apsaugą, todėl padidėjo jos atsakomybė tikrinant iš trečiųjų šalių gabenamas prekes. Po 2004 m. pasikeitė ir muitinės, kaip mokesčių surinkėjos vaidmuo – kadangi muitai ir muito mokesčiai yra sudedamoji ES nuosavų išteklių sistemos dalis. Kadangi muitinis apmokestinimas siejamas su trimis pagrindinėmis charakteristikomis – prekių kilme, prekės kodu, prekių muitine verte, todėl muitinė atlikdama savo, kaip mokesčių surinkėjos vaidmenį, visų pirma, turi įvertinti ir atlikti patikrinimus, susijusios su šiomis charakteristikomis, kadangi daugiausia muitų teisės aktų pažeidimų kaip tik ir nustatoma šioje srityje. Lietuvos muitinė, būdama atsakinga už rinkos ir visuomenės apsaugą bei mokesčių administravimą, turi siekti šių tikslų: • Įdiegti kompiuterizuotą rizikos valdymo sistemą, siekiant užtikrinti efektyvią prekių ir asmenų judėjimo kontrolę; • Tapti koordinuojančia institucija, atsakinga už prekių judėjimo per išorines ES sienas kontrolę; • Imtis atitinkamų, tarptautinius standartus atitinkančių priemonių ir metodų atliekant prekių ir transporto priemonių patikrinimus; • Skatinti ir vystyti muitinių bendradarbiavimą, užtikrinti efektyvų keitimąsi informacija ir taip operatyviau atskleisti galimus... [toliau žr. visą tekstą] / After joining EU the tasks of Lithuanian Customs Authorities rapidly changed, because they became responsible for the protection of external EU borders. Customs plays a vital role in protecting borders from the entry of illegal and harmful goods. EU Customs Union is based on a main principle – free movement of goods, which means that the goods between EU territory can move without no restrictions applied. Since 2004 Customs as tax collector‘s role also change – customs duties form a part of Communities own resources system. The main characteristics that have an impact on customs duties applied are origin of goods, tarriff clasification and customs value and because of that the most of the customs law infringements accur then the import operations are performed. This is why the customs authorities should carry out the inspections on these elements very carefully. The tasks in the market and society protection and tax administration include the following: • to implement a computerized risk management system related to goods, customs procedures and persons, and to integrate it into EU risk management process; • to become a coordinating institution, responsible for control of goods being transported through the external EU borders of Lithuania in the integrated state border protection system of the Republic of Lithuania; • to ensure control of movement of goods by implementing modern measures and methodologies, as used in other EU Member States, for customs examination of goods... [to full text]