Computer aided modelling of railway station traffic control systems 3
|
|
- Eleonora Marek
- 5 lat temu
- Przeglądów:
Transkrypt
1 Piotr Kawalec 1 Warsaw University of Technology Marcin Rżysko 2 Bombardier Transportation (Rail Engineering) Polska Sp. z o.o. Computer aided modelling of railway station traffic control systems 3 Introduction The formal description methods for railway traffic control systems is an important issue in modelling such devices. Despite the use of certain formalisation elements in existing systems and research made on this topic [5, 6] there is still no method which would allow to model complex functionalities of railway interlocking systems and which would be a direct input for designing the prototype. When seeking for new methods, attention should be paid especially to the ability to use computer-aided design tools for creating the model. This paper presents several issues related to modelling complex functionalities in railway interlocking systems using formal algorithm notation and Active-HDL tools by Aldec. Model formalisation Formal description of complete interlocking functions for a geographical interlocking system can be achieved basing on the algorithms [2, 3, 4]. This approach allows to easily specify complex functionalities of the system. The first step of creating the formal description of a model is defining the input and output data. Considering the interlocking system as one element, the following alphabets can be distinguished: X = {X P, X K } - input alphabet, Y = {Y M, Y S } - output alphabet, where: X P = {X P1, X P2,..., X PN }, X P... = (x p0, x p1,..., x pn ) - manoeuvres vector, X K = {X K1, X K2,..., X KN }, X K... = (x k0, x k1,..., x kn ) - check vector, Y M = {Y M1, Y M2,..., Y MN }, Y M... = (y m0, y m1,..., y mn ) - indication vector, Y S = {Y S1, Y S2,..., Y SN }, Y S... = (y s0, y s1,..., y sn ) - control vector. For the description of a single element of the system, labelled as E i, an additional interlocking vector was introduced to the alphabets. It allows to specify the connections between the element and adjacent ones: 1 D.Sc. Eng. Hab., P. Kawalec, Associate Professor, Department of Traffic Control, Faculty of Transport, Warsaw University of Technology, Koszykowa str. 75, Warszawa, tel. (+48 22) , pka@wt.pw.edu.pl 2 M.Sc. Eng., M. Rżysko, assistant designer, Bombardier Transportation (Rail Engineering) Polska Sp. z o.o., ul. Ogrodowa 58, Warszawa, (+48) , marcin.rzysko@pl.transport.bombardier.com 3 Artykuł recenzowany 2915
2 X Z = {X ZA, X ZB,..., X ZG }, X Z... = (x z0, x z1,..., x zn ) - interlocking vector (input), Y Z = {Y ZA, Y ZB,..., Y ZG }, Y Z... = (y z0, y z1,..., y zn ) - interlocking vector (output). where: A, B,... - geographical connections to adjacent logical objects, G - non-geographical connection. The system decomposition method is shown in fig. 1. Fig. 1. Decomposition method scheme 2916
3 The selected form of formal description of the algorithm, which can be easily obtained from the verbal description, is the logical algorithm scheme [1, 3, 7]. It is assumed that the construction of each algorithm will consist of the following steps: decomposition of the function into execution steps (for example route execution: rest state selecting setting locking releasing rest state), creating the possible variants of algorithm execution according to the number of routes possible to execute by the element. When modelling a single geographical element a route is considered as a possibility to use the element for the train passage. The number of possible p routes was labelled as P and it depends on the object type. p { 1, 2,..., P} For the exemplary functionality of route execution the general concept of algorithm was developed (rys.2). Fig. 2. General concept of route execution algorithm for an object with P possible routes The logical algorithm scheme corresponding to fig. 2 is shown below. The following notation is used: Y Mp X mnp - vector of output data in m state, in p route, - vector of input variables, which specifies the condition for transition from m to n state in p route, 2917
4 P1 0 S sw1 sw2 swp P1 P2 P1 W1 wn1 W 2 wn2 WP wnp P2 P3 P2 N1 nu1 N 2 nu2 NP nup P3 P4 P3 14 Y X X... X ω Y X ω Y X ω... Y X ω Y X ω Y X ω... Y X ω Y X ω Y X ω... Y X ω U1 uz1 U 2 uz 2 UP uzp P4 0 P4 YZ 1X zs1 ω YZ 2 X zs2 ω... YZP X zsp ω The logical algorithm scheme provides a convenient basis for the construction of the finite-state machine graph. By transforming the Y set into vertices, and the X set into edges, the finite-state machine for an exemplary object with two possible routes was achieved (fig. 3). (1) Fig. 3. Finite-state machine in FSM editor 2918
5 For every given element it is necessary to identify the conditions, which have to be fulfilled to execute the transition to the next state (specification of X... values). Thanks to the appropriate model decomposition this task is much simpler to achieve, that describing the whole system as one graph. The developed method allows to create every algorithm of every logical object in geographical railway interlocking system in the form of FSM graph. Computer-aided specification and verification Creating the finite-state machine graph suitable for the given element and identifying the conditions for all transitions allows to create the specification in a hardware description language. It is possible with the FSM editor, which is one of the tools in Active-HDL environment, used during the work. Because FSM editor allows to automatically generate VHDL code basing on the given FSM graph, this is the last step of transformation the verbal description of the functionality to the formal description, which can be used later for implementation and prototyping. In the integrated computer-aided design environment it is possible to verify the model on various hierarchical levels. The first level is the FSM graph, on which it is easy to check for any errors created during the algorithm to graph transformation. The FSM editor of the Active-HDL environment allows to simulate the created algorithm manually, by changing the input values, or automatically - using Testbench'es which allow to verify whole graph. Observation of the simulation is possible directly on the graph (fig. 4a), or on the waveforms (fig. 4b). Fig. 4. Simulation observation on the graph (a) and on waveforms (b) 2919
6 On the next level, the graph shown above, along with graphs modelling another algorithms in the object, is used to build a complete object, which can be then tested for algorithm integration and data exchange with adjacent objects. On this level it is also possible to analyse the variable values in BDE editor, which is used to build the model from single elements (fig. 5a). Fig. 5. Simulation observation on objects (a) and model level (b) The highest hierarchical level allows to create a model of all station elements in one block in BDE editor. This object should be considered as a complete description of interlocking data for a given track layout (fig. 5b). Conclusion The described modelling method for railway station geographical interlocking systems allows to fully utilise the modern computer-aided design technology. It is possible thanks to the appropriate decomposition and formalisation of the model. The simulation process, performed using the mentioned tools, proved the correctness of the design on algorithm, object, and the complete model level. The description obtained using the described method is transparent and easy to modify and implement new functions, which is an important issue in analysis of modern railway traffic control systems. 2920
7 Abstract 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. Komputerowe wspomaganie modelowania stacyjnych systemów srk Streszczenie 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. References [1] Apuniewicz S.: Układy przekaźnikowe w automatyce zabezpieczenia ruchu kolejowego. Wydawnictwa Politechniki Warszawskiej, Warszawa [2] Kawalec P., Rżysko M.: Komputerowo wspomagana specyfikacja funkcji zależnościowych urządzeń srk. Technika Transportu Szynowego 9/2012, s [3] Kawalec P., Rżysko M.: Metoda tworzenia formalnego zapisu algorytmów działania urządzeń srk. Prace Naukowe - Transport, z. 100, 2013, s [4] Kawalec P., Rżysko M.: Zastosowanie grafów przejść automatów skończonych do opisu algorytmów działania urządzeń srk. Prace Naukowe - Transport, z. 95, 2013, s [5] Koliński D.: Formalny opis funkcji zależnościowych systemów srk dla współczesnych posterunków ruchu. Prace Naukowe - Transport, z. 86, 2013, s [6] Minkowitz C., Atkiss J.: An object-oriented formal specification of a configuration language for railway interlockings. 3rd Northern Formal Methods Workshop, [7] Traczyk W.: Układy cyfrowe. Podstawy teoretyczne i metody syntezy. Wydawnictwa Naukowo- Techniczne,
Proposal of thesis topic for mgr in. (MSE) programme in Telecommunications and Computer Science
Proposal of thesis topic for mgr in (MSE) programme 1 Topic: Monte Carlo Method used for a prognosis of a selected technological process 2 Supervisor: Dr in Małgorzata Langer 3 Auxiliary supervisor: 4
Bardziej szczegółowoRealizacja systemów wbudowanych (embeded systems) w strukturach PSoC (Programmable System on Chip)
Realizacja systemów wbudowanych (embeded systems) w strukturach PSoC (Programmable System on Chip) Embeded systems Architektura układów PSoC (Cypress) Możliwości bloków cyfrowych i analogowych Narzędzia
Bardziej szczegółowoSTEROWANIA RUCHEM KOLEJOWYM Z WYKORZYSTANIEM METOD SYMULACYJNYCH
PRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ z. 113 Transport 2016 Uniwersytet Technologiczno-Humanistyczny w Radomiu STEROWANIA RUCHEM KOLEJOWYM Z WYKORZYSTANIEM METOD SYMULACYJNYCH : marzec 2016 Streszczenie:
Bardziej szczegółowoDUAL SIMILARITY OF VOLTAGE TO CURRENT AND CURRENT TO VOLTAGE TRANSFER FUNCTION OF HYBRID ACTIVE TWO- PORTS WITH CONVERSION
ELEKTRYKA 0 Zeszyt (9) Rok LX Andrzej KUKIEŁKA Politechnika Śląska w Gliwicach DUAL SIMILARITY OF VOLTAGE TO CURRENT AND CURRENT TO VOLTAGE TRANSFER FUNCTION OF HYBRID ACTIVE TWO- PORTS WITH CONVERSION
Bardziej szczegółowoFig 5 Spectrograms of the original signal (top) extracted shaft-related GAD components (middle) and
Fig 4 Measured vibration signal (top). Blue original signal. Red component related to periodic excitation of resonances and noise. Green component related. Rotational speed profile used for experiment
Bardziej szczegółowoSYNTEZA SCENARIUSZY EKSPLOATACJI I STEROWANIA
POLITECHNIKA POZNAŃSKA WYDZIAŁ BUDOWNICTWA I INŻYNIERII ŚRODOWISKA INSTYTUT INŻYNIERII ŚRODOWISKA ZAKŁAD ZAOPATRZENIA W WODĘ I OCHRONY ŚRODOWISKA mgr inż. Rafał BRODZIAK SYNTEZA SCENARIUSZY EKSPLOATACJI
Bardziej szczegółowoEXAMPLES OF CABRI GEOMETRE II APPLICATION IN GEOMETRIC SCIENTIFIC RESEARCH
Anna BŁACH Centre of Geometry and Engineering Graphics Silesian University of Technology in Gliwice EXAMPLES OF CABRI GEOMETRE II APPLICATION IN GEOMETRIC SCIENTIFIC RESEARCH Introduction Computer techniques
Bardziej szczegółowoInstallation of EuroCert software for qualified electronic signature
Installation of EuroCert software for qualified electronic signature for Microsoft Windows systems Warsaw 28.08.2019 Content 1. Downloading and running the software for the e-signature... 3 a) Installer
Bardziej szczegółowoAkademia Morska w Szczecinie. Wydział Mechaniczny
Akademia Morska w Szczecinie Wydział Mechaniczny ROZPRAWA DOKTORSKA mgr inż. Marcin Kołodziejski Analiza metody obsługiwania zarządzanego niezawodnością pędników azymutalnych platformy pływającej Promotor:
Bardziej szczegółowoUNIWERSALNY ELEKTRONICZNY PULPIT NASTAWCZY
PRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ z. 116 Transport 2017 Andrzej Kochan, Marek Wilga UNIWERSALNY ELEKTRONICZNY PULPIT NASTAWCZY, w Streszczenie: ster Brak uniwersalnego pulpitu elementów sterowanych.
Bardziej szczegółowoPRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ
PRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ z. 113 Transport 2016 Politechnika Warszawska, W Transportu UNKCJONALNO - : Streszczenie: no og zadania i funkcjonalnej funkcjonalnych. Wyniki -. 1. w warunkach
Bardziej szczegółowoZarządzanie sieciami telekomunikacyjnymi
SNMP Protocol The Simple Network Management Protocol (SNMP) is an application layer protocol that facilitates the exchange of management information between network devices. It is part of the Transmission
Bardziej szczegółowoINTERFEJSY DIAGNOSTYCZNE DLA SYSTEMÓW
PRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ z. 113 Transport 2016 Uniwersytet Technologiczno-Humanistyczny w Radomiu, W Transportu i Elektrotechniki INTERFEJSY DIAGNOSTYCZNE DLA SYSTEMÓW SRK ZAPEWNIENIE :
Bardziej szczegółowo4. EKSPLOATACJA UKŁADU NAPĘD ZWROTNICOWY ROZJAZD. DEFINICJA SIŁ W UKŁADZIE Siła nastawcza Siła trzymania
3 SPIS TREŚCI Przedmowa... 11 1. WPROWADZENIE... 13 1.1. Budowa rozjazdów kolejowych... 14 1.2. Napędy zwrotnicowe... 15 1.2.1. Napęd zwrotnicowy EEA-4... 18 1.2.2. Napęd zwrotnicowy EEA-5... 20 1.3. Współpraca
Bardziej szczegółowowww.irs.gov/form990. If "Yes," complete Schedule A Schedule B, Schedule of Contributors If "Yes," complete Schedule C, Part I If "Yes," complete Schedule C, Part II If "Yes," complete Schedule C, Part
Bardziej szczegółowoOPTYMALIZACJA PUBLICZNEGO TRANSPORTU ZBIOROWEGO W GMINIE ŚRODA WIELKOPOLSKA
Politechnika Poznańska Wydział Maszyn Roboczych i Transportu Inż. NATALIA LEMTIS OPTYMALIZACJA PUBLICZNEGO TRANSPORTU ZBIOROWEGO W GMINIE ŚRODA WIELKOPOLSKA Promotor: DR INŻ. MARCIN KICIŃSKI Poznań, 2016
Bardziej szczegółowoDM-ML, DM-FL. Auxiliary Equipment and Accessories. Damper Drives. Dimensions. Descritpion
DM-ML, DM-FL Descritpion DM-ML and DM-FL actuators are designed for driving round dampers and square multi-blade dampers. Example identification Product code: DM-FL-5-2 voltage Dimensions DM-ML-6 DM-ML-8
Bardziej szczegółowoaforementioned device she also has to estimate the time when the patients need the infusion to be replaced and/or disconnected. Meanwhile, however, she must cope with many other tasks. If the department
Bardziej szczegółowoStrona główna > Produkty > Systemy regulacji > System regulacji EASYLAB - LABCONTROL > Program konfiguracyjny > Typ EasyConnect.
Typ EasyConnect FOR THE COMMISSIONING AND DIAGNOSIS OF EASYLAB COMPONENTS, FSE, AND FMS Software for the configuration and diagnosis of controllers Type TCU3, adapter modules TAM, automatic sash device
Bardziej szczegółowoPRACA DYPLOMOWA Magisterska
POLITECHNIKA WARSZAWSKA Wydział Samochodów i Maszyn Roboczych PRACA DYPLOMOWA Magisterska Studia stacjonarne dzienne Semiaktywne tłumienie drgań w wymuszonych kinematycznie układach drgających z uwzględnieniem
Bardziej szczegółowoLatent Dirichlet Allocation Models and their Evaluation IT for Practice 2016
Latent Dirichlet Allocation Models and their Evaluation IT for Practice 2016 Paweł Lula Cracow University of Economics, Poland pawel.lula@uek.krakow.pl Latent Dirichlet Allocation (LDA) Documents Latent
Bardziej szczegółowowww.irs.gov/form990. If "Yes," complete Schedule A Schedule B, Schedule of Contributors If "Yes," complete Schedule C, Part I If "Yes," complete Schedule C, Part II If "Yes," complete Schedule C, Part
Bardziej szczegółowoKnovel Math: Jakość produktu
Knovel Math: Jakość produktu Knovel jest agregatorem materiałów pełnotekstowych dostępnych w formacie PDF i interaktywnym. Narzędzia interaktywne Knovel nie są stworzone wokół specjalnych algorytmów wymagających
Bardziej szczegółowoInstrukcja konfiguracji usługi Wirtualnej Sieci Prywatnej w systemie Mac OSX
UNIWERSYTETU BIBLIOTEKA IEGO UNIWERSYTETU IEGO Instrukcja konfiguracji usługi Wirtualnej Sieci Prywatnej w systemie Mac OSX 1. Make a new connection Open the System Preferences by going to the Apple menu
Bardziej szczegółowoWykaz linii kolejowych, które są wyposażone w urządzenia systemu ETCS
Wykaz kolejowych, które są wyposażone w urządzenia W tablicy znajdującej się na kolejnych stronach tego załącznika zastosowano następujące oznaczenia: - numer kolejowej według instrukcji Wykaz Id-12 (D-29).
Bardziej szczegółowoWykaz linii kolejowych, które są wyposażone w urzadzenia systemu ETCS
Wykaz kolejowych, które są wyposażone w urzadzenia W tablicy znajdującej się na kolejnych stronach tego załącznika zastosowano następujące oznaczenia: - numer kolejowej według instrukcji Wykaz Id-12 (D-29).
Bardziej szczegółowoF-16 VIRTUAL COCKPIT PROJECT OF COMPUTER-AIDED LEARNING APPLICATION WEAPON SYSTEM POWER ON PROCEDURE
GRZESIK Norbert 1 Virtual cockpit, computer-aided learning application, maintenance procedures F-16 VIRTUAL COCKPIT PROJECT OF COMPUTER-AIDED LEARNING APPLICATION WEAPON SYSTEM POWER ON PROCEDURE Author,
Bardziej szczegółowoAuditorium classes. Lectures
Faculty of: Mechanical and Robotics Field of study: Mechatronic with English as instruction language Study level: First-cycle studies Form and type of study: Full-time studies Annual: 2016/2017 Lecture
Bardziej szczegółowoTyp VFR. Circular flow adjustment dampers for the adjustment of volume flow rates and pressures in supply air and extract air systems
Typ VFR FOR THE RELIABLE BALANCING OF VOLUME FLOW RATES Circular flow adjustment dampers for the adjustment of volume flow rates and pressures in supply air and extract air systems Each flow adjustment
Bardziej szczegółowoZakopane, plan miasta: Skala ok. 1: = City map (Polish Edition)
Zakopane, plan miasta: Skala ok. 1:15 000 = City map (Polish Edition) Click here if your download doesn"t start automatically Zakopane, plan miasta: Skala ok. 1:15 000 = City map (Polish Edition) Zakopane,
Bardziej szczegółowo1. W systemie Windows przejdź do Panel sterowania> Sieć i Internet> Centrum sieci i udostępniania.
1. W Panelu sterowania kliknij dwukrotnie Połączenia sieciowe, a następnie kliknij prawym przyciskiem myszy kartę sieci bezprzewodowej i wybierz Właściwości. Okno dialogowe Połączenie sieci bezprzewodowej
Bardziej szczegółowoCOMPUTER AIDED MODELING ASSEMBLY PROCESS PLAN KOMPUTEROWO WSPOMAGANE MODELOWANIE PROCESU TECHNOLOGICZNEGO MONTAŻU
TECHNICAL TRANSACTIONS MECHANICS CZASOPISMO TECHNICZNE MECHANIKA 1-M/2013 ŁUKASZ GOLA* COMPUTER AIDED MODELING ASSEMBLY PROCESS PLAN KOMPUTEROWO WSPOMAGANE MODELOWANIE PROCESU TECHNOLOGICZNEGO MONTAŻU
Bardziej szczegółowoZmiany techniczne wprowadzone w wersji Comarch ERP Altum
Zmiany techniczne wprowadzone w wersji 2018.2 Copyright 2016 COMARCH SA Wszelkie prawa zastrzeżone Nieautoryzowane rozpowszechnianie całości lub fragmentu niniejszej publikacji w jakiejkolwiek postaci
Bardziej szczegółowoWYBRANE PROBLEMY BADAWCZE EKOLOGII, ORGANIZACJI I INFRASTRUKTURY TRANSPORTU
POLITECHNIKA WARSZAWSKA ISSN 1230 9265 PRACE NAUKOWE TRANSPORT z. 106 WYBRANE PROBLEMY BADAWCZE EKOLOGII, ORGANIZACJI I INFRASTRUKTURY TRANSPORTU OFICYNA WYDAWNICZA POLITECHNIKI WARSZAWSKIEJ WARSZAWA 2015
Bardziej szczegółowoHelena Boguta, klasa 8W, rok szkolny 2018/2019
Poniższy zbiór zadań został wykonany w ramach projektu Mazowiecki program stypendialny dla uczniów szczególnie uzdolnionych - najlepsza inwestycja w człowieka w roku szkolnym 2018/2019. Składają się na
Bardziej szczegółowoSystemy wbudowane. Poziomy abstrakcji projektowania systemów HW/SW. Wykład 9: SystemC modelowanie na różnych poziomach abstrakcji
Systemy wbudowane Wykład 9: SystemC modelowanie na różnych poziomach abstrakcji Poziomy abstrakcji projektowania systemów HW/SW 12/17/2011 S.Deniziak:Systemy wbudowane 2 1 Model czasu 12/17/2011 S.Deniziak:Systemy
Bardziej szczegółowoXXIII Konferencja Naukowa POJAZDY SZYNOWE 2018
XXIII Konferencja Naukowa POJAZDY SZYNOWE 2018 Abstract Application of longitudinal dynamics of the train in the simulator of catenary maintenance vehicles - experimental and numerical tests Robert Konowrocki
Bardziej szczegółowoWydział Inżynierii Produkcji i Logistyki Faculty of Production Engineering and Logistics
Wydział Inżynierii Produkcji i Logistyki Faculty of Production Engineering and Logistics Plan studiów stacjonarnych II stopnia (magisterskich) na kierunku ZARZĄDZANIE I INŻYNIERIA PRODUKCJI MANAGEMENT
Bardziej szczegółowoInstrukcja obsługi User s manual
Instrukcja obsługi User s manual Konfigurator Lanberg Lanberg Configurator E-mail: support@lanberg.pl support@lanberg.eu www.lanberg.pl www.lanberg.eu Lanberg 2015-2018 WERSJA VERSION: 2018/11 Instrukcja
Bardziej szczegółowoQUANTITATIVE AND QUALITATIVE CHARACTERISTICS OF FINGERPRINT BIOMETRIC TEMPLATES
ZESZYTY NAUKOWE POLITECHNIKI ŚLĄSKIEJ 2014 Seria: ORGANIZACJA I ZARZĄDZANIE z. 74 Nr kol. 1921 Adrian KAPCZYŃSKI Politechnika Śląska Instytut Ekonomii i Informatyki QUANTITATIVE AND QUALITATIVE CHARACTERISTICS
Bardziej szczegółowoTTIC 31210: Advanced Natural Language Processing. Kevin Gimpel Spring Lecture 9: Inference in Structured Prediction
TTIC 31210: Advanced Natural Language Processing Kevin Gimpel Spring 2019 Lecture 9: Inference in Structured Prediction 1 intro (1 lecture) Roadmap deep learning for NLP (5 lectures) structured prediction
Bardziej szczegółowoDATABASE OF TECHNOLOGICAL CAPABILITY MANUFACTURING SYSTEM ORIENTED FOR MACHINES KINEMATICS
TECHNICAL TRANSACTIONS MECHANICS CZASOPISMO TECHNICZNE MECHANIKA 1-M/2013 ŁUKASZ GOLA* DATABASE OF TECHNOLOGICAL CAPABILITY MANUFACTURING SYSTEM ORIENTED FOR MACHINES KINEMATICS BAZA DANYCH MOŻLIWOŚCI
Bardziej szczegółowoTesty jednostkowe - zastosowanie oprogramowania JUNIT 4.0 Zofia Kruczkiewicz
Testy jednostkowe - zastosowanie oprogramowania JUNIT 4.0 http://www.junit.org/ Zofia Kruczkiewicz 1. Aby utworzyć test dla jednej klasy, należy kliknąć prawym przyciskiem myszy w oknie Projects na wybraną
Bardziej szczegółowoWeronika Mysliwiec, klasa 8W, rok szkolny 2018/2019
Poniższy zbiór zadań został wykonany w ramach projektu Mazowiecki program stypendialny dla uczniów szczególnie uzdolnionych - najlepsza inwestycja w człowieka w roku szkolnym 2018/2019. Tresci zadań rozwiązanych
Bardziej szczegółowoStruktury proponowane dla unikalnych rozwiązań architektonicznych.
23 Struktury proponowane dla unikalnych rozwiązań architektonicznych.. System fundamentu zespolonego może być zastosowany jako bezpieczna podstawa dla obiektów silnie obciążonych mogących być zlokalizowanymi
Bardziej szczegółowoRozpoznawanie twarzy metodą PCA Michał Bereta 1. Testowanie statystycznej istotności różnic między jakością klasyfikatorów
Rozpoznawanie twarzy metodą PCA Michał Bereta www.michalbereta.pl 1. Testowanie statystycznej istotności różnic między jakością klasyfikatorów Wiemy, że możemy porównywad klasyfikatory np. za pomocą kroswalidacji.
Bardziej szczegółowodeep learning for NLP (5 lectures)
TTIC 31210: Advanced Natural Language Processing Kevin Gimpel Spring 2019 Lecture 6: Finish Transformers; Sequence- to- Sequence Modeling and AJenKon 1 Roadmap intro (1 lecture) deep learning for NLP (5
Bardziej szczegółowoMetodyki projektowania i modelowania systemów Cyganek & Kasperek & Rajda 2013 Katedra Elektroniki AGH
Kierunek Elektronika i Telekomunikacja, Studia II stopnia Specjalność: Systemy wbudowane Metodyki projektowania i modelowania systemów Cyganek & Kasperek & Rajda 2013 Katedra Elektroniki AGH Zagadnienia
Bardziej szczegółowoFormularz recenzji magazynu. Journal of Corporate Responsibility and Leadership Review Form
Formularz recenzji magazynu Review Form Identyfikator magazynu/ Journal identification number: Tytuł artykułu/ Paper title: Recenzent/ Reviewer: (imię i nazwisko, stopień naukowy/name and surname, academic
Bardziej szczegółowowww.irs.gov/form990. If "Yes," complete Schedule A Schedule B, Schedule of Contributors If "Yes," complete Schedule C, Part I If "Yes," complete Schedule C, Part II If "Yes," complete Schedule C, Part
Bardziej szczegółowoKonsultacje - pok Cyfrowe układy sterowania. Literatura. Główne zagadnienia. Historia sterowników PLC. Typy układów sterowania
yfrowe układy sterowania Dr inŝ. Stefan rock Pok. 627EL Konsultacje - pok. 627 Poniedziałki - przed wykładem (17:30-18:30) Wtorek - 13:30-15:00 http:\\www.stefanbrock.neostrada.pl mailto:\\stefan.rock@gmail.com
Bardziej szczegółowoPOLITECHNIKA WARSZAWSKA. Wydział Zarządzania ROZPRAWA DOKTORSKA. mgr Marcin Chrząścik
POLITECHNIKA WARSZAWSKA Wydział Zarządzania ROZPRAWA DOKTORSKA mgr Marcin Chrząścik Model strategii promocji w zarządzaniu wizerunkiem regionu Warmii i Mazur Promotor dr hab. Jarosław S. Kardas, prof.
Bardziej szczegółowoy = The Chain Rule Show all work. No calculator unless otherwise stated. If asked to Explain your answer, write in complete sentences.
The Chain Rule Show all work. No calculator unless otherwise stated. If asked to Eplain your answer, write in complete sentences. 1. Find the derivative of the functions y 7 (b) (a) ( ) y t 1 + t 1 (c)
Bardziej szczegółowowww.irs.gov/form990. If "Yes," complete Schedule A Schedule B, Schedule of Contributors If "Yes," complete Schedule C, Part I If "Yes," complete Schedule C, Part II If "Yes," complete Schedule C, Part
Bardziej szczegółowoISTOTA IDENTYFIKACJI GRANIC PODSYSTEMÓW W PROCESIE CERTYFIKACJI INFRASTRUKTURY KOLEJOWEJ
PRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ z. 116 Transport 2017 PKP Polskie Linie Kolejowe S.A. Andrzej Kochan ISTOTA IDENTYFIKACJI GRANIC PODSYSTEMÓW W PROCESIE CERTYFIKACJI INFRASTRUKTURY KOLEJOWEJ, Streszczenie:
Bardziej szczegółowoBrief description of the paper/report. Chain 90% 10% District
Brief description of the paper/report Item Identification Card (IIC) Process Structure Design Produce Deliver Analyse and Understand Chain 90% 10% District Argument Supply Chain Planning Process. Proces
Bardziej szczegółowoRevenue Maximization. Sept. 25, 2018
Revenue Maximization Sept. 25, 2018 Goal So Far: Ideal Auctions Dominant-Strategy Incentive Compatible (DSIC) b i = v i is a dominant strategy u i 0 x is welfare-maximizing x and p run in polynomial time
Bardziej szczegółowoF-16 VIRTUAL COCKPIT PROJECT OF COMPUTER-AIDED LEARNING APPLICATION GENERAL MAINTENANCE PROCEDURES
GRZESIK Norbert 1 Virtual cockpit, computer-aided learning application, maintenance procedures F-16 VIRTUAL COCKPIT PROJECT OF COMPUTER-AIDED LEARNING APPLICATION GENERAL MAINTENANCE PROCEDURES Author,
Bardziej szczegółowoEuropean Crime Prevention Award (ECPA) Annex I - new version 2014
European Crime Prevention Award (ECPA) Annex I - new version 2014 Załącznik nr 1 General information (Informacje ogólne) 1. Please specify your country. (Kraj pochodzenia:) 2. Is this your country s ECPA
Bardziej szczegółowoZWROTNICOWY ROZJAZD.
PRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ z. 113 Transport 2016 EKSPLOATACJA U ZWROTNICOWY ROZJAZD. DEFINICJ, 6 Streszczenie: ruchem kolejowym. Is rozjazd, W artykule autor podj w rozjazd. 1. sterowania
Bardziej szczegółowoHow much does SMARTech system cost?
1. How much does an intelligent home system cost? With over six years of experience in construction of Intelligent Home Systems we have done a value analysis of systems and services usually purchased by
Bardziej szczegółowoCourse syllabus. Mathematical Basis of Logistics. Information Technology in Logistics. Obligatory course. 1 1 English
Course syllabus Course name: Mathematical Basis of Logistics Study Programme group: i Cycle of studies: Study type: I cycle (bachelor) Full-time Study Programme name: Specialisation: ii Electivity: iii
Bardziej szczegółowoOSI Network Layer. Network Fundamentals Chapter 5. Version Cisco Systems, Inc. All rights reserved. Cisco Public 1
OSI Network Layer Network Fundamentals Chapter 5 Version 4.0 1 OSI Network Layer Network Fundamentals Rozdział 5 Version 4.0 2 Objectives Identify the role of the Network Layer, as it describes communication
Bardziej szczegółowoSelection of controller parameters Strojenie regulatorów
Division of Metrology and Power Processes Automation Selection of controller parameters Strojenie regulatorów A-9 Automatics laboratory Laboratorium automatyki Developed by//opracował: mgr inż. Wojciech
Bardziej szczegółowoTyp VFR. Circular flow adjustment dampers for the adjustment of volume flow rates and pressures in supply air and extract air systems
Typ VFR FOR THE RELIABLE BALANCING OF VOLUME FLOW RATES Circular flow adjustment dampers for the adjustment of volume flow rates and pressures in supply air and extract air systems Each flow adjustment
Bardziej szczegółowo!850016! www.irs.gov/form8879eo. e-file www.irs.gov/form990. If "Yes," complete Schedule A Schedule B, Schedule of Contributors If "Yes," complete Schedule C, Part I If "Yes," complete Schedule C,
Bardziej szczegółowoTowards Stability Analysis of Data Transport Mechanisms: a Fluid Model and an Application
Towards Stability Analysis of Data Transport Mechanisms: a Fluid Model and an Application Gayane Vardoyan *, C. V. Hollot, Don Towsley* * College of Information and Computer Sciences, Department of Electrical
Bardziej szczegółowoMachine Learning for Data Science (CS4786) Lecture 11. Spectral Embedding + Clustering
Machine Learning for Data Science (CS4786) Lecture 11 Spectral Embedding + Clustering MOTIVATING EXAMPLE What can you say from this network? MOTIVATING EXAMPLE How about now? THOUGHT EXPERIMENT For each
Bardziej szczegółowoTRANSCOMP XIV INTERNATIONAL CONFERENCE COMPUTER SYSTEMS AIDED SCIENCE, INDUSTRY AND TRANSPORT
TRANSCOMP XIV INTERNATIONAL CONFERENCE COMPUTER SYSTEMS AIDED SCIENCE, INDUSTRY AND TRANSPORT Piotr KAWALEC 1 Dariusz KOLIŃSKI 2 System zaleŝnościowy, Urządzenia przejazdowe, Modelowanie MODELOWANIE INTERLOCKING`U
Bardziej szczegółowoAppendix. Studia i Materiały Centrum Edukacji Przyrodniczo-Leśnej R. 10. Zeszyt 2 (17) /
Appendix Studia i Materiały Centrum Edukacji Przyrodniczo-Leśnej R. 10. Zeszyt 2 (17) / 2008 191 Wnioski zebrane podczas 12 Konferencji Współczesne Zagadnienia Edukacji leśnej Społeczeństwa Rogów, 4 5
Bardziej szczegółowoOSI Network Layer. Network Fundamentals Chapter 5. ITE PC v4.0 Chapter Cisco Systems, Inc. All rights reserved.
OSI Network Layer Network Fundamentals Chapter 5 1 Network Layer Identify the role of the Network Layer, as it describes communication from one end device to another end device Examine the most common
Bardziej szczegółowoOpenPoland.net API Documentation
OpenPoland.net API Documentation Release 1.0 Michał Gryczka July 11, 2014 Contents 1 REST API tokens: 3 1.1 How to get a token............................................ 3 2 REST API : search for assets
Bardziej szczegółowoKrytyczne czynniki sukcesu w zarządzaniu projektami
Seweryn SPAŁEK Krytyczne czynniki sukcesu w zarządzaniu projektami MONOGRAFIA Wydawnictwo Politechniki Śląskiej Gliwice 2004 SPIS TREŚCI WPROWADZENIE 5 1. ZARZĄDZANIE PROJEKTAMI W ORGANIZACJI 13 1.1. Zarządzanie
Bardziej szczegółowoWYBRANE ZAGADNIENIA ANALIZY WYBORU SYSTEMU SRK DLA LINII KOLEJOWEJ O ZADANYCH PARAMETRACH RUCHOWO- PRZEWOZOWYCH
PRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ z. 113 Transport 2016 Magdalena Kycko Politechnika Warszawska WYBRANE ZAGADNIENIA ANALIZY WYBORU SYSTEMU SRK DLA LINII KOLEJOWEJ O ZADANYCH PARAMETRACH RUCHOWO-
Bardziej szczegółowoProjekt: Mikro zaprogramowane na sukces!
Projekt współfinansowany przez Unię Europejską w ramach Europejskiego Funduszu Społecznego Projekt: Mikro zaprogramowane na sukces! Opis autoryzowanych szkoleń Oracle planowanych do realizacji w ramach
Bardziej szczegółowoMaPlan Sp. z O.O. Click here if your download doesn"t start automatically
Mierzeja Wislana, mapa turystyczna 1:50 000: Mikoszewo, Jantar, Stegna, Sztutowo, Katy Rybackie, Przebrno, Krynica Morska, Piaski, Frombork =... = Carte touristique (Polish Edition) MaPlan Sp. z O.O Click
Bardziej szczegółowoRev Źródło:
KamPROG for AVR Rev. 20190119192125 Źródło: http://wiki.kamamilabs.com/index.php/kamprog_for_avr Spis treści Introdcution... 1 Features... 2 Standard equipment... 4 Installation... 5 Software... 6 AVR
Bardziej szczegółowo& portable system. Keep the frame, change the graphics, change position. Create a new stand!
-EASY FRAMESmodular & portable system -EASY FRAMESmodular & portable system by Keep the frame, change the graphics, change position. Create a new stand! koncepcja the concept EASY FRAMES to system, który
Bardziej szczegółowoDO MONTAŻU POTRZEBNE SĄ DWIE OSOBY! INSTALLATION REQUIRES TWO PEOPLE!
1 HAPPY ANIMALS B09 INSTRUKCJA MONTAŻU ASSEMBLY INSTRUCTIONS Akcesoria / Fittings K1 M M1 ZM1 Z T G1 17 szt. / pcs 13 szt. / pcs B1 13 szt. / pcs W4 13 szt. / pcs W6 14 szt. / pcs U1 1 szt. / pcs U N1
Bardziej szczegółowoRaport bieżący: 44/2018 Data: g. 21:03 Skrócona nazwa emitenta: SERINUS ENERGY plc
Raport bieżący: 44/2018 Data: 2018-05-23 g. 21:03 Skrócona nazwa emitenta: SERINUS ENERGY plc Temat: Zawiadomienie o zmianie udziału w ogólnej liczbie głosów w Serinus Energy plc Podstawa prawna: Inne
Bardziej szczegółowoHow to Connect a Siretta Industrial Router to a VPN Tunnel Using OpenVPN Protocol
How to Connect a Siretta Industrial Router to a VPN Tunnel Using OpenVPN Protocol General Description An advantage of using a powerful industrial router is the ability to send and receive data securely
Bardziej szczegółowoPRÓBY EKSPLOATACYJNE KOMPOZYTOWYCH WSTAWEK HAMULCOWYCH TOWAROWEGO
PRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ z. 112 Transport 2016 Piotr Wasilewski FRIMATRAIL Frenoplast S.A. PRÓBY EKSPLOATACYJNE KOMPOZYTOWYCH WSTAWEK HAMULCOWYCH TYPU K TOWAROWEGO : Streszczenie: Dane zbierane
Bardziej szczegółowoSTRESZCZENIE ROZPRAWY DOKTORSKIEJ. Efektywność przejść dla zwierząt w aspekcie bezpieczeństwa ruchu drogowego na przykładzie autostrady A2
STRESZCZENIE ROZPRAWY DOKTORSKIEJ Efektywność przejść dla zwierząt w aspekcie bezpieczeństwa ruchu drogowego na przykładzie autostrady A2 mgr Ewa Patalas Promotor: dr hab. inż. Adam Wysokowski, prof. UZ
Bardziej szczegółowoPROJECT. Syllabus for course Principles of Marketing. on the study program: Management
Poznań, 2012, September 20th Doctor Anna Scheibe adiunct in the Department of Economic Sciences PROJECT Syllabus for course Principles of Marketing on the study program: Management I. General information
Bardziej szczegółowoSubVersion. Piotr Mikulski. SubVersion. P. Mikulski. Co to jest subversion? Zalety SubVersion. Wady SubVersion. Inne różnice SubVersion i CVS
Piotr Mikulski 2006 Subversion is a free/open-source version control system. That is, Subversion manages files and directories over time. A tree of files is placed into a central repository. The repository
Bardziej szczegółowoWYDZIAŁ BIOLOGII I OCHRONY ŚRODOWISKA
WYDZIAŁ BIOLOGII I OCHRONY ŚRODOWISKA v Biologia v Biotechnologia v Ochrona środowiska studia pierwszego stopnia Dla kandydatów z NOWĄ MATURĄ Kwalifikacja obejmuje konkurs świadectw dojrzałości brane są
Bardziej szczegółowoPROJECT. Syllabus for course Global Marketing. on the study program: Management
Poznań, 2012, September 20th Doctor Anna Scheibe adiunct in the Department of Economic Sciences PROJECT Syllabus for course Global Marketing on the study program: Management I. General information 1. Name
Bardziej szczegółowoRev Źródło:
KAmduino UNO Rev. 20190119182847 Źródło: http://wiki.kamamilabs.com/index.php/kamduino_uno Spis treści Basic features and parameters... 1 Standard equipment... 2 Electrical schematics... 3 AVR ATmega328P
Bardziej szczegółowoDOI: / /32/37
. 2015. 4 (32) 1:18 DOI: 10.17223/1998863 /32/37 -,,. - -. :,,,,., -, -.,.-.,.,.,. -., -,.,,., -, 70 80. (.,.,. ),, -,.,, -,, (1886 1980).,.,, (.,.,..), -, -,,,, ; -, - 346, -,.. :, -, -,,,,,.,,, -,,,
Bardziej szczegółowoTTIC 31210: Advanced Natural Language Processing. Kevin Gimpel Spring Lecture 8: Structured PredicCon 2
TTIC 31210: Advanced Natural Language Processing Kevin Gimpel Spring 2019 Lecture 8: Structured PredicCon 2 1 Roadmap intro (1 lecture) deep learning for NLP (5 lectures) structured predic+on (4 lectures)
Bardziej szczegółowoXIII International PhD Workshop OWD 2011, October 2011 METODA REEINGINEERINGU ORGANIZACJI Z WYKORZYSTANIEM SYMULATORA PROCESÓW BIZNESOWYCH
XIII International PhD Workshop OWD 2011, 22 25 October 2011 METODA REEINGINEERINGU ORGANIZACJI Z WYKORZYSTANIEM SYMULATORA PROCESÓW BIZNESOWYCH METHOD OF REEINGINEERING ORGANIZATION USING BUSINESS PROCESS
Bardziej szczegółowoPlanning and Cabling Networks
Planning and Cabling Networks Network Fundamentals Chapter 10 Version 4.0 1 Projektowanie okablowania i sieci Podstawy sieci Rozdział 10 Version 4.0 2 Objectives Identify the basic network media required
Bardziej szczegółowoKatowice, plan miasta: Skala 1: = City map = Stadtplan (Polish Edition)
Katowice, plan miasta: Skala 1:20 000 = City map = Stadtplan (Polish Edition) Polskie Przedsiebiorstwo Wydawnictw Kartograficznych im. Eugeniusza Romera Click here if your download doesn"t start automatically
Bardziej szczegółowoZastosowanie języków opisu sprzętu do specyfikacji urządzeń srk
Piotr Kawalec 1, Marcin RŜysko 2 Wydział Transportu Politechniki Warszawskiej, Zakład Sterowania Ruchem Zastosowanie języków opisu sprzętu do specyfikacji urządzeń srk 1. WPROWADZENIE Metody opisu urządzeń
Bardziej szczegółowoMachine Learning for Data Science (CS4786) Lecture11. Random Projections & Canonical Correlation Analysis
Machine Learning for Data Science (CS4786) Lecture11 5 Random Projections & Canonical Correlation Analysis The Tall, THE FAT AND THE UGLY n X d The Tall, THE FAT AND THE UGLY d X > n X d n = n d d The
Bardziej szczegółowoPORTS AS LOGISTICS CENTERS FOR CONSTRUCTION AND OPERATION OF THE OFFSHORE WIND FARMS - CASE OF SASSNITZ
Part-financed by EU South Baltic Programme w w w. p t m e w. p l PROSPECTS OF THE OFFSHORE WIND ENERGY DEVELOPMENT IN POLAND - OFFSHORE WIND INDUSTRY IN THE COASTAL CITIES AND PORT AREAS PORTS AS LOGISTICS
Bardziej szczegółowoWprowadzenie do programu RapidMiner, część 5 Michał Bereta
Wprowadzenie do programu RapidMiner, część 5 Michał Bereta www.michalbereta.pl 1. Przekształcenia atrybutów (ang. attribute reduction / transformation, feature extraction). Zamiast wybierad częśd atrybutów
Bardziej szczegółowoZASTOSOWANIE GRAFÓW PRZEJ AUTOMATÓW SKO CZONYCH DO OPISU ALGORYTMÓW DZIA ANIA URZ DZE SRK
PRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ z. 95 Transport 2013 Piotr Kawalec Politechnika Warszawska, Wydzia Transportu Marcin R ysko Bombardier Transportation (Rail Engineering) Polska sp. z o.o. ZASTOSOWANIE
Bardziej szczegółowo