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ę "Kawalec, P." wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 45
Tytuł:
Układy arytmetyki stochastycznej i ich implementacja w strukturach FPGA
Stochastic arithmetic circuits and their implementation in FPGAs
Autorzy:
Kawalec, P.
Powiązania:
https://bibliotekanauki.pl/articles/153979.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
arytmetyka stochastyczna
sumatory
subtraktory multiplikatory
dokładność przetwarzania
realizacja sprzętowa
układy FPGA
stochastic arithmetic
adders
subtractors
multipliers
conversion accuracy
hardware implementation
FPGA devices
Opis:
W artykule przedstawiono podstawowe układy arytmetyki stochastycznej zrealizowane w technice cyfrowej. W celu zapewnienia maksymalnej szybkości działania, syntezę układów arytmetyki stochastycznej przeprowadzono na elementach logicznych i przerzutnikach. Dla specjalizowanych układów sumatorów, subtraktorów, oraz multiplikatorów i układów potęgujących, wyznaczono dokładność przetwarzania. Przeprowadzono ich syntezę i implementację w układach FPGA, wyznaczając szybkość działania.
The paper presents fundamental circuits of stochastic arithmetic realized by means of digital technology. In order to ensure the maximum operational speed, synthesis of stochastic arithmetic circuits has been performed on logical elements and triggers. Specialized stochastic adders on NOT and NAND elements (Fig.1) as well as on multiplexers (Fig. 3) both without and with randomization of the input data (Fig. 2) have been designed for disjoint events in binary random sequences. Specification of stochastic adders has been conducted in VHDL language, and their verification - in functional simulation mode (Fig. 4). The accuracy of the stochastic adder operation has been determined, whereas synthesis and implementation of these systems in FPGA structure allowed for showing the speed of stochastic adder operation with the frequency of timing exceeding 100 MHz. Similar investigations have been carried out for specialized stochastic subtractors. For independent binary random sequences, stochastic multipliers and squaring circuits (Fig. 6) have been designed, having a structure particularly useful for realization within programmable logical FPGA structures.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 8, 8; 627-629
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stochastyczne komparatory i ich realizacja w strukturach FPGA
Stochastic comparators and their implementation in FPGA
Autorzy:
Kawalec, P.
Powiązania:
https://bibliotekanauki.pl/articles/153983.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
przetworniki informacji
funkcja skokowa
ciągi losowe
sprzętowe komparatory
sprzętowe komparatory stochastyczne
układy FPGA
information converters
step function
random sequences
hardware stochastic comparators
FPGA devices
Opis:
W artykule przedstawiono sprzętową realizację komparatorów stochastycznych, porównujących niezależne losowe ciągi binarne. Wykorzystując skokową funkcję Heaviside'a, oraz stochastyczne układy mnożąco - sumujące, opracowano strukturę komparatora. Dla zapewnienia maksymalnej szybkości działania komparatora zastosowano elementy cyfrowe oraz rejestry przesuwające. Przeprowadzono syntezę komparatora w układach FPGA oraz przeprowadzono badanie prototypu, uzyskując wysoką szybkość działania oraz pewność realizacji funkcji skokowej.
The paper presents a principle of operation of stochastic comparators and their role in modeling and controlling transport processes. For hardware stochastic comparators comparing synchronous binary random sequences, the block diagrams have been designed on AND and OR elements (Fig. 1) as well as on NAND elements (Fig. 2) applying the Heaviside step function. There is presented a functional diagram of a specialized stochastic comparator (Fig. 4) with hardware realization of the Heaviside function in which squaring (Fig.3) and stochastic multiply-adder circuits have been applied . In order to ensure the maximum operational speed of the comparator, logical elements and shift registers have been used. Specification of the comparator has been conducted in VHDL language, and its synthesis and implementation - in FPGA circuits. The results of simulation investigations confirmed the correctness of stochastic comparator operation. The step characteristics of comparator switching have been obtained after several strokes of circuit operation.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 8, 8; 630-632
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza probabilistyczno - czasowych przetworników informacji i ich implementacja w układach FPGA
Analysis of probabilistic - times information converters and their implementation in FPGA device
Autorzy:
Kawalec, P.
Powiązania:
https://bibliotekanauki.pl/articles/156332.pdf
Data publikacji:
2008
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
przetworniki informacji
ciągi losowe
układy dzielące
dokładność przetwarzania
układy FPGA
information converters
random sequences
division systems
conversion accuracy
FPGA devices
Opis:
W artykule przedstawiono przetworniki informacji, w których zmienną maszynową jest pierwszy moment (wartość oczekiwana) stacjonarnego i ergodycznego binarnego ciągu losowego. Przetworniki te, zwane probabilistyczno-czasowymi, umożliwiają prostą realizację podstawowych operacji arytmetycznych na strumieniach losowych z wydaniem wyniku w postaci zdeterminowanej. Dla najtrudniejszej operacji dzielenia przedstawiono szczegółową analizę działania z określeniem dokładności przetwarzania dla wejściowych strumieni losowych o rozkładach dwumianowych oraz hipergeometrycznych.
The article presents information converters in which the machine variable is the first moment (expected value) of stationary and ergodic binary random sequence. These converters, called probabilistic and time, enable us to conduct a simple implementation of basic arithmetical operations on random series giving the result in a determinantal form. For the most difficult division operation, a detailed analysis has been presented determining conversion accuracy for input random series of binomial and hypergeometrical distributions.
Źródło:
Pomiary Automatyka Kontrola; 2008, R. 54, nr 8, 8; 602-604
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł:
Analiza metod generowania zmiennych wejściowych dla probabilistycznych modeli procesów transportowych
Analysis of methods of generating input variables for probabilistic models of transport processes
Autorzy:
Kawalec, P.
Powiązania:
https://bibliotekanauki.pl/articles/198673.pdf
Data publikacji:
2013
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
liczba losowa
generator sprzętowy
rozkład wykładniczy
rozkład normalny
HDL
FPGA
random number
hardware generator
exponential distribution
normal distribution
Opis:
W artykule przedstawiono analizę podstawowych metod generowania liczb losowych, wskazując na zalety sprzętowej realizacji takich generatorów. Wykorzystując generatory zbudowane na dwóch LFSR-ach opracowano i zbudowano szesnastokanałowy generator liczb pseudolosowych w strukturze FPGA. Zaproponowano wykorzystanie takiego generatora do budowy sprzętowych generatorów liczb losowych o rozkładach wykładniczym i normalnym.
The article presents basic methods of random number generation indicating the advantages of hardware solutions. With the use of generators built on two linear feedback shift registers (LFSR), a 16-channel generator of pseudo-random numbers has been designed and constructed within the FPGA structure. On the basis of this multi-channel generator, hardware generators have been designed of a given distribution. The designed generators of exponential and normal distribution have been presented in detail.
Źródło:
Zeszyty Naukowe. Transport / Politechnika Śląska; 2013, 80; 65-77
0209-3324
2450-1549
Pojawia się w:
Zeszyty Naukowe. Transport / Politechnika Śląska
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ł:
Synteza i analiza niezawodnościowa urządzeń sterowania ruchem kolejowym zrealizowanych w układach FPGA
Synthesis and reliability analysis of railway control system realized with FPGA
Autorzy:
Kawalec, P.
Koliński, D.
Powiązania:
https://bibliotekanauki.pl/articles/155706.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterowanie ruchem kolejowym
niezawodność
układy FPGA
railway control
reliability
FPGA
Opis:
W artykule przedstawiono nową metodę budowy specjalizowanych sterowników obiektowych dla potrzeb sterowania ruchem kolejowym. Na przykładzie samoczynnej sygnalizacji przejazdowej przedstawiono wymagania bezpiecznościowe i niezawodnościowe stawiane takim sterownikom. Przeprowadzono syntezę sterownika obiektowego zrealizowanego z wykorzystaniem układów FPGA oraz podano metodykę wyznaczania parametrów niezawodnościowych i wyznaczono szybkość działania prototypu sterownika.
This article describes new method of the dedicated object-oriented controllers designing for railway control. Reliability and safety requirement (Fig. 1) of railway crossing are showed. Synthesis (Tab. 1) and methods of defining reliability parameters and timing parameters object-oriented controllers' realised (Fig. 3, Fig. 4) in FPGA are.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 7, 7; 57-59
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
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ł:
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ł:
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ł:
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ł:
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ł
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ł:
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 programowalnych struktur logicznych w urządzeniach sterowania ruchem kolejowym
Application of programmable logical structures in railway traffic control devices
Autorzy:
Kawalec, P.
Koliński, D.
Mocki, J.
Powiązania:
https://bibliotekanauki.pl/articles/215128.pdf
Data publikacji:
2005
Wydawca:
Instytut Kolejnictwa
Tematy:
funkcje sterowania
pakiety oprogramowania
sterowanie ruchem kolejowym
Opis:
Przedstawiono zagadnienia związane ze sprzętową realizacją bloków logicznych urządzeń srk w programowalnych strukturach logicznych. Zaprezentowano klasyfikację układów cyfrowych, ze szczególnym uwzględnieniem układów specjalizowanych, programowanych przez użytkownika. Opisano pakiety wspomagania komputerowego, stosowanego do projektowania układów specjalizowanych w strukturach logicznych FPLD i przedstawiono procesy: specyfikacji, weryfikacji i implementacji projektowanych układów.Zaprezentowano stanowiska badawcze do prototypowania specjalizowanych układów sterowania, zrealizowanych w programowalnych strukturach logicznych. Na przykładzie bloku logicznego samoczynnej sygnalizacji przejazdowej oszacowano szybkość działania oraz wybrane parametry niezawodnościowe układów srk, zrealizowanych w różnych technologiach.
This article presents issues concerning equipment related realisation of railway traffic control equipment logical blocks within programmable logical structures. A classification of digital systems is presented, particularly including specialised user programmable systems. The article describes a computer air package used for the design of specialised systems within the FPLD logical structures, also including presentation of the following processes: specification, verification and implementation of the designed systems. Also testing stations for the preparation of prototypes of specialised control systems realised witching programmable logical structures are presented. Based on the example of a crossing automatic signalisation logical block, the promptness of action and selected reliability parameters of railway traffic control equipment, prepared with the use of various technologies were determined.
Źródło:
Problemy Kolejnictwa; 2005, 140; 66-88
0552-2145
2544-9451
Pojawia się w:
Problemy Kolejnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 45

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