Przedstawiono metody modelowania systemów związanych z bezpieczeństwem. Podkreślono znaczenie ilościowego modelowania probabilistycznego systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE). Przedstawiono również wspomagane komputerowo weryfikowanie poziomów SIL oraz modelowanie probabilistyczne systemów sterowania i automatyki zabezpieczeniowej z weryfikacją wyników względem przedziałów kryterialnych.

Rozdział prezentuje przykład technologii modelowania systemów informatycznych opartej na podejściu obiektowym w jednolitym środowisku, począwszy od Zunifikowanego Języka Modelowania (UML), poprzez metodykę Rational Unified Process (RUP), po aplikację Rational Software Modeler (RSM).

Przedstawiono podstawowe informacje nt. Katedry Algorytmów i Modelowania Systemów Wydziału Elektroniki, Telekomunikacji i Informatyki PG. W szczególności przedstawiono rys historyczny, działalność dydaktyczną, badania podstawowe, nagrody i wyróżnienia oraz ofertę dla przemysłu.

przedstawiono dyskretno-ciągłą metodę pryzm oraz hybrydową metodę dekompozycji modalnej modelowania układów mechanicznych. W dyskretno- ciągłej metodzie pryzm elastyczne ciało dyskretyzuje się na jednowymiarowe elementy ciągłe nazywane pryzmami. Każda pryzma opisana jest przez zbiór sześciu sprzężonych równań różniczkowych cząstkowych. Do rozwiązania równań opisujących cały układ stosuje się metodę transmitancji dla układów o parametrach...

Artykuł opisuje możliwości, jakie daje medycynie modelowanie tkanki ludzkiej z wykorzystaniem rzeczywistości wirtualnej i rozszerzonej. Przedstawia on ponadto trzy propozycje zastosowania w praktyce lekarskiej modelowania gruczołu piersiowego. Propozycje te są wynikiem uzgodnień zespołu medyczno-informatycznego (autorów artykułu) i zostały zaplanowane jako realizowane oraz wdrażane w czasie następującym po publikacji artykułu....