English
Related papers

Related papers: Gas turbine diagnostic system

200 papers

We describe a system that simplifies the process of debugging programs produced by computer-aided parallelization tools. The system uses relative debugging techniques to compare serial and parallel executions in order to show where the…

Software Engineering · Computer Science 2007-05-23 Robert Hood , Gabriele Jost

The software development lifecycle depends heavily on the testing process, which is an essential part of finding issues and reviewing the quality of software. Software testing can be done in two ways: manually and automatically. With an…

Software Engineering · Computer Science 2024-05-06 Hussein Mohammed Ali , Mahmood Yashar Hamza , Tarik Ahmed Rashid

To improve the reliability and efficiency of Web Software, the Testing Team should be creative and innovative. The experience and intuition of Tester also matters a lot and most often the destructive nature of Tester brings reliable…

Software Engineering · Computer Science 2019-03-05 Kamran Ali , Xia Xiaoling

Simulators are an important tool in robotics that is used to develop robot software and generate synthetic data for machine learning algorithms. Faster simulation can result in better software validation and larger amounts of data. Previous…

Public-transit systems face a number of operational challenges: (a) changing ridership patterns requiring optimization of fixed line services, (b) optimizing vehicle-to-trip assignments to reduce maintenance and operation codes, and (c)…

Systems and Control · Electrical Eng. & Systems 2021-07-02 Ruixiao Sun , Rongze Gui , Himanshu Neema , Yuche Chen , Juliette Ugirumurera , Joseph Severino , Philip Pugliese , Aron Laszka , Abhishek Dubey

Timed automata (TA) have been widely adopted as a suitable formalism to model time-critical systems. Furthermore, contemporary model-checking tools allow the designer to check whether a TA complies with a system specification. However, the…

Logic in Computer Science · Computer Science 2023-06-22 Jaroslav Bendík , Ahmet Sencan , Ebru Aydin Gol , Ivana Černá

Automated Driving Systems (ADSs) have seen rapid progress in recent years. To ensure the safety and reliability of these systems, extensive testings are being conducted before their future mass deployment. Testing the system on the road is…

Software Engineering · Computer Science 2021-12-03 Ziyuan Zhong , Yun Tang , Yuan Zhou , Vania de Oliveira Neves , Yang Liu , Baishakhi Ray

The goal of this paper is to explore the benefits of automatic pipeline provisioning and identify how it can be applied. Automatic pipeline provisioning can be defined as a process of quickly deploying a pipeline for a software engineering…

Software Engineering · Computer Science 2025-11-20 Alexandre-Xavier Labonté-Lamoureux , Simon Boyer

Quantitatively evaluating and comparing the performance of robotic solutions that are designed to work under a variety of conditions is inherently challenging because they need to be evaluated under numerous precisely repeatable conditions…

Robotics · Computer Science 2019-03-26 Achim Gerstenberg , Martin Steinert

This paper describes variable speed wind turbine (Types 3 and 4, IEC 61400-27-1) simulations based on an open-source solution to be applied to Bachelor and Master Degrees. It is an attempt to improve the education quality of such…

Systems and Control · Electrical Eng. & Systems 2021-03-03 Ana Fernández-Guillamón , Angel Molina-García

This thesis propose an a computationally efficient method for dynamic simulation and mathematical modelling of three-phase induction machines under eccentricity conditions.

Optimization and Control · Mathematics 2023-09-14 Iman Ardekani

Simulation is one of the most powerful tools we have for evaluating the performance of Opportunistic Networks. In this survey, we focus on available tools and models, compare their performance and precision and experimentally show the…

Model checking is an established technique to formally verify automation systems which are required to be trusted. However, for sufficiently complex systems model checking becomes computationally infeasible. On the other hand, testing,…

Software Engineering · Computer Science 2019-07-30 Igor Buzhinsky , Valeriy Vyatkin

The trend towards larger wind turbines and remote locations of wind farms fuels the demand for automated condition monitoring strategies that can reduce the operating cost and avoid unplanned downtime. Normal behaviour modelling has been…

Machine Learning · Computer Science 2021-06-29 Angela Meyer

For developing innovative systems architectures, modeling and optimization techniques have been central to frame the architecting process and define the optimization and modeling problems. In this context, for system-of-systems the use of…

Artificial Intelligence · Computer Science 2026-05-07 Paul Saves , Jasper Bussemaker , Rémi Lafage , Thierry Lefebvre , Nathalie Bartoli , Youssef Diouane , Joseph Morlier

Reaction systems are a computational model inspired by the bio-chemical reactions that happen inside biological cells. They have been and currently are studied for their many nice theoretical properties. They are also a useful modeling tool…

Formal Languages and Automata Theory · Computer Science 2020-08-05 Claudio Ferretti , Alberto Leporati , Luca Manzoni , Antonio E. Porreca

The ever increasing demands placed upon machine performance have resulted in the need for more comprehensive particle accelerator modeling. Computer simulations are key to the success of particle accelerators. Many aspects of particle…

Self-adaptivity allows software systems to autonomously adjust their behavior during run-time to reduce the cost complexities caused by manual maintenance. In this paper, a framework for building an external adaptation engine for…

Software Engineering · Computer Science 2014-02-11 Mohammed Abufouda

This paper is aiming to apply neural network algorithm for predicting the process response (NOx emissions) from degrading natural gas turbines. Nine different process variables, or predictors, are considered in the predictive modelling. It…

Machine Learning · Computer Science 2022-09-20 Zhenkun Zheng , Alan Rezazadeh

Turbines are essential components of jet planes and power plants. Therefore, their efficiency and service life are of central engineering interest. In the case of jet planes or thermal power plants, the heating of the turbines due to the…