Edukacja
Tove Jansson
Życie Muminków i ich przyjaciół z Doliny skupia się wokół domu Mamy i Tatusia Muminka, gdzie każdy może liczyć na pomoc i przyjaźń. Panna Migotka, Paszczak, Mała Mi, Włóczykij, Ryjek, czy straszna Buka tworzą galerię postaci, które na zawsze pozostaną w pamięci czytelników.
Katarzyna Zambrzycka-Papuda
Kampanie polityczne są nieodzowną częścią życia społecznego współczesnego świata. Wpływają na wybory obywateli, a co za tym idzie - przyszły kształt państw. W swojej dynamice wykorzystują narzędzia socjotechniki i kreowania wizerunku. Politycy dopasowują swoje zachowania i hasła wyborcze do trendów i potrzeb społecznych. Celem poniższej książki jest scharakteryzowanie przebiegu kampanii wyborczej na urząd prezydenta w 2020 roku w ujęciu teorii socjologicznych. Analiza wykonana na potrzeby książki dostarcza cennej wiedzy na temat obecnych zabiegów wykorzystywanych w marketingu politycznym. Informacje te pozwalają lepiej zrozumieć przebieg kampanii i zachowania polityków, co jest istotne z perspektywy każdej osoby, która decyduje się oddać głos w czasie wyborów. Publikacja napisana została w ujęciu socjologicznym, a wiodącą teorią jest praca E. Goffmana pt. Człowiek w teatrze życia codziennego. Zakłada ona, że człowiek ogrywa w życiu wiele ról społecznych, do których dostosowuje swoje zachowanie, wygląd i wykorzystywane atrybuty. Każdy z nas posiada wzorce różnych zachowań, które wykorzystuje w pracy, domu, na spotkaniach z przyjaciółmi czy idąc na zakupy do sklepu. Język, mowa ciała, strój zmieniają się w zależności od tego, jakie wrażanie chcemy wywrzeć na odbiorcy. Idąc za tą teorią, politycy również odgrywają rolę, która wiąże się ze sztywno określonymi zasadami i umacniana jest przez sztaby wyborcze. Poniższa praca ma celu przedstawienie roli i zachowań polityka w ujęciu teorii interakcjonistycznych.
Gabriela Dobińska, Angelika Cieślikowska-Ryczko
Przemiany społeczno-kulturowe, rozwój technologiczny, konsumpcjonizm oraz przeformułowanie hierarchii wartości może generować zagrożenia dla młodych ludzi. Pedagodzy, nauczyciele i rodzice borykają się z wieloma trudnościami, dylematami oraz wyzwaniami wychowawczymi. Autorki monografii prezentują bardzo cenne, ale niedoceniane dotąd rozwiązanie - relaksacyjne metody oddziaływań pedagogicznych. Publikacja zawiera konspekty zajęć, które można wykorzystać m.in. w szkołach, przedszkolach, świetlicach, placówkach resocjalizacyjnych i opiekuńczo-wychowawczych oraz podczas indywidualnej pracy w domu. Autorskie warsztaty dedykowane są dzieciom, młodzieży, a także osobom dorosłym. Mają zróżnicowany charakter: pierwszy typ stanowią ćwiczenia z relaksacji neuromięśniowej fizycznie aktywnej, drugi rodzaj jest ukierunkowany na wypracowanie obrony przed stresorami, pozostałe konspekty dotyczą dystansowania się od stresorów. Przygotowane propozycje uwzględniają zarówno potrzeby i możliwości adresatów, jak i warunki oraz zasoby instytucji wychowawczych i edukacyjnych. Stanowią gotowy "przepis" do realizacji konkretnych oddziaływań w grupie uczniów/wychowanków, a także w pracy indywidualnej.
Jan Kowalczyk
Dobra znajomość zjawisk zachodzących podczas drukowania jest niezbędna do efektywnego stosowania standaryzacji i optymalizacji procesów drukowania, które pozwalają wykonywać druki najwyższej jakości przy zachowaniu wysokiej wydajności produkcji. Prezentowana monografia obejmuje tematycznie cztery główne techniki drukowania: offset, fleksografię, sitodruk i wklęsłodruk, z uwzględnieniem odmian offsetu, jakimi są heatset i coldset. W pierwszych rozdziałach pracy przedstawiono zagadnienia ogólne, odnoszące się do wszystkich rodzajów technologii. Dotyczą one najważniejszych właściwości materiałów stosowanych w procesach drukowych, ich zmian w trakcie trwania procesu drukowania i wzajemnego oddziaływania. Omówiono również zagadnienia teoretyczne związane z transferem farby na podłoże drukowe, zarówno w ujęciu ilościowym, jak i jakościowym. Znaczna część pracy obejmuje procesy utrwalania farb, które są integralną częścią procesów drukowania. Kolejne rozdziały dotyczą poszczególnych technik drukowania. Każda z nich ma swoją specyfikę i inny zbiór czynników decydujących o jakości i parametrach uzyskiwanych druków. Przedstawiono specyficzne warunki przenoszenia farby charakterystyczne dla tych technik, właściwości materiałów eksploatacyjnych wykorzystywanych w tych procesach, parametry pracy podzespołów maszyn drukujących oraz możliwe zakresy regulacji parametrów prowadzenia procesów drukowania, jak też ich wpływ na parametry uzyskiwanych odbitek drukarskich. Końcowe rozdziały pracy poświęcono zagadnieniom dotyczącym wykorzystania omawianych technik poligraficznych do wykonywania nadruków na podłożach innych niż typowe. Najczęściej wymagana jest tu adaptacja procesu drukowania do konkretnych warunków związanych z charakterystycznymi właściwościami zadrukowywanych powierzchni i materiałów lub jego dostosowanie do oczekiwanych cech wykonywanego nadruku.
Technologia i wojna przyszłości. Wokół nuklearnej i informacyjnej rewolucji w sprawach wojskowych
Łukasz Kamieński
Przedmiotem książki jest, najogólniej rzecz biorąc, wpływ rozwoju nowych technologii na sposób prowadzenia wojny. Ponieważ w literaturze przedmiotu brakuje teoretycznego podejścia, które całościowo ujmowałoby analizowane kwestie, wykorzystuję teoretyczny model rewolucji w sprawach wojskowych. (...) Fundamentalne zmiany technologiczne mają wpływ nie tylko na sposób prowadzenia wojny, ale także na stosunki międzynarodowe, ponieważ wojna stanowi jedno z centralnych zjawisk międzynarodowych oraz jedno z najpoważniejszych źródeł zmiany w systemie światowym. (...) Mam nadzieję, że książka ta może służyć jako przewodnik po wybranych strategicznych aspektach stosunków międzynarodowych. (...) Postęp naukowo-techniczny dokonuje się współcześnie w perwersyjnie błyskawicznym tempie. Równie dynamiczne są stosunki międzynarodowe, zmieniające się z dnia na dzień. Wiele z kwestii poruszonych w tej książce będzie naturalnie już nieaktualnych w chwili, gdy dotrze ona do rąk Czytelnika. Taki jest zglobalizowany świat wieku informacji, w którym żyjemy. () Mimo to ufam, że czytelnik będzie mógł prześledzić charakter zmian w sztuce wojennej. Celem książki jest bowiem zilustrowanie procesu transformacji sposobu prowadzenia wojny pod wpływem rozwoju technologicznego nowych broni. Jest to książka nie tyle o wojnie, co o jej transformacji. Ze Wstępu Wiedzy i umiejętności poruszania się w trudnej wieloaspektowej problematyce nie można Autorowi odmówić. Reprezentuje on nieczęstą niestety u młodej generacji badaczy tendencję do jasnego stawiania tez, ich wyjaśniania, a także prezentowania własnych wątpliwości. (...) Autor siłą rzeczy koncentruje się na opisie i analizie rewolucji nuklearnej i informacyjnej w sprawach wojskowych w Stanach Zjednoczonych jako najpotężniejszym supermocarstwie i kreatorze nowoczesnej na wskroś machiny wojskowej. Ważne i cenne jest w wywodach Autora to, że nie ulega on fascynacji potęgą i możliwościami USA. Analizuje zalety i wady tworzącego się wciąż na naszych oczach systemu w sposób rzeczowy i wolny od częstej niestety tu i ówdzie przesady i ekscytacji. Z recenzji prof. nadzw. UJ, dra hab. Michała Chorośnickiego
Technologia informacyjna dla studentów. Edycja tekstów - część 1
Ewa Węgrzyn-Skrzypczak, Tomasz Skrzypczak
Skrypt adresowany jest przede wszystkim do studentów studiów technicznych, którzy w trakcie nauki spotykają się z koniecznością przygotowania różnego rodzaju prac pisemnych, jednak może służyć wszystkim osobom, które stają przed koniecznością przygotowania dokumentów w edytorze tekstu, bez względu na ich stopień zaawansowania umiejętności związanych z edycją tekstów. Celem podręcznika jest wprowadzenie do edycji dokumentów na przykładzie edytora tekstu Writer z pakietu Apache OpenOffice 4.1.13. Wybór tego pakietu został podyktowany przede wszystkim możliwością korzystania z niego bez żadnych opłat w domu, jak i w środowisku komercyjnym. Pakiet Apache OpenOffice jest dostępny na oficjalnej stronie projektu https://openoffice.apache.org/. Po pobraniu i zainstalowaniu pakietu należy pamiętać o jego systematycznym aktualizowaniu, dzięki czemu użytkownik ma dostęp do nowych funkcji i ulepszeń, zwiększających jego funkcjonalność. Pierwsza część skryptu składa się z sześciu rozdziałów, w których przedstawiono zagadnienia związane z użytkowaniem wybranego edytora tekstu oraz edycją tekstu dokumentów. W przygotowywanej drugiej części skryptu, zaprezentowane zostaną treści dotyczące m.in. tworzenia i formatowania tabel, wstawiania i formatowania obrazów, kształtów i grafik, wstawiania wzorów, sprawdzania dokumentów, stosowania odsyłaczy i hiperłączy oraz tworzenia korespondencji seryjnej. Każdy z rozdziałów skryptu rozpoczyna się listą umiejętności do zdobycia po zapoznaniu się z jego treścią. Kolejne rozdziały zawierają wprowadzenie teoretyczne, obejmujące terminy kluczowe oraz przegląd funkcji programu, a także ćwiczenia praktyczne. Na końcu każdego rozdziału znajduje się zestaw pytań teoretycznych oraz zagadnień praktycznych, pozwalających sprawdzić czytelnikowi stopień przyswojenia wiedzy z danego zakresu. Konstrukcja skryptu pozwala osobom, które mają już pewne doświadczenie w korzystaniu z edytorów tekstu, na dowolną kolejność zapoznawania się z zaprezentowanym materiałem.
Technologia mikrowycinania elektroerozyjnego materiałów trudnoobrabialnych
Dorota Oniszczuk-Świercz
W pracy przedstawiono zagadnienia oddziaływania energii wyładowania elektrycznego na przebieg procesu erozji i skutki jakościowe mikrowycinania elektroerozyjnego trudnoobrabialnych materiałów, czyli Inconelu 718 oraz stopu tytanu Ti6Al4V. Analiza stanu wiedzy, dotycząca badań nad obróbką elektroerozyjną, wskazuje, że ze względu na złożoność zjawisk fizycznych występujących w trakcie wyładowań elektrycznych i ich stochastyczny charakter występują trudności w identyfikacji wpływu parametrów i warunków obróbki na wskaźniki technologiczne. Badania skoncentrowane były na wyznaczeniu oddziaływania energii wyładowania elektrycznego na geometrię śladów pojedynczych wyładowań elektrycznych, cechy topografii i morfologię obrabianej powierzchni, grubość warstwy przetopionej, dyfuzję pierwiastków z elektrod roboczych i występowanie defektów mikrostruktury. Dokonano oceny wpływu energii wyładowania elektrycznego na zjawiska fizyczne determinujące proces usuwania materiału i kształtowania nowych właściwości warstwy wierzchniej. Istotną częścią badań jest wyznaczenie modeli predykcyjnych opisujących wpływ energii wyładowania elektrycznego oraz parametrów wpływających na stabilność procesu na wybrane parametry chropowatości powierzchni i wydajność powierzchniową usuwania materiału. Opracowane modele regresyjne stanowiły podstawę optymalizacji wielokryterialnej procesu mikrowyciania elektroerozyjnego Inconelu 718 oraz stopu tytanu Ti6Al4V. Przeprowadzona analiza zjawisk fizycznych zdeterminowanych przez energię wyładowania elektrycznego oraz właściwości przedmiotu obrabianego.
Technologia produktów naftowych
Aneta Lorek, Maciej Paczuski, Marcin Przedlacki
Przygotowany w Politechnice Warszawskiej Filii w Płocku skrypt ma być pomocą dydaktyczną dla studentów kierunków związanych z przemysłem naftowym, a autorzy liczą, że będzie służył przede wszystkim studentom technologii chemicznej specjalizującym się w technologii ropy naftowej. Jest to dziedzina, która umożliwiła niezwykle szerokie rozwinięcie zastosowań produktów otrzymywanych z przetwórstwa ropy naftowej - od nafty oświetleniowej, przez ciężkie paliwo zastępujące węgiel do lokomotyw spalinowych i statków, po benzyny i oleje napędowe do silników Otto i silników Diesla, oleje opałowe, środki smarowe, asfalty i woski naftowe jako produkty destylacji i rafinacji surowca. Ropa naftowa wyprzedziła węgiel jako źródło surowców dla przemysłu chemicznego, a współcześnie trudno znaleźć dziedzinę gospodarki, która nie miałaby związku z ropą naftową czy - bardziej ogólnie - z węglowodorami. Ostatnie lata to rosnące zużycie węglowodorów gazowych jako czystszych surowców energetycznych i chemicznych.
Technologia wspomagająca w edukacji specjalnej i włączającej. Poszukiwanie wskaźników jakości
Aneta Maria Kochanowicz
Problematyka pracy wpisuje się w szerszy kontekst edukacji uczniów z dodatkowymi (specjalnymi) potrzebami. Jednocześnie jest osadzona w obszarze technologii wspomagającej codzienne życie (w tym edukację) osób z niepełnosprawnościami. [...] Walorem książki jest jej teoretyczno-praktyczny wymiar. Autorka korzysta bowiem z modeli teoretycznych, które stanowią punkt wyjścia do analiz zorientowanych bardziej praktycznie. prof. dr hab. Zenon Gajdzica Aneta Kochanowicz ukazuje technologię wspomagającą (AT) jako dynamicznie rozwijającą się dziedzinę, która ma fundamentalne znaczenie dla inkluzji społecznej i edukacyjnej nie tylko osób z niepełnosprawnościami, ale też innych grup społecznych. [...] Autorka przedstawia kompleksowe i wielowymiarowe podejście do AT. Korzysta przy tym z dorobku różnych dziedzin: pedagogiki, zarządzania, technologii, socjologii, psychologii, prawa i historii. Jest to więc praca wybitnie interdyscyplinarna, a dzięki temu może być interesująca dla różnych odbiorców. prof. dr hab. Agnieszka Maryniak
Technologie informacyjno-komunikacyjne i e-learning we współczesnej edukacji
Eugenia Smyrnova-Trybulska
Książka stanowi systematyczne opracowanie w zakresie technologii informacyjno-komunikacyjnych i e-learningu we współczesnej edukacji z uwzględnieniem podejścia kompetencyjnego. Obecny system edukacyjny jest w trakcie globalnych zmian, dlatego powinno się w pełni przygotowywać przyszłych specjalistów do życia w otwartej przestrzeni informacyjnej, kształcąc umiejętności niezbędne w XXI wieku, w celu zapewnienia ich ciągłego kształcenia przez całe życie, w tym w formie nieformalnej i pozaformalnej. W nowoczesnym społeczeństwie obserwujemy nowe światowe trendy – zmiany technologiczne, gospodarcze, kulturowe, ekologiczne, ekonomiczne, które są częścią szybkiego i nierównomiernego procesu globalizacji. Zmienia się współczesna uczelnia, jej przestrzeń informacyjno-edukacyjna. Zmieniają się jej komponenty, w tym wykorzystane technologie, treści, zasoby, subiekty i obiekty (studenci, nauczyciele akademiccy, administracja), zarówno proces nauczania-uczenia się, jak i cały proces kształcenia, zmieniają się zasady i narzędzia zarządzania, komunikacji, współdziałania w samym środowisku, a także w zewnętrznym otoczeniu. Biorąc pod uwagę takie tendencje, jakość środowiska wirtualnego nauczania w nowoczesnej instytucji edukacyjnej musi opierać się na realizacji edukacyjnych potrzeb studentów, ich oczekiwań, treści i technologii, z których korzystają także dzięki własnemu doświadczeniu uczenia się. Napełnianie wirtualnego środowiska nauczania, jakość treści i efektywność jego wykorzystania przez studentów, czemu przyświeca zamiar osiągnięcia celów kształcenia przyszłych specjalistów, konkurencyjnych na współczesnym rynku pracy, zależą zarówno od poziomu kompetencji nauczycieli w zakresie ICT, jak i od wielu różnorodnych czynników oraz uwarunkowań, w tym strategii rozwoju e-środowiska uczelni, jej efektywności funkcjonowania, oferty edukacyjnej, zapewnienia jakości kształcenia, w tym e-learningu. W książce zostały przedstawione oprócz teoretycznych aspektów dotyczących głównego tematu także wybrane wyniki badań, pozyskane w ramach realizacji kilku projektów, w których brała udział autorka monografii, w tym międzynarodowego projektu IRNet, realizowanego pod kierunkiem autorki przez konsorcjum międzynarodowe.
Teksty w lustrze ekranu. Okołofilmowa strategia kształcenia literacko-kulturowego
Witold Bobiński
Przemiany technologiczno-kulturowe ostatnich kilku dekad, zwrot ikoniczny, zwrot audiowizualny, zwłaszcza w wersji cyfrowej sprawiają, że szkolne dziedziny zajmujące się edukacją kulturową stoją w obliczu modyfikacji swoich paradygmatów. Ta sytuacja dotyczy także polonistyki zarówno tej szkolnej, jak i w pewnym stopniu akademickiej. Kryzys czytelnictwa i deprecjacja lektury szkolnej to zjawiska, wobec których polonista i polonistyka nie mogą przejść obojętnie; grzech zaniechania wysiłku na rzecz przemian oznacza zgodę na gwałtowną marginalizację kluczowej jeszcze do niedawna szkolnej dyscypliny. Jednym ze sprzymierzeńców w dziele jej odnowienia może być staruszek film, wynalazek już ponadstuletni, który przeżywa kolejną młodość i stał się dominującą formą sztuki masowej. Na różne sposoby zestawiany w szkole z literaturą może pokazać ją w innym świetle, ożywić, wydobyć ze sfery obojętności, wręcz odkryć. O tym jest ta książka.
Telepraca w procesach zarzadzania przedsiębiorstwami
Bogusława Ziółkowska, Karolina Karbownik
Monografia, podzielona na 5 rozdziałów, zawiera przegląd literatury zarówno pod kątem eksplikacji pojęcia „telepracy”, jak i motywów jej podejmowania. Przedstawiono w niej również wyniki autorskich badań, których celem było zidentyfikowanie najważniejszych czynników wpływających na zainteresowanie telepracą wśród pracowników i przedsiębiorców (pracodawców). Wykazano, że głównymi czynnikami motywującymi pracowników do podejmowania pracy zdalnej są elastyczne godziny pracy, możliwość pracy w dowolnym miejscu na świecie oraz samodzielna organizacja pracy. Badanie było przeprowadzone przed pandemią COVID-19, która wymusiła wprowadzenie pracy zdalnej w wielu organizacjach do tej pory niekorzystających z telepracy. Obecnie telepraca stanowi duże wyzwanie dla przedsiębiorców i kadry menedżerskiej. Po doświadczeniach z okresu pandemii COVID-19 większość z nich nie ma wątpliwości, że jest to bardzo przydatna forma zatrudnienia. Wielu z pracodawców przekonało się do telepracy, a także wielu pracowników nie chce już powracać do trybu pracy stacjonarnej. Ze względu na wagę i znaczenie problemu, jakim jest stopniowe przenoszenie zatrudnienia do e-przestrzeni, autorki zaprezentowały rozwiązywanie go na poziomie strategicznym. Jako przydatne narzędzie w tym celu zaproponowały analizę SWOT/TOWS, która, mimo iż została zastosowana w odniesieniu do uzyskanych wyników badań, nadaje się do wykorzystania przez menedżerów, którzy coraz częściej będą zmuszeni do pracy ze swoimi podwładnymi w przestrzeni wirtualnej stworzonej przez komputery, ich oprogramowanie i sieci komunikacyjne.
Mercury Learning and Information, Mehrzad Tabatabaian
This book is a comprehensive guide to tensor analysis for engineers and applied scientists, focusing on practical problem-solving in Euclidean space. It covers Cartesian coordinate systems and curvilinear coordinates like cylindrical and spherical, with examples and calculations. Expanded content includes rigid body rotation, Cartesian tensors, Euler angles, and quaternion methods.The course begins with coordinate systems, moving through curvilinear systems, basis vectors, and scale factors. It covers contravariant and physical components, tensor transformations, and mixed and metric tensors. Advanced topics include gradient operators, derivative forms, Cartesian tensor transformations, and coordinate-independent equations. The book features relations for selected coordinate systems, rigid body rotation methods, and numerous worked-out examples and exercises.Mastering tensor analysis is crucial for complex engineering and science problems. This book transitions from basic concepts to advanced applications, blending theory with practical examples. Clear explanations, figures, and exercises enhance learning, making this an essential resource for tensor analysis in Euclidean space.
Teoretyczne aspekty zarządzania przedsiębiorstwem na rynku. Wybrane zagadnienia
Sylwia Gostkowska-Dźwig, Ewa Kempa, Magdalena Mrozik, Ryszard...
Menedżerowie nieustannie dążą do rozwoju organizacji i w konsekwencji do wzrostu gospodarczego. W celu osiągnięcia zakładanych efektów wszelkie te działania skierowane są na zasoby oraz procesy. Dlatego zarządzanie powinno być sztuką koordynacji wszelkich czynności i oznaczać zdolność do szybkiego reagowania na pojawiające się przemiany. Podejmowanie właściwych decyzji zarządczych przy wykorzystaniu posiadanych zasobów oraz pojawiających się szans pozytywnie wpływa na korzystne tempo rozwoju przedsiębiorstwa. Aby tak się stało, konieczna jest znajomość zasad zarządzania rozumianego jako proces planowania zorientowanego na przyszłość przy wykorzystaniu wszelkich dostępnych zasobów. Publikacja składa się z czterech rozdziałów, z których każdy ukazuje inny aspekt systemu zarządzania. I tak: Rozdział 1 dotyczy istoty organizacji i zarządzania; zawiera zagadnienia teorii i ewolucji zarządzania oraz organizowania przedsiębiorstwa; Rozdział 2 omawia problematykę związaną z rolą i znaczeniem menedżera w zarządzaniu organizacją; scharakteryzowano rodzaje władzy, zwierzchnictwo oraz style kierowania występujące w przedsiębiorstwie; Rozdział 3 porusza zagadnienia związane z planowaniem i podejmowaniem decyzji w przedsiębiorstwie; omówiono rodzaje podstawowych decyzji podejmowanych przez menedżerów oraz skupiono uwagę na warunkach, w jakich są one podejmowane; Rozdział 4 dotyczy motywowania i narzędzi służących temu celowi, a także kontroli: jej celu, funkcji i szczebli oraz etapów. Skrypt stanowi przegląd podstawowych działań w procesie organizowania, zarządzania przedsiębiorstwem oraz kształcenia i doskonalenia menedżerów. Zapraszamy do lektury.
Teoretyczne perspektywy badań nad edukacją rodzajową
Mariola Chomczyńska-Rubacha (red.)
Prezentowana książka skupia autorów, których zadaniem było analizowanie teoretycznych perspektyw interpretowania wyników badań nad edukacją rodzajową. Teorie pozwalają połączyć wyniki badań w sensowną i spójną całość, stanowiącą punkt wyjścia do wyjaśnienia badanego zjawiska. Nie jest to oczywiście wyjaśnienie uniwersalne, zamykające wszelkie wątpliwości, lecz funkcjonujące w określonym systemie pojęć. Takie teoretyczne systemy pojęć stanowią orientacje, poprzez które nadajemy sens zebranym informacjom. Można zatem powiedzieć, że teorie stanowią merytoryczny klucz do naukowych konceptualizacji świata. Autorzy prezentowanej publikacji sprawdzają, jakie teorie mogą stanowić skuteczne narzędzia wyjaśniania edukacyjnych praktyk i przekazów dotyczących płci, kobiecości i męskości, weryfikują czułość tych teorii na zjawiska zatomizowanych dyskursów płci w edukacji.
Teoretyczne podstawy cyfrowego bliźniaka aplikacji ETCS
Andrzej Kochan
Monografia jest poświęcona cyfrowemu odwzorowaniu aplikacji ETCS. Aplikację taką należy rozumieć jako system ERTMS/ETCS zaimplementowany na określonym obszarze sieci kolejowej np. linii kolejowej. System ERTMS/ETCS realizuje zadania systemu automatycznego zabezpieczenia pociągu ATP (ang. Automatic Train Protection), do których należą: - wyznaczanie zezwolenia na jazdę; - wyznaczanie dynamicznego profilu prędkości dopuszczalnej w obszarze zezwolenia na jazdę; - nadzór nad przestrzeganiem dynamicznego profilu prędkości dopuszczalnej; - automatyczne hamowanie pociągu w przypadku zagrożenia bezpieczeństwa ruchu kolejowego. Poprawna realizacja tych funkcji zapewnia bezpieczeństwo ruchu kolejowego na obszarze sieci kolejowej, nadzorowanego przez aplikację ETCS. Poprawność realizacji funkcji jest kluczowym wymaganiem dla systemu ERTMS/ETCS. Przeprowadzone przez autora badania w ramach projektu "Cyfrowa kolej. Cyfrowy bliźniak aplikacji ETCS. Wirtualne prototypowanie i symulacja scenariuszy operacyjnych" są oryginalnym osiągnięciem indywidualnego dorobku autora i obejmują składowe zagadnienia badawcze, takie jak: - koncepcja infrastruktury Cyfrowego Bliźniaka Aplikacji ETCS (rozdz. 4.1); - identyfikacja i opracowanie modelu Aplikacji ETCS i jej otoczenia (rozdz. 4.4); - koncepcja wirtualnego laboratorium i metodyki projektowania aplikacji ETCS; przez wirtualne prototypowanie (rozdz. 4.5.2); - formalny model infrastruktury kolejowej w postaci Multigrafu IS (rozdz. 5.2); - algorytmy weryfikacji poprawności modelu infrastruktury kolejowej (rozdz. 5.3); - formalny model procesu weryfikacji aplikacji ETCS z wykorzystaniem symulacji scenariuszy operacyjnych, w tym: formalna specyfikacja scenariusza operacyjnego (rozdz. 5.4.1) i koncepcja obrazu symulacji scenariusza operacyjnego (rozdz. 5.4.3); - implementacja weryfikacji modelowej z wykorzystaniem czasowych, rozproszonych automatów współbieżnych, jako formalnej metody pozwalającej na kompleksową weryfikację modelu aplikacji ETCS (rozdz. 5.5). Opis wymienionych nowatorskich zagadnień jest uzupełniony charakterystyką powiązanych, istniejących rozwiązań, które stanowią środowisko łączące aktualny stan wiedzy z dorobkiem autora.