Open Access. Powered by Scholars. Published by Universities.®

Aviation Commons™

Open Access. Powered by Scholars. Published by Universities.®

2010

Discipline
Institution
Keyword
Publication
Publication Type

Articles 31 - 33 of 33

Full-Text Articles in Aviation

Fusion Of Sources Of Evidence With Different Importances And Reliabilities, Florentin Smarandache, Jean Dezert, J.M. Tacnet Jan 2010

Fusion Of Sources Of Evidence With Different Importances And Reliabilities, Florentin Smarandache, Jean Dezert, J.M. Tacnet

Branch Mathematics and Statistics Faculty and Staff Publications

This paper presents a new approach for combining sources of evidences with different importances and reliabilities. Usually, the combination of sources of evidences with different reliabilities is done by the classical Shafer’s discounting approach. Therefore, to consider unequal importances of sources, if any, a similar reliability discounting process is generally used, making no difference between the notion of importance and reliability. In fact, in multicriteria decision context, these notions should be clearly distinguished. This paper shows how this can be done and we provide simple examples to show the differences between both solutions for managing importances and reliabilities of sources. …


Hardware Certification For Real-Time Safety-Critical Systems: State Of The Art, Andrew J. Kornecki, Janusz Zalewski Jan 2010

Hardware Certification For Real-Time Safety-Critical Systems: State Of The Art, Andrew J. Kornecki, Janusz Zalewski

Department of Electrical Engineering and Computer Science - Daytona Beach

This paper discusses issues related to the RTCA document DO-254 Design Assurance Guidance for Airborne Electronic Hardware and its consequences for hardware certification. In particular, problems related to circuits’ compliance with DO-254 in avionics and other industries are considered. Extensive literature review of the subject is given, including current views on and experiences of chip manufacturers and EDA industry with qualification of hardware design tools, including formal approaches to hardware verification. Some results of the authors’ own study on tool qualification are presented.


Individualized Cognitive Modeling For Close-Loop Task Mitigation, Guangfan Zhang, Roger Xu, Wei Wang, Jiang Li, Tom Schnell, Mike Keller, Thomas E. Pinelli (Ed.) Jan 2010

Individualized Cognitive Modeling For Close-Loop Task Mitigation, Guangfan Zhang, Roger Xu, Wei Wang, Jiang Li, Tom Schnell, Mike Keller, Thomas E. Pinelli (Ed.)

Electrical & Computer Engineering Faculty Publications

An accurate real-time operator functional state assessment makes it possible to perform task management, minimize risks, and improve mission performance. In this paper, we discuss the development of an individualized operator functional state assessment model that identifies states likely leading to operational errors. To address large individual variations, we use two different approaches to build a model for each individual using its data as well as data from subjects with similar responses. If a subject's response is similar to that of the individual of interest in a specific functional state, all the training data from this subject will be used …