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


Wyświetlanie 1-13 z 13
Tytuł:
A survey of requirements for COVID-19 mitigation strategies
Autorzy:
Jamroga, Wojciech
Mestel, David
Roenne, Peter B.
Ryan, Peter Y. A.
Skrobot, Marjan
Powiązania:
https://bibliotekanauki.pl/articles/2086859.pdf
Data publikacji:
2021
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
COVID-19
mitigation strategies
specification
multi-agent logic
strategia łagodzenia
specyfikacja
logika wieloagentowa
Opis:
The COVID-19 pandemic has influenced virtually all aspects of our lives. Across the world, countries have applied various mitigation strategies, based on social, political, and technological instruments. We postulate that multi-agent systems can provide a common platform to study (and balance) their essential properties. We also show how to obtain a comprehensive list of the properties by “distilling” them from media snippets. Finally, we present a preliminary take on their formal specification, using ideas from multi-agent logics.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2021, 69, 4; e137724, 1--10
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Semantic Web in a Nutshell
Sieć semantyczna w pigułce
Autorzy:
Szałas, A.
Powiązania:
https://bibliotekanauki.pl/articles/91341.pdf
Data publikacji:
2011
Wydawca:
Warszawska Wyższa Szkoła Informatyki
Tematy:
semantic web
specification of ontologies
verification of ontologies
Semantyczny Internet
specyfikacja ontologii
weryfikacja ontologii
Opis:
The paper outlines selected topics related to Semantic Web. We start with problems with the use of current web search engines. Next, we discuss the architecture and basic concepts of Semantic Web whose central ideas focus around ontologies. We show the role of logics in the specification and verification of ontologies as well as reasoning about them. We mainly concentrate on rule languages. In particular we discuss the 4QL query language supplying the user with simple, yet powerful constructs for filling gaps in missing knowledge as well as for disambiguation of inconsistencies.
Artykuł zarysowuje wybrane zagadnienia związane z Semantycznym Internetem. Wychodząc od problemów rozwiązań stosowanych we współczesnych wyszukiwarkach, traktuje o architekturze i zasadniczych koncepcjach Semantycznego Internetu, którego kluczowym pojęciem są ontologie. Tekst omawia miejsce logik w specyfikacji i weryfikacji ontologii, a także wnioskowaniu o nich, koncentrując się przede wszystkim na językach regułowych, w tym na języku 4QL, dostarczającym prostych konstrukcji umożliwiających reakcję na niepełną i/lub sprzeczną informację.
Źródło:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2011, 5, 6; 14-19
1896-396X
2082-8349
Pojawia się w:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
FSP and FLTL framework for specification and verification of middle-agents
Autorzy:
Bădică, A.
Bădică, C.
Powiązania:
https://bibliotekanauki.pl/articles/907813.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
system wieloagentowy
algebra procesów
specyfikacja formalna
multi-agent system
interaction protocol
process algebra
formal specification
Opis:
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of requester with provider agents requires the use of specialized agents known as middle-agents. In this paper, we propose a formal framework intended to precisely characterize types of middle-agents with a special focus on matchmakers, brokers and front-agents by formally modeling their interactions with requesters and providers. Our approach is based on capturing interaction protocols between requesters, providers and middle-agents as finite state processes represented using FSP process algebra. The resulting specifications are formally verifiable using FLTL temporal logic. The main results of this work include (i) precise specification of interaction protocols depending on the type of middle-agent (this can also be a basis for characterizing types of middle-agents), (ii) improvement of communication between designers and developers and facilitation of formal verification of agent systems, (iii) guided design and implementation of agent-based software systems that incorporate middle-agents.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2011, 21, 1; 9-25
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A qualitative trajectory calculus as a basis for representing moving objects in Geographical Information Systems
Autorzy:
Weghe, N. van de
Cohn, A. G.
Tre, G. de
Maeyer, P. de
Powiązania:
https://bibliotekanauki.pl/articles/970477.pdf
Data publikacji:
2006
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
obiekt ruchomy
wnioskowanie jakościowe
specyfikacja jakościowa
moving objects
qualitative reasoning
qualitative representation
spatio-temporal modelling
Opis:
Qualitative formalisms, suited to express qualitative temporal or spatial relationships between entities, have gained wide acceptance as a useful way of abstracting from the real world. The question remains how to describe spatio-temporal concepts, such as the interaction between disconnected moving objects, adequately within a qualitative calculus and more specifically how to use this in geographical information systems. In this paper, the Basic Qualitative Trajectory Calculus (QTCB) for representing and reasoning about moving objects is presented. QTCB enables comparisons between positions of objects at different time points ro be made. The calculus is based on few primitives (i.e., distance and speed constraints), making it elegant and theoretically simple. To clarify the way in which trajectories are represented within QTCB: specific cases of movements (e.g. circular movement) are presented. To illustrate the naturalness of QTC, a "predator-prey" example is studied.
Źródło:
Control and Cybernetics; 2006, 35, 1; 97-119
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metro as an example of an urban rail system. Four case studies from Europe
Metro jako przykład zurbanizowanego systemu kolejowego.Cztery przykłady z Europy
Autorzy:
Fraszczyk, A.
Magalhaes Da Silva, J.
Gwóźdź, A.
Vasileva, G.
Powiązania:
https://bibliotekanauki.pl/articles/374208.pdf
Data publikacji:
2014
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
metro system
urban rail system
comparisons
ticketing
system metro
system kolei miejskich
porównania
specyfikacja techniczna
bilet
Opis:
Underground, tube, subway or metro are common expressions used to describe a rapid transit system serving urban areas. Such a system uses dedicated rail corridors, can run underground or overground, and often includes tunnels and viaducts. Although there are 148 cities in the world with metro systems, each system is different, interms of layout, length, capacity, etc., as it serves different geographical and socioeconomical areas. In this context, the paper presents four European metro systems (Sofia, Warsaw, Lisbon, and Tyne and Wear), introduces the systems dimensions, rolling stock and ticketing strategies and compares similarities and differences between the systems. The analyses suggest a number of recommendations and improvements, which if implemented, could benefit other metro systems in Europe and beyond.
W języku angielskim występuje wiele określeń opisujących metro. System ten wykorzystuje dedykowane korytarze kolejowe, mogące pracować pod ziemią lub nad ziemią i często obejmuje tunele oraz wiadukty. Mimo że istnieje na świecie 148 miast mających systemy metra, każdy system jest inny pod względem układu, długości, pojemności itp., ponieważ występują w różnych układach geograficznych i systemach społeczno-ekonomicznych. W tym kontekście, artykuł prezentuje cztery europejskie systemy metra (Sofii, Warszawy, Lizbony i Tyne and Wear), przedstawia wymiary systemów metra, taboru, strategię biletową i porównuje podobieństwa i różnice pomiędzy nimi. Analizy wskazują wiele zaleceń i usprawnień, które jeżeli zostaną wdrożone, mogą przynieść zysk dla systemów metra w Europie i poza nią.
Źródło:
Transport Problems; 2014, T. 9, z. spec.; 101-108
1896-0596
2300-861X
Pojawia się w:
Transport Problems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The on-line works of virtual laboratory example solutions
Autorzy:
Piecha, J.
Bernaś, M.
Powiązania:
https://bibliotekanauki.pl/articles/333224.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
e-learning
e-zawartość
MAMS
jednostki QRU
specyfikacja jednostki
e-content
QRU units
unit specification
kay methodology
Opis:
The paper presents the one e-content example used as a pattern solution for distance learning resources development at the University of Silesia. The Intranet technologies were used as networking services for training processes control and future distribution services at the University of Silesia distance learning network. The given solution provides the development team at Distance Learning Technologies Centre with various unifications and library units of four courses that are under development at present in Department of Computer Systems, institute of Informatics. All the applications are running on MAMS (Multimedia Applications Management Shell) environment as a common frame structure for every e-lesson. The MAMS applications are provided with several mechanisms that allow monitoring the user knowledge level and study progress. Various examples of the applications layout and their characteristic features are presented in this contribution.
Źródło:
Journal of Medical Informatics & Technologies; 2005, 9; 295-301
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Transformation of UML 2.x activity diagrams into control interpreted Petri nets in hardware behavioural modelling
Transformacja diagramów aktywności UML 2.x do interpretowanych sieci Petriego sterowania w specyfikacji behawioralnej sprzętu
Autorzy:
Grobelny, M.
Powiązania:
https://bibliotekanauki.pl/articles/159311.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
Tematy:
sieci Petriego
diagramy aktywności UML
transformacja
sterowanie
specyfikacja behawioralna sprzętu
Petri nets
UML activity diagrams
transformation
control process
hardware behavioural modelling
Opis:
Behavioural specification is one of the most important steps in embedded systems design. This phase play a key role cause in this step the shape and behaviour of the final product is established. The process can be realized with use of various technologies and tools supporting the phase. Two of the technologies supporting behavioural modelling are UML activity diagrams and Petri nets. The paper presents transformation of UML activity diagrams into control interpreted Petri nets. Transformation is targeted for project in which both technologies are used in parallel. The system described in the paper is realized as a bridge between mentioned modelling technologies fully supporting automation of the transformation process. Moreover, the system enables use of additional techniques such as formal verification or hardware description language code generation.
Specyfikacja zachowania systemu jest jednym z kluczowych elementów procesu projektowania sterowników logicznych. Etap ten odrywa ważną rolę ze względu na fakt definiowania kształtu i sposobu zachowania docelowego produktu. Może ona zostać wykonana na wiele sposobów z wykorzystaniem różnych narzędzi wspomagających ten proces. Jednymi z technologii, w których istnieje możliwość opisu zachowania docelowego urządzenia, są diagramy aktywności języka UML i sieci Petriego. Artykuł przedstawia koncepcję transformacji pomiędzy diagramami aktywności języka UML a interpretowanymi sieciami Petriego sterowania. Transformacja dedykowana jest dla projektów, w których inżynierowie wykorzystuję obie wspomniane technologie. Dodatkowo omówiony w artykule system do transformacji ma na celu stworzenie mostu pomiędzy obiema technologiami w pełni automatyzując proces przemieszczania się pomiędzy nimi. Umożliwia on także wykorzystanie dodatkowych narzędzi wspomagających proces projektowania, takich jak formalna weryfikacji czy generowanie kodu w językach opisu sprzętu.
Źródło:
Prace Instytutu Elektrotechniki; 2011, 251; 87-95
0032-6216
Pojawia się w:
Prace Instytutu Elektrotechniki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Developing Software Requirements Specification for a strategic goods air transportation system
Tworzenie specyfikacji wymagań oprogramowania dla systemu zarządzania transportem lotniczym towarów strategicznych
Autorzy:
Wojaczek, Anna
Brown, Michael Scott
Smal, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/30097983.pdf
Data publikacji:
2020
Wydawca:
Akademia Wojsk Lądowych imienia generała Tadeusza Kościuszki
Tematy:
Air Cargo Management
military cargo
dual-use cargo
logistics
Software Requirements Specification
user screen mockup
informatyka w zarządzaniu
transport lotniczy
specyfikacja wymagań
Opis:
Management of air transportation of strategic goods is a very complex task with many challenges. This paper describes the method used in documenting the requirements for an IT system intended to support management of air transportation of military and dual-use goods. The work was completed in conjunction with a private logistics company. The project produced a Software Requirements Specification document and a working prototype. The document and prototype are held by the Military University of Land Forces of Poland. Requirements were solicited from numerous sources. A private logistics company, numerous books and personal experience of the team members all contributed to requirements. These requirements were then analyzed and a final set of requirements was produced. Screen mock-ups and a working prototype were developed. Selected screen shots are within the paper. The working prototype was developed by constructing a database and using a code generator to produce a web application.
Zarządzanie transportem lotniczym towarów strategicznych jest zagadnieniem niezwykle złożonym, a jakość realizacji zadań z tego zakresu może zostać poprawiona poprzez wdrożenie odpowiedniego oprogramowania. W artykule opisano metody zastosowane do opracowania specyfikacji wymagań systemu informatycznego (ang. Software Requirements Specification, SRS) przeznaczonego do wsparcia zarządzania transportem lotniczym towarów strategicznych. W ramach projektu utworzono również działający prototyp aplikacji internetowej. Sformułowanie wymagań zostało oparte o wiele źródeł. Wykorzystano wiedzę pozyskaną ze współpracy z prywatną firmą logistyczną, informacje zawarte w literaturze, a także osobiste doświadczenie autorów. Wszystko to przyczyniło się do określenia wstępnych potrzeb (zakresu informacyjnego i funkcjonalności), które zostały następnie przeanalizowane i wykorzystane do sformułowania zestawu wymagań zawartych w dokumencie SRS. W celu wizualizacji elementów programu utworzono makiety interfejsu użytkownika. Prototyp funkcjonalny został przygotowany poprzez zbudowanie bazy danych i użycie generatora kodu do stworzenia aplikacji internetowej.
Źródło:
Scientific Journal of the Military University of Land Forces; 2020, 52, 4(198); 906-917
2544-7122
2545-0719
Pojawia się w:
Scientific Journal of the Military University of Land Forces
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Inhibitor and enabling arcs in logic controller design
Łuki zakazujące i zezwalające w projektowaniu sterowników logicznych
Autorzy:
Grobelna, I.
Grobelny, M.
Powiązania:
https://bibliotekanauki.pl/articles/153449.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
specyfikacja sterownika logicznego
formalna weryfikacja
łuki zakazujące i zezwalające sieci Petriego
diagramy aktywności języka UML
logic controller specification
formal verification
Petri nets inhibitor and enabling arcs
UML activity diagrams
Opis:
The paper presents a novel approach to rule-based logic controller specification and its verification. The proposed abstract model is suited for formal verification (using model checking technique) as well as for logic synthesis (using hardware description language VHDL). Special focus is put on Interpreted Petri Nets with inhibitor and enabling arcs, their realization in rule-based model and, additionally, their interpretation in another logic controller specification technique - UML Activity Diagrams (version 2.x).
Artykuł przedstawia nowatorskie podejście do regułowej specyfikacji sterownika logicznego, wraz z jej weryfikacją (walidacją). Proponowany abstrakcyjny model logiczny jest dogodny zarówno do formalnej weryfikacji modelowej, jak również do syntezy logicznej (język opisu sprzętu VHDL). Szczególną uwagę poświęcono łukom zakazującym i zezwalającym interpretowanych sieci Petriego. Po krótkim wprowadzeniu do omawianej tematyki (rozdział 2), przedstawiono przykład interpretowanej sieci Petriego z łukami zakazującymi i zezwalającymi (rys. 1). Podano sposób ich realizacji w abstrakcyjnym modelu logicznym (rozdział 3, schemat kompletnego proponowanego systemu na rys. 2 oraz przykład regułowego modelu sterownika logicznego na rys. 3). Zaproponowano interpretację łuków zakazujących i zezwalających sieci Petriego w innej postaci specyfikacji zachowania sterownika logicznego (rozdział 4) - diagramach aktywności języka UML (w wersji 2.x). Ze względu na bezstanowość diagramów aktywności, nie jest możliwe bezpośrednie odwzorowanie rozpatrywanych łuków. W artykule zaproponowano dwa rozwiązania - opierające się na wprowadzeniu dodatkowego sygnału (rys. 4a) oraz alternatywne - bazujące na etykietowaniu przepływów (rys. 4b). Przedstawiono sposób formalnej weryfikacji tak przygotowanej specyfikacji regułowej oraz jej syntezy logicznej (rozdział 5). Publikacja kończy się podsumowaniem oraz wnioskami (rozdział 6)
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 510-513
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Powder coatings in anti-corrosion applications of steel structures – an attempt to adapt the requirements to the scheme of the PN-EN ISO 12944 standard
Zastosowania antykorozyjne powłok proszkowych w konstrukcjachstalowych – próba dostosowania wymagań do schematu normy PN‑EN ISO 12944
Autorzy:
Kunce, Izabela
Powiązania:
https://bibliotekanauki.pl/articles/41156060.pdf
Data publikacji:
2023
Wydawca:
Wydawnictwo SIGMA-NOT
Tematy:
powder coatings
corrosion
paint coatings
surface preparation
corrosion protection specification
aging tests
duplex systems
powłoki proszkowe
korozja
powłoki malarskie
przygotowanie powierzchni
specyfikacja zabezpieczeń antykorozyjnych
badania starzeniowe
systemy duplex
Opis:
The article summarises the information available in the standards for powder coatings in anti-corrosion applications and relates it to the various parts of the PN-EN ISO 12944 standard series. The scope of the PN-EN ISO 12944 series of standards applies to paint systems for the corrosion protection of steel structures, whose components consist of unalloyed or low-alloyed steel with thicknesses of not less than 3 mm. These standards provide a guide to all steps in the realisation of corrosion protection with liquid paints, but can also be a valuable source of information when using powder coatings in corrosion protection applications.
W artykule podsumowano informacje dostępne w normach dotyczących powłok proszkowych w zastosowaniach antykorozyjnych i odniesiono je do poszczególnych części serii norm PN-EN ISO 12944. Ich przedmiotem są systemy malarskie do ochrony antykorozyjnej konstrukcji stalowych, których elementy są wykonane ze stali niestopowej lub niskostopowej o grubości nie mniejszej niż 3 mm. Normy te opisują wszystkie etapy realizacji zabezpieczeń antykorozyjnych z wykorzystaniem farb ciekłych, ale mogą również stanowić cenne źródło informacji w wypadku wykorzystania farb proszkowych w zastosowaniach antykorozyjnych.
Źródło:
Ochrona przed Korozją; 2023, 3; 71-86
0473-7733
2449-9501
Pojawia się w:
Ochrona przed Korozją
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
EN 45545 in Transition – a GB Perspective
Norma EN 45545 w okresie transformacji z perspektywy brytyjskiej
Autorzy:
Nowell, R.
Powiązania:
https://bibliotekanauki.pl/articles/214993.pdf
Data publikacji:
2016
Wydawca:
Instytut Kolejnictwa
Tematy:
LOC&PAS TSI
EN 45545
GB national standards
fire
seats
RSSB
research
Techniczna Specyfikacja Interoperacyjności Tabor – Lokomotywy i Tabor Pasażerski
norma EN 45545
normy krajowe Wielkiej Brytanii
pożar
siedzenia
Rada ds. Normalizacji i Bezpieczeństwa Kolei
badania naukowe
Opis:
This paper describes from a RSSB perspective the transition from national standards in Great Britain (GB) to a full application of European regulations and the GB strategy for a full implementation of European Standards, the issues that arise and how the process is being managed.
W artykule opisano okres transformacji norm krajowych w Wielkiej Brytanii widziany z perspektywy RSSB (Rail Standard and Safety Board – Rada ds. Normalizacji i Bezpieczeństwa Kolei) prowadzący do pełnego zastosowania europejskich regulacji prawnych. Przedstawiono brytyjską strategię pełnego wdrażania norm europejskich oraz problemy zarządzania tym procesem.
Źródło:
Problemy Kolejnictwa; 2016, 171; 63-66
0552-2145
2544-9451
Pojawia się w:
Problemy Kolejnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
TSI Energy 2015 – Reference Parameters for Overhead Contact Lines
TSI Energia 2015 – parametry referencyjne dla sieci trakcyjnej
Autorzy:
Nickel, T.
Puschmann, R.
Powiązania:
https://bibliotekanauki.pl/articles/214863.pdf
Data publikacji:
2017
Wydawca:
Instytut Kolejnictwa
Tematy:
overhead contact line
interoperability
technical specification of interoperability
energy subsystem
conventional railway
high-speed railway
mechanical kinematic gauge of pantograph
electrical kinematic gauge of pantograph
sieć trakcyjna
interoperacyjność
techniczna specyfikacja dla zapewnienia interoperacyjności w podsystemie energetycznym
koleje konwencjonalne
koleje dużych prędkości
mechaniczna skrajnia kinematyczna pantografu
elektryczna skrajnia kinetyczna pantografu
Opis:
The useable contact wire lateral position, determined in accordance with TSI ENE 2015 and EN 15273, based on the displacement of the pantograph in relation to the track axis, may be reduced by 16%. This reduced lateral position results in up to 8 m shorter span lengths for DB’s standard contact line types and, therefore, in increased capital costs. The reasons are the reference parameters for the lateral displacement of vehicles, established for the determination of the infrastructure gauge, also provide for vehicle inclination on straight tracks, to improve reliability. These reference parameters have been empirically derived from conditions in existing railway infrastructure. However, for new installations these provisions are not necessary. The TSI Energy 2015 should be corrected such that contact line designs with proven performance over long periods can also be used in the future.
Użytkowany obszar poprzecznego położenia przewodu jezdnego, określony zgodnie z TSI ENE 2015 i EN 15273, na podstawie przesunięć pantografu względem osi toru, może być może być zmniejszony t o 16%. Zredukowanie tego obszaru skutkuje skutkuje krótszą nawet o 8 m rozpiętością typowych przewodów jezdnych użytkowanych w DB, a tym samym zwiększeniem kosztów inwestycji. Powodem są parametry odniesienia w stosunku do poprzecznego przesunięcia pojazdu ustanowione dla określenia skrajni infrastruktury, także dla nachylenia pojazdu na prostym torze w celu zapewnienia stabilności. Zakresy referencyjne uzyskano doświadczalnie w warunkach istniejącej infrastruktury kolejowej. Jednakże dla nowych instalacji te warunki nie są niezbędne. Specyfikacja TSI Energia 2015 powinna być poprawiona tak, aby przewody jezdne sprawdzone w długim okresie mogły być także używane w przyszłości.
Źródło:
Problemy Kolejnictwa; 2017, 174; 53-58
0552-2145
2544-9451
Pojawia się w:
Problemy Kolejnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Technical Specification Energy 2015 – Harmonized Design of Overhead Contact Lines
Techniczna specyfikacja Energia 2015 – zharmonizowany projekt sieci trakcyjnych
Autorzy:
Nickel, T.
Puschmann, R.
Powiązania:
https://bibliotekanauki.pl/articles/215652.pdf
Data publikacji:
2017
Wydawca:
Instytut Kolejnictwa
Tematy:
overhead contact line
interoperability
technical specification of interoperability
energy subsystem
conventional railway
high-speed railway
mechanical kinematic gauge of pantograph
electrical kinematic gauge of pantograph
supplements of Technical Specification for Interoperability of Energy subsystem
sieć trakcyjna
interoperacyjność
techniczna specyfikacja dla zapewnienia interoperacyjności w podsystemie energetycznym
koleje konwencjonalne
koleje dużych prędkości
mechaniczna skrajnia kinematyczna pantografu
elektryczna skrajnia kinetyczna pantografu
suplement do technicznej specyfikacji dla zapewnienia interoperacyjności w podsystemie energetycznym
Opis:
The Technical Specification for Interoperability of the Energy subsystem of the railway systems in the European Union was published in December 2014. This Technical Specification came into force on January 1, 2015 and replaced the individual Technical Specifications for the interoperability of conventional and high-speed railway systems in force to date. The document stipulates detailed rules for the design of the mechanical-kinematic gauge of the pantograph and the maximum lateral deviation of contact wires. The harmonized stipulations result in planning data for contact lines which differ from design values obtained previously. Furthermore the article identifies necessary supplements for the next Technical Specification for Interoperability of Energy subsystem.
W grudniu 2014 roku opublikowano Techniczne specyfikacje interoperacyjności podsystemu „Energia” systemu kolei w Unii. Specyfikacja weszła w życie od 1 stycznia 2015 roku i zastąpiła dotychczasowe specyfikacje dotyczące kolei konwencjonalnych i kolei dużych prędkości. Dokument określa szczegółowe zasady projektowania mechanicznej skrajni kinematycznej pantografu i maksymalne odchylenie poprzeczne przewodu jezdnego. Zharmonizowane postanowienia skutkują planowaniem danych dla przewodów trakcyjnych, które różnią się od wcześniej projektowanych uzyskiwanych wartości. Ponadto, artykuł określa niezbędne suplementy do kolejnej technicznej specyfikacji dla zapewnienia interoperacyjności systemu energetycznego.
Źródło:
Problemy Kolejnictwa; 2017, 174; 59-73
0552-2145
2544-9451
Pojawia się w:
Problemy Kolejnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-13 z 13

    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