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ę "Zabłocki, W." wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-8 z 8
    Tytuł:
    Zagadnienie sprzeczności i wykluczeń specjalnych w technice srk
    Question contradictions and special exclusions in technology railway traffic control
    Autorzy:
    Zabłocki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/248698.pdf
    Data publikacji:
    2014
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    ruch kolejowy
    systemy sterowania
    komputer zależnościowy
    droga przebiegu
    sprzeczność dróg przebiegu
    wykluczenia specjalne dróg przebiegów
    funkcje zależnościowe
    railway traffic
    control systems
    interlocking computer
    route (drive path, overlap path and protective object)
    contradiction routes
    special exclusion routes
    interlocking function of ATC
    Opis:
    W publikacji przedstawiono specyfikację dokumentacji wymaganej przy opracowywaniu założeń i projektowaniu komputerowych systemów sterownia ruchem. Istotnym zagadnieniem projektowania takich systemów jest automatyzacja utworzenia tablicy zależności z wykazem sprzecznych dróg przebiegów. Zalgorytmizowanie wyznaczania sprzeczności dróg przebiegów wymaga opracowania metody pozwalającej formalizować relacje sprzeczności. Podstawą formalizacji są szczegółowe właściwości obiektów drogi przebiegu i ich analiza zgodna z zasadami bezpieczeństwa, ze szczególnym uwzględnieniem funkcji sprzeczności dróg przebiegów. W projektowaniu komputerowych systemów sterowania powstaje dylemat: czy wyznaczenie funkcji sprzeczności spełnia także wymagania dotyczące sprzeczności dróg przebiegów o wykluczeniach specjalnych. Zaproponowana metoda formalizacji sprzeczności pozwala określić wystarczający warunek sprzeczności, który odnosi się także do wykluczeń specjalnych. Jednakże proponuje się zastosowanie klasycznej tablicy zależności z wykazanymi sprzecznościami dróg przebiegów i wykluczeniami specjalnymi. Oznaczenie wykluczeń specjalnych będzie stanowić dodatkowy czynnik bezpieczeństwa systemu srk.
    The publication presents the specifications of the documentation required in developing of the assumptions and designing computer systems for traffic control. Another important issue is the design of such systems is to automatically create an array according to a list of conflicting routes. Algorithmization of determination of contradictions routes requires to develop a method to formalize the relations conflict. The basis of formalizing are detailed properties of the route objects and analysis consistent with the safety regulations, with particular emphasis on routes contradiction function. In the design of computer control systems arises dilemma whether design of contradiction functions also meets the requirements for routes contradiction with the special exclusion. The proposed method of contradiction formalization allows to determine sufficient condition for conflict, which also applies to the special exclusions. However, it is proposed to apply the classic array interlocking to the disclosed conflicts of routes and special exclusions. Marking of special exclusions will be an additional safety factor of the train control system (ATC).
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2014, 2(104); 399-406
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wybrane zagadnienia formalizacji systemów srk
    Question contradictions and special exclusions in technology railway traffic control
    Autorzy:
    Zabłocki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/248872.pdf
    Data publikacji:
    2015
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    ruch kolejowy
    systemy sterowania
    komputer zależnościowy
    droga przebiegu
    sprzeczność dróg przebiegu
    opis formalny
    railway traffic
    control systems
    interlocking computer
    route (drive path, overlap path and protective object)
    Opis:
    W publikacji przedstawiono wybrane zagadnienia opisu formalnego na przykładzie opisu funkcji sprzeczności. Zamieszczony przykład opisu formalnego został poprzedzony rozważaniami dotyczącymi opisów nieformalnych i półformalnych w ogólnym odniesieniu do procesu projektowania systemu srk i tworzenia dokumentacji systemu. Proces tworzenia poprawnych i pełnych opisów n-p-f staje się istotny z punktu widzenia warunków bezpieczeństwa. Opracowane dokumenty i formy opisu systemu srk stają się bazowymi dokumentami dowodu bezpieczeństwa. Metoda opisu formalnego sprzeczności dróg przebiegów odwołuje się do analizy właściwości obiektów uczestniczących w drogach przebiegów, tj. uwzględnia szczegółowo właściwości obiektów drogi jazdy, drogi ochronnej i obiektów ochronnych. Zaproponowany przykład metody formalizacji pozwala określić wystarczające warunki sprzeczności. Jednakże proponuje się zachować tablicę zależności z wykazanymi sprzecznościami dróg przebiegów jako podstawową formę klasycznego opisu półformalnego.
    The publication presents selected issues of formal description on the example of the function description contradictions. Included example on formal description was preceded by considerations relating to informal and semi-formal descriptions in relation to the overall system design process ATC and system documentation. The process of creating the correct and complete, informal, semi-formal, formal descriptions becomes important from the point of view of safety requirements. Background documents and forms of SRK description of the system are treated as the base documents of proof of safety. The method of formal description of contradiction routes refers to the analysis of properties of objects involved in routes, taking into account the detailed properties of objects route (drive path, overlap path and protective object). The proposed formalization of such methods allows you to specify sufficient conditions of contradictions. However, it is proposed to keep the interlocking board according to the disclosed contradiction routes as the basic form of the classical semi-formal description.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2015, 3(107); 147-156
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Certyfikacja podsystemu sterowanie i jej znaczenie w procesie inwestycyjnym
    Control subsystem certification and its significance in investment process
    Autorzy:
    Kycko, M.
    Zabłocki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/248211.pdf
    Data publikacji:
    2018
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    inwestycje kolejowe
    certyfikacja WE
    interoperacyjność
    railway investments
    EC Certification
    interoperability
    Opis:
    Obecnie branża kolejowa przeżywa dynamiczny rozwój. W najbliższych latach planowanych jest szereg infrastrukturalnych inwestycji kolejowych w przyjętych zgodnie ze strategiami i planami rozwoju transportu kolejowego w Polsce. Fundamentalnym czynnikiem związanym z procesem inwestycyjnym jest proces certyfikacji, bez którego dana inwestycja nie uzyska dopuszczenia do eksploatacji. Mając na uwadze bezpieczeństwo realizacji inwestycji kolejowych, istotnym staje się certyfikacja podsystemu sterowanie i/lub jego składników, które bezpośrednio odpowiadają za bezpieczeństwo prowadzenia ruchu. Podsystem sterowanie jest określony jako wszelkie przytorowe i pokładowe urządzenia niezbędne do zapewnienia bezpieczeństwa oraz sterowania ruchem pociągów na sieci. Dodatkowo podsystem sterowanie jest najbardziej skomplikowanym i trudnym w ocenie podsystemem. Z tego względu niniejsza publikacja jest poświęcona procesowi certyfikacji i wpływu certyfikacji na realizację procesu inwestycyjnego w podsystemie sterowanie.
    Currently, the railway industry is experiencing dynamic development. In the coming years, a number of infrastructural rail investments are planned in accordance with the strategies and plans for the rail transport development in Poland. The fundamental factor associated with the investment process is the certification process without which the given investment will not be released for use. Bearing in mind the safety of railway investments, certification of the control subsystem and / or its interoperability constituents, which are directly responsible for the safety of traffic management, becomes important. The control subsystem is defined as all track-side and on-board equipment required to ensure safety and to command and control movements of trains authorised to travel on the network. In addition, the control subsystem is the most complex and difficult to assess subsystem. For this reason, this publication is devoted to the process of certification and the impact of certification on the implementation of the investment process in the control subsystem.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2018, 2(116); 75-87
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Problem ryzyka w inwestycjach systemów SRK
    Problem of risk in investments of signaling systems
    Autorzy:
    Zabłocki, W.
    Kycko, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/249353.pdf
    Data publikacji:
    2016
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    ryzyko
    inwestycje kolejowe
    system srk
    risk
    railway investments
    railway traffic control systems
    Opis:
    W dobie dynamicznych zmian w obszarze kolejnictwa polskiego, charakteryzujących się wzrostem intensywności inwestycji na rynku kolejowym, istotne stają się zagadnienia ryzyka inwestycji. W publikacji zostały przedstawione wybrane problemy analizy ryzyka oraz metody identyfikacji zagrożeń dotyczących inwestycji począwszy od fazy projektowania a skończywszy na procesie wdrożenia. Jako podstawę rozważań przyjęto odniesienia do metody RAMS.
    In the era of dynamic changes within Polish railways that are characterized by an increase in investment in the railway market, a problem of the investment risk becomes very essential. Some problems of risk analysis and how to identify investment risks beginning from the design phase through to the implementation process were presented in the publication. The RAMS method has been accepted as a basis of considerations.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2016, 3(110); 175-181
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Metodologiczne podstawy oceny ryzyka inwestycji kolejowych
    Methodological basis for risk assessment of railway investments
    Autorzy:
    Kycko, M.
    Zabłocki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/249176.pdf
    Data publikacji:
    2017
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    inwestycje kolejowe
    ryzyko
    metody oceny ryzyka
    railway investments
    risk
    risk assessment methods
    Opis:
    Fundamentalnym czynnikiem związanym z procesem inwestycyjnym w szczególności w odniesieniu do systemów sterowania ruchem kolejowym (srk) jest ryzyko. Dokonując rozważań na temat ryzyka w inwestycjach, nieodzownym staje się zdefiniowanie pojęcia niewymiernego czynnika jakim jest ryzyko. W procesach inwestycyjnych ryzyko oznacza możliwość poniesienia straty lub nieosiągnięcia zamierzonego celu. Podjęcie jakiejkolwiek decyzji działalności inwestycyjnej jest obarczone ryzykiem. Z tego też względu konieczna staje się ocena wielkości ryzyka związanego z procesem inwestycyjnym. Istnieje wiele metod oceny ryzyka, minimalizacja ryzyka jest związana z wyborem metod projektowania systemów srk. Według normy PN-EN 50126 jest podejście RAMS. Opracowanie projektów inwestycyjnych w ujęciu RAMS nie rozwiązuje problemów oceny wielkości ryzyka. W tym celu pomocne stają się metody wielokryterialnego podejścia do rozwiązania problemu. W publikacji zostanie przedstawiony przykład zastosowania pewnej metody do oceny ryzyka.
    The risk factor is a fundamental factor in the investment process, particularly with regard to rail traffic control systems. Considering investment risks, it is indispensable to define the notion of an irrational risk factor. In investment processes, risk means the possibility of incurring losses or failing to achieve the intended purpose. Taking any investment decision is risky. Therefore, it is necessary to assess the amount of risk involved with the investment process. There are many methods of risk assessment, risk minimization is bound with the choice of methods of designing rail traffic control systems. According to EN 50126 standard, RAMS approach should be used. The development of investment projects in RAMS does not solve problems of risk assessment. For this purpose, multi-criterial approach to solving the problem becomes a helpful method. An example of the application of a method for risk assessment have been provided in the publication.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2017, 2(113); 103-114
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Metodyka budowy komputerowych systemów srk
    Methodology of construction of computer systems for atc
    Autorzy:
    Maciejewski, M.
    Zabłocki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/249222.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    ruch kolejowy
    system
    metoda
    sterowanie
    projektowanie
    modelowanie
    automat
    specyfikacja systemu
    opis formalny
    cykl V
    droga przebiegu
    rail traffic
    method
    control
    project
    modeling
    machine (automat)
    specification for the system
    formal description
    cycle V
    route of the Road
    Opis:
    W publikacji przedstawiono ogólne założenia metody tworzenia komputerowych systemów srk. Podstawą metody projektowania systemu srk jest strategia oparta na analizie systemowej uwzględniającej cykl V oraz podejście COTS. Treść publikacji zawiera opisy wybranych etapów projektowania należących do cyklu V. Opisy obejmują własności systemu srk i podstawy metody formalizacji opartej na modelu systemu srk nawiązującym do układu przełączającego (automatu), w którym zostają wyróżnione automaty składowe umożliwiające odwzorowanie funkcji sterowania. Podstawą analizy pracy automatów jest specyfikacja sygnałów oraz wyznaczenie funkcji przejść uzupełnione schematami grafów przejść. Rezultatem powyższej metodyki projektowania jest wypracowana metoda pozwalająca tworzyć bezpieczne komputerowe systemy sterowania ruchem.
    The general assumptions for the method of computer system for atc construction have been presented in the paper. The basis of the method of atr system designing is the strategy resulting from system analysis including V cycle and COTS approach. The descriptions of some designing stages that belong to V cycle have been given. The descriptions contain the atr system properties and the basis of formalization method. The basis of machines work analysis is specification of signals and definition of transfer function completed with schemes of transfer graphs. The result of mentioned above methodology of designing is the method allowing to create computer systems for traffic control.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2011, 96, z. 158; 289-305
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Koncepcja metody lokalizacji balis na liniach wyposażonych w system ETCS
    The concept of method for localizing balises on lines equipped with ETCS
    Autorzy:
    Ilczuk, P.
    Zabłocki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/249262.pdf
    Data publikacji:
    2013
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    ruch kolejowy
    przepustowość
    sterowanie
    system ETCS
    lokalizacja balis
    transponder
    rail traffic
    capacity lines
    control
    balise
    Opis:
    W publikacji przedstawiono problemy dotyczące lokalizacji balis na liniach wyposażonych w system ETCS. Przeprowadzono analizę literaturową oraz sformułowano problem zależności przepustowości linii od rozmieszczenia balis. Zaproponowano także metodę symulacyjnych badań komputerowych, które pozwolą określić optymalne rozmieszczania balis dla zadanej linii kolejowej.
    The paper presents some problems concerning the localizing balises on lines equipped with ETCS. An analysis of literature has been carried out and the problem of the dependency on the line capacity of balise location has been formulated. A method of computer simulation studies that will determine the optimum placement of balises for a given railway line has also been proposed.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2013, 3(102); 121-132
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wybrane zagadnienia sterowania ruchem pociągów (na przykładzie SOP)
    Selected problems of train control (on case of system SOP)
    Autorzy:
    Grochowski, K.
    Konopiński, L.
    Zabłocki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/950196.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    pociąg
    metro
    kolej aglomeracyjna
    system
    sterowanie
    zadanie sterowania
    system ATP
    automatyczne ograniczenie prędkości
    train
    metro (or subway)
    agglomeration rail
    control
    task of control
    ATP (automatic train protection)
    Opis:
    W artykule przedstawiono wybrane problemy dotyczące specyficznych funkcji sterowania ruchem pociągów kolei aglomeracyjnej, w tym metra. Przedstawiono uproszczony opis systemu sterowania ruchem pociągów uwzględniający specyfikę i zadania techniczno - ruchowe. Analizie poddano system ograniczenia prędkości — SOP który zostanie zmodernizowany w celu uzyskania pełnej jego funkcjonalności.
    Some problems relating to the specific of control of agglomeration rail in this subway trains have been presented in paper. So that, the subway train control system, including its specificity and technical - operational tasks has been described in brief. The speed limitation system - SOP, which will be modernized as ATP system for full functionality in the application for Warsaw Metro lines, has been chosen as the object of analysis.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2012, 3(99); 157-166
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-8 z 8

      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