Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Zabłocki, W." wg kryterium: Autor


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