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.

Jak być szczęśliwym

Zespół autorski - Andrew Moszczynski Institute

Jak być szczęśliwym? Prezentowany wykład zabiera czytelnika w fascynującą podróż. Celem jest zdefiniowanie własnego pojęcia szczęścia. To podstawa, na której można dokonać takich zmian w swoim życiu, aby odczuwać satysfakcję we wszystkich jego sferach: osobistej, rodzinnej i zawodowej. Różnimy się od siebie, więc trudno wymagać, żebyśmy tak samo rozumieli szczęście. Ponieważ jest to pojęcie abstrakcyjne i bardzo pojemne, każdy dla własnych potrzeb powinien się zastanowić, co musiałby osiągnąć, żeby móc powiedzieć: jestem szczęśliwy. Zazwyczaj wiąże się to z zaspokojeniem potrzeb w różnych sferach życia. Warto więc te potrzeby sobie uzmysłowić i nazwać. Ten pierwszy krok jest bardzo ważny, bo porządkuje nasze myślenie o szczęściu i pozwala wyobrazić sobie przyszłość w kształcie, który najbardziej nam odpowiada, a potem zająć się wypełnieniem tego kształtu szczegółami. Szczęście nie jest cudem ani przypadkiem. O swoim szczęściu w znaczniej mierze możemy decydować sami, wykorzystajmy więc tę szansę. „Jak być szczęśliwym” to inspirujący wykład, który przeczytasz w dwie godziny. Jednak te dwie godziny mogą doprowadzić do przewartościowania całego Twojego życia.

Studia hebraica. Księga pamiątkowa. Seminarium Wiedzy o Hebrajszczyźnie Biblijnej dedykowana Pani Profesor Kamilli Termińskiej

red. Marta Zając, Ireneusz Kida

Studia Hebraica to wyjątkowy zbiór artykułów i wspomnień, których początek i inspirację stanowiły spotkania z Panią Profesor Kamillą Termińską, na zorganizowanym przez nią i prowadzonym przez kilkadziesiąt lat Seminarium Wiedzy o Hebrajszczyźnie Biblijnej. Studia językoznawcze przeplatają się z szerszą refleksją nad żydowską kulturą i religią. Analizy hebrajskich rdzeni i leksemów wraz z ich symboliką (mężczyzna, kobieta, noga, krew); analizy znanych biblijnych fraz (Arka Pana, światło i ciemność; bezład i pustkowie, nawrócenie); hebrajski paralelizm; studia nad chasydyzmem; spory rabinów; mistyka liter hebrajskiego alfabetu; obraz żyda w kulturze i literaturze polskiej, renesansowe przekłady Biblii; postaci żydowskich krytyków literackich, rozważania nad ideą uniwersytetu i naukowego autorytetu – to imponujący wachlarz zagadnień, przedstawianych z badawczą pasją i osobistym zaangażowaniem. Obrazu dopełniają krótkie formy poetyckie oraz wplecione w teksty naukowe wątki bardzo osobiste. Tom zawiera także liczne dodatki oddające specyfikę seminaryjnych spotkań, a także obszerne cytaty z prac naukowych pani profesor Termińskiej, w których znajdziemy jej osobiste przemyślenia na temat języka, językoznawstwa, kultury Zachodu, Biblii hebrajskiej i wiele innych.

Vincas Stonis

Šatrijos Ragana

