Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: rout

Sortuj według:

Ogranicz wyniki do:

Synteza funkcji należnościowych stacyjnego systemu srk

Zabłocki W.

Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne

2009

Nr 91, z. 149

523-548

W artykule przedstawiono zarys metody formalizacji systemu srk. Podstawą formalizacji są własności drogi przebiegu analizowane zgodnie z zasadami bezpieczeństwa ze szczególnym uwzględnieniem funkcji sprzeczności dróg przebiegów. Zaproponowana metoda formalizacji definiuje uporządkowane statyczne i dynamiczne struktury danych oraz relacje. Struktury informacji są podstawą konstrukcji relacji, które pozwalają sformułować funkcje i inne relacje zależnościowe systemu srk, a w tym i funkcje sprzeczności dróg przebiegów. Opis formalny relacji i funkcji zależnościowych umożliwia zredagowanie równań zależnościowych warunkujących algorytmizację sterowania. Rezultatem powyższych badań jest formalny (matematyczny) model systemu srk. Model i zbudowany na jego podstawie symulator stanowią narzędzia badawcze, które pozwalają nie tylko wnioskować o systemie srk, a także tworzyć system rzeczywisty.

The outline of the method of rail traffic control systems have been presented in the paper. The features of routing analysed according to safety rules including in particular functions of contradictory functions are the basis of formalisation. The proposed formalisation method defines static and dynamic ordered database structures and relations. The information structures are the basis for creating the relations that allow defining functions and other interlocking relations of rail traffic control facilities including functions of contradictory routings. The formal description of interlocking relations and functions allows defining interlocking equations qualifying control algorithmisation. The result of research is formal (mathematic) model of rail traffic control system. Model and the simulator, constructed basing on it, compose the research tools used for drawing conclusions on rail traffic control facilities and for creating real facilities.

Martwe przestrzenie

Zuziak I.

Czasopismo Techniczne. Architektura

2008

R. 105, z. 6-A

211-215

Miasto to przestrzeń zorganizowana, której tkankę stanowi zbiór budowli-obiektów architektury i przestrzeni między nimi: placów, ulic, obiektów zielonych-parków. Po nich użytkownik porusza się ścieżkami, zmierzając do celów. Można wyodrębnić dwa rodzaje ścieżek: ścieżki wyboru i ścieżki konieczności. Ścieżki wyboru wiodą człowieku ku celom, które ze względu na wyróżniające je cechy przyciągają, zmuszają do zatrzymania się, wzbudzają ciekawość. Ścieżki konieczności natomiast prowadzą do miejsc, które są nieodzowne na danym etapie życia. Są w przestrzeni miasta miejsca, do których nikt nie podąża lub jeśli nawet do nich dotrze nie ma ochoty się w nich zatrzymać. Brak bowiem w ich strukturze elementów niezbędnych dla zaspokojenia całego wachlarza potrzeb człowieka, w sferze zarówno potrzeb biologicznych, kulturowych, społecznych jak i transcendentnej istoty bytu. To martwe przestrzenie.

The City is an organized network that intertwines architectural objects with streets, piazzas and parks where its inhabitant can travel from one area to another using either the route of his own choice or another one propelled by a pure necessity. The routes of choice allow a resident to move towards attractive destination which, by their nature offer a chance to pause and initiate curiosity. The routes chosen out of Necessity steer towards ordinary destination that are however indispensable during the life journey. There are places in the cityscape where nobody chooses to travel, and palces that are easy to abandon if found on the journey. It is not because their structure prevents any form of activity. Such places not able to fulfill the needs of human existence, from the very basic ones to cultural and spiritual. They are lifeless ,enclaves within the cityscape.