Ograniczanie wyników
Czasopisma help
Autorzy help
Lata help
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 40

Liczba wyników na stronie
first rewind previous Strona / 2 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 2 next fast forward last
PL
Obecnie branża kolejowa przeżywa dynamiczny rozwój. W najbliższych latach planowanych jest szereg infrastrukturalnych inwestycji kolejowych w przyjętych zgodnie ze strategiami i planami rozwoju transportu kolejowego w Polsce. Fundamentalnym czynnikiem związanym z procesem inwestycyjnym jest proces certyfikacji, bez którego dana inwestycja nie uzyska dopuszczenia do eksploatacji. Mając na uwadze bezpieczeństwo realizacji inwestycji kolejowych, istotnym staje się certyfikacja podsystemu sterowanie i/lub jego składników, które bezpośrednio odpowiadają za bezpieczeństwo prowadzenia ruchu. Podsystem sterowanie jest określony jako wszelkie przytorowe i pokładowe urządzenia niezbędne do zapewnienia bezpieczeństwa oraz sterowania ruchem pociągów na sieci. Dodatkowo podsystem sterowanie jest najbardziej skomplikowanym i trudnym w ocenie podsystemem. Z tego względu niniejsza publikacja jest poświęcona procesowi certyfikacji i wpływu certyfikacji na realizację procesu inwestycyjnego w podsystemie sterowanie.
EN
Currently, the railway industry is experiencing dynamic development. In the coming years, a number of infrastructural rail investments are planned in accordance with the strategies and plans for the rail transport development in Poland. The fundamental factor associated with the investment process is the certification process without which the given investment will not be released for use. Bearing in mind the safety of railway investments, certification of the control subsystem and / or its interoperability constituents, which are directly responsible for the safety of traffic management, becomes important. The control subsystem is defined as all track-side and on-board equipment required to ensure safety and to command and control movements of trains authorised to travel on the network. In addition, the control subsystem is the most complex and difficult to assess subsystem. For this reason, this publication is devoted to the process of certification and the impact of certification on the implementation of the investment process in the control subsystem.
EN
Railway system infrastructure, including control subsystems, is subject to continuous normative technical and legal regulations as defined by EU directives and European Commission regulations, as well as national railway administrations decrees. The aim of regulation is the optimization, harmonization and pursuit of the full interoperability, among others, of control subsystems, through the Control Command and Signalling Technical Specifications for Interoperability (CCS TSI), thereby providing consistency in terms of safety assurance level improvements. Regardless of TSI and baseline specification sets, it is crucial that certification processes function according to specific rules and procedures. In this publication, certification issues concerning a control subsystem and its elements will be discussed. It is assumed that the certification process should include a complex approach to CCS, starting from the project phase and finishing at the adaptation and trial exploitation phase. It is critical that CCS system adaptation is intensified in the PKP PLK.
EN
One of the essential elements of the railway transport modernization in Poland is the implementation of modern systems of interoperable ERTMS / ETCS (European Rail Traffi c Management System / European Train Control System) fulfilling the tasks and functions of CCS (control-command and signalling) systems. Th e investment process including the implementation of ERTMS / ETCS requires prior development of a number of documents, which include feasibility study, terms of reference, a description of the contract and many others. Th e initiation of the investment process is preceded by a series of activities including the evaluation and selection of the right target railway traffic control system for the selected railway line. Due to the interoperability requirements, it becomes necessary to develop methods for assessment of the possible ERTMS / ETCS confi gurations and later selection of a confi guration for a railway line with predefi ned service and traffic parameters. The aim of the publication is to present a concept that can be considered as the basis for methods of analysis and rail control traffic system selection. The sample line, which was selected to carry out research and analysis, is a section of the selected railway line section of the railway line No. 7 due to its strategic location and traffic load.
PL
Jednym z istotnych elementów modernizacji transportu kolejowego w Polsce jest wdrożenie nowoczesnych interoperacyjnych systemów ERTMS / ETCS (Europejski System Zarządzania Ruchem Kolejowym / Europejski System Sterowania Pociągami), spełniających zadania i funkcje BKJP (Bezpieczna Kontrola Jazdy Pociągów). Proces inwestycyjny, w tym wdrożenie systemów ERTMS / ETCS, wymaga wcześniejszego opracowania wielu dokumentów, które obejmują studium wykonalności, specyfikację istotnych warunków zamówienia (SIWZ), opis przedmiotu zamówienia (OPZ) i wiele innych [9, 10]. Wszczęcie procesu inwestycyjnego poprzedzają działania, w tym ocena i wybór właściwego docelowego systemu sterowania ruchem kolejowym dla wybranej linii kolejowej. Ze względu na wymagania dotyczące interoperacyjności, konieczne jest opracowanie metod oceny możliwych konfiguracji systemów ERTMS / ETCS, a następnie selekcja konfiguracji linii kolejowej o wstępnie zdefiniowanych parametrach ruchowo-przewozowych. Celem artykułu jest przedstawienie koncepcji, która może być uznana za podstawę dla metod analizy i wyboru systemu sterowania ruchem kolejowym. Linią próbną, która została wyznaczona do przeprowadzenia badań i analiz, jest wybrany odcinek linii kolejowej nr 7 ze względu na jego strategiczne położenie i obciążenie ruchem.
PL
Fundamentalnym czynnikiem związanym z procesem inwestycyjnym w szczególności w odniesieniu do systemów sterowania ruchem kolejowym (srk) jest ryzyko. Dokonując rozważań na temat ryzyka w inwestycjach, nieodzownym staje się zdefiniowanie pojęcia niewymiernego czynnika jakim jest ryzyko. W procesach inwestycyjnych ryzyko oznacza możliwość poniesienia straty lub nieosiągnięcia zamierzonego celu. Podjęcie jakiejkolwiek decyzji działalności inwestycyjnej jest obarczone ryzykiem. Z tego też względu konieczna staje się ocena wielkości ryzyka związanego z procesem inwestycyjnym. Istnieje wiele metod oceny ryzyka, minimalizacja ryzyka jest związana z wyborem metod projektowania systemów srk. Według normy PN-EN 50126 jest podejście RAMS. Opracowanie projektów inwestycyjnych w ujęciu RAMS nie rozwiązuje problemów oceny wielkości ryzyka. W tym celu pomocne stają się metody wielokryterialnego podejścia do rozwiązania problemu. W publikacji zostanie przedstawiony przykład zastosowania pewnej metody do oceny ryzyka.
EN
The risk factor is a fundamental factor in the investment process, particularly with regard to rail traffic control systems. Considering investment risks, it is indispensable to define the notion of an irrational risk factor. In investment processes, risk means the possibility of incurring losses or failing to achieve the intended purpose. Taking any investment decision is risky. Therefore, it is necessary to assess the amount of risk involved with the investment process. There are many methods of risk assessment, risk minimization is bound with the choice of methods of designing rail traffic control systems. According to EN 50126 standard, RAMS approach should be used. The development of investment projects in RAMS does not solve problems of risk assessment. For this purpose, multi-criterial approach to solving the problem becomes a helpful method. An example of the application of a method for risk assessment have been provided in the publication.
6
Content available Problem ryzyka w inwestycjach systemów SRK
PL
W dobie dynamicznych zmian w obszarze kolejnictwa polskiego, charakteryzujących się wzrostem intensywności inwestycji na rynku kolejowym, istotne stają się zagadnienia ryzyka inwestycji. W publikacji zostały przedstawione wybrane problemy analizy ryzyka oraz metody identyfikacji zagrożeń dotyczących inwestycji począwszy od fazy projektowania a skończywszy na procesie wdrożenia. Jako podstawę rozważań przyjęto odniesienia do metody RAMS.
EN
In the era of dynamic changes within Polish railways that are characterized by an increase in investment in the railway market, a problem of the investment risk becomes very essential. Some problems of risk analysis and how to identify investment risks beginning from the design phase through to the implementation process were presented in the publication. The RAMS method has been accepted as a basis of considerations.
PL
Jednym z istotnych elementów modernizacji transportu kolejowego w Polsce jest wdrażanie nowoczesnych interoperacyjnych systemów ERTMS/ETCS (europejski system zarządzania ruchem kolejowym/ europejski system sterowania pociągiem) spełniających zadania i funkcje BKJP. Proces inwestycyjny obejmujący wdrażanie ERTMS/ETCS wymaga uprzedniego opracowania szeregu dokumentów, do których zalicza się m. in. studium wykonalności, specyfikację istotnych warunków zamówienia (SIWZ), opis przedmiotu zamówienia (OPZ) i wielu innych. Zainicjowanie procesu inwestycyjnego poprzedza szereg działań obejmujących ocenę i wybór właściwego i docelowego, dla wybranej linii kolejowej, systemu sterowania ruchem kolejowym (srk). Ze względu na wymagania interoperacyjności koniecznym staje się opracowanie metody oceny i wyboru rozwiązania ERTMS/ETCS dla wybranej linii kolejowej o zadanych parametrach ruchowo-przewozowych. Celem publikacji jest przedstawienie pewnej koncepcji, która może być rozważana jako podstawa metody analizy i wyboru systemu srk. Przykładowa linia, która została wybrana do przeprowadzenia badań i analiz, ze względu na jej strategiczne położenie oraz obciążenie ruchowe, jest odcinek linii kolejowej nr 7. (Otwock - Lublin, 147,404 km).
EN
One of the essential elements during modernization of railway transport in Poland, is the implementation of interoperable ERTMS / ETCS systems (European Rail Traffic Management System / European Train Control System), which can fulfill the tasks and functions of CCS. The investment process, which includes the implementation of ERTMS / ETCS, requires to develop a number of documents, which include feasibility study, terms of reference, a description of the contract and many others. The investment process is preceded by a series of activities, including evaluation and selection of the right railway traffic control system and for the selected railway line. Due to the requirements of interoperability, it becomes necessary to develop assessment methods and to choose the proper ERTMS/ETCS solutions for the selected railway line with given parameters of motor-transport. The aim of this document is to present a concept that can be considered as the basis for analysis methods and rail control traffic system selection. The Sample line, No. 7 (Otwock - Lublin, 147.404 km), was chosen as an example for the research and analysis due to its strategic location and load movement.
PL
Wysokosprawny i elastyczny DUOBLOK 500 może stanowić standard budowy nowych mocy na węglu, przy maksymalnym wykorzystaniu istniejącej infrastruktury, wycofywanych wyeksploatowanych bloków klasy 200 MW i jednoczesnej poprawie współpracy energetyki węglowej ze źródłami odnawialnymi. Zaś zastosowanie kotła biomasowego w układzie BIOBLOKU z turbiną 50 MW stanowi obiecującą alternatywę dla zwiększenia udziału stabilnej energii z OZE.
9
Content available Wybrane zagadnienia formalizacji systemów srk
PL
W publikacji przedstawiono wybrane zagadnienia opisu formalnego na przykładzie opisu funkcji sprzeczności. Zamieszczony przykład opisu formalnego został poprzedzony rozważaniami dotyczącymi opisów nieformalnych i półformalnych w ogólnym odniesieniu do procesu projektowania systemu srk i tworzenia dokumentacji systemu. Proces tworzenia poprawnych i pełnych opisów n-p-f staje się istotny z punktu widzenia warunków bezpieczeństwa. Opracowane dokumenty i formy opisu systemu srk stają się bazowymi dokumentami dowodu bezpieczeństwa. Metoda opisu formalnego sprzeczności dróg przebiegów odwołuje się do analizy właściwości obiektów uczestniczących w drogach przebiegów, tj. uwzględnia szczegółowo właściwości obiektów drogi jazdy, drogi ochronnej i obiektów ochronnych. Zaproponowany przykład metody formalizacji pozwala określić wystarczające warunki sprzeczności. Jednakże proponuje się zachować tablicę zależności z wykazanymi sprzecznościami dróg przebiegów jako podstawową formę klasycznego opisu półformalnego.
EN
The publication presents selected issues of formal description on the example of the function description contradictions. Included example on formal description was preceded by considerations relating to informal and semi-formal descriptions in relation to the overall system design process ATC and system documentation. The process of creating the correct and complete, informal, semi-formal, formal descriptions becomes important from the point of view of safety requirements. Background documents and forms of SRK description of the system are treated as the base documents of proof of safety. The method of formal description of contradiction routes refers to the analysis of properties of objects involved in routes, taking into account the detailed properties of objects route (drive path, overlap path and protective object). The proposed formalization of such methods allows you to specify sufficient conditions of contradictions. However, it is proposed to keep the interlocking board according to the disclosed contradiction routes as the basic form of the classical semi-formal description.
PL
W publikacji przedstawiono specyfikację dokumentacji wymaganej przy opracowywaniu założeń i projektowaniu komputerowych systemów sterownia ruchem. Istotnym zagadnieniem projektowania takich systemów jest automatyzacja utworzenia tablicy zależności z wykazem sprzecznych dróg przebiegów. Zalgorytmizowanie wyznaczania sprzeczności dróg przebiegów wymaga opracowania metody pozwalającej formalizować relacje sprzeczności. Podstawą formalizacji są szczegółowe właściwości obiektów drogi przebiegu i ich analiza zgodna z zasadami bezpieczeństwa, ze szczególnym uwzględnieniem funkcji sprzeczności dróg przebiegów. W projektowaniu komputerowych systemów sterowania powstaje dylemat: czy wyznaczenie funkcji sprzeczności spełnia także wymagania dotyczące sprzeczności dróg przebiegów o wykluczeniach specjalnych. Zaproponowana metoda formalizacji sprzeczności pozwala określić wystarczający warunek sprzeczności, który odnosi się także do wykluczeń specjalnych. Jednakże proponuje się zastosowanie klasycznej tablicy zależności z wykazanymi sprzecznościami dróg przebiegów i wykluczeniami specjalnymi. Oznaczenie wykluczeń specjalnych będzie stanowić dodatkowy czynnik bezpieczeństwa systemu srk.
EN
The publication presents the specifications of the documentation required in developing of the assumptions and designing computer systems for traffic control. Another important issue is the design of such systems is to automatically create an array according to a list of conflicting routes. Algorithmization of determination of contradictions routes requires to develop a method to formalize the relations conflict. The basis of formalizing are detailed properties of the route objects and analysis consistent with the safety regulations, with particular emphasis on routes contradiction function. In the design of computer control systems arises dilemma whether design of contradiction functions also meets the requirements for routes contradiction with the special exclusion. The proposed method of contradiction formalization allows to determine sufficient condition for conflict, which also applies to the special exclusions. However, it is proposed to apply the classic array interlocking to the disclosed conflicts of routes and special exclusions. Marking of special exclusions will be an additional safety factor of the train control system (ATC).
PL
Dnia 17.04.2014 roku podpisano Kontrakt pomiędzy TAURON Wytwarzania S.A. a Konsorcjum RAFAKO S.A. (lider) – Mostostal Warszawa S.A. na budowę pod klucz bloku energetycznego 910 MW w Elektrowni Jaworzno III – Elektrownia II. Budowa nowego Bloku energetycznego ma ogromne znaczenie dla polskiej elektroenergetyki. W inwestycji zostaną wykorzystane najnowocześniejsze i najlepsze dostępne technologie oraz światowe doświadczenia w zakresie realizacji i wyposażenia nowych dużych bloków energetycznych. Nowy blok będzie spełniał wszystkie wymagania wynikające z Dyrektywy Unii Europejskiej w zakresie emisji zanieczyszczeń do atmosfery. Realizowana inwestycja ma również bardzo duże znaczenie dla odbudowy mocy energetycznych w Elektrowni Jaworzno, a także dla utrzymania ciągłego rozwoju regionu, w którym będzie zlokalizowana. Paliwo dostarczane do nowego bloku będzie pochodziło w blisko 80% procentach z kopalń należących do grupy TAURON. Nowy blok będzie produkował 6,5 TWh energii elektrycznej, co odpowiada 5% obecnego krajowego zapotrzebowania na energię. W artykule przedstawiono główne rozwiązania techniczne jakie zostaną zastosowane w zakresie projektu kotła dla nowego bloku 910 MW.
EN
On 04/17/2014 has been signed Contract between TAURON Wytwarzanie S.A. and the Consortium RAFAKO S.A. (leader) – Mostostal Warszawa S.A. for the construction of full turnkey 910 MW power unit. Construction of a new Power Unit has huge significance for the Polish power sector. The most and the best available technology and the global experience in the construction and equipment of new large Power Unit will be used in the investment. The new Unit will fulfill all requirements under the EU Directive concerning pollutant emissions into the atmosphere. The investment is also very important for the reconstruction of Jaworzno Power Plant energy production capacity and also for the continued development of the region, where it will be located. Fuel for the new unit will come in nearly 80 percent from the mines belonging to the group TAURON. The new unit will produce annually 6,5 TWh of electricity, equivalent to 5 percent of the current domestic consumption of energy. The article presents the main technical solutions to be applied in the field of boiler of new 910 MW Unit.
PL
W publikacji przedstawiono problemy dotyczące lokalizacji balis na liniach wyposażonych w system ETCS. Przeprowadzono analizę literaturową oraz sformułowano problem zależności przepustowości linii od rozmieszczenia balis. Zaproponowano także metodę symulacyjnych badań komputerowych, które pozwolą określić optymalne rozmieszczania balis dla zadanej linii kolejowej.
EN
The paper presents some problems concerning the localizing balises on lines equipped with ETCS. An analysis of literature has been carried out and the problem of the dependency on the line capacity of balise location has been formulated. A method of computer simulation studies that will determine the optimum placement of balises for a given railway line has also been proposed.
PL
W referacie zostanie przedstawiona metoda zastosowania dyfuzji innowacji w celu rozwiązania problemu wdrażania na rynek innowacyjnych produktów przemysłu lotniczego. Jako przykład zastosowania tej metody zostanie opisana analiza procesu wprowadzania na rynek Airbusa 380. Wskazane zostaną determinanty (siły i słabości) dyfuzji innowacji na tle innych możliwych metod i strategii wdrażania. Jako odniesienie teorii dyfuzji innowacji zostaną przedstawione badania E. Rogersa i G. Moora.
EN
In this paper will be presented a method that may be used to solve the problem of the implementation an innovative products to the market. The aim of this publication is to present the theory of diffusion of innovations and to evaluate its use for the aviation market. Considerations will be carried out using the Airbus A380. The strengths and weaknesses of diffusion of innovation will be compared with other methods and strategies using in lunching new products. The work will be based on the theory of diffusion of innovations, including E. Rogers and G. Moore research.
15
Content available remote Wybrane zagadnienia wyznaczania krzywych hamowania pociągów
PL
Artykuł nawiązuje do sposobów wyznaczania drogi hamowania pociągu. Droga hamowania stanowi zasadniczy element decydujący o rozmieszczeniu semaforów blokady samoczynnej, a także punktowych urządzeń przekazywania informacji tor – pojazd z zastosowaniem balis stanowiących podstawowe urządzenia infrastruktury systemu ETCS. W artykule przedstawiono wybrane metody wyznaczania krzywych hamowania pociągów. Wskazano różnice długości dróg hamowania, zależnie od przyjętej metody dla założonych parametrów trakcyjnych pociągu. Analizowane metody wyznaczania krzywych hamowania zostaną zastosowane do budowy modeli symulacyjnych pozwalających na wnioskowanie o rozmieszczeniu punktów instalacji balis lub zespołów balis na szlaku.
EN
The article refers to the ways of determining the stopping distance of the train. Braking distance is a key factor in the spacing of the semaphore block system, as well as point - device in communication between the rails - vehicle using balise as electronic beacon or transponder which are the basic parts of an Automatic Train Protection (ATP) system or of ETCS signalling system. The article presents some methods of determining braking curves trains. Indicated differences in the length of stopping distances, depending on the method used for the assumed uniform traction train.
PL
W artykule przedstawiono wybrane problemy dotyczące specyficznych funkcji sterowania ruchem pociągów kolei aglomeracyjnej, w tym metra. Przedstawiono uproszczony opis systemu sterowania ruchem pociągów uwzględniający specyfikę i zadania techniczno - ruchowe. Analizie poddano system ograniczenia prędkości — SOP który zostanie zmodernizowany w celu uzyskania pełnej jego funkcjonalności.
EN
Some problems relating to the specific of control of agglomeration rail in this subway trains have been presented in paper. So that, the subway train control system, including its specificity and technical - operational tasks has been described in brief. The speed limitation system - SOP, which will be modernized as ATP system for full functionality in the application for Warsaw Metro lines, has been chosen as the object of analysis.
PL
W publikacji przedstawiono wybrane problemy funkcji sterowania ruchem pociągów metra. W tym celu przeprowadzono uproszczony opis systemu sterowania ruchem pociągów metra ze uwagi na specyfikę i zadania techniczno - ruchowe. Jako przedmiot analizy wybrano system ograniczenia prędkości – SOP, który zostanie zmodernizowany jako system ATP w celu uzyskania pełnej funkcjonalności w zastosowaniu na liniach Metra Warszawskiego.
EN
The paper presents some problems relating to the specific motion control subway trains. For this purpose, is shortly described of the subway train control system from the specificity and technical - movement tasks. As the object of analysis was chosen speed limit system - SOP, which will be modernized as ATP system for full functionality in the application for Warsaw Metro lines.
18
Content available Metodyka budowy komputerowych systemów srk
PL
W publikacji przedstawiono ogólne założenia metody tworzenia komputerowych systemów srk. Podstawą metody projektowania systemu srk jest strategia oparta na analizie systemowej uwzględniającej cykl V oraz podejście COTS. Treść publikacji zawiera opisy wybranych etapów projektowania należących do cyklu V. Opisy obejmują własności systemu srk i podstawy metody formalizacji opartej na modelu systemu srk nawiązującym do układu przełączającego (automatu), w którym zostają wyróżnione automaty składowe umożliwiające odwzorowanie funkcji sterowania. Podstawą analizy pracy automatów jest specyfikacja sygnałów oraz wyznaczenie funkcji przejść uzupełnione schematami grafów przejść. Rezultatem powyższej metodyki projektowania jest wypracowana metoda pozwalająca tworzyć bezpieczne komputerowe systemy sterowania ruchem.
EN
The general assumptions for the method of computer system for atc construction have been presented in the paper. The basis of the method of atr system designing is the strategy resulting from system analysis including V cycle and COTS approach. The descriptions of some designing stages that belong to V cycle have been given. The descriptions contain the atr system properties and the basis of formalization method. The basis of machines work analysis is specification of signals and definition of transfer function completed with schemes of transfer graphs. The result of mentioned above methodology of designing is the method allowing to create computer systems for traffic control.
PL
Artykuł prezentuje działalność Zakładu Sterowania Ruchem Wydziału Transportu Politechniki Warszawskiej w ostatnich 40 latach. Podstawowymi kierunkami tej działalności są badania, modernizacja, projektowanie i wdrażanie systemów kierowania i sterowania ruchem kolejowym (ksr). Do najważniejszych osiągnięć Zakładu, wypracowywanych przez wiele lat, należy koncepcja struktury hierarchicznego systemu ksr. Na jej podstawie były opracowane, a następnie wdrożone systemy ksr w kolejnictwie i metrze warszawskim. Ponadto przedstawiono informacje o bieżącej działalności Zakładu.
EN
The paper presents the activities of the Train Operation Unit of the Transport Department of the Warsaw Institute of Technology during the past 40 years. Its basic line of activity includes scientific research, engineering design and practical application of the control and safety installations. The most significant achievements of the Unit, as a result of many years of work, include the concept of structure of the hierarchic control and safety installation . Basic on this concept, control and safety installations were worked out and implemented in the Polish Railways and the Warsaw Metro. Additionally, an information about current activities of the Unit are presented.
20
Content available remote Wybrane problemy tworzenia funkcji i równań zależnościowych w systemach srk
PL
W publikacji przedstawiono wybrane problemy dotyczące metody tworzenia funkcji i równań zależnościowych na podstawie równań stanu opisujących system srk jako układ przełączający. Analiza systemu srk jako układu przełączającego pozwala wyróżnić w strukturze tego układu szereg automatów składowych odwzorowujących przebiegi, jak i obiekty sterowane. Do opisu tych automatów zastosowano równania stanu. Metoda ta umożliwiła sformułowanie funkcji i równań zależnościowych, które można zastosować do celów algorytmizacji. Ponadto zastosowanie tej metody pozwala zbadać własności tych automatów a tym samym i systemu srk.
EN
In the publication a method of creating the function and interlocking equations was presented on the basis of equations of the state describing the ATC system as the switching machine. Analysis of the ATC system as the switching machine lets single the row of automaton in the structure of this system as components reflecting of the rout process, as controlled objects. Equations of the state were used to the description of these machines. This method enabled to formulate the interlocking function and equations whom it is possible to apply to purposes of the algorithmization. Moreover applying this method allows to examine properties of these automaton hence and of ATC system. The required property of these automaton is among others their observability.
first rewind previous Strona / 2 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.