Vincas Stonis I Labai gražioje vietoje stovėjo Žalakių sodžia. Iš vienos pusės tekėjo Ventos upė, apaugusi karklynais, kaip kokiu žaliu vainiku; iš antros stoksojo tamsus ir platus miškas; toliaus tęsėsi laukai, dar toliaus — lygios žaliuojančios pievos. Sodžios gale buvo Juozapo Stonio troba. Stovėjo ji toliaus nuo kelio, ant kalnelio. Nedidelė, pajuodavusiu stogu ir žemu kaminu, iš vienos pusės turėjo mažą sodnelį, aptvertą virbų tvora, kuriame augo keletas obelų; po langais žydėjo raudonos rožikės ir geltoni gvazdikai, žaliavo paikios rūtelės; prieš trobas stovėjo svirnelis, šalyje, tarp svirno ir trobos — senos katės; iš antrosios mažo kiemelio šalies, prie vartų, buvo šulinys ilga svirtimi. [...] Šatrijos Ragana Ur. 8 marca 1877 r. we wsi Medyngiany (lit. Meding?nai), pow. wyłkowyski Zm. 24 lipca 1930 r. w miasteczku Żydyki (lit. Židikai) Najważniejsze dzieła: D?l ko tavęs čia n?ra, Rudens dieną, Viktut?, Iš daktaro pasakojim?, Vincas Stonis, Sename dvare, Irkos tragedija, Motina-Aukl?toja. Pisarka litewska. Urodzona w dworku w Medyngianach w rodzinie wykształconych, kulturalnych dworzan. W domu ojca ? Anuprasa Pečkauskasa ? była ogromna biblioteka, w domu matki ? Stanisławy Šiukštait? ? kolekcja obrazów. Maria była najstarszą córką państwa Pečkauskasów, miała siostrę Zofię, braci ? Steponasa i Vincasa. Już w rodzinie dzieciom były wszczepiane najważniejsze wartości kultury dworzan. Wspomnienia pisarki o dzieciństwie, rodzinie i rodzicach są szczególnie jasne i idylliczne. Program szkoły początkowej opanowała pobierając lekcje w domu, później wstąpiła do Gimnazjum im. Św. Katarzyny w Petersburgu, jednak z powodu słabego zdrowia naukę kontynuowała prywatnie. Słuchała wykładów z etyki i pedagogiki w Szwajcarii na uniwersytetach w Zurychu i Fryburgu, była pod wrażeniem wykładów o wychowaniu i kształceniu młodzieży, wygłaszanych przez V. Ferstera. W 1909 r. M. Pečkauskait? została zaproszona na stanowisko nauczyciela w Mariampolskim Dziewczęcym Progimnazjum ?Žiburio?, którego dyrektorem był ksiądz Motiejus Gustaitis. Ówczesny dyrektor progimnazjum szybko się przekonał o twardej i władczej ręce Marii, dlatego polecił jej kierownictwo progimnazjum. Odtąd pisarka była faktyczną kierowniczką progimnazjum. Do końca życia M. Pečkauskait? dużo uwagi i czasu poświęcała kwestiom pedagogiki. W 1927 r. M. Pečkauskait? - Šatrijos Ragana ? za wszelkie badania i długoletnią pracę w dziedzinie pedagogiki została uhonorowana tytułem Doktora Honorowego Uniwersytetu Witolda Wielkiego.   Kupując książkę wspierasz fundację Nowoczesna Polska, która propaguje ideę wolnej kultury. Wolne Lektury to biblioteka internetowa, rozwijana pod patronatem Ministerstwa Edukacji Narodowej. W jej zbiorach znajduje się kilka tysięcy utworów, w tym wiele lektur szkolnych zalecanych do użytku przez MEN, które trafiły już do domeny publicznej. Wszystkie dzieła są odpowiednio opracowane - opatrzone przypisami oraz motywami.

Poznaj TypeScript

Josh Goldberg

Rozwiń swoje umiejętności programistyczne korzystając z bezpiecznego typologicznie JavaScriptu TypeScript podbił świat JavaScriptu. Badania prowadzone wśród programistów dowodzą, że TypeScript jest najszyb­ciej rozwijającym się i najpopularniejszym językiem wykorzystywanym w przedsiębiorstwach na całym świecie. Często przypisuje się mu zasługi za możliwość skalowania ogromnych aplikacji internetowych. Czym jednak jest TypeScript? Jak i dlaczego działa? I jak możemy z niego korzystać? Ta praktyczna książka poprowadzi początkujących i zaawansowanych programistów JavaScriptu, którzy nie znają jeszcze koncepcji „typów” i „systemów typowania”, ku doskonałej znajomości podstaw języka TypeScript. Z tej książki dowiesz się: •  Jakie korzyści płyną z korzystania z języka TypeScript, a także jakie są ogólne zasady systemu typowania, wzbogacającego podstawową składnię JavaScriptu •  Jak korzystać z systemu typowania TypeScriptu za pomocą adnotacji typów podczas tworzenia programu •  Jak TypeScript analizuje i przetwarza kod, dzięki czemu rozwiniesz swoje dotychczasowe wzorce programistyczne •  Jak TypeScript ułatwia korzystanie z tablic, klas, funkcji, obiektów i innych istotnych wbudowanych elementów składni JavaScriptu •  Jak skutecznie wykorzystać ogrom opcji konfiguracyjnych TypeScriptu, aby dopasować kompilator tego języka do potrzeb swojego zespołu i projektów •  Jak korzystać z różnorodnych dodatków środowiska IDE, umożliwiających np. automatyczną refaktoryzację oraz inteligentne wyszukiwanie kodu TypeScript, ułatwiających szybkie rozwijanie kodu zawierającego mniejszą liczbę błędów   „Poznaj TypeScript jest doskonałą, przyjazną dla czytelnika książką. Josh omawia kluczowe aspekty TypeScriptu bez zagłębiania się w niepotrzebne szczegóły.” —Ryan Cavanaugh Główny kierownik ds. inżynierii oprogramowania w firmie Microsoft; kierownik ds. rozwoju, TypeScript „Na stronach tej książki od razu dostrzega się doświadczenie Josha. Treść jest nie tylko pełna cennych informacji, ale również ciekawa i wciągająca.” —Cassidy Williams Developer Experience Engineer, doradca startupów i inwestor Josh Goldberg zajmuje się utrzymaniem oprogramowania open source, a także jest konsultantem oprogramowania i przyczynia się do rozwoju TypeScriptu oraz związanych z nim projektów, takich jak typescript-eslint i TypeStat. Wcześniej Josh pracował na stanowisku staff frontend dewelopera w zespole rozwijającym platformę internetową Codecademy, gdzie był orędownikiem używania TypeScriptu i pomógł w utworzeniu firmowego kursu poświęconego nauce tego języka.

