scholarly journals A REDISCUSSÃO DO RISCO NOS PROCESSOS DE REASSENTAMENTO E REALOCAÇÃO DE MORADIAS NO BRASIL O caso da Faixa de Domínio Ferroviário sob a experiência das comunidades da Guarita e Passo da Pátria, Natal, RN, Brasil [REDISCUSSION OF RISK IN RESETTLEMENT AND REALOCATION OF HOUSING IN BRAZIL The case of the Railway Domain strip under the experience of the Guarita and Passo da Pátria communities, Natal, RN, Brazil]

2020 ◽  
Author(s):  
Maria Caroline F. Diógenes ◽  
Samara S. C. da Silva
Keyword(s):  
Railway Domain

Research on Semantic Retrieval System for the Document Knowledge Based on Domain Ontology

2011 ◽  
Vol 204-210 ◽  
pp. 2171-2175
Author(s):  
Zi Yu Liu ◽  
Dong Li Zhang ◽  
Xue Hui Li
Keyword(s):  
High Speed ◽  
Retrieval System ◽  
Domain Ontology ◽  
Experimental Results ◽  
Semantic Retrieval ◽  
High Speed Railway ◽  
Knowledge Based ◽  
Main Components ◽  
Railway Domain ◽  
Concept Similarity

Domain ontology can effectively organize the knowledge of that domain and make it easier to share and reuse. We can build domain ontology on thesaurus and thematic words and index document knowledge using domain ontology. Under which this paper designs a semantic retrieval system for the document knowledge based on domain ontology, and the system consists of four main components: ontology query, semantic precomputation for document and the concept similarity, semantic extended search and reasoning search. Finally, this paper makes an experiment on high-speed railway domain. The experimental results show that the developed semantic retrieval system can reach the satisfied recall and precision.

scholarly journals On the Industrial Uptake of Formal Methods in the Railway Domain

2018 ◽  
pp. 20-29 ◽  
Author(s):  
Davide Basile ◽  
Maurice H. ter Beek ◽  
Alessandro Fantechi ◽  
Stefania Gnesi ◽  
Franco Mazzanti ◽  
...  
Keyword(s):  
Formal Methods ◽  
Railway Domain

The Role of Formal Methods in Software Development for Railway Applications

2014 ◽  
pp. 1103-1118
Author(s):  
Alessandro Fantechi
Keyword(s):  
Model Checking ◽  
Software Development ◽  
Formal Verification ◽  
Formal Methods ◽  
Industrial Application ◽  
Safety Certification ◽  
Software Designers ◽  
Recent Trends ◽  
Railway Domain

Formal methods for thirty years have promised to be the solution for the safety certification headaches of railway software designers. This chapter looks at the current industrial application of formal methods in the railway domain. After a recall of the dawning of formal methods in this domain, recent trends are presented that focus in particular on formal verification by means of model checking engines, with its potential and limitations. The paper ends with a perspective into the next future, in which formal methods will be expected to pervade in more respects the production of railway software and systems.

Designing Usable Interactive Systems within the Railway Domain

2012 ◽  
pp. 317-326
Author(s):  
Nina Jellentrup ◽  
Michael Meyer zu Hörste
Keyword(s):  
Communication Systems ◽  
System Development ◽  
Interactive Systems ◽  
Interactive System ◽  
Quality Attribute ◽  
Information And Communication ◽  
Computer Based ◽  
Train Drivers ◽  
Technical Functions ◽  
Railway Domain

Train drivers as well as signallers interact with several computer based information and communication systems to ensure safe and effective train operations. So far the technical progress mostly determines the design of such interactive systems and requirements out of a human factors perspective are not integrated. Beside the development of technical functions it is essential to take the usability as a quality attribute of every interactive system into account. If the usability is not considered during system development, it could occur that there are several functions available within a system but the user does not know how to use them in an efficient way. This chapter describes a psychological approach to design or redesign usable interactive systems within the railway domain. Some examples will be discussed to demonstrate the approach and the results.

The Role of Formal Methods in Software Development for Railway Applications

2012 ◽  
pp. 282-297 ◽  
Author(s):  
Alessandro Fantechi
Keyword(s):  
Model Checking ◽  
Software Development ◽  
Formal Verification ◽  
Formal Methods ◽  
Industrial Application ◽  
Safety Certification ◽  
Software Designers ◽  
Recent Trends ◽  
Railway Domain

Formal methods for thirty years have promised to be the solution for the safety certification headaches of railway software designers. This chapter looks at the current industrial application of formal methods in the railway domain. After a recall of the dawning of formal methods in this domain, recent trends are presented that focus in particular on formal verification by means of model checking engines, with its potential and limitations. The paper ends with a perspective into the next future, in which formal methods will be expected to pervade in more respects the production of railway software and systems.

Sign in / Sign up

Export Citation Format

Share Document