W artykule przedstawiono zagadnienia wspomaganej komputerowo specyfikacji urządzeń srk z wykorzystaniem języków opisu sprzętu. Przegląd stosowanych obecnie metod opisu urządzeń i systemów srk wskazuje, że nie istnieje metoda, która mogłaby zapewnić jednolitą platformę opisu wszelkiego rodzaju dyskretnych układów sterowania. Dodatkowo większość stosowanych metod opisu nie pozwala na wykorzystanie wspomagania komputerowego na etapie specyfikacji i weryfikacji algorytmów działania tego typu układów. Zostało pokazane, że zastosowanie do tego celu języków opisu sprzętu tworzy jednolitą platformę specyfikacji i weryfikacji urządzeń srk, pozwalając dodatkowo na statyczną i dynamiczną weryfikację poprawności opisu, z wykorzystaniem wspomagania komputerowego w postaci symulatorów logicznych. Na przykładzie specyfikacji algorytmu działania jednoodstępowej blokady liniowej w języku VHDL zaprezentowane zostały zarówno możliwości pakietu Active-HDL, jak i proces wspomaganej komputerowo specyfikacji i weryfikacji projektowanego specjalizowanego układu.

Wzrost wielkości ruchu lotniczego w Polsce wymusza ciągłą modernizację systemów nawigacji, łączności i dozorowania. Warto zauważyć, że poza rozwojem infrastruktury - wdrażane są nowe technologie w każdej z tych dziedzin, to jest: w zakresie łączności - łącza danych, nawigacji - GNSS (Global NavigationSatellite System), dozorowania - automatyczne zależne dozorowanie (ADS). Przy tym, uwzględnia się realizację ogólnoeuropejskich programów zarządzania ruchem lotniczym, w tym programów wykonawczych do Jednolitej Europejskiej Przestrzeni Powietrznej (SES) - np.

W modelach optymalizacyjnych dotyczących planowania tras przewozu, czy szerzej obsługi transportowej przedsiębiorstwa, problematyka ograniczeń czasu pracy kierowców jest sprowadzana do uzupełnienia modelu o jedno ograniczenie dotyczące czasu pracy kierowców ze stałym parametrem. W kontekście obecnych regulacji prawnych takie uproszenie rzeczywistości zdaniem autorów należy uznać za akceptowalne jedynie w szczególnych przypadkach. Istnieje, zatem potrzeba bardziej szczegółowego rozpoznania uwarunkowań prawnych organizacji czasu pracy kierowców oraz ich uwzględniania w modelach optymalizacyjnych.

Prawidłowe działanie systemu sygnalizacji włamania i napadu (I&HAS) wiąże się z szybkim przekazaniem informacji do użytkownika o stanie chronionego obiektu. W artykule przedstawiono koncepcję zastąpienia urządzenia sterującego i obrazującego (centrali alarmowej) przez komputer klasy PC wyposażony w odpowiednie oprogramowanie umożliwiający realizację funkcji sterowania, zarządzania systemem I&HAS.

Każde uszkodzenie poszycia kadłuba okrętowego wywołuje określone skutki w postaci zalania wodą jednego lub kilku przedziałów wodoszczelnych, i tym samym powoduje zmiany stateczności i położenia okrętu. Określenie tych zmian stanowi sedno obliczeń niezatapialnościowych wiążących się z eksploatacją okrętu uszkodzonego. W referacie przedstawiono metodykę obliczeń wysokości metacentrycznej oraz położenia okrętu podczas zalewania uszkodzonego przedziału. Zaprezentowano opracowany program komputerowy do symulacji zatapiania uszkodzonego przedziału oraz dokonano określenia wysokości metacentrycznej podczas zatapiania siłowni głównej.