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ę "traffic systems" wg kryterium: Temat


Tytuł:
The application of methods of robust M-estimation in establishing ship position in marine traffic surveillance systems based on radar observations
Autorzy:
Świerczyński, S.
Czaplewski, K.
Powiązania:
https://bibliotekanauki.pl/articles/320689.pdf
Data publikacji:
2013
Wydawca:
Polskie Forum Nawigacyjne
Tematy:
M-estimation
radar
traffic systems
Opis:
In the last years considerable emphasis has been placed on safety at sea. There is the maritime security and surveillance system whose main aim is to execute tasks in the interests of maritime safety and to react in case of emergency. They are monitored by networks of radar stations. On such areas we obtain a lot of navigation data which could be used to improve ship’s parameters (position), using know in geodesy modern M-estimation methods. Simultaneous acquisition of navigational information from many independent radar stations will render it possible to obtain a more accurate ship position in marine traffic surveillance systems in relation to the calculated position. A position expected in an adjustment calculus is received from a watch officer. It is burdened with a fallacy of navigation systems and the quality of marking ship’s route on a map. In the case of navigational-parameter measurements used for depicting ship position, one can obtain incorrect results due to a disturbance in the measurement process. In extreme cases, such erroneous data could significantly differ from the anticipated results. Deviating observations could significantly influence the values of measurement results. In order to eliminate the determination of erroneous measurements, one could use resistant estimation methods with suitably selected attenuation functions. The accuracy of a determined position will not be better than the capabilities of the device used. Adjustment gives the possibility of eliminating or minimizing human errors as well as the errors in the indications of navigational devices. This paper presents the latest robust estimation methods using Danish attenuation function for adjustment of navigational observation, using radar observation.
W ostatnich latach znaczny nacisk kładzie się na bezpieczeństwo na morzu. Jest to zasadniczy cel tworzenia morskich systemów nadzoru i bezpieczeństwa, które powinny zareagować w razie pojawienia się zagrożenia. Ten nadzór jest realizowany poprzez sieć stacji radiolokacyjnych. Na takich obszarach otrzymujemy dużo danych nawigacyjnych, które mogłyby zostać użyte dla poprawienia parametrów statku (pozycji) przy użyciu nowoczesnych metod M-estymacji znanych z geodezji. Równoczesne pozyskiwanie informacji nawigacyjnej z wielu niezależnych stacji radiolokacyjnych stwarza możliwości otrzymania dokładniejszej pozycji statku niż odbierana dotychczas w morskich systemach nadzoru ruchu morskiego. Pozycja estymowana w rachunku wyrównawczym jest otrzymywana od oficera wachtowego. Jest ona obarczona błędami systemów nawigacyjnych i jakości zaznaczenia trasy statku na mapie. W wypadku pomiaru parametrów nawigacyjnych używanych dla przedstawiania pozycji statku można otrzymać niepoprawne wyniki z powodu zakłóceń procesu pomiarowego, a błędne obserwacje mogą znacząco wpłynąć na wyniki. Dla wyeliminowania złych pomiarów można by użyć odpornych metod estymacji z odpowiednio dobraną funkcją wzmocnienia. Dokładność wyznaczonej pozycji nie będzie większa niż możliwości użytych systemów pomiarowych. Estymacja daje możliwość eliminowania albo minimalizacji błędów ludzkich oraz błędów we wskazaniach urządzeń nawigacyjnych. Artykuł przedstawia najnowszą metodę estymacji z wykorzystaniem tzw. duńskiej funkcji wzmocnienia dla dostosowania obserwacji nawigacyjnych opartych na obserwacjach radarowych.
Źródło:
Annual of Navigation; 2013, 20; 127-147
1640-8632
Pojawia się w:
Annual of Navigation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Urban flows simulator based on complex system of queues: procedures for simulator generation
Autorzy:
Pasini, L.
Sabbatini, S.
Powiązania:
https://bibliotekanauki.pl/articles/1938604.pdf
Data publikacji:
2016
Wydawca:
Politechnika Gdańska
Tematy:
traffic systems
queuing networks
modeling
simulation
Opis:
In a previous work [1], we have defined an object library that allows the building of architectural models of urban traffic systems. In this work we illustrate the procedures that enable us to produce a system simulator starting from the architectural model of an urban vehicular traffic system.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2016, 20, 1; 9-31
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Simulation of road systems and queuing network models
Autorzy:
Pasini, L.
Feliziani, S.
Giorgi, M.
Powiązania:
https://bibliotekanauki.pl/articles/1964157.pdf
Data publikacji:
2005
Wydawca:
Politechnika Gdańska
Tematy:
queue systems
vehicular traffic systems
computer networks simulation
Opis:
The purpose of this paper is to describe the versatility of queuing network systems for modelling vehicular traffic flows in road systems. These techniques are applicable in a simulation context because of the complexity of the resulting models, which can not be solved by mathematical analytical solvers. Moreover, these techniques can be used to model and simulate the behaviour of an automatic control system of vehicular flow in the same frame.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2005, 9, 4; 397-408
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Evaluation of the impact of changes in the city road system on traffic flows
Autorzy:
Pasini, Leonardo
Powiązania:
https://bibliotekanauki.pl/articles/1955280.pdf
Data publikacji:
2018
Wydawca:
Politechnika Gdańska
Tematy:
vehicular traffic systems
queuing networks
modeling
simulation
Opis:
This paper outlines a study carried out to answer the questions asked by an architect of the Siena Municipality Office during a conference at our Department on the managementof traffic flows through the Siena North city road system. The purpose of the study was to ascertain if changes in the road system introduced and included in the new City Developmen tPlan would resolve the current traffic congestion issues. In order to answer this question, we used the technology for the development of vehicle traffic system simulators which was introduced during our previous projects (TASKQuart.14(4) 405,17(3) 155,20(1) 9,20(3) 273).
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2018, 22, 2; 135-171
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Simulation of a vehicular traffic system based on queuing network models
Autorzy:
Pasini, Leonardo
Bianchini, Lorenzo
Powiązania:
https://bibliotekanauki.pl/articles/1954450.pdf
Data publikacji:
2014
Wydawca:
Politechnika Gdańska
Tematy:
vehicular traffic systems
queuing networks
modeling
simulation
Opis:
This work is part of the research activities developed in our department on the construction of vehicle traffic system simulators (TASKQuart.22(2) 135 [1],20(1) 9 [2],17(3) 155 [3],20(3) 273 [5],14(4) 405 [6],9(4) 397 [7],Simulation Modelling Practice and Theory 17 (4) 625 [8]). The modeling of the traffic system is implemented through the use of queuing networks. In this case we analyze, through a simulation, the impact on traffic flows of a structural change that the Municipal Administration has implemented on the urban road system. The study refers to some works published by us previously about the procedures applied by us to build a simulator. In this case we have developed software allowing us to analyze the data tracked by the system simulations to display it graphically. This procedure enables us to clearly compare the traffic system behavior in its new configuration with the traffic system behavior in the previous configuration.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2019, 23, 1; 101-135
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Vehicular flow simulators based on complex queuing systems
Autorzy:
Pasini, L.
Feliziani, S.
Powiązania:
https://bibliotekanauki.pl/articles/1955296.pdf
Data publikacji:
2013
Wydawca:
Politechnika Gdańska
Tematy:
traffic systems
queueing network
modeling and simulation
Opis:
The crux of this paper is to demonstrate how it is possible to model systems of vehicular trafic by means of complex queuing network models. The objects comprising the library that we define in this work all follow the approach whereby they are composed of one or more queuing networks of service systems that are traversed by customers (vehicles).
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2013, 17, 3-4; 155--180
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Vehicular traffic simulations: use of a games engine for video rendering and verification of an architecture model based on queuing systems
Autorzy:
Pasini, L.
Rietti, F. M.
Allegretto, F.
Powiązania:
https://bibliotekanauki.pl/articles/1938605.pdf
Data publikacji:
2016
Wydawca:
Politechnika Gdańska
Tematy:
traffic systems
queuing networks
modelling and simulation
graphic simulation
Opis:
In a previous work [Pasini L and Sabatini S 2016 TASK Quart. 20 (1) 9], we described a technique that allows a specific system of urban traffic to be associated to a description file system, called Model.dat. This file contains a list of data objects that are defined in the library [Pasini L and Feliziani S 2013 TASK Quart. 17 (3) 155] and that form the architecture model of a vehicular traffic system. This model turns out to be a network of queuing systems. In this work, we illustrate how we adapted the old procedure to study a new urban traffic system. Moreover, through a new tracking procedure, we illustrate how we developed a graphic simulation able to reinterpret the data from the simulation of the queuing networks model, in order to make it easier to check the effectiveness of the simulator and to have a graphical way to analyze the data.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2016, 20, 3; 273-294
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Causative chaindifference for each type of accidents in Japanese Maritime Traffic Systems (MTS)
Autorzy:
Mutmainnah, W.
Bowo, L. P.
Sulistiyono, A. B.
Furusho, M.
Powiązania:
https://bibliotekanauki.pl/articles/117583.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
maritime traffic
vessel traffic service (VTS)
Maritime Traffic Systems (MTS)
Japanese Maritime Traffic Systems (MTS)
Causative Chain (CC)
type of accidents
maritime accidents
Japan Transportation Safety Board (JTSB)
Opis:
Causative chain (CC) is a failure chain that cause accident as an outcome product of the second step of MOP model, namely line relation analysis (LRA). This CC is a connection of several causative factors (CF), an outcome product of first step of MOP model, namely corner analysis (CA). MOP Model is an abbreviation from 4M Overturned Pyramid, created by authors by combining 2 accident analysis models. There are two steps in this model, namely CA and LRA. Utilizing this model can know what is CF that happen dominantly to the accidents and what is a danger CC that characterize accidents in a certain place and certain period. By knowing the characteristics, the preventive action can be decided to decrease the number of accident in the next period. The aim of this paper is providing the development of MOP Model that has been upgraded and understanding the characteristics of each type accident. The data that is analyzed in this paper is Japanese accidents from 2008 until 2013, which is available on Japan Transportation Safety Board (JTSB)’s website. The analysis shows that every type of accidents has a unique characteristic, shown by their CFs and CCs. However, Man Factor is still playing role to the system dominantly.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2017, 11, 3; 489-494
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Contribution to the System : Theoretic Approach to Bandwidth Estimation
Autorzy:
Borys, A.
Wasielewska, K.
Rybarczyk, D.
Powiązania:
https://bibliotekanauki.pl/articles/226012.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
network calculus
rate chirps
bandwidth estimation
nonlinear and/or linear parametric traffic systems
Opis:
The network calculus provides a theoretical background for description of traffic in computer networks. Using this tool in explanation of the so-called pathchirp method of measuring the available bandwidth, the validity and range of application of some relationships exploited are verified in this paper. The derivations are carried out in a wider context than that considered in a recent paper by Liebeherr et al. published in IEEE/ACM Transactions on Networking on network bandwidth estimation, providing thereby new insights and outcomes. These results, summarized in a table, show a means of bounding the service curve, depending upon its convexity or non-convexity property assumed and upon the linearity or non-linearity of a network considered. Moreover, it is shown here that the nonlinear network example analyzed by Liebeherr et al. can be viewed equivalently as a linear parametric network. For this network, the behaviour of the cross traffic is considered in a more detail, too.
Źródło:
International Journal of Electronics and Telecommunications; 2013, 59, 2; 141-149
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Model systemu zarządzania ruchem pojazdów w obszarze miejskim z wykorzystaniem sieci neuronowych
Model of an urban traffic management system utilising neural networks
Autorzy:
Pamuła, T.
Król, A.
Powiązania:
https://bibliotekanauki.pl/articles/196734.pdf
Data publikacji:
2010
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
zarządzanie ruchem pojazdów
sieci neuronowe
miejski system sterowania ruchem
vehicle traffic management
neural networks
urban traffic systems
Opis:
Artykuł przedstawia przegląd zastosowań sieci neuronowych w systemach zarządzania ruchem miejskim oraz propozycję systemu zarządzania, wykorzystującego sieci neuronowe. Opisane zostały te cechy sieci neuronowej, które mogą być przydatne w rozwiązywaniu zadań optymalizacji, związanych z opracowywaniem optymalnych strategii sterowania w miejskich systemach sterowania ruchem (UTC systems). W zaproponowanym modelu sieci neuronowe zastosowano do predykcji natężenia ruchu, opierając się na danych historycznych.
The article reviews neural networks applications in urban traffic management systems and presents a new approach for utilizing NN for devising a management system. It describes neural networks features, which allow them to be used to solve optimisation tasks involved in designing road traffic control strategies in urban traffic systems (UTC systems). In the proposed approach a neural network model is used for the prediction of road traffic intensity based on historical data.
Źródło:
Zeszyty Naukowe. Transport / Politechnika Śląska; 2010, 67; 91-96
0209-3324
2450-1549
Pojawia się w:
Zeszyty Naukowe. Transport / Politechnika Śląska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Simulation of a vehicular traffic system based on queueing network models: comparative analysis of two models
Autorzy:
Pasini, Leonardo
Del Giudice, Nicola
Powiązania:
https://bibliotekanauki.pl/articles/1954603.pdf
Data publikacji:
2020
Wydawca:
Politechnika Gdańska
Tematy:
vehicular traffic systems
queuing networks
modeling
simulation
systemy ruchu kołowego
sieci kolejkowe
modelowanie
symulacja
Opis:
In the previous works we presented a study for modeling and simulation of vehicular traffic systems based on queuing networks. Specifically, in paper (Pasini and Bianchini, 2019), we studied the urban network located in North Siena, in the city of Siena (Italy), in its actual layout, after the Municipality had introduced some changes for vehicular flow management. This system is based on two roundabouts and a crossroad, as shown in Figure 1. In this work, we are going to conclude our previous study, comparing the actual vehicular flow and the flow derived from an alternative system, foreseen by the PRG of the Municipality of Siena which is composed of three roundabouts and which has not been implemented yet.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2020, 24, 3; 243-292
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza funkcjonowania systemu sterowania ruchem na ciągu tramwajowym Lipińskiego–Czerwone Maki w Krakowie
Analysis of operation the traffic control system of the tram line at Lipińskiego–Czerwone Maki streets in Krakow
Autorzy:
Aleksandrowicz, J.
Chwastek, K.
Powiązania:
https://bibliotekanauki.pl/articles/193541.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
transport zbiorowy
priorytet
systemy sterowania ruchem
public transport
priority
traffic control systems
Opis:
Artykuł porusza tematykę systemów sterowania ruchem, których wdrażanie na obszarach miejskich pozwala zwiększyć efektywność funkcjonowania komunikacji zbiorowej. Przeprowadzono badania, które miały na celu analizę wpływu funkcjonowania obszarowego systemu sterowania ruchem na płynność przejazdu tramwajów na odcinku od ulicy Lipińskiego do pętli Czerwone Maki. Założeniem na omawianym ciągu komunikacyjnym było uprzywilejowanie pojazdów komunikacji miejskiej poprzez nadawanie im priorytetu w ruchu. Podczas obserwacji odnotowywano zdarzenia związane z ruchem tramwajów oraz sytuacją na skrzyżowaniach, określając m.in. przyczynę zatrzymania pojazdu. W artykule przedstawiono ogólne wyniki dla całego ciągu dla poszczególnych okresów pomiarowych. Uzyskane dane posłużyły do obliczenia ilości zatrzymań tramwajów spowodowanych nieprawidłowym działaniem systemu. W oparciu o zebrane informacje wyznaczono również liczbę tramwajów pokonujących analizowany ciąg z określoną liczbą zatrzymań. Ponadto w artykule poruszono kwestie wpływu liczby zatrzymań na czas przejazdu badanego odcinka. Wyznaczono również koszt zużycia energii spowodowany przez zatrzymania tramwajów przed sygnalizatorami, z uwzględnieniem specyfikacji technicznych poruszającego się na analizowanym ciągu taboru. Z przeprowadzonych analiz wynika, iż liczba zatrzymań oraz średni czas ich trwania znacznie odbiegają od założeń przyjętych podczas wdrażania systemu na badanym ciągu. Oznacza to, że system wymaga dopracowania, którego celem powinna być minimalizacja liczby i długości zatrzymań tramwajów. Ponadto przeprowadzone badania pokazują konieczność monitorowania parametrów pracy systemów sterowania ruchem w celu optymalizacji ich efektywności.
The article discusses issues of traffic control systems which implementation in the urban areas enables to rise effectiveness of public transport operation. The researches aimed to analyze traffic control system impact on smoothness of trams’ flow in the section from the Lipińskiego street to the Czerwone Maki terminus. In this specific tram lane it was assumed that public transport vehicles are to be given priority in the traffic. During observations occurrences connected to the tram traffic and intersections were noted together with – among others - the cause of vehicles stoppages. In the article general results of for specific measures periods have been presented. Gained date enabled possibility to calculate number of stoppages caused by incorrect operation of the system. Basing on collected information also number of trams operating on this line with defined number of stoppages has been determined. Besides a question of the impact of number of stoppages on travel time on the analyzed section have been discussed. Also cost of the electric energy use caused by trams’ stoppages before signal lights with the reference to the type of vehicles operating on this lane has been calculated. Conducted analysis result with conclusion that number of stoppages and its average duration (time) significantly diverges from assumptions accepted during system implementation at this line. It means that system needs to be re-elaborated aimed at mineralization of number and duration of tram stoppages. Conducted researches also conclude with necessity to monitor parameters of traffic control systems aimed at optimization of its effectiveness.
Źródło:
Transport Miejski i Regionalny; 2014, 11; 35-40
1732-5153
Pojawia się w:
Transport Miejski i Regionalny
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ł:
Ujednolicenie struktur danych stosowanych w diagnostyce systemów sterowania ruchem kolejowym
Unification of data structures used in the diagnosis of rail traffic control systems
Autorzy:
Łukasik, Z.
Nowakowski, W.
Ciszewski, T.
Powiązania:
https://bibliotekanauki.pl/articles/309669.pdf
Data publikacji:
2016
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
system sterowania ruchem kolejowym
diagnostyka systemowa
rejestracja zdarzeń
rail traffic control systems
diagnostics systems
events logging
Opis:
Nowoczesne systemy sterowania ruchem kolejowym powszechnie wykorzystują technologie informacyjne, które umożliwiają wykonywanie autodiagnostyki i rejestracji zdarzeń. Brak standardów w zakresie mechanizmów zbierania danych i ich reprezentacji powoduje, że producenci systemów stosują w tym zakresie własne rozwiązania. Tak więc, mimo braku barier technologicznych, istnieje duża trudność w pozyskiwaniu spójnych danych diagnostycznych, a tym samym ich analizy. W artykule zaproponowano wykorzystanie standardu XML (ang. eXtensible Markup Language) do opracowania specjalizowanego języka znakowania służącego do zapisywania danych diagnostycznych pochodzących z systemów sterowania ruchem kolejowym. Artykuł został opracowany w ramach projektu badawczego NCBiR nr PBS3/A6/29/2015 pt.: "System gromadzenia danych eksploatacyjnych i analizy niezawodności i bezpieczeństwa układów automatyki kolejowej".
Modern railway traffic control systems use information technologies that allow you to perform self-diagnosis and record events. No standards for data collection mechanisms and their representation results in system producers applying in this area their own solutions. So, despite the lack of technological barriers, there is difficulty in obtaining consistent diagnostic data, and thus their analysis. The article proposes the use of eXtensible Markup Language (XML) to develop a specialized markup language used to write diagnostic data from the traffic control systems. Standardization of data structures for diagnose railway automation systems would allow the unification of interfaces between systems, and the development of a common diagnostic system. The paper was carried out as a part of the research project of the National Centre for Research and Development NCBiR NR PBS3/A6/29/2015, titled „The system for maintenance data acquisition and analysis of reliability and safety of traffic control systems".
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2016, 17, 6; 995-998
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Środowisko projektowania systemów sterowania ruchem
Design environment for traffic control systems
Autorzy:
Dąbrowski, W.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/249961.pdf
Data publikacji:
2013
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
systemy sterowania ruchem
języki dziedzinowe
DSL
transML
TransCAD
traffic control systems
domain specific languages
Opis:
Poprawne projektowanie systemów sterowania ruchem wymaga, przy obecnej ich złożoności, wsparcia konceptualnego i narzędziowego. Niniejsze praca przedstawia propozycję budowy środowiska projektowania systemów kontroli i sterowania ruchem TransCAD. Środowisko to bazuje na języku TransML, który jest specjalizowanym, dziedzinowym językiem dedykowanym do budowy systemów kontroli i nadzoru ruchu. Proponowane środowisko projektowe może stanowić wsparcie dla ekspertów dziedzinowych przy projektowaniu systemów nadzoru ruchu. Artykuł przedstawia koncepcję języka dziedzinowego TransML, wprowadza definicję reguł dziedzinowych zapisanych w sposób formalny w języku OCL i przedstawia środowisko projektowania TransCAD. Autorzy ilustrują koncepcję zastosowań środowiska na prostym przykładzie. Definiowanie reguł dziedzinowych (w postaci formuł OCL) daje możliwość weryfikacji poprawności budowanego modelu oraz automatyzacji procesów projektowania i budowy tego typu systemów. W artykule autorzy proponują też dalsze kierunki rozwoju i badań języka TransML i środowiska TransCAD.
Proper design of complex control systems needs conceptual tools. This paper presents a proposal for the construction of design environment for control of traffic systems TransCAD . This environment is based on the language TransML, which is a specialized , domain centric language for experts in the field of traffic control systems. This paper presents the concept of TransML language , provides a definition of domain rules written in a formal language OCL and presents design environment TransCAD. The authors illustrate the concept uses a simple example. Defining the rules of domain (in the form of formulas OCL) provides the opportunity to verify the correctness of the model under construction and automation of the design and construction of such systems. In this paper the authors discuss future development of the language TransML and the environment TransCAD.
Źródło:
TTS Technika Transportu Szynowego; 2013, 10; 1423-1435, CD
1232-3829
2543-5728
Pojawia się w:
TTS Technika Transportu Szynowego
Dostawca treści:
Biblioteka Nauki
Artykuł

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