Wyniki wyszukiwania - BazTech

1

Poznańska Śródka – granice fizyczne i mentalne w mieście

Bardzińska-Bonenberg T.

Budownictwo i Architektura

|

2017

|

Vol. 16, nr 1

89--98

PL

Śródka istniała zanim powstał lokacyjny Poznań. Położenie nad rzeką i główna droga ze wschodu na zachód a także do Gdańska ustabilizowały jej kupiecki, potem produkcyjny charakter. Kolejne powodzie, skutek budowy pruskiej twierdzy obniżyły atrakcyjność dzielnicy zamieszkiwanej przez polską ludność. Dwudziestolecie międzywojenne niewiele zmieniło sytuację. Działania II wojny światowej, likwidacja mostu, linii tramwajowej, nowa dwupasmówka, która zajęła teren śródeckiego rynku spowodowały, że dzielnica została odgrodzona od miasta. W 2006 roku Śródka została objęta Miejskim Programem Rewitalizacji. Natychmiastowe podniesienie czynszów spowodowało zamknięcie większości sklepów i nielicznych lokali oraz wyprowadzenie się najlepiej rokujących mieszkańców. Stopniowo program zaczął działać: Trakt Królewsko-Cesarski sprowadził turystów podobnie jak muzeum Brama Poznania, mural odwołujący się do historii i klimatu dawnej Śródki, zmieniły obraz dzielnicy. Pojawiły się lokale gastronomiczne, sklepy i hotel. Za sprawą Rady Osiedla dokonuje się integracja mieszkańców i przyzwyczajanie Poznaniaków do „nowej” interesującej, historycznej dzielnicy miasta. Celem referatu jest pokazanie historii deterioracji dzielnicy i efekty działań lokalnej społeczności reprezentowanej przez Radę Osiedla. Jej wpływ na decyzje administracji miasta zahamował proces degradacji dzielnicy i zapoczątkował proces integracji mieszkańców. Istnienie grupy nacisku wnoszącej racjonalne koncepcje i doprowadzającej do ich realizacji, w połączeniu z programami unijnymi, pozwolił na stopniowy powrót Śródki do Poznania zarówno w sferze materii jak i ducha.

EN

Śródka had existed before Poznań was established. Access to water and the main route from the east to the west let it become a stable trade and manufacturing centre. Under Prussian rule the floods which followed were a result of construction of the Prussian fortress. The district became less attractive. The interwar period brought some changes for the better. The Second World War operations, demolition of the bridge and of the tramway line was followed by a new double lane road built on the Śródka Market Square area and have separated the district from the city. In 2006 Śródka became a part of the Urban Redevelopment Program. Rental fees immediately went up, as a result of which most shops and few remaining eating places were closed and the most prospective residents moved out. However, the subsequent programs turned out to be successful: the Royal-Imperial Route has attracted tourists while the Gate of Poznań Museum and a large mural referring to the history and the atmosphere of the old Śródka have changed the image of the district. They have been followed by new eating places, shops and a hotel. The Śródka District Council has been cooperating with architects and artists to integrate residents and make the citizens of Poznań accustomed to the ”new”, interesting, historical district of the city. The purpose of the report is to present the activities of the local community which influences the decisions made by the city authorities. It was possible to change the course of events because there has existed an objecting group putting forward reasonable ideas and implementing them.

2

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

PL

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.

EN

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.

3

Modelowanie stacyjnych systemów sterowania ruchem kolejowym

Zabłocki W.

Prace Naukowe Politechniki Warszawskiej. Transport

|

2008

|

z. 65

3-180

PL

