PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 12 PAK
  2. 12 Pomiary Automatyka Kontrola
  3. 12 Surowce i Maszyny Budowlane
  4. 10 Prace Naukowe Politechniki Warszawskiej. Transport
  5. 10 WUT Journal of Transportation Engineering
Więcej...
Autorzy help
  1. 71 Kawalec P.
  2. 19 Kozioł W.
  3. 10 Firląg K.
  4. 9 Koliński D.
  5. 7 Rżysko M.
Więcej...
Lata help
  1. 3 2018
  2. 5 2017
  3. 1 2016
  4. 5 2014
  5. 8 2013
Więcej...
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 71

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

help Ogranicz wyniki do:
first rewind previous Strona / 4 next fast forward last
1
W poszukiwaniu straconego czasu
Kawalec P.
Surowce i Maszyny Budowlane
|
2018
|
nr 2-3
22--25
PL
Analizując pracę maszyn w kopalniach odkrywkowych, można stracić poczucie czasu. Chyba, że ten się zatrzyma. A zatrzymuje się zawsze, kiedy maszyny stają i zamiast ładować czy transportować urobek, zastygają w bezruchu. Wtedy też ktoś zaczyna się pocić, a przynajmniej powinien.
2
Kopalnia 4.0 : science fiction czy rzeczywistość?
Kawalec P.
Surowce i Maszyny Budowlane
|
2018
|
nr 5
10--17
PL
W pełni zautomatyzowane zakłady przeróbcze, automatyczne wozidła, wiertnice samonaprowadzające się na otwór... To nie scenariusz filmu science fiction, ale założenia czwartej rewolucji przemysłowej, które - czy tego chcemy czy nie - powoli wkraczają do realiów branży wydobywczej.
3
Czy ten wskaźnik może kłamać?
Kawalec P.
Surowce i Maszyny Budowlane
|
2018
|
nr 1
58--62
PL
Jednostkowe zużycie materiałów wybuchowych nie jest dobrym wskaźnikiem efektywności. Proces produkcyjny należy traktować całościowo i jako taki optymalizować. Bazowanie wybiórczo, na niektórych wskaźnikach może przynieść drastyczne skutki finansowe.
4
Produkcja cementu zaczyna się w kamieniołomie
Kawalec P.
Surowce i Maszyny Budowlane
|
2017
|
nr 6
54--58
PL
Wielu specjalistów w dziedzinie produkcji cementu nie rozumie i nie uważa procesów w kopalni odkrywkowej jako integralnej części procesu produkcji cementu.
5
Podstawa doboru maszyn, czyli kosztowa i technologiczna ocena układu produkcyjnego
Kawalec P.
Surowce i Maszyny Budowlane
|
2017
|
nr 5
74--77
PL
Przewidywany czas pracy maszyn w kamieniołomach waha się od 20 do 40 tysięcy godzin. A ile przepracowały maszyny, z którymi Ty pracujesz? Nie zdziwię się, jeśli wielokrotność wyżej podanej liczby. No ale po co je wymieniać skoro wciąż dają radę? Nowe maszyny są bardzo drogie i mają wyższe koszty eksploatacji. To fakt, ale czy na pewno widzimy całościowy obraz sytuacji?
6
Koparka czy ładowarka : praktyczne zasady doboru maszyn do załadunku i transportu urobku
Kawalec P.
Surowce i Maszyny Budowlane
|
2017
|
nr 2-3
8--13
PL
Dobór maszyn kopalnianych często opiera się osobistych preferencjach osoby decydującej lub zasadzie zastępowania dotychczas używanych modeli dokładne takimi samymi. Dlatego też chciałbym pokrótce przypomnieć podstawowe praktyczne zasady doboru układu: koparka/ładowarka –samochód, uwzględniając obecne trendy światowe, jak również dostępność maszyn na rynku.
7
Kontrola jakości zaczyna się wcześniej niż myślisz
Kawalec P.
Surowce i Maszyny Budowlane
|
2017
|
nr 1
46--53
PL
Przy kontroli jakości urobku nasuwa się kilka pytań: dla kogo i dlaczego musimy kontrolować jakość? Jak nią zarządzać? Czy jedyna korzyścią płynąca z kontroli jakości jest zadowolenie klientów lub uniknięcie niezadowolenia?
8
Content available remote Metody zapisu algorytmów sterowania ruchem drogowym
Kawalec P., Krukowicz T.
Prace Naukowe Politechniki Warszawskiej. Transport
|
2017
|
z. 119
179--189
PL
Artykuł opisuje problematykę zapisu algorytmów sterowania ruchem drogowym. Przedstawiono ewolucję sposobu zapisu algorytmów, następnie opisano sposoby zapisu algorytmów stosowane w różnych dziedzinach techniki. Przeanalizowano projekty drogowej sygnalizacji świetlnej i porównano stosowany w nich zapis z opisanymi wcześniej metodami. Następnie opisano problematykę zapisu algorytmów sterowania ruchem w sterownikach sygnalizacji świetlnej.
EN
The article describes the problem of description traffic control algorithms. The evolution of algorithms recording method has been presented, then the methods of algorithms recording applied in various fields of technology have been described. The traffic light-signalling designs were analysed and compared with the previously described methods. The problems of recording traffic control algorithms in the traffic light controllers were then described.
9
Content available Medical and military applications of 3D printing
Mikołajewska E., Macko M., Mikołajewski D., Ziarnecki Ł., Stańczak S., Kawalec P.
Zeszyty Naukowe / Wyższa Szkoła Oficerska Wojsk Lądowych im. gen. T. Kościuszki
|
2016
|
Nr 1
128--141
EN
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.
10
Content available remote Algorytmizacja procesu sprawdzania gotowości operacyjnej portu lotniczego
Kawalec P., Kozłowski M., Rudnicki M.
Prace Naukowe Politechniki Warszawskiej. Transport
|
2014
|
z. 102
47--57
PL
W pracy przedstawiono metodę sprawdzania gotowości operacyjnej portu lotniczego i opisano ją za pomocą algorytmu. Uwzględnione zostały czynniki wpływające na stan gotowości operacyjnej, które podzielone zostaIy na 3 oddzielne obszary: infrastrukturę portu lotniczego, procesy eksploatacji portu lotniczego i czynniki zakłócające eksploatację portu lotniczego. Analiza obszarów ułatwiła wygenerowanie warunków, jakie port lotniczy musi spełniać dla bezpiecznego przeprowadzania operacji startu i lądowania statków powietrznych. Algorytm zostaI przedstawiony za pomocą schematu blokowego, do jego specyfikacji wykorzystano graf przejść automatu skończonego. Zostało to uczynione w edytorze FSM pakietu Active-HDL, pozwalającym na weryfikacje algorytmu w trybie symulacji komputerowej. Symulacje przedstawiały sytuacje, które mogą się zdarzyć na lotnisku (niektóre z nich występują rzadko z powodu wysokiej niezawodności systemów i instalacji portu lotniczego). Ponadto pokazywały, w jaki sposób stworzony automat na nie reaguje.
EN
The paper illustrates the method of verifying the initial operating capability of an Airport with an algorithm. The factors that influence this process were divided into three groups: the infrastructure of an airport, the processes of the airport exploitation and the factors that perturb the airport exploitation. The analysis of these sectors was helpful to generate the conditions that an airport has to fulfill in order to safely carry out the aircraft operations of takeoff and landing. The algorithm was presented with a block diagram and was specified with a finite-state machine graph. This was accomplished with the FSM editor of the Active-HDL software, which allows the user to verify the algorithm by functional simulation. The simulations present the situations that can happen at the airport (some of them are very rare due to the high reliability of the systems and installations of the airport) and the reaction of the created machine.
11
Content available Zastosowanie wspomagania komputerowego w specyfikacji i weryfikacji formalnych opisów funkcji zależnościowych
Kawalec P., Koliński D.
Pomiary Automatyka Kontrola
|
2014
|
R. 60, nr 10
829--831
PL
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.
EN
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.
12
Content available Algorytmiczne podejście do projektowania logiki zależnościowej w systemach sterowania ruchem kolejowym
Kawalec P., Rżysko M.
Pomiary Automatyka Kontrola
|
2014
|
R. 60, nr 10
826--828
PL
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.
EN
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.
13
Modelling of interlocking functions in railway station traffic control systems
Kawalec P., Koliński D.
Logistyka
|
2014
|
nr 4
2907--2913
EN
The paper presents a new specification method for the interlocking functions executed railway traffic control objects. On the example of short track section object, the procedure of creating the description in the form of state matrices, transition matrices and priorities matrices was presented. The intuitive transition from these matrices to the Moore machine in FSM editor was also shown. This description of object's interlocking functions allows to automatically generate the VHDL output file which, using the computer aided design environment, can be used for designing such object in FPGA structures.
PL
W artykule przedstawiono nowy sposób specyfikacji funkcji zależnościowych realizowanych przez obiekty systemów sterowania ruchem kolejowym. Na przykładzie odcinka torowego krótkiego, pokazano mechanizm zapisu funkcji obiektu w postaci macierzy stanów, macierzy tranzycji oraz macierzy priorytetów. Pokazano mechanizm intuicyjnego przejścia od tych macierzy do grafu przejść automaty skończonego Moore’a w edytorze FSM. Taki zapis funkcji obiektu pozwala na automatyczne wygenerowanie kodu języka VHDL, pozwalającego na wykorzystanie narzędzi wspomagania komputerowego w projektowaniu takich obiektów w układach FPGA.
14
Computer aided modelling of railway station traffic control systems
Kawalec P., Rżysko M.
Logistyka
|
2014
|
nr 4
2915--2921
EN
The paper presents a modelling method for complex interlocking functions in railway traffic control systems. The method is based on the geographical approach, which allows to use the created elements for any track layout. Specification and verification of the designed algorithms was performed in computer-aided design environment. The use of algorithms to describe the functions allowed to intuitively transform the elementary conditions in verbal description into formal notation and finally the VHDL code.
PL
W artykule przedstawiono propozycję sformalizowanej metody specyfikacji złożonych funkcji zależnościowych w systemach sterowania ruchem kolejowym. Opisana metoda opiera się na podejściu geograficznym, umożliwiającym uniwersalne wykorzystanie zbudowanych elementów dla dowolnego układu torowego. Zaprezentowane zostały możliwości specyfikacji i weryfikacji otrzymanych algorytmów w środowisku komputerowego wspomagania prac projektowych. Zastosowanie algorytmów do opisu działania pozwala na intuicyjne przejście od elementarnych warunków opisanych w języku naturalnym do zapisu formalnego i ostatecznie kodu języka VHDL.
15
Content available Wybrane problemy projektowania adaptacyjnej sygnalizacji świetlnej
Kawalec P., Krukowicz T.
Zeszyty Naukowe. Transport / Politechnika Śląska
|
2013
|
z. 80
53--63
PL
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ń.
EN
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.
16
Content available Budowa modeli specjalizowanych sterowników ruchu drogowego w językach opisu sprzętu
Firląg K., Kawalec P.
Zeszyty Naukowe. Transport / Politechnika Śląska
|
2013
|
z. 80
17--27
PL
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.
EN
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.
17
Content available Analiza metod generowania zmiennych wejściowych dla probabilistycznych modeli procesów transportowych
Kawalec P.
Zeszyty Naukowe. Transport / Politechnika Śląska
|
2013
|
z. 80
65--77
PL
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.
EN
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.
18
Content available Weryfikacja równań zależnościowych z wykorzystaniem symulatorów logicznych na przykładzie zastosowania pakietu Active-HDL
Kawalec P., Rżysko M.
TTS Technika Transportu Szynowego
|
2013
|
R. 20, nr 10
1587--1596, CD
PL
W artykule przedstawiona została problematyka weryfikacji logiki zależnościowej współczesnych systemów sterowania ruchem kolejowym. Złożoność zagadnienia rośnie w ostatnich latach w wyniku wielu istotnych czynników, takich jak konieczność zapewnienia interoperacyjności systemów, czy tendencja do obejmowania sterowaniem z jednej nastawni coraz większych obszarów. Utrudniona staje się więc manualna analiza poprawności działania projektowanych systemów. W związku z tym do weryfikacji zaproponowane zostało wykorzystanie nowoczesnego, zintegrowanego pakietu programistycznego Active-HDL. Na przykładzie zestawu równań zależnościowych opracowanego w języku VHDL przedstawione zostały możliwości pakietu w zakresie weryfikacji projektu.
EN
This paper presents a formal method for railway interlocking logic verification. After decomposing the railway control system into objects and algorithms, interlocking functions were described using formal methods. This allowed the use of integrated design environment - Active-HDL, for verification of the whole design and building VHDL code as a final description. Various methods of manual and automated simulation are presented, showing the capabilities of the described design and verification method.
19
Content available Stochastyczne komparatory bezpieczne dla systemów sterowania ruchem kolejowym
Kawalec P.
TTS Technika Transportu Szynowego
|
2013
|
R. 20, nr 10
1597--1603, CD
PL
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.
EN
The article presents hardware implementation of stochastic comparators which compare independent random binary sequences. The structure of comparator has been designed by applying Heaviside step function and stochastic multiply-adder circuits. In order to ensure maximum speed of comparator operation, digital elements have been applied as well as shift registers. Comparator synthesis has been conducted in FPGA devices and examination of the prototype has been performed achieving high operational speed and certainty of step function implementation.
20
Content available Innowacyjna metoda specyfikacji i weryfikacji funkcji zależnościowych w systemach sterowania ruchem kolejowym
Kawalec P., Koliński D.
TTS Technika Transportu Szynowego
|
2013
|
R. 20, nr 10
1575--1586, CD
PL
W artykule omówiono zasadnicze ograniczenia wynikające z cech technologii mikroprocesorowej zastosowanej w urządzeniach srk. Następnie przedstawiono nową metodę formalnego opisu funkcji zależnościowych, z wykorzystaniem teorii grafów, analizy systemowej, rachunku macierzowego oraz teorii automatów. Uwzględniając uniwersalność obiektów, zdekomponowano je na rozłączne części, tak, aby każda z nich realizowała jedną z funkcji zależnościowych realizowanych przez obiekt. Przedstawione działania zilustrowano przykładami.
EN
The paper presented general limitations of microprocessor technology used nowadays in railway control systems. Then a new formal description method for interlocking functions was developed using graphs theory, system analysis, matrix formulae and automata theory. Considering versatility of objects they were decomposed into separate parts, so that every part executes a single interlocking function. The design process was shown on several examples.
first rewind previous Strona / 4 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ć.