Artykuł opisuje zagadnienia związane z modelowaniem zmiany programów sygnalizacji podczas realizacji opisu sterowników sygnalizacji świetlnej za pomocą języków opisu sprzętu. Zawarto w nim zagadnienia wymagań formalnych dla programów przejściowych, zagadnienie określenia liczby programów niezbędnych dla prawidłowego funkcjonowania sterownika oraz weryfikacji poprawności przyjętych założeń. Informacje przedstawione w artykule są oparte na projekcie algorytmu sterowania dla rzeczywistego skrzyżowania.

Założenia zapisów prawnych wskazują, że e-learning może być wykorzystywany nie przez wszystkie szkoły jazdy, lecz jedynie przez ośrodki spełniające dodatkowe wymagania dotyczące m. in. zakresu szkolenia na wszystkie kategorie prawa jazdy, organizowania obligatoryjnych szkoleń dla instruktorów nauki jazdy. Nowym zapisom zarzuca się forsowanie praktyk monopolistycznych w stosunku do największych i najsilniejszych na rynku ośrodków. Od momentu ogłoszenia treści nowej ustawy słychać głosy krytyki, że szkolenie w systemie e-learningowym powinno być możliwe dla wszystkich szkół nauki jazdy. Celem artykułu jest wskazanie, że e-learning nie musi oznaczać jedyną i słuszną metodę nauczania. E-learning to metoda nowoczesna, ale niekoniecznie najskuteczniejsza biorąc pod uwagę specyfikę uczenia poruszania się w ruchu drogowym.

W publikacji przedstawiono modele linii elektroenergetycznej z przyłączonymi urządzeniami FACTS dla których określono zależności strat moc wynikających z przyłączenia układów CSC, SSSC i UPFC. Uzyskane zależności strat mocy czynnych wykorzystano do określenia różnic między stratami mocy, które wynikają ze sposobów odwzorowań linii elektroenergetycznych oraz przyłączenia urządzeń FACTS.

Półgrupa charakterystyczna automatu ingeruje w algorytm obliczeniowy uogólnionych homomorfizmów automatów, zatem wyznaczenie złożoności półgrupy charakterystycznej pozwala na oszacowanie złożoności obliczeniowej uogólnionych homomorfizmów dla innych klas automatów. W zakresie modelu matematycznego koncepcja ustalonego analogu rozszerzenia automatu A związanego z izomorfizmami g, g,..., gq-1, gdzie q stopień rozszerzenia, przy odpowiednich założeniach symuluje automat zmienny w czasie. Automat zmienny w czasie jest adekwatnym modelem matematycznym dla wielu procesów technicznych i obliczeniowych czasu rzeczywistego. Automaty te symulują pracę kilku automatów za pomocą jednego automatu zmiennego w czasie. Sumę prostą automatów można uważać za realizację - odpowiednio sekwencyjnych obliczeń.

Droga nr 7 jest jedną z najważniejszych i najczęściej wykorzystywanych dróg krajowych na obszarze województwa mazowieckiego. Droga ta w ostatnich latach przechodziła liczne przebudowy i modernizacje.