Efektywne i bezpieczne sterowanie ruchem kolejowym na stacji jest realizowane przez złożone systemy srk. Jedną z podstawowych metod badania systemu srk jest metoda modelowania prowadząca do badań symulacyjnych z zastosowaniem symulatora komputerowego. Metoda modelowania wpisuje się w schemat przyjętej metody badawczej. W pracy określono ogólne i szczegółowe cele modelowania systemu srk. Podstawowym celem modelowania jest wnioskowanie o zachowaniu systemu rzeczywistego srk, który odwzorowuje zadania sterowania. Na podstawie opisu nieformalnego powstał opis formalny systemu srk, reprezentowany przez model systemu sterującego. Model systemu sterującego MSS obejmuje model statyczny - MSTA i model dynamiczny MDYN. Informacje modelu statycznego i dynamicznego są odwzorowywane przez dwie struktury statyczne i dwie struktury dynamiczne. Struktury statyczne zawierają informacje: o własnościach obiektów w drogach przebiegu na stacji, wartości funkcji sprzeczności dla dróg przebiegów wyróżnionych na stacji. Struktury dynamiczne tworzą rejestr przebiegów i stanów przebiegów występujących na stacji i przechowują wartości sygnałów odwzorowujących stan urządzeń zewnętrznych na stacji. Model systemu srk złożony jest zbioru automatów odpowiadających drogom przebiegów i obiektom. Każdy przebieg odpowiadający konkretnej drodze przebiegu jest traktowany jako skończony automat sekwencyjny o określonych wejściach i wyjściach oraz własnym stanie wewnętrznym. Podobnie opisywane są również obiekty - urządzenia zewnętrzne. Statyczne własności drogi przebiegu i dynamiczne własności przebiegu stają się podstawą formalizacji zależności, ze szczególnym uwzględnieniem funkcji sprzeczności dróg przebiegów. Własności drogi przebiegu i przebiegu pozwalają sformułować relacje modelu systemu sterującego. Do relacji tych należą relacje zależnościowe, które wyrażają: warunki sprzeczności lub niesprzeczności dróg przebiegów, predyspozycje przebiegowe, kryteria zwalniania oraz pozostałe relacje opisujące zmiany stanu systemu srk. Na podstawie relacji i funkcji zależnościowych tworzone są równania zależnościowe, wyznaczające wartości sygnałów zmiennych stanu przebiegów i obiektów oraz sygnałów wyjściowych obiektów do zewnętrznych urządzeń wykonawczych tych obiektów. Zasady formalizacji systemu srk zostały dostosowane do koncepcji cyklicznego przetwarzania równań zależnościowych dla każdego przebiegu. Stan procesu zachodzącego w systemie i stany obiektów są wczytywane na początku każdego cyklu przetwarzania. Po wczytaniu sygnałów od obiektów następuje przetwarzanie informacji o przebiegach i poleceniach do obiektów, zakończone wyznaczeniem nowych stanów przebiegów i obiektów oraz generacja˛ poleceń - sygnałów wyjściowych obiektów do urządzeń wykonawczych obiektów. Przeprowadzone eksperymenty symulacyjne dla zadanych ograniczeń i przykładowo przyjętego układu torowego potwierdzają, że koncepcja opisu formalnego systemu oraz przygotowane na podstawie tego opisu oprogramowania symulatora systemu srk są poprawne i spełniają˛ warunek przetwarzania w czasie rzeczywistym. Uzyskane wyniki modelowania i symulacji są istotne m.in. z następujących względów: - opracowany model systemu srk staje się formą standaryzacji opisu takiego systemu, - opracowany opis formalny stwarza podstawy do: ▪ zastosowania nowoczesnych metod projektowania oprogramowania, uwzględniających język UML lub metody specyfikacji formalnej, np. logiki modalnej, ▪ projektowania oprogramowania rzeczywistego systemu zależnościowego.

EN

Effective and safe automatic train control (ATC) at station is conducted by means of composed ATC systems. One of the basic methods for testing an ATC system is the modelling method leading to simulation research using a computer simulator. The modelling method fits into a frame of adopted research method. General and detailed modelling goals of ATC system have been defined in chapter 1.3 and in chapter 6. The basic purpose of modelling is to draw conclusions about the behaviour of a real ATC system that reflects controlling tasks. On the basis of an informal description, a formal description of ATC system has been made represented by the control system model. The control system model MSS includes a static model - MSTA and a dynamic model - MDYN. Informations fed by the static and dynamic models is reflected by two static structures and two dynamic structures. The static structures include data about: properties of objects in route at the station, values of conflict function for routing processes identified at the station. The dynamic structures establish a register of the routing processes and statuses of processes taking place at the station and store values of signals reflecting the status of external devices at the station. The ATC system model consists of a set of automatons corresponding to routes and objects. Each routing process corresponding to a specific routing process is treated as finite sequential automaton of defined inputs and outputs and its own internal state. Objects - external devices are also described in a similar way. Static properties of the route and dynamic properties of the routing process become a basis for formalisation of dependence with a special focus on the route conflict function. Properties of the routes and the routing process itself allow to formulate relations of the control system model. The relations include dependence relations that express conditions of conflict or lack of conflict between routing processes, process predispositions, slowing down criteria and other relations describing changes in ATC system status. On the basis of relations and dependence functions, dependence equations are created, thus determining values of signals of variables of the processes and object states and output signals of objects to external executive devices of the objects. The ATC system formalisation rules have been tailored to the concept of cyclical processing of dependence equations for each process. The state of a process ongoing in the system and states of objects are fed at the beginning of each processing cycle. Processing of processes and orders data to objects commence after the signals from objects have been fed and they finish with determination of new states of the processes and objects as well as generation of orders - output signals of the objects to the executive devices of the objects. The conducted simulative experiments for the assumed limitations and the adopted track system confirm that the concept of a formal description of the system and software programs, prepared on the basis of that description, for the ATC system simulator, is correct and meets the requirement of real-time processing. The obtained modelling and simulation results are essential inter alia for the following reasons: - the prepared model of ATC system becomes a form of standardisation of description of such a system, - the prepared formal description constitutes the basis for: ▪ application of modern methods of software designing, taking into consideration UML language or formal specification methods, e.g. modal logic, ▪ designing software of the real dependence system.