Добірка наукової літератури з теми "ERAMS Systems"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "ERAMS Systems".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "ERAMS Systems"
de Almeida Pereira, Dalay Israel, Ouail Himrane, Philippe Bon, and Julie Beugin. "From French National Signaling Systems to ERTMS: Considering the Evolution of Track-Side Systems." International Journal of Signal Processing Systems 9, no. 2 (June 2021): 11–16. http://dx.doi.org/10.18178/ijsps.9.2.11-16.
Повний текст джерелаCollins, Maria. "Electronic Resource Management Systems (ERMS) Review." Serials Review 34, no. 4 (December 2008): 267–99. http://dx.doi.org/10.1080/00987913.2008.10765191.
Повний текст джерелаKollmann, Tobias, Lucas Kleine-Stegemann, Katharina de Cruppe, and Christina Then-Bergh. "Eras of Digital Entrepreneurship." Business & Information Systems Engineering 64, no. 1 (December 6, 2021): 15–31. http://dx.doi.org/10.1007/s12599-021-00728-6.
Повний текст джерелаBisch, Steven P., Leah Gramlich, and Gregg Nelson. "Aplicación del programa ERAS® como una política de salud pública en el sistema de salud de Alberta, Canadá." Revista Argentina de Cirugía 113, no. 2 (June 1, 2021): 169–75. http://dx.doi.org/10.25132/raac.v113.n2.eras03spb.ei.
Повний текст джерелаCioaca, Catalin, Cristian-George Constantinescu, Mircea Boscoianu, and Ramona Lile. "EXTREME RISK ASSESSMENT METHODOLOGY (ERAM) IN AVIATION SYSTEMS." Environmental Engineering and Management Journal 14, no. 6 (2015): 1399–408. http://dx.doi.org/10.30638/eemj.2015.152.
Повний текст джерелаMentz, Ricardo E., Juan P. Campana, Uriel Fraidenraij, Santiago M. Mata-Suarez, Adrián O. Álvarez, and Santiago Mc Loughlin. "Implementación de un programa ERAS®." Revista Argentina de Cirugía 113, no. 2 (June 1, 2021): 189–96. http://dx.doi.org/10.25132/raac.v113.n2.eras05rem.ei.
Повний текст джерелаSimon, Jason C. "Building your own ERMS." Library Hi Tech News 32, no. 3 (May 5, 2015): 9–12. http://dx.doi.org/10.1108/lhtn-08-2014-0071.
Повний текст джерелаPopov, Lubomir, and Franklin Goza. "The Architectural Object as a Sociospatial System." European Review Of Applied Sociology 10, no. 15 (December 1, 2017): 41–53. http://dx.doi.org/10.1515/eras-2017-0008.
Повний текст джерелаMedeiros, Norm. "ERMS implementation: navigating the wilderness." OCLC Systems & Services: International digital library perspectives 23, no. 2 (June 5, 2007): 113–15. http://dx.doi.org/10.1108/10650750710748405.
Повний текст джерелаMedeiros, Norm. "Accommodating consortia within electronic resource management systems." OCLC Systems & Services: International digital library perspectives 22, no. 4 (October 1, 2006): 238–40. http://dx.doi.org/10.1108/10650750610706934.
Повний текст джерелаДисертації з теми "ERAMS Systems"
Drach, T. O., and O. E. Goloskokov. "Research and development of software and software components of the information system of situational management in the enterprise." Thesis, NTU "KhPI", 2017. http://repository.kpi.kharkov.ua/handle/KhPI-Press/38216.
Повний текст джерелаLindström, Gustaf. "Is GSM-R the limiting factor for the ERTMS system capacity?" Thesis, KTH, Trafik och logistik, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-101811.
Повний текст джерелаGafurzade, Elchin. "Development of an automation tool for data configuration of signaling systems." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2020.
Знайти повний текст джерелаBerthelot, Martin R. "Spectacle and Resistance in the Modern and Postmodern Eras." Thèse, Université d'Ottawa / University of Ottawa, 2013. http://hdl.handle.net/10393/24272.
Повний текст джерелаWenzel, Benedikt. "Entwicklung eines neuartigen rechnergestützten Validierungsverfahrens für telegrammbasierte Zugsicherungssysteme am Beispiel von ETCS." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-124089.
Повний текст джерелаRüsche, Simon Frederik [Verfasser]. "Untersuchungen zu Effizienzsteigerungen des European Railway Traffic Management System ERTMS durch die Einführung von paketvermittelten drahtlosen Übertragungsverfahren / Simon Frederik Rüsche." Aachen : Shaker, 2010. http://d-nb.info/1084536056/34.
Повний текст джерелаMekki, Ahmed. "Contribution à la Spécification et à la Vérification des Exigences Temporelles : Proposition d’une extension des SRS d’ERTMS niveau 2." Thesis, Ecole centrale de Lille, 2012. http://www.theses.fr/2012ECLI0006/document.
Повний текст джерелаThe work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three phases: the specification, the behaviour modelling and the verification. For the specification of temporal requirements, a new temporal properties typology taking into account all the common requirements one may meet when dealing with requirements specification, is introduced. Then, to facilitate the expression, we have proposed a structured English grammar. Nevertheless, even if each requirement taken individually is correct, we have no guarantee that a set of temporal properties one may express is consistent. Here we have proposed an algorithm based on graph theory techniques to check the consistency of temporal requirements sets. For the behaviour modelling, we have proposed an algorithm for transforming UML State Machine with time annotations into Timed Automata (TA). The idea is to allow the user manipulating a quite intuitive notation (UML SM diagramsduring the modelling phase and thereby, automatically generate formal models (TA) that could be used directly by the verification process. Finally, for the verification phase, we have adopted an observer-based technique. Actually, we have developed a repository of observation patterns where each pattern is relative to a particular temporal requirement class in our classification. Thereby, the verification process is reduced to a reachability analysis of the observers’ KO states relatives to the requirements’ violation
Antoš, Vladimír. "Využití satelitních navigačních systémů v železniční dopravě." Master's thesis, Vysoká škola ekonomická v Praze, 2011. http://www.nusl.cz/ntk/nusl-71728.
Повний текст джерелаQiu, Siqi. "Modèles graphiques de l'évaluation de Sûreté de Fonctionnement et l'analyse des risques des Systèmes de Systèmes en présence d'incertitudes." Thesis, Compiègne, 2014. http://www.theses.fr/2014COMP2160.
Повний текст джерелаSystems of Systems (SoS) are large systems whose components are themselves systems which interact to realize a common goal, and for which the malfunction of a single system can have some serious consequences on the performance of the whole SoS. So it’s important that the design of these SoSs takes into account the dependability requirements of safety standard. In this thesis, our interests concern the modeling of SoS and the reliability analysis of SoS under uncertainty which is due to the lack of knowledge related to failure data and model. Therefore, two modeling methods which deal with different issues are applied to model SoSs and the corresponding quantitative reliability analysis is proposed. The objective of this thesis is to propose graphical models for dependability assessment and risk analysis of SoSs under uncertainty. Firstly, it will propose a dysfunctional model of the ERTMS which is considered as an SoS. The model will integrate the hardware aspect, the network aspect and the human factors. Then, it will evaluate some dependability attributes of the whole SoS. Later, it will take different kinds of uncertainties into account quantitatively. The proposed methodology is applied on the ERTMS Level 2. The main contribution of this thesis lies in three aspects. First, we propose a methodology to model and evaluate SoSs. Second, we consider ERTMS Level 2 as an SoS and seek to evaluate its dependability parameters by considering the unavailability of the whole SoS as an emergent property. Third, we model quantitatively different kinds of uncertainties in the proposed models
Lin, Chen, and Jing Ma. "A Validation of an IT Investment Evaluation Model in Health and Social Care : A case study of ERAS Interactive Audit System (EIAS)." Thesis, Internationella Handelshögskolan, Högskolan i Jönköping, IHH, Informatik, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-20119.
Повний текст джерелаКниги з теми "ERAMS Systems"
Eritrean Relief Association. Field Coordinating Office. ERA's distribution system: An overview. Himbol, Eritrea: Eritrean Relief Association, Field Coordinating Office, 1986.
Знайти повний текст джерелаNegri, Carolina. Tra corte, casa e monastero La vita di una donna nel Giappone del Medioevo. Venice: Fondazione Università Ca’ Foscari, 2021. http://dx.doi.org/10.30687/978-88-6969-536-0.
Повний текст джерелаHaugen, Peter. World History for Dummies. New York, USA: Hungry Minds, 2001.
Знайти повний текст джерелаWorld History For Dummies. New York, USA: Wiley Publishing, 2001.
Знайти повний текст джерелаHaugen, Peter. Historia del mundo. Bogotá: Norma, 2002.
Знайти повний текст джерелаTransport, European Commission Directorate-General, ed. European rail traffic management system: ERTMS. Luxembourg: Office for Official Publications of the European Communities, 1996.
Знайти повний текст джерелаEuropean rail traffic management system: ERTMS (Transport research). Unipub [distributor], 1996.
Знайти повний текст джерелаRanney, Joseph A. A Legal History of Mississippi. University Press of Mississippi, 2019. http://dx.doi.org/10.14325/mississippi/9781496822574.001.0001.
Повний текст джерелаHistorical Perspectives on the State of Health and Health Systems in Africa, Volume I: The Pre-Colonial and Colonial Eras. Palgrave Macmillan, 2017.
Знайти повний текст джерелаSeybolt, Taylor B. Humanitarian Intervention and International Security. Oxford University Press, 2017. http://dx.doi.org/10.1093/acrefore/9780190846626.013.217.
Повний текст джерелаЧастини книг з теми "ERAMS Systems"
Ferier, Laurent, Svitlana Lukicheva, and Stanislas Pinte. "ERTMS Modeling Using EFS." In Formal Methods Applied to Industrial Complex Systems, 137–63. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2014. http://dx.doi.org/10.1002/9781119004707.ch6.
Повний текст джерелаMłyńczak, Jakub, Andrzej Toruń, and Lucyna Bester. "European Rail Traffic Management System (ERTMS)." In Studies in Systems, Decision and Control, 217–42. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-19150-8_7.
Повний текст джерелаBarberio, Gregorio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, et al. "An Interoperable Testing Environment for ERTMS/ETCS Control Systems." In Lecture Notes in Computer Science, 147–56. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10557-4_18.
Повний текст джерелаPépin, Florent, and Maria Grazia Vigliotti. "Risk Assessment of the 3Des in ERTMS." In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 79–92. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33951-1_6.
Повний текст джерелаHaklay, Mordechai. "The Three Eras of Environmental Information: The Roles of Experts and the Public." In Understanding Complex Systems, 163–79. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-25658-0_8.
Повний текст джерелаBartholomeus, Maarten, Bas Luttik, and Tim Willemse. "Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset." In Formal Methods for Industrial Critical Systems, 98–114. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-00244-2_7.
Повний текст джерелаKochan, Andrzej, and Emilia Koper. "Mathematical Model of the Movement Authority in the ERTMS/ETCS System." In Advances in Intelligent Systems and Computing, 215–24. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-27687-4_22.
Повний текст джерелаAit Wakrime, Abderrahim, Rahma Ben Ayed, Simon Collart-Dutilleul, Yves Ledru, and Akram Idani. "Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B." In Model and Data Engineering, 321–30. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-00856-7_21.
Повний текст джерелаSchuitemaker, Katja, G. Maarten Bonnema, Marco Kuijsten, Heidi van Spaandonk, and Mohammad Rajabalinejad. "Safety Architecture Overview Framework for the Prediction, Explanation and Control of Risks of ERTMS." In Complex Systems Design & Management, 145–56. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-04209-7_12.
Повний текст джерелаde Ruiter, Joeri, Richard J. Thomas, and Tom Chothia. "A Formal Security Analysis of ERTMS Train to Trackside Protocols." In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 53–68. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33951-1_4.
Повний текст джерелаТези доповідей конференцій з теми "ERAMS Systems"
Coenraad, W. J. "ERTMS and ATP." In 2nd IEE Residential Course on Railway Electrification Infrastructure Systems. IEE, 2005. http://dx.doi.org/10.1049/ic:20050627.
Повний текст джерелаChabanon, David. "CBTC/ERTMS/PTC Convergence." In 2013 Joint Rail Conference. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/jrc2013-2447.
Повний текст джерелаDaian, Gheorghe Iulian, and Tiberiu Stefan Letia. "Consistency analysis of ERTMS monitoring systems." In 2012 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2012). IEEE, 2012. http://dx.doi.org/10.1109/aqtr.2012.6237770.
Повний текст джерелаFanea, Alex. "Solutions for Cross-Border Technical Interoperability With ERTMS: ERTMS-PTC Convergence." In 2017 Joint Rail Conference. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/jrc2017-2280.
Повний текст джерелаHassami, A. G., and A. G. Foord. "Systems safety - a real example (European rail traffic management system, ERTMS)." In People in Control. Human Factors in Control Room Design. Institution of Engineering and Technology, 2001. http://dx.doi.org/10.1049/cp:20010484.
Повний текст джерелаBoudi, Zakaryae, El Miloudi El Koursi, and Simon Collart-Dutilleul. "HCPN Modeling for ERTMS Requirements Specification." In 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE). IEEE, 2015. http://dx.doi.org/10.1109/hase.2015.11.
Повний текст джерелаRuscelli, Anna Lina, Gabriele Cecchetti, and Piero Castoldi. "Cloud Networks for ERTMS Railways Systems (Short Paper)." In 2016 5th IEEE International Conference on Cloud Networking (Cloudnet). IEEE, 2016. http://dx.doi.org/10.1109/cloudnet.2016.33.
Повний текст джерелаBarnard, B. "TASS - ERTMS-Compatible Control of Tilting Trains." In 11th IET Professional Development Course on Railway Signalling and Control Systems. Institution of Engineering and Technology, 2006. http://dx.doi.org/10.1049/ic.2006.0688.
Повний текст джерелаAller, M. Mendez, H. Lu, A. C. Gossard, U. Nandi, J. C. Norman, and S. Preu. "ErAs Enhanced Active Photonic THz Components." In 2018 First International Workshop on Mobile Terahertz Systems (IWMTS). IEEE, 2018. http://dx.doi.org/10.1109/iwmts.2018.8454690.
Повний текст джерелаBloomfield, R. "Fundamentals of European Rail Traffic Management System - ERTMS." In 11th IET Professional Development Course on Railway Signalling and Control Systems. Institution of Engineering and Technology, 2006. http://dx.doi.org/10.1049/ic.2006.0684.
Повний текст джерелаЗвіти організацій з теми "ERAMS Systems"
Li, Guochang, Fei Tian, Zhijian Yang, Guozhong Zhang, and Yihe Feng. FINITE ELEMENT ANALYSIS ON K-TYPE EXTERNAL BRACED STEEL ERAME SYSTEM. The Hong Kong Institute of Steel Construction, December 2018. http://dx.doi.org/10.18057/icass2018.p.112.
Повний текст джерела