Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "control traffic" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    Specjalizowane rekonfigurowalne sterowniki poziomu lokalnego w inteligentnych systemach transportowych ITS
    Specialized reconfigurable controllers of local level in ITS
    Autorzy:
    Kawalec, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/155097.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sterowanie ruchem drogowym
    sterowniki obszarowe
    FPGA
    SoC
    control traffic
    controllers area
    Opis:
    W artykule przedstawiono możliwość wykorzystania specjalizowanych sterowników ruchu drogowego, zaimplementowanych w układach FPGA, nie tylko na poziomie lokalnym, lecz również w sterowaniu obszarowym, a więc w zakresie właściwych ITS. Na przykładzie rzeczywistego obszaru sterowania, obejmującego kilka skrzyżowań, zaprezentowano proces specyfikacji, syntezy i implementacji takich sterowników w technice SoC.Dla konkretnego układu FPGA przytoczono raporty z wykorzystania zasobów i uzyskanych parametrów czasowych sterownika obszarowego.
    In contrast to industrial process control systems, the achievements of contemporary electronics of the last several years, such as work-ing out hardware description language HDL, and accessibility of programmable logic devices FPGA have not been used in designing control devices of local level of ITS [4] up to the present moment. The paper presents an original methodology for design of new class local controllers of road traffic in railway traffic control implemented in programmable logic devices. The research results obtained at the Faculty of Transport (Warsaw University of Technology) of specialized prototypes of single-system reconfiguration controllers SoC show that the operating speed of such controllers exceeds the speed of currently used microprocessor controllers by hundreds of thousands times, with the improvement of reliability parameters by hundreds of times. It has been shown that the proposed class of specialized controllers can be used not only on the local level, but they can also be used for area controlling, encompassing several crossroads. The process of specification, synthesis and implementation of such a controller in SoC technology has been presented for a sample area of three neighboring crossroads (Figs.1 and 2). The example presented shows that specialized reconfigured road traffic controllers implemented in FPGA (Fig. 3)devices can be used not only on the local level, but also on area controlling level, and so in ITS.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 848-850
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Algorytmiczne podejście do projektowania logiki zależnościowej w systemach sterowania ruchem kolejowym
    The algorithmic approach to railway interlocking logic design
    Autorzy:
    Kawalec, P.
    Rżysko, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/156228.pdf
    Data publikacji:
    2014
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    algorytmy
    srk
    systemy zależnościowe
    algorithms
    interlocking
    railway traffic control
    Opis:
    W artykule przedstawiono propozycję formalnej metody specyfikacji złożonych funkcji zależnościowych w systemach srk. Opisana metoda opiera się na podejściu geograficznym, umożliwiającym wykorzystanie zbudowanych elementów dla dowolnego układu torowego. Zastosowanie algorytmów do opisu działania pozwala na intuicyjne przejście od elementarnych warunków, opisanych w języku naturalnym, do zapisu formalnego oraz kodu języka VHDL. Zaprezentowane zostały również możliwości weryfikacji otrzymanych algorytmów.
    The paper presents several problems concerning the interlocking logic design process in modern railway traffic control systems. This issue is increasingly difficult in implementing new functions and adapting systems to new market requirements. For easy and clear transition from the verbal operation description to the formal notation in HDL language, the algorithmic approach was introduced. Universal input and output alphabets proposed in the paper allow convenient variable identification. The rules for decomposing the system into objects and algorithms are described (Fig. 1). Since the method is based on the geographical approach, the set of designed elements is universal and can be used for any track layout. Using the logical algorithm scheme (2) to describe the functionalities allows one to intuitively transform the elementary conditions in a natural language to a formal notation and finally to the VHDL code (Fig. 4). Verification possibilities of the described method are also presented. Using the Active-HDL integrated design environment it was possible to analyze the created algorithms on many hierarchical levels. Beginning from the algorithm level (proving the correctness of the transition to the finite-state machine graph), through the object level (Fig. 5a, showing the complex interlocking functions) to the whole interlocking logic (Fig. 5b, allowing verification of the design using the interlocking table), all of the performed simulations proved correctness of the specification.
    Źródło:
    Pomiary Automatyka Kontrola; 2014, R. 60, nr 10, 10; 826-828
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wybrane problemy projektowania adaptacyjnej sygnalizacji świetlnej
    Chosen problems of designing vehicle actuated road traffic control
    Autorzy:
    Kawalec, P.
    Krukowicz, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/196677.pdf
    Data publikacji:
    2013
    Wydawca:
    Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
    Tematy:
    sterowanie ruchem drogowym
    sygnalizacja świetlna
    sterowanie adaptacyjne
    road traffic control
    traffic lights
    vehicle actuated control
    Opis:
    Artykuł opisuje problemy występujące w praktyce projektowania adaptacyjnej sygnalizacji świetlnej. Oparty jest na doświadczeniach autorów w tej dziedzinie. W artykule zawarto krótki opis etapów projektowania oraz problemów w nich występujących. Opisano zagadnienie wyboru faz ruchu oraz sekwencji faz i wpływu tego etapu na dalsze etapy projektowania. Przedstawiono przykład niewłaściwego wyboru zestawu faz i wynikających z niego ograniczeń w sterowaniu. Omówiono problematykę złożoności projektowania przy zastosowaniu większej liczby faz ruchu. W dalszej części artykułu scharakteryzowano problemy związane z wyznaczaniem przejść międzyfazowych. Opisano najczęściej spotykane błędy oraz potencjalne zagrożenia wynikające z niewłaściwego wyznaczenia przejść międzyfazowych. Przedstawiono problematykę pracochłonności wyznaczania przejść międzyfazowych przy sterowaniu wielofazowym. Kolejną część artykułu poświęcono zagadnieniom związanym z wyznaczaniem warunków czasowych sterowania. Przedstawiono rodzaje warunków czasowych oraz sposób ich wyznaczania i wpływ na elastyczność sterowania. W podsumowaniu opisano kierunki prowadzonych aktualnie badań w zakresie projektowania sygnalizacji świetlnej oraz stosowane metody rozwiązywania problemów opisanych w artykule. Artykuł opiera się na przykładach praktycznych, pochodzących z projektów sygnalizacji świetlnych dla rzeczywistych skrzyżowań.
    Problems occurring in practice of designing actuated traffic control are described in the paper. It is based of own experience of the authors. Short description of designing stages is given and of specific problems as well. At the beginning, the issues of selection of traffic stages and their sequence are discussed focusing on impact of this stage for further designing. The case of inappropriate selection of a set of stages and resulting control constraints are described. The complexity of designing process when more traffic stages considered is also discussed. Further, the problems of interstages defining are presented. The most common mistakes and risks resulting from improper interstages defining are described. The labour intensity required for interstages defining at multistage control systems is signalized. The next part of the paper focuses on problems of determination of control time conditions. Different types of time conditions, methods of their determination and impact on control flexibility are presented. As resumé, the trends of current research in the field of traffic control and methods used to solve the problems described are presented. This paper is based on practical cases of real crossroads traffic control designs.
    Źródło:
    Zeszyty Naukowe. Transport / Politechnika Śląska; 2013, 80; 53-63
    0209-3324
    2450-1549
    Pojawia się w:
    Zeszyty Naukowe. Transport / Politechnika Śląska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie wspomagania komputerowego w specyfikacji i weryfikacji formalnych opisów funkcji zależnościowych
    Computer-aided specification and verification of formal description for interlocking functions
    Autorzy:
    Kawalec, P.
    Koliński, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/157358.pdf
    Data publikacji:
    2014
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sterowanie ruchem kolejowym
    zależności
    funkcje zależnościowe
    railway traffic control
    interlocking
    interlocking functions
    Opis:
    Wykorzystując rachunek macierzowy i teorię automatów, zaproponowano metodę formalnego zapisu funkcji zależnościowych realizowanych w systemach sterowania ruchem kolejowym (srk). Metoda ta stała się podstawą wspomaganej komputerowo specyfikacji tych funkcji w językach opisu sprzętu HDL. Zaproponowana metoda pozwala naintuicyjne przejście od formalnego opisu w postaci macierzy do grafów przejść automatów skończonych w edytorze FSM. Przytoczono wyniki weryfikacji w postaci przebiegów czasowych, na grafie przejść oraz na schemacie blokowym.
    The paper presents a formal specification method of interlocking functions in railway traffic control systems. The method utilizes matrix calculus and the automata theory. After defining the set of automaton internal states (9), the transition matrixes (16) and transition priorities matrixes, describing the conditions checking order (17), were developed. The obtained general mathematical description of interlocking functions defines a method for determining control functions based on input data, so it can be assumed that the control algorithms for interlocking functions were defined. The developed method was then used as a basis for computer aided specification of these functions in hardware description languages (HDL). The intuitive transition from the matrix-based formal description to the finite-state machine graph in FSM editor (Fig. 1) is the advantage of the proposed method. Verification of the created interlocking functions can be performed on waveforms (Fig. 2), on the FSM graph (Fig. 3) and on the hierarchical block diagram (BDE) (Fig. 4). This specification and verification process was used to create all possible 39 interlocking functions for 10 object types of the railway interlocking system. The specification and verification results proved the correctness of the developed interlocking function execution algorithms. Obtaining the description of the functions in VHDL language is an additional advantage of the proposed method, which allows automatic synthesis, implementation and execution of these functions in FPGA devices.
    Źródło:
    Pomiary Automatyka Kontrola; 2014, R. 60, nr 10, 10; 829-831
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Badania niezawodnościowe urządzeń sterowania ruchem w transporcie zaimplementowanych w układach programowalnych
    Reliability researches of traffic control devices implemented in programmable logic devices
    Autorzy:
    Firląg, K.
    Kawalec, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/156322.pdf
    Data publikacji:
    2008
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sterowanie ruchem w transporcie
    sterowniki ruchu drogowego
    niezawodność
    FPGA
    traffic control in transportation
    traffic controller
    reliability
    Opis:
    W artykule przedstawiono specyficzne wymagania dotyczące parametrów niezawodnościowych systemów sterowania ruchem w transporcie. Opracowano i wyspecyfikowano w języku VHDL bazę modeli reprezentatywnych urządzeń sterowania ruchem w transporcie. Dokonano syntezy i implementacji modeli urządzeń w różne rodziny układów programowalnych FPGA. Po implementacji przeprowadzono prognozowanie parametrów niezawodności otrzymanych urządzeń sterowania, otrzymane wyniki przedstawiono oraz przeanalizowano pod wzglądem spełniania wymogów niezawodnościowych dla układów sterowania ruchem w transporcie.
    Specific requirements concerning reliability parameters of traffic control systems in transport are presented in the article. Datum feature of representative models of traffic control devices has been drawn up and specified in VHDL language. Synthesis and implementation of model devices into various families of programmable logic devices FPGA has been conducted. After the implementation, the prognosis of reliability parameters of control devices has been performed and the results have been presented and analysed in respect of complying with the reliability requirements for traffic control systems in transport.
    Źródło:
    Pomiary Automatyka Kontrola; 2008, R. 54, nr 8, 8; 605-607
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Realizacja koncepcji sterownika ruchu drogowego o strukturze rozproszonej w układach FPGA
    The realization of traffic controller with dispersed structure concept in FPGA
    Autorzy:
    Firląg, K.
    Kawalec, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/155631.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sterowanie ruchem drogowym
    sterownik o strukturze rozproszonej
    niezawodność
    FPGA
    traffic control
    traffic controller with dispersed structure
    reliability
    Opis:
    Przedstawiona została koncepcja polegająca na zastąpieniu sterowania ruchem na skrzyżowaniu z jednego sterownika lokalnego, systemem sterowników strumieni ruchu, rozproszonych w obrębie skrzyżowania, zrealizowanych w układach FPGA. Zaproponowano rozwiązanie łączności pomiędzy poszczególnymi urządzeniami. Przedstawiona została zarówno koncepcja jak i proces realizacji sterownika strumienia, proces weryfikacji układu, wyniki z syntezy i implantacji. Ponadto przeprowadzono prognozowanie parametrów niezawodnościowych opracowanego sterownika ruchu.
    The replacement's concept of traffic control at the intersection from one traffic controller (fig. 1a) to traffic controllers systems dispersed at the intersection (fig. 1b) done in FPGA has been introduced. The structure of single stream controller (fig. 2) as well as method of communication among certain devices have been presented. The concept as well as design process of stream controller algorithms (fig. 4) have been presented. The process of device verification and results from synthesis and implementation (tab. 1) have been introduced. Furthermore, the forecast of reliability parameters of traffic controller mentioned above has been made (formula 2, 3).
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 7, 7; 60-62
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Realizacja algorytmów sterowania ruchem drogowym w specjalizowanych sterownikach sprzętowych
    Realization of road traffic control algorithms in specialised hardware controllers
    Autorzy:
    Firląg, K.
    Kawalec, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/154731.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sterownik ruchu drogowego
    algorytmy sterowania ruchem
    specjalizowane sterowniki ruchu
    układy programowalne
    traffic controller
    traffic control algorithms
    dedicated traffic controller
    PLD
    Opis:
    W artykule przedstawiona została metoda projektowania urządzeń sterowania ruchem drogowym w formie sterowników specjalizowanych, realizowanych, jako jednoukładowe urządzenia typu SoC z wykorzystaniem układów FPGA. Metoda wykorzystuje hierarchiczne grafy przejść automatów skończonych FSM oraz modele strukturalne oparte na schematach ideowych. Przedstawiona metoda pozwala zarówno na modelowanie działania sterowników ruchu drogowego jak i realizację sprzętowych sterowników specjalizowanych.
    The paper indicates a key role of local traffic controllers in the system of road traffic control, emphasizing at the same time the increasing requirements for these devices resulting from constantly growing road traffic intensity [1]. The currently applied methods of road traffic control were analysed, focusing on modern methods of adaptive control in which control functions depend on the actual situation at the crossroads [8]. The paper shows the need for realisation of road traffic control devices in the form of specialised controllers realised as single-system devices of SoC type with use of programmable devices. Advantages of such realisation are pointed out.After the analysis of formal specification models of digital controllers, a finite automaton with FSM memory was chosen for realisation of a model controller. Additional extension of the model by hierarchization eliminated the model flatness (Fig. 3). There is presented a method of transition from adaptive traffic control algorithms applied to traffic control engineering (Fig. 1) to a specialised traffic controller model in VHDL language with use of finite automata hierarchical transition graphs (Fig. 5a) and structural models based on schematic diagrams shown in Fig. 6. The described method of realisation of road traffic control devices allows for both modeling of local controller operation and realisation of single-system specialised controllers.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 721-723
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Budowa modeli specjalizowanych sterowników ruchu drogowego w językach opisu sprzętu
    Construction of specialized models of road traffic controllers in hardware description languages
    Autorzy:
    Firląg, K.
    Kawalec, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/197398.pdf
    Data publikacji:
    2013
    Wydawca:
    Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
    Tematy:
    algorytm sterowania ruchem drogowym
    specjalizowany sterownik ruchu drogowego
    układ programowalny
    traffic control algorithm
    specialized traffic controller
    programmable device
    Opis:
    W artykule przedstawiono metodę budowy modeli specjalizowanych sterowników ruchu drogowego realizowanych w języku VHDL. Rozwiązaniem problemu braku reprezentacji graficznej i konieczności bardzo dobrej znajomości języka VHDL przez projektanta jest wykorzystanie oprogramowania narzędziowego CAD, pozwalającego na projektowanie urządzeń srd w sposób przyjazny i intuicyjny dla inżyniera sterowania ruchem. W artykule zaproponowano metodę budowy sterownika opierając się na modelach specyfikacji formalnej mającej graficzną reprezentację. Pierwszym etapem jest zamiana algorytmów sterowania ruchem drogowym w sieć działań GSA. Przedstawiono metodę konwersji dla wszystkich rodzajów klatek algorytmu sterowania. Następnie pokazano sposób konwersji sieci GSA w graf przejść automatu skończonego FSM, gdzie w celu zwiększenia czytelności grafu sterowania zaproponowano wprowadzenie stanów hierarchicznych, dla obsługi przejść międzyfazowych i faz ruchu. Wykorzystując hierarchiczny graf sterowania zaproponowano uniwersalną strukturę logicznego sterownika ruchu drogowego. Sterownik ten wyspecyfikowano w programie Active-HDL, który wygenerował model sterownika logicznego w języku VHDL.
    The paper presents the construction method of specialized models of road traffic controllers realized within VHDL language. The designer solves the problem of lack of graphic representation and the necessity of a very good command of VHDL language by using utility software CAD allowing for designing traffic control devices that would be pleasant and intuitive in use for the traffic control engineer. The construction method of a controller has been proposed in the article on the basis of formal specification models having intuitive graphic representations. The first stage consists in changing the algorithms of road traffic control into a network of generalized stochastic automata (GSA) activities. The method of conversion has been presented for all types of control algorithm frames. Afterwards, the way of conversion of GSA network into the transition graph of finite state machine (FSM) was presented, where in order to increase the clarity of control graph, it was proposed to introduce hierarchical states for interstage transitions as well as traffic phases. With the use of hierarchical graph of control, universal structure of logic road traffic controller has been proposed. This controller has been specified within Active-HDL program which generated a model of logic controller in VHDL language.
    Źródło:
    Zeszyty Naukowe. Transport / Politechnika Śląska; 2013, 80; 17-27
    0209-3324
    2450-1549
    Pojawia się w:
    Zeszyty Naukowe. Transport / Politechnika Śląska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie języka VHDL do badania złożonych sieci zestykowych
    Application of VHDL language to research complex contact networks
    Autorzy:
    Kawalec, P.
    Kotliński, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/156250.pdf
    Data publikacji:
    2008
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sterowanie ruchem kolejowym
    modelowanie
    układy przekaźnikowe
    język VHDL
    railway traffic control
    modelling
    relay systems
    VHDL language
    Opis:
    W artykule przedstawiono zagadnienia zastosowania języka opisu sprzętu VHDL do analizy obwodów przekaźnikowych stosowanych w sterowaniu ruchem kolejowym. Przedstawiona metoda modelowania sieci zestykowych pozwala na analizę hazardu statycznego i dynamicznego występujących w rzeczywistych obwodach przekaźnikowych. Po zamodelowaniu poszczególnych elementów tworzony jest model całej sieci zestykowej blokady samoczynnej, który następnie jest badany z wykorzystaniem symulatorów logicznych.
    The article presents issues concerning the application of hardware description language VHDL to the analysis of relay systems used in railway traffic control. The modelling of contact networks method presented allows for the analysis of static and dynamic hazard which appears in real relay systems. After modelling particular elements, the model of the whole contact network of automatic interlocking is created, which is then tested with the use of logical simulators.
    Źródło:
    Pomiary Automatyka Kontrola; 2008, R. 54, nr 8, 8; 529-531
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies