Intelligent systems in manufacturing: current developments and future prospects

Global competition and rapidly changing customer requirements are demanding increasing changes in manufacturing environments. Enterprises are required to constantly redesign their products and continuously reconfigure their manufacturing systems. Traditional approaches to manufacturing systems do not fully satisfy this new situation. Many authors have proposed that artificial intelligence will bring the flexibility and efficiency needed by manufacturing systems. This paper is a review of artificial intelligence techniques used in manufacturing systems. The paper first defines the components of a simplified intelligent manufacturing systems (IMS), the different Artificial Intelligence (AI) techniques to be considered and then shows how these AI techniques are used for the components of IMS

Self-tuning routine alarm analysis of vibration signals in steam turbine generators

This paper presents a self-tuning framework for knowledge-based diagnosis of routine alarms in steam turbine generators. The techniques provide a novel basis for initialising and updating time series feature extraction parameters used in the automated decision support of vibration events due to operational transients. The data-driven nature of the algorithms allows for machine specific characteristics of individual turbines to be learned and reasoned about. The paper provides a case study illustrating the routine alarm paradigm and the applicability of systems using such techniques

Machine learning and its applications in reliability analysis systems

In this thesis, we are interested in exploring some aspects of Machine Learning (ML) and its application in the Reliability Analysis systems (RAs). We begin by investigating some ML paradigms and their- techniques, go on to discuss the possible applications of ML in improving RAs performance, and lastly give guidelines of the architecture of learning RAs. Our survey of ML covers both levels of Neural Network learning and Symbolic learning. In symbolic process learning, five types of learning and their applications are discussed: rote learning, learning from instruction, learning from analogy, learning from examples, and learning from observation and discovery. The Reliability Analysis systems (RAs) presented in this thesis are mainly designed for maintaining plant safety supported by two functions: risk analysis function, i.e., failure mode effect analysis (FMEA) ; and diagnosis function, i.e., real-time fault location (RTFL). Three approaches have been discussed in creating the RAs. According to the result of our survey, we suggest currently the best design of RAs is to embed model-based RAs, i.e., MORA (as software) in a neural network based computer system (as hardware). However, there are still some improvement which can be made through the applications of Machine Learning. By implanting the 'learning element', the MORA will become learning MORA (La MORA) system, a learning Reliability Analysis system with the power of automatic knowledge acquisition and inconsistency checking, and more. To conclude our thesis, we propose an architecture of La MORA

Knowledge-Based Aircraft Automation: Managers Guide on the use of Artificial Intelligence for Aircraft Automation and Verification and Validation Approach for a Neural-Based Flight Controller

The ultimate goal of this report was to integrate the powerful tools of artificial intelligence into the traditional process of software development. To maintain the US aerospace competitive advantage, traditional aerospace and software engineers need to more easily incorporate the technology of artificial intelligence into the advanced aerospace systems being designed today. The future goal was to transition artificial intelligence from an emerging technology to a standard technology that is considered early in the life cycle process to develop state-of-the-art aircraft automation systems. This report addressed the future goal in two ways. First, it provided a matrix that identified typical aircraft automation applications conducive to various artificial intelligence methods. The purpose of this matrix was to provide top-level guidance to managers contemplating the possible use of artificial intelligence in the development of aircraft automation. Second, the report provided a methodology to formally evaluate neural networks as part of the traditional process of software development. The matrix was developed by organizing the discipline of artificial intelligence into the following six methods: logical, object representation-based, distributed, uncertainty management, temporal and neurocomputing. Next, a study of existing aircraft automation applications that have been conducive to artificial intelligence implementation resulted in the following five categories: pilot-vehicle interface, system status and diagnosis, situation assessment, automatic flight planning, and aircraft flight control. The resulting matrix provided management guidance to understand artificial intelligence as it applied to aircraft automation. The approach taken to develop a methodology to formally evaluate neural networks as part of the software engineering life cycle was to start with the existing software quality assurance standards and to change these standards to include neural network development. The changes were to include evaluation tools that can be applied to neural networks at each phase of the software engineering life cycle. The result was a formal evaluation approach to increase the product quality of systems that use neural networks for their implementation

Assessment of the State-of-the-Art of System-Wide Safety and Assurance Technologies

Since its initiation, the System-wide Safety Assurance Technologies (SSAT) Project has been focused on developing multidisciplinary tools and techniques that are verified and validated to ensure prevention of loss of property and life in NextGen and enable proactive risk management through predictive methods. To this end, four technical challenges have been listed to help realize the goals of SSAT, namely (i) assurance of flight critical systems, (ii) discovery of precursors to safety incidents, (iii) assuring safe human-systems integration, and (iv) prognostic algorithm design for safety assurance. The objective of this report is to provide an extensive survey of SSAT-related research accomplishments by researchers within and outside NASA to get an understanding of what the state-of-the-art is for technologies enabling each of the four technical challenges. We hope that this report will serve as a good resource for anyone interested in gaining an understanding of the SSAT technical challenges, and also be useful in the future for project planning and resource allocation for related research

Diagnostic Methods for an Aircraft Engine Performance

The main gas path components, namely compressor and turbine, are inherently reliable but the operation of the aero engines under hostile environments, results into engine breakdowns and performance deterioration. Performance deterioration increases the operating cost, due to the reduction in thrust output and higher fuel consumption, and also increases the engine maintenance cost. In times when economic considerations dominate airline operators’ strategies, carrying out unnecessary rectification, can be very costly and time consuming. In an attempt to minimize such unexpected circumstances, having detailed knowledge prior to any inspection will allow the gas turbine user to take some of the maintenance action when it is necessary. Advanced engine-fault diagnostics tools offer the possibility of identifying degradation at the module level, determining the trends of these degradations during the usage of the engine, and planning the maintenance action ahead

Abstractions of stochastic hybrid systems

Many control systems have large, infinite state space that can not be easily abstracted. One method to analyse and verify these systems is reachability analysis. It is frequently used for air traffic control and power plants. Because of lack of complete information about the environment or unpredicted changes, the stochastic approach is a viable alternative. In this paper, different ways of introducing rechability under uncertainty are presented. A new concept of stochastic bisimulation is introduced and its connection with the reachability analysis is established. The work is mainly motivated by safety critical situations in air traffic control (like collision detection and avoidance) and formal tools are based on stochastic analysis

CBR and MBR techniques: review for an application in the emergencies domain

The purpose of this document is to provide an in-depth analysis of current reasoning engine practice and the integration strategies of Case Based Reasoning and Model Based Reasoning that will be used in the design and development of the RIMSAT system. RIMSAT (Remote Intelligent Management Support and Training) is a European Commission funded project designed to: a.. Provide an innovative, 'intelligent', knowledge based solution aimed at improving the quality of critical decisions b.. Enhance the competencies and responsiveness of individuals and organisations involved in highly complex, safety critical incidents - irrespective of their location. In other words, RIMSAT aims to design and implement a decision support system that using Case Base Reasoning as well as Model Base Reasoning technology is applied in the management of emergency situations. This document is part of a deliverable for RIMSAT project, and although it has been done in close contact with the requirements of the project, it provides an overview wide enough for providing a state of the art in integration strategies between CBR and MBR technologies.Postprint (published version

System diagnosis for an auxiliary power unit

Even though the Auxiliary Power Unit (APU) is a widely used system in modern aviation, the existing experimental, simulation and diagnostic studies for this system are very limited. The topic of this project is the System Diagnosis of an APU, and the case study that is used in this research is a Boeing 747 APU. This APU was used to develop an experimental rig in order to collect performance data under a wide range of loading and environmental conditions. The development of the experimental rig consumed considerable time and required the design and installation of structures and parts related with the control of the APU, the adjustment of the electric and pneumatic load and the data acquisition. The validation of the rig was achieved by a repeatability test, which ensures that the collected measurements are repeatable under the same boundary conditions, and by a consistency test, which ensures that the performance parameters are consistent with the imposed ambient conditions. The experimental data that are extracted from the rig were used to calibrate a physics-based (0-D) model for steady-state conditions. Data that correspond to faulty conditions were generated by injecting faults in the simulation model. Based on the most prominent APU faults, as reported by The Boeing Company, six components that belong to different sub-systems were considered in the diagnostic analysis, and for each one of them, a single fault mode was simulated. By using healthy and faulty simulation data, for each component under examination, a classification algorithm that can recognise the healthy and faulty state of the component is trained. A critical part of the diagnostic analysis is that each classifier was trained to recognise the healthy and the faulty state of the corresponding component, while other components can be either healthy or faulty. The test results showed that the proposed technique is able to diagnose both single and multiple faults, even though in many cases different component faults resulted in similar fault patterns.Transport System

A framework for aerospace vehicle reasoning (FAVER)

Airliners spend over 9% of their total revenue in Maintenance, Repair, and Overhaul (MRO) and working to bring down the cost and time involved. The prime focus is on unexpected downtime and extended maintenance leading to delays in the flights, which also reduces the trustworthiness of the airliners among the customers. One of the effective solutions to address this issue is Condition based Maintenance (CBM), in which the aircraft systems are monitored frequently, and maintenance plans are customized to suit the health of these systems. Integrated Vehicle Health Management (IVHM) is a capability enabling CBM by assessing the current condition of the aircraft at component/ Line Replaceable Unit/ system levels and providing diagnosis and remaining useful life calculations required for CBM. However, there is a lack of focus on vehicle level health monitoring in IVHM, which is vital to identify fault propagation between the systems, owing to their part in the complicated troubleshooting process resulting in prolonged maintenance. This research addresses this issue by proposing a Framework for Aerospace Vehicle Reasoning, shortly called FAVER. FAVER is developed to enable isolation and root cause identification of faults propagating between multiple systems at the aircraft level. This is done by involving Digital Twins (DTs) of aircraft systems in order to emulate interactions between these systems and Reasoning to assess health information to isolate cascading faults. FAVER currently uses four aircraft systems: i) the Electrical Power System, ii) the Fuel System, iii) the Engine, and iv) the Environmental Control System, to demonstrate its ability to provide high level reasoning, which can be used for troubleshooting in practice. FAVER is also demonstrated for its ability to expand, update, and scale for accommodating new aircraft systems into the framework along with its flexibility. FAVER’s reasoning ability is also evaluated by testing various use cases.Transport System