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ł:
Polihydroksyalkaniany – zastosowanie i recykling
Polyhydroxyalkanoates – applications and recycling
Autorzy:
Kurcok, P.
Kawalec, M.
Sobota, M.
Michalak, M.
Kwiecień, M.
Jurczyk, S.
Powiązania:
https://bibliotekanauki.pl/articles/947195.pdf
Data publikacji:
2017
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Chemii Przemysłowej
Tematy:
polihydroksyalkaniany
poli(3-hydroksymaślan)
recykling
polyhydroxyalkanoates
poly(3-hydroxybutyrate)
recycling
Opis:
Problem wszechobecnych odpadów z niebiodegradowalnych tworzyw polimerowych generuje konieczność poszukiwania materiałów alternatywnych, utylizowanych po użyciu na drodze biodegradacji w wyniku kompostowania. Takimi tworzywami są biotworzywa zawierające polihydroksyalkaniany – biodegradowalne biopoliestry – otrzymywane metodą fermentacji substratów pochodzących ze źródeł odnawialnych. Mogą one stanowić cenny surowiec do wytwarzania substancji pochodzenia naturalnego lub oligomerycznych produktów o zróżnicowanej strukturze łańcucha i różnych grupach końcowych, przydatnych np. jako nośniki leków.
The rising amount of plastic waste derived from non-biodegradable polymeric materials generate the need to find alternative materials which could be biodegraded via composting. One of possible solutions are polyhydroxyalkanoates, biodegradable polyesters obtained by fermentation from renewable resources. They can also serve as valuable raw material for the production of bio-based chemicals as well as oligomeric products with different chain structure and end groups applicable as drug carriers.
Źródło:
Polimery; 2017, 62, 5; 364-370
0032-2725
Pojawia się w:
Polimery
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Using the phased array antenna to increase geometric size of the interrogation zone in a UHF RFID system
Autorzy:
Jankowski-Mihułowicz, P.
Kawalec, D.
Węglarski, M.
Lichoń, W.
Powiązania:
https://bibliotekanauki.pl/articles/141093.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
phased array antenna
anti-collision identification
interrogation zone
RFID
Opis:
An attempt to increase the geometric size of the interrogation zone in UHF RFID systems with a phased array antenna is presented in this paper. The interrogation zone should be as large as possible. However, energy can be transferred to transponders only to a limited distance. The greatest flexibility in developing RFID applications and shaping the interrogation zone can be achieved using a phased array antenna. The perceived issues have been effectively dealt with and the solution has been proposed on the basis of an elaborated model. Conducted studies have been used to develop a software tool in the Mathcad environment. The research results are analyzed in detail for different system configurations and can be implemented in practical projects to be developed in cooperation with the industry.
Źródło:
Archives of Electrical Engineering; 2017, 66, 4; 761-772
1427-4221
2300-2506
Pojawia się w:
Archives of Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An analysis of Chosen Image Formation Algorithms for Synthetic Aperture Radar with FMCW
Autorzy:
Okoń-Fąfara, M.
Serafin, P.
Kawalec, A.
Powiązania:
https://bibliotekanauki.pl/articles/227061.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
signal processing
synthetic aperture radar
time domain correlation
range-Doppler algorithm
range migration algorithm
Opis:
The modelling of FMCW SAR systems, due to long signal duration time, commonly used start-stop approximation for pulsed radars causes errors in the image. Continuous motion of the radar platform results in additional range-azimuth couplings and range walk term that should be considered in processing of signal from this type of radar. The paper presents an analysis of the following algorithms: Time Domain Correlation (TDC), Range Doppler Algorithm (RDA), and Range Migration Algorithm (RMA). The comparison of the algorithms is based on theoretical estimation of their computation complexity and the quality of images obtained on the basis of real signals of FMCW SAR systems.
Źródło:
International Journal of Electronics and Telecommunications; 2016, 62, 4; 323-328
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Assessment of the airframe systems affecting safety risks caused by large aircraft
Autorzy:
Balicki, W.
Głowacki, P.
Kawalec, M.
Powiązania:
https://bibliotekanauki.pl/articles/245601.pdf
Data publikacji:
2016
Wydawca:
Instytut Techniczny Wojsk Lotniczych
Tematy:
large aircraft
failure
ATA chapter
safety level
Opis:
Hazard is a safety condition that could cause or be a part of unsafe aircraft operation. It also has an impact on aviation safety related to aircraft systems as well as services. Safety risk is a part of so-called safety management and is the predicted probability and severity of the outcomes of a hazard. Aircraft utilized by airlines and cargo operators which have MTOM >5700 kg are defined by authors as a large aircraft and have to be treated in their systems reliability analysis separately from small aircraft. Despite the fact that both types of aircraft categories events are included in the same databases - European Coordination Centre for Aviation Incident Reporting Systems (ECCAIRS) and Aircraft Continuing Airworthiness Monitoring (ACAM), due to different predominant systems failures could not be considered in the same way. The authors have performed processing of the data contained in available databases analysing large aircraft airframe systems faults, which were assigned to the specific ATA chapters. The most frequently occurring defects of the aircraft systems were identified. The goal of this article is to present a method of the current reliability of large aircraft systems assessment. Based on it, the authors are proposing a way of safety risk estimation and prediction of the safety levels for the next two years. The results of this analysis may support the decisions of supervisory authorities in the areas where security threats are most important. They can also help aircraft operators with identification of the aircraft systems, which require special attention.
Źródło:
Journal of KONES; 2016, 23, 1; 39-46
1231-4005
2354-0133
Pojawia się w:
Journal of KONES
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Development board of the autonomous semi-passive RFID transponder
Autorzy:
Jankowski-Mihułowicz, P.
Węglarski, M.
Pitera, G.
Kawalec, D.
Lichoń, W.
Powiązania:
https://bibliotekanauki.pl/articles/201726.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
RFID
semi-passive transponder
energy harvesting
sensors
development board
semi-pasywny transponder
zbieranie energii
czujniki
Opis:
The idea of multiband development board designed to support and advance the technique of battery-less autonomous semi-passive RFID transponders is presented in the paper. The extra function of harvesting energy from the electromagnetic field of different radio communications systems, the ultra efficient power conditioner and the energy storage block are applied in the proposed construction. The facility of utilizing gathered energy is provided to support designers in developing applications of automatic object identification. Since the evaluation board is to work without a galvanic cell, the particular emphasis is put on the mechanisms that improve energy efficient operation of the whole electronic circuit. The construction principles and operation modes (charging, cold start, sleep with charging, sleep, measurement and cut-off) of the storage unit are described in depth in the paper. The preproduction batch of the demonstrators has been manufactured on automated assembly line at ELMAK Ltd. Company, according to the elaborated model. It confirms that the author’s demonstrator of the battery-less autonomous semi-passive transponder can be reproduced on an industrial scale. On the basis of the preproduction series, the performance parameters of the final product have been estimated. The presented study should significantly contribute to the RFID technique therefore the authors set up the evaluation process of marketing research and product commercialization.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2016, 64, 3; 647-654
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Medical and military applications of 3D printing
Autorzy:
Mikołajewska, E.
Macko, M.
Mikołajewski, D.
Ziarnecki, Ł.
Stańczak, S.
Kawalec, P.
Powiązania:
https://bibliotekanauki.pl/articles/1395618.pdf
Data publikacji:
2016
Wydawca:
Akademia Wojsk Lądowych imienia generała Tadeusza Kościuszki
Tematy:
3D printing
3D scanning
reverse engineering
military applications
biomedical applications
Opis:
3D printing, 3D scanning and reverse engineering may constitute a significant breakthrough in research all over the world, especially within medical and military technologies. Particularly 3D printing seems to be a promising method to produce 3D objects manufactured layer-by-layer. The broader use of the above technologies may allow customization of various products and lower costs of design and production. At the same time progress in 3D printing technologies needs to be monitored and analyzed in order to deal with possible future threats. This article aims at investigating the extent to which the military and biomedical applications of 3D scanners and 3D printers are exploited, including in the framework of the authors’ own concepts, studies and observations.
Źródło:
Zeszyty Naukowe / Wyższa Szkoła Oficerska Wojsk Lądowych im. gen. T. Kościuszki; 2016, 1; 128-141
1731-8157
Pojawia się w:
Zeszyty Naukowe / Wyższa Szkoła Oficerska Wojsk Lądowych im. gen. T. Kościuszki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Możliwości rozwoju silników turbinowych z detonacyjną komorą spalania
Growth opportunities for turbine engine with detonation combustion chamber
Autorzy:
Wolański, P.
Kalina, P.
Balicki, W.
Rowiński, A.
Perkowski, W.
Kawalec, M.
Łukasik, B.
Powiązania:
https://bibliotekanauki.pl/articles/213335.pdf
Data publikacji:
2016
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Lotnictwa
Tematy:
spalanie detonacyjne
wirująca detonacja
silnik turbinowy
detonative combustion
rotating detonation
turbine engine
Opis:
W artykule zaprezentowano obszerne badania zastosowania wirującej detonacji w silniku turbinowym. Stanowisko badawcze umożliwiało dostarczenie powietrza o wydatku 2,5 kg/s i ciśnieniu 2,5 bara z możliwością jego podgrzewania do ponad 100°C. Wykonano układ zasilania stanowiska paliwem podgrzewanym do 170°C oraz dodatkowo gazowym wodorem. Stanowisko badawcze wyposażone było w układy pomiarowe i sterowania: wydatkiem powietrza i paliwa oraz w system akwizycji danych w tym szybkozmiennych przebiegów cisnień w komorze spalania. Szeroko zakrojone badania wirującej detonacji realizowane były na otwartych i zdławionych komorach spalania oraz po dołączeniu ich do turbowałowego silnika GTD-350. Przedstawiono warunki uzyskania stabilnej detonacji. Stwierdzono, że w przypadku wirującej detonacji w silniku zasilanym gazowym wodorem sprawność cieplna może być podwyższona o 5-7 % w porównaniu do sprawności silnika z deflagracyjną komorą spalania.
Extensive and complex studies of the application of continuously rotating detonation (CRD) to gas turbine are presented. Special installation of high pressure preheated air supply system was constructed which allows to supply air at rate of a few kg/s, preheated to more than 100°C and at initial pressure up to 2,5 bar. Supply system for Jet-A fuel which could be preheated to 170°C was also constructed. Additionally gaseous hydrogen supply system was added to the installation. Also measuring system for controlling air flow and measurements of detonation parameters was installed and data acquisition and control system implemented. Extensive research of conditions in which CRD could be established and supported in open flow detonation chambers, throttled chambers and finally in detonation chambers attached to the GTD-350 gas turbine engine where conducted. Condition for which stable detonation was achieved are presented. It was found that for conditions when the GTD-350 engine was supplied by gaseous hydrogen, thermal efficiency of the engine could be improved even by 5-7% as compare to the efficiency of the base engine.
Źródło:
Prace Instytutu Lotnictwa; 2016, 3 (244); 202-214
0509-6669
2300-5408
Pojawia się w:
Prace Instytutu Lotnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stabilizacja georusztem heksagonalnym podłoża pod trasę narciarską na składowisku
Stabilization by hexagonal geogrid of ski slopes subsoil on the landfill
Autorzy:
Koda, E.
Osinski, P.
Kiersnowska, A.
Kawalec, J.
Powiązania:
https://bibliotekanauki.pl/articles/40149.pdf
Data publikacji:
2016
Wydawca:
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
Tematy:
stabilizacja gruntow
georuszty heksagonalne
grunty antropogeniczne
skarpy
rekultywacja terenow
skladowiska odpadow
ground stabilization
hexagonal geogrid
anthropogenic soil
slope
land reclamation
waste landfill
Źródło:
Acta Scientiarum Polonorum. Architectura; 2016, 15, 4
1644-0633
Pojawia się w:
Acta Scientiarum Polonorum. Architectura
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Idea of Enhancing Directional Energy Radiation by a Phased Antenna Array in UHF RFID System
Autorzy:
Jankowski-Mihułowicz, P.
Kawalec, D.
Węglarski, M.
Powiązania:
https://bibliotekanauki.pl/articles/227164.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
RFID
phased antenna array
interrogation zone
Opis:
The interrogation zone IZ is the most important parameter when RFID systems are considered. Its predictability is determined by the construction and parameters of antenna built in a read/write device. The IZ should be of sufficient size and appropriate to requirements established for an application of object automated identification. The method of shaping an antenna radiation pattern provides effective yet unconventional opportunities in this area. The idea and practical solution of the phased antenna array dedicated to UHF read/write devices are presented in the paper. On the basis of tests carried out, the authors pointed out the possibility of using developed devices for the synthesis of a determined IZ in anti-collision RFID system.
Źródło:
International Journal of Electronics and Telecommunications; 2016, 62, 2; 115-120
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wpływ parametrów procesowych na efektywność flotacji precypitacyjnej wodorotlenku glinu
Influence of process parameters on the effectivity of aluminium hydroxide precipitate flotation
Autorzy:
Kawalec-Pietrenko, B.
Rybarczyk, P.
Powiązania:
https://bibliotekanauki.pl/articles/2072660.pdf
Data publikacji:
2016
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
wodorotlenek glinu
flotacja
stężenie kolektora
pH
prędkość powietrza
aluminium hydroxide
flotation
collector concentration
air flow rate
Opis:
Flotację precypitacyjną glinu prowadzono z użyciem dodecylosiarczanu sodu jako kolektora. Stwierdzono, że najwyższe wartości końcowego stopnia wyflotowania glinu oraz szybkości flotacji występują dla pH 6,5÷7,0, stosunku stężenia kolektora do stężenia glinu wynoszącego 1,2 oraz wynoszącej 1,5 mm s-1 prędkości przepływu powietrza obliczonej na przekrój pustej kolumny. Wzrost względnego stężenia kolektora ponad wymienioną wartość powoduje spadek szybkości flotacji oraz spadek współczynnika wzbogacenia.
Aluminium hydroxide flotation was carried out using sodium dodecyl- sulphate as a collector. The highest values of aluminium final removal ratio and the highest flotation rate was observed for pH value in the range of 6.5÷7.0, collector concentration related to aluminium concentration equal to 1.2 and superficial air flow rate of 1.5 mm s-1. An increase of collector concentration above named value results in the decrease of flotation rate and lowering of enrichment coefficient.
Źródło:
Inżynieria i Aparatura Chemiczna; 2016, 1; 24--25
0368-0827
Pojawia się w:
Inżynieria i Aparatura Chemiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Aircraft emissions during various flight phases
Emisje podczas różnych faz lotu samolotów
Autorzy:
Głowacki, P.
Kawalec, M.
Powiązania:
https://bibliotekanauki.pl/articles/133264.pdf
Data publikacji:
2015
Wydawca:
Polskie Towarzystwo Naukowe Silników Spalinowych
Tematy:
turbine engine
pollutants
exhaust emissions
silnik turbinowy
emisja gazów wylotowych
gazy trujące
Opis:
Article presents methodology of pollutants quantitative estimation emitted by turbine engines. Provides calculation results of aircraft CO2, CO and NOx effusion using fuel consumption data taken from aircraft Flight Data Recorder (FDR) in the so–called landing and takeoff cycle (LTO) and during remaining flight phases (climb from 3000 feet to cruise altitude, cruise, descent to 3000 feet) of various aircraft types. The authors would like to draw attention of the aviation professionals to the fact that amount of toxic content in the exhaust from the turbine engine is significant especially during cruise, but turbine engine emission standards are applied only to LTO cycle defined in the ICAO Annex 16 vol.2. The article gives an example of CO and NOx emission estimation based on engine performance taken from ICAO Engine Emission Data Bank. Such engine authors named “ideal”. Calculations were done using actual values of aircraft fuel consumption and duration of the airplane maneuvers for each flight.
Artykuł opisuje metodologię ilościowego oszacowania emisji toksycznych składników spalin przez lotnicze silniki turbinowe. Prezentuje wyniki obliczeń emisji CO2, CO i NOx na podstawie danych z pokładowego rejestratora parametrów lotu samolotu. Kalkulacji dokonano dla cyklu startu i lądowania i pozostałych faz lotu (wznoszenie z 3000 stóp do wysokości przelotowej, przelot, schodzenie do wysokości 3000 stóp) samolotów różnych typów. Autorzy pragną zwrócić uwagę ekspertom zajmującym się lotnictwem na fakt, że ilość toksycznych składników spalin emitowanych przez silniki odrzutowe jest szczególnie duża w trakcie przelotu, a normy obowiązują dla cyklu startu i lądowania zdefiniowanego w aneksie 16 t.2 ICAO.W artykule podano przykłady oszacowania emisji CO i NOx posługując się charakterystykami silników opracowanym i na podstawie danych zawartych w bazie danych ICAO. Silniki te nazwano „idealnymi”. Obliczeń dokonano posługując się bieżącymi danymi zużycia paliwa i czasu manewrów samolotów dla każdego lotu.
Źródło:
Combustion Engines; 2015, 54, 3; 229-240
2300-9896
2658-1442
Pojawia się w:
Combustion Engines
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Aircraft fuel consumption and emissions during cruise, effect of the jet stream
Autorzy:
Głowacki, P.
Kawalec, M.
Powiązania:
https://bibliotekanauki.pl/articles/242826.pdf
Data publikacji:
2015
Wydawca:
Instytut Techniczny Wojsk Lotniczych
Tematy:
turbine engine
cruise
jet stream
exhaust emissions
Opis:
Article presents the results of fuel consumption calculation during cruise compared to remaining aircraft flight phases. Based on fuel consumption, methodology of pollutants quantitative estimation emitted by turbine engines has been developed. Material provides evaluation results of aircraft CO2, CO and NOx effusion using fuel consumption data taken from aircraft Flight Data Recorder (FDR) during cruise of various aircraft types. Knowledge of the amount of aircraft emissions on high altitudes is very important for climatologists in order to understand eventual changes in the Earth atmosphere due to aviation activities. The authors would like to draw attention of the aviation professionals to the fact that aircraft fuel consumption during cruise; thereby amount of toxic content in the exhaust from the turbine engine is significantly higher especially during flights against jet stream. Thousands flights of two operators were processed using algorithms developed by authors. The article gives an example of fuel consumption and thereby CO2, CO and NOx emission estimation based on engine performance taken from their test cell results. Calculations were performed with the consideration of the factor for engines deterioration through operation time provided by its manufacturer.
Źródło:
Journal of KONES; 2015, 22, 2; 63-70
1231-4005
2354-0133
Pojawia się w:
Journal of KONES
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Azimuth ambiguity suppression in SAR images using Doppler-sensitive signals
Autorzy:
Leśnik, Cz.
Serafin, P.
Kawalec, A.
Powiązania:
https://bibliotekanauki.pl/articles/200612.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Synthetic Aperture Radar (SAR)
SAR
azimuth ambiguity
Doppler-sensitive signals
dwuznaczność azymutu
sygnał Dopplera
Opis:
In the article the problem of the azimuth ambiguity in synthetic aperture radar (SAR) images and its genesis are presented. A method of suppressing the ambiguities by utilization of Doppler-sensitive signals is proposed, and the necessary modifications to the SAR synthesis algorithm are discussed. The SAR system parameters required for an optimal performance of the method are discussed and simulation results are presented.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2015, 63, 1; 221-227
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The influence of the shape of the combustion chamber on exhaust gases toxicity in T370 engine
Autorzy:
Kalina, P.
Kawalec, M.
Powiązania:
https://bibliotekanauki.pl/articles/243782.pdf
Data publikacji:
2015
Wydawca:
Instytut Techniczny Wojsk Lotniczych
Tematy:
diesel engine
combustion chamber
geometry
toxicity
Opis:
An important issue in construction of combustion chamber in compression-ignition engines is proper selection of its shape and size. Both features are dependent on several factors such as fuel injector location and angle, spray atomizer selection (amount of holes, their diameter and angular position), location of inlet valve and air turbulence. By doing research on prototype engine T370, an analysis of influence of combustion chamber size and its modifications going towards lip construction on flue gas toxicity was done. The diameter and depth of combustion chamber was being changed while maintaining the same compression ratio. After that, a modification of tested combustion chambers was made by creating so called “lip”, which aim was to create a swirl of injected fuel in the vertical plane. To visualize the changes in swirl, a numerical analysis of fuel injection into combustion chamber was made. In discussed study, emission tests were performed according to ECE-R49. During the research six combustion chambers with diameters 60, 63 and 66 mm (and their modification) were investigated. Tests were performed for several types of injectors and different injection timing. However, for analysis of combustion chamber size the results are presented for the same injectors but with optimized injection timing.
Źródło:
Journal of KONES; 2015, 22, 2; 104-108
1231-4005
2354-0133
Pojawia się w:
Journal of KONES
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ł
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