Apie fakultetą   Administracija, adresai   Fakulteto informacija   Studentų atstovybė INFOSA   Studijos   Mokslas      Mokslinės veiklos ataskaitos   Katedros   Centrai

Studijų programos 09–2010, 2010-2011   Studijų programų archyvas   Studijų modulių DB   Pagrindinės tyrimų kryptys   Surengtos mokslinės konferencijos   Užsienio mokslininkų vizitai   Dalyvavimas tarptautinių konferencijų organizaciniuose komitetuose, periodinių mokslo leidinių redkolegijose ir kitų institucijų bei organizacijų veikloje     Informacijos sistemų   Kompiuterių   Multimedijos inžinerijos   Verslo informatikos   Sisteminės analizės   Kompiuterinių tinklų   Programų inžinerijos   Informacinių technologijų diegimo   Kompiuterinio raštingumo   Realaus laiko kompiuterių sistemų

Studijų programų archyvas   2008−2009   2007−2008   2006−2007   2005−2006 Informacijos sistemų   Apie katedrą   Darbuotojai   Mokslas       Doktorantūros moduliai       Apgintos disertacijos       Tyrimų tematika       MTEP projektai       Straipsniai Kompiuterių   Apie katedrą   Darbuotojai   Mokslas       Tiriamoji bazė       Apgintos disertacijos       Tyrimų tematika       MTEP projektai       Straipsniai Multimedijos inžinerijos   Apie katedrą   Darbuotojai   Mokslas       Tiriamoji bazė       Doktorantūros moduliai       Apgintos disertacijos       Tyrimų tematika       MTEP projektai       Straipsniai Verslo informatikos   Apie katedrą   Darbuotojai   Mokslas       Tiriamoji bazė       Doktorantūros moduliai       Tyrimų tematika       Straipsniai Sisteminės analizės   Apie katedrą   Darbuotojai   Mokslas       Tiriamoji bazė       Doktorantūros moduliai       Tytimų tematika       Straipsniai Kompiuterinių tinklų   Apie katedrą   Darbuotojai   Mokslas       Tiriamoji bazė       Apgintos disertacijos       Tyrimų tematika       MTEP projektai       Straipsniai Programų inžinerijos   Apie katedrą   Darbuotojai   Mokslas       Tiriamoji bazė       Doktorantūros moduliai       Apgintos disertacijos       Tyrimų tematika       Straipsniai

Sudėtingų sistemų formalizavimas ir analizė (prof. H. Pranevičius);
Informatikos teorija (prof. H. Pranevičius).

Telekomunikacinių intelektualiųjų tinklų paslaugų vykdymo platformos (SDP) architektūros ir jos komponentų tyrimai
Prof. H. Pranevičius, doc. V. Pilkauskas, doc. D. Makackas, doc. R. Misevičienė, doc. G. Budnikas

Projektuojant telekomunikacines sistemas labai svarbu įvertinti būsimos sistemos saugumą ir jos gyvybingumą. Apibrėžus reikalavimus telekomunikacinių intelektualiųjų tinklų paslaugų saugumo ir gyvybingumo savybėms ir panaudojus formalius modelius su atitinkamais programiniais analizės įrankiais, atsiranda galimybė automatizuotu būdu analizuoti telekomunikacinės sistemos saugumą ir gyvybingumą ankstyvuose projektavimo etapuose.

Prof. H. Pranevičius, T. Kraujalis
Tirtas PLA modeliavimo metodo bei dirbtinio intelekto algoritmų naudojimas transporto srautams valdyti. Kuriami valdymo algoritmai naudojant neuroninius tinklus, neraiškiąją (fuzzy) logiką ir neuroninius tinklus (neurofuzzy), neuroninių tinklų modelius.

Doc. R. Misevičienė, doc. G. Budnikas

Sudaryti įmonės veiklą atspindintys modeliai, kurie supaprastina realios įmonės veiklos aprašymą. Vienas iš tokių modelių yra išteklių-įvykių-agentų (REA) modelis, kuris taikomas įmonės verslo procesams aprašyti. Pasiūlyta sąryšio sudarymo tarp REA ir PLA modelių metodika, atliekamas verslo taisyklių bendrųjų ir individualiųjų savybių verifikavimas bei patikimumo tikrinimas, naudojant PLA ir PROLOG. Individualioms savybėms užrašyti naudojama reliacinė algebra SQL ir PROLOG.

Skambučio inicijavimo protokolo imitavimo modelių sudarymas
Prof. H. Pranevičius, dokt. A. Paulauskaitė-Tarasevičienė

Atliekamas skambučių sesijos inicijavimo protokolo (SIP) modeliavimas naudojant dynPLA modelį, kuris leidžia apibūdinti kintamos struktūros sistemas. Sukurtas modelis panaudotas kvietimų sujungimo laiko trukmėms nustatyti esant skirtingoms skambučių pasiskirstymo imtims ir skirtingam ryšio seansų intensyvumui. Modeliavimo metu tiriama ryšio seansų sudarymo algoritmų įtaka signalizacijos parametrams, tokiems kaip sujungimo sudarymo laikas, užklausų eilės ilgis serveryje ir kt.

Scenarijų generatoriaus kūrimas draudimo kompanijos draudiminei ir investicinei veiklai analizuoti
Dr. K. Šutienė

Tiriamas draudimo kompanijos veiklos rizikos valdymas. Kuriamas įsipareigojimų scenarijų generatorius (ĮSG), kurį sudaro aktuarijų ir draudiminės veiklos modeliai, skirti įsipareigojimams klientams, kaip įvairių stochastinių rizikos faktorių kitimui laikui bėgant, aprašyti. Tyrimuose daugiausia dėmesio skirta draudimo kompanijos įprastų ir labai didelių nuostolių modelio sudarymui.

1. Paulauskas, Nerijus 0,5 ; Pranevičius, Mindaugas; Pranevičius, Henrikas; Bukauskas, Feliksas. A stochastic four-state model of contingent gating of gap junction channels containing two "Fast" gates sensitive to transjunctional voltage // Biophysical Journal. Oxford: Elsevier Science Ltd. ISSN 0006-3495. 2009, Vol. 96, iss. 10, p. 3936-3948. [Science Citation Index Expanded (Web of Science) IF: 4,683].
2. Raudonis, Vidas; Simutis, Rimvydas; Paulauskaitė-Tarasevičienė, Agnė. An efficient object tracking algorithm based on dynamic particle filter // Electronics and Electrical Engineering = Электроника и электротехника = Elektronika ir elektrotechnika. Kaunas: Technologija. ISSN 1392-1215. 2009, nr. 3(91), p. 93-98. [Science Citation Index Expanded (Web of Science); INSPEC; Computers & Applied Sciences Complete; Central & Eastern European Academic Source].
3. Pranevičius, Henrikas; Paulauskaitė-Tarasevičienė, Agnė; Makackas, Dalius. Application of abstract data type in dynamic PLA approach // Informacinės technologijos ir valdymas = Information technology and control / Kauno technologijos universitetas. Kaunas: Technologija. ISSN 1392-124X. 2009, T. 38, nr. 1, p. 7-13. [Science Citation Index Expanded (Web of Science); INSPEC].

1. Pilkauskas, Vytautas; Guginis, Gediminas. An approach to formal verification of rule-based model transformation // Information Technologies' 2009: proceedings of the 15th International Conference on Information and Software Technologies, IT 2009, Kaunas, Lithuania, April 23-24, 2009 / Kaunas University of Technology. Kaunas: Technologija. ISSN 2029-0020. 2009, p. 93-99.
2. Šutienė, Kristina; Paulauskaitė-Tarasevičienė, Agnė; Pranevičius, Henrikas. The simulation of dependent insurance company's losses employing copulas // Information Technologies' 2009: proceedings of the 15th International Conference on Information and Software Technologies, IT 2009, Kaunas, Lithuania, April 23-24, 2009 / Kaunas University of Technology. Kaunas: Technologija. ISSN 2029-0020. 2009, p. 219-228.
3. Misevičienė, Regina. New framework for teaching of accounting systems // Information Technologies' 2009: proceedings of the 15th International Conference on Information and Software Technologies, IT 2009, Kaunas, Lithuania, April 23-24, 2009 / Kaunas University of Technology. Kaunas: Technologija. ISSN 2029-0020. 2009, p. 273-281.
4. Pranevičius, Henrikas; Kraujalis, Tadas. Piece linear aggregates model for fuzzy traffic control // Transport Means - 2009: proceedings of the 13th international conference, October 22-23, 2009, Kaunas University of Technology, Lithuania / Kaunas University of Technology, IFTOMM National Committee of Lithuania, SAE Lithuanian Branch, The Division of Technical Sciences of Lithuanian Academy of Sciences, Klaipėda University, Vilnius Gediminas Technical University. Kaunas: Technologija. ISSN 1822-296X. 2009, p. 25-29.