Lietuvos operacijų tyrimo draugijos
S E M I N A R A S
2002 m. kovo 6d., 10:00 – 12:00
Vilnius, Saulėtekio 11, aud. L520
Kaunas, Studentų 48a-337
Klaipėda, H.Manto 84-218
Panevėžys, Klaipėdos 3-412
Šiauliai, P.Višinskio 25-316
Maloniai kviečiame į Lietuvos operacijų tyrimo draugijos seminarą, rengiamą šių metų kovo 6 d., ttrečiadienį, 10:00-12:00, ir transliuojamą distancinio mokymo centrų tinklo KRDMC priemonėmis Vilniuje, Kaune, Klaipėdoje, Panevėžyje bei Šiauliuose
Programa
10:00-11:00 Pranešimas:
Formaliu metodu panaudojimas sudetingu sistemu analizeiProf.,habil.dr. Henrikas Pranevicius, Verslo informatikos katedra, Kauno Technologijos Universitetas
Pranesimo anotacija: Pranešime bus pateiktas atkarpomis-tiesinių agregatų formalizavimo metodas ir jo pritaikymas sistemų formaliam specifikavimui, validavimui ir imitaciniam modeliavimui. Šis metodas leidžia, panaudojant vieningą formalią specifikaciją automatizuoti sukurto modelio teisingumo patikrinimą bei imitacinių modelių sudarymą. Bus pateikti modelio teisingumo tikrinimo metodai: pasiekiamų būsenų ir invariantų. Pateikta modelių sudarymo metodika bus iliustruojama pavyzdžiais, pateikiant transporto, logistikos bei geležinkelio plėtros modelius.
11:00-12:00 Diskusija: Operacijų tyrimo dėstymo ir mokymo problemos Lietuvos aukštosiose mokyklose
Teirautis:
Prof. Leonidas Sakalauskas
LOTD vice-prezidentas
Akademijos 4
LT-08663 Vilnius
Tel.: +3702 209323
Fax.: +3702 729209
El. paštas: sakal@ktl.mii.lt>
Dėl KRDMC teiraukitės e-paštu: Berita Simonaitiene