Przystanek przy Gwiaździstej

Albert Wojt

Zaczyna się od morderstwa młodego mężczyzny. Jego ciało zostaje znalezione w Lasku Bielańskim. Okazuje się, że denat to syn profesora, Witolda Suciewskiego. Profesor pracuje w Centrum Badawczo-Rozwojowym Automatycznego Sterowania. Praca, którą wykonuje jest istotna z punktu widzenia obronności kraju. Czy jego śmierć miała związek z tą pracą, czy też może w grę wchodziły jakieś osobiste porachunki? Zagadkę tą próbuje rozwikłać porucznik Michał Mazurek – pojawiający się często na kartach powieści Wojta. Milicja prowadzi wielowątkowe śledztwo penetrując środowisko przestępcze, gdzie roi się od wszelkiej maści przestępców i przestępczyń: przemytników, cinkciarzy, złodziei samochodów i wreszcie szpiegów obcego wywiadu! Należy też odnotować śmiałe sceny erotyczne.   Pierwsze, papierowe wydanie tej książki ukazało się nakładem Wydawnictwa Ministerstwa Obrony Narodowej (Warszawa 1980) w serii „Labirynt”, w nakładzie 120 000 + 333 egz. Książka wznowiona w formie elektronicznej przez Wydawnictwo Estymator w ramach serii: Kryminał z myszką – Tom 29. Nota: przytoczone powyżej opinie są cytowane we fragmentach i zostały poddane redakcji.

NIE TAK, JAK U ZBÓJCÓW

Ursula Marc

Profesjonalnie nagrany audiobook z treścią popularnej książki. Książka jest nie tylko przeczytana ale zawiera również drobne tło dźwiękowe na początkach rozdziałów. Polecamy tą formę: w podróży, do puszczania dzieciom, do uprzyjemnienia prac domowych... Historia ta jest współczesną przypowieścią - baśnią dla dzieci i młodzieży, a także - dorosłych. Opowiada o zbójeckim chłopcu, który zostaje przysposobiony przez prawdziwego Króla. U boku jego Syna przeżywa naprawdę niesamowite przygody. Kto czyta te historie, jest poruszony i może zaczyna przeczuwać, co to znaczy być chrześcijaninem. Bo ten Król istnieje naprawdę.

Nasz świat

Maria Konopnicka

Maria Konopnicka Nasz świat I miasto i wioska To jeden nasz świat! I wszędzie, dziecino, Twa siostra, twój brat! I wszędzie, dziecino, Wśród lasów, wśród pól, Jak ty czują radość, Jak ty czują ból. ----- Ta lektura, podobnie jak tysiące innych, dostępna jest na stronie wolnelektu... Maria Konopnicka Ur. 23 maja 1842 r. w Suwałkach Zm. 8 października 1910 r. we Lwowie Najważniejsze dzieła: O Janku Wędrowniczku, O krasnoludkach i sierotce Marysi, Nasza szkapa, Miłosierdzie gminy, Rota, Dym, Mendel Gdański Poetka, publicystka, nowelistka, tłumaczka. Zajmowała się krytyką literacką. Pisała liryki stylizowane na ludowe i realistyczne obrazki (W piwnicznej izbie). Wydawała cykle nowel (Moi znajomi, Nowele, Na drodze). W otoczeniu ośmiorga swoich dzieci tworzyła bajki (Na jagody). Jako poetka, inspiracji szukała w naturze (Zimowy poranek). Swoje wiersze publikowała głównie w prasie. Wiersz patriotyczny Rota konkurował z Mazurkiem Dąbrowskiego o miano hymnu Polski. Wiele jej utworów powstało podczas podróży po Europie (Italia). Ostatnie lata życia poświęciła poematowi Pan Balcer w Brazylii. autor: Bartłomiej Chwil Kupując książkę wspierasz fundację Nowoczesna Polska, która propaguje ideę wolnej kultury. Wolne Lektury to biblioteka internetowa, rozwijana pod patronatem Ministerstwa Edukacji Narodowej. W jej zbiorach znajduje się kilka tysięcy utworów, w tym wiele lektur szkolnych zalecanych do użytku przez MEN, które trafiły już do domeny publicznej. Wszystkie dzieła są odpowiednio opracowane - opatrzone przypisami oraz motywami.