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.

Między fizyką a filozofią. Filozofia przyrody i filozofia fizyki w pismach Mariana Smoluchowskiego

Jan Grzanka

Marian Smoluchowski jest jednym z najczęściej cytowanych polskich naukowców – Web of Science określa liczbę cytowań jego prac w okresie od 1894 do 2014 roku na 7235 (Maria Curie-Skłodowska była w tym czasie cytowana 1582 razy). Regularnie przywoływane są równania dotyczące teorii procesów stochastycznych, a równanie ciągłości Smoluchowskiego stosowane jest w opisach procesów sedymentacji i koagulacji. Jego badania dotyczące ruchów Browna przyczyniły się do triumfu teorii atomistycznej w fizyce. Dzięki ich wykorzystaniu Richard Zsigmondy, Jean Perrin i Theodor Svedberg otrzymali w latach 1925–1926 Nagrody Nobla. Książka przedstawia wkład polskiego fizyka w naukę oraz filozofię, zwłaszcza w filozofię przyrody. Badania Smoluchowskiego dotyczące przyczyny i przypadku doprowadziły do wprowadzenia rachunku prawdopodobieństwa do fizyki. Jego teoria kryterium użyteczności odpowiada na pytania, jak rozwija się nauka i jak weryfikujemy hipotezy oraz teorie. Udowadnia, że użyteczność jest kategorią uniwersalną i odnosi się do wszystkich aspektów funkcjonowania człowieka w świecie przyrody. Jan Grzanka – uzyskał tytuł doktora na Wydziale Filozofii Katolickiego Uniwersytetu Lubelskiego Jana Pawła II. Absolwent Wydziału Hydrotechniki Politechniki Gdańskiej i Wydziału Nauk Społecznych (na kierunku filozofia) Uniwersytetu Gdańskiego, a także Studiów Podyplomowych w Szkole Filozofii Tadeusza Gadacza Collegium Civitas. Członek Pomorskiego Towarzystwa Filozoficzno-Teologicznego i Polskiego Towarzystwa Filozoficznego, wiceprezes Polskiego Towarzystwa Szekspirowskiego, redaktor naczelny Universitas Gedanensis.

Utrata kontroli. Zakazane relacje. Tom 1

Ewelina Dobosz

Łatwo stracić kontrolę, kiedy buntują się zmysły. Łączenie pracy i życia prywatnego nie zawsze dobrze się kończy. Przekonuje się o tym Rafał, urzędnik skarbowy, kiedy śledztwo wiedzie go do kancelarii adwokackiej prowadzonej przez Agatę. Trudno mu uwierzyć, że ta piękna i zdolna prawniczka jest świadomie zamieszana w oszustwa podatkowe. Czy Agacie grozi niebezpieczeństwo? A może to ona prowadzi podwójną grę? Zmagającego się z nietypowym uzależnieniem Rafała i skrywającą wiele sekretów Agatę zupełnie niespodziewanie łączy pożądanie. Tak silne, że nie powstrzyma go nawet groźba całkowitej utraty kontroli. Tylko krok dzieli parę od wejścia w drogę ludziom, dla których zasady nie istnieją, a oszustwa podatkowe są zaledwie przykrywką dla prawdziwych interesów.

Sencha Touch Cookbook. Over 100 recipes for creating cross platform rich media HTML5 apps

Ajit Kumar

Sencha touch is a versatile HTML5-based framework for developing mobile web apps that look and feel native on touch screen devices, and with it you can write your code once and deploy it to both iOS and Android saving you both time and money. The Sencha touch cookbook has a comprehensive selection of recipes covering everything from installation right through to HTML5 geo location. The Sencha Touch Cookbook really is your one stop resource for cross platform HTML5 application development. It covers the basics such as setting up an iOS and Android development environment right through to much more complex development issues such as touch gestures, animation, rich media and geo location. Every recipe is practically focused. Maximum action. Minimum theory.

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.

Nic

Bruno Jasieński

Bruno Jasieński But w butonierce Nic ----- Ta lektura, podobnie jak tysiące innych, dostępna jest na stronie wolnelektury.pl. Wersja lektury w opracowaniu merytorycznym i krytycznym (przypisy i motywy) dostępna jest na stron... Bruno Jasieński Ur. 17 lipca 1901 r. w Klimontowie pod Sandomierzem Zm. 17 września 1938 r. w Moskwie Najważniejsze dzieła: But w butonierce (zbiór wierszy 1921), Pieśń o głodzie (poemat 1922), Ziemia na lewo (zbiór wierszy 1924), Słowo o Jakubie Szeli (1926), Nogi Izoldy Morgan (1923), Palę Paryż (1929), Zmowa obojętnych (1937) Właśc. Wiktor Bruno Zysman, awangardowy poeta, prozaik i dramaturg. Był synem lekarza. W latach 1914-18 mieszkał z rodziną w Moskwie; tam ukończył polskie gimnazjum, tam też zetknął się z rewolucyjnym, zarówno formalnie jak ideowo, nowoczesnym nurtem literackim. Studiował w Krakowie na UJ na różnych wydziałach. Jako jeden z ojców założycieli polskiego futuryzmu był autorem głównych manifestów w ,,Jednodńiuwce futurystuw z 1921 r. (Do narodu polskiego manifest w sprawie natychmiastowej futuryzacji życia, Manifest w sprawie poezji futurystycznej) oraz współtwórcą głośnej jednodniówki Nuż w bżuhu. Styl Jasieńskiego cechuje zręczne wykorzystanie tradycyjnej formy literackiej połączone z zastosowaniem śmiałej, ekscentrycznej metaforyki, brutalnych dysonansów, fantastycznych hiperboli. Adaptował też dla poezji nowoczesne formy wypowiedzi słownej (jak notatka reporterska, zapis telegraficzny), zaś obrazowanie w wierszu Marsz jest interpretowane jako oparte o technikę montażu filmowego. Stał się jedną z ofiar wielkiej czystki stalinowskiej w 1937 r., został aresztowany, skazany początkowo na zesłanie, a następnie na śmierć i rozstrzelany w więzieniu w Moskwie. Przez długi czas okoliczności i data jego śmierci były nieznane. 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.

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.

Wojownicy. Gorejąca Gwiazda

Erin Hunter

Zjednoczcie się albo zginiecie... Nowy dom, który miał zapewnić górskim kotom bezpieczeństwo, został splamiony krwią pobratymców. Duchy poległych w bitwie pozostawiły osadnikom wskazówkę, dzięki której między grupami zapanuje pokój. Jednak utrzymanie rozejmu nie będzie proste. Skrzydło Szare, nadal zmagający się z konsekwencjami pożaru i pogrążony w żałobie, powierza dowodzenie Piorunowi. W szeregach Nieba Czystego pojawia się jednooki włóczęga o okrutnych zamiarach, przez którego przywódca traci panowanie nad leśnymi kotami. Gdy do osłabionych obozów zakrada się śmiertelna choroba, osadnicy są gotowi podjąć wszelkie kroki, żeby ocalić życie bliskich. Jedynym ratunkiem może okazać się tajemnicza Gorejąca Gwiazda. Czy koty zdołają odkryć, czym jest, nim będzie za późno?