Localizing a bug in a program can be a complex and time-consuming process. In this paper we propose a code coverage-based fault localization method to prioritize suspicious code in terms of its likelihood of containin...
详细信息
This paper introduces a new analytical formulation to describe the robust performance and stability bounds for the quantitative feedback theory (QFT) controller design methodology. The new approach explicity defines a...
详细信息
control systems are by design robust to various disturbances, ranging from noise to unmodelled dynamics. Recent work on the weakly hard model - applied to controllers - has shown that control tasks can also be inheren...
详细信息
This paper introduces an analytical formulation to describe QFT templates based on Fourier series. This allows to calculate the template contour of plants with a high number of uncertain parameters. The proposed solut...
详细信息
This paper deals with the problem of the state estimation and the sensor faults detection for nonlinear perturbed systems described by Takagi-Sugeno (T-S) fuzzy models with unmeasurable premise variables. Indeed, a ...
详细信息
This paper deals with the problem of the state estimation and the sensor faults detection for nonlinear perturbed systems described by Takagi-Sugeno (T-S) fuzzy models with unmeasurable premise variables. Indeed, a T-S observer is synthesized, in descriptor form, to estimate both the system states and the sensor faults simultaneously. The idea of the proposed approach is to introduce the sensor fault as an auxiliary variable in the state vector. Besides, the T-S model with unmeasurable premise variables is reduced to a perturbed model with measurable variables. Convergence conditions are established with Lyapunov theory and the H∞ performance in order to guarantee the best robustness to disturbances. These conditions are expressed in terms of linear matrix inequalities (LMIs). The parameters of the observer are computed using the solution of the LMI conditions. Finally, a numerical example is given to illustrate the design procedures. Simulation results show the satisfactory performances.
Purpose - The purpose of this paper is to propose an automatic pattern matching template generating method for the automatic optical inspection system in TFT LCD assembly and positioning process, to improve the conven...
详细信息
Purpose - The purpose of this paper is to propose an automatic pattern matching template generating method for the automatic optical inspection system in TFT LCD assembly and positioning process, to improve the conventional image technology. Besides, focusing on integrating the image system with the existing control system, the double aligner mark searching time is decreased to reduce the working time of the integrated system. Design/methodology/approach - The improved pattern matching method of genetic algorithm was adopted, including setting for template image selecting, encoding, calculating fitness function, pattern matching, template generating and genetic algorithm steps. The predetermined pixels were selected from the target template based on the minimum difference to the block image to be tested by utilizing the genetic algorithm, and the other pixels which have not been selected were neglected. Findings - The selected pixels were encoded for recording by sequence mode, and then the target template and the image to be tested were compared based on the calculated fitness function. This method has the advantages of using the fitness function to reduce the searching time, with the help of genetic algorithm to find the optimal target template, and saving memory space by recording target template based on the sequence mode. Research limitations/implications - The genetic algorithm used in this study is a kind of optimal tool free from gradient data. As long as the fitness function and after continuous iteration are determined, the optimal solution can be found out, and then the optimal target template can be generated. Practical implications - This system uses fitness function to reduce the pattern matching time. Plural pixels are preset inside the target template, and its fitness function value is calculated. When the target template is compared with the image to be tested, only the fitness function value (also the difference of the plural pixels) is calculated
作者:
DE LA CRUZ J.MHERRáN-GONZáLEZ ARISCO-MARTíN J.LANDRéS-TORO BDepartment of Computer Architecture and Automatic Control
Complutense University of Madrid 28040 Madrid SpainDepartment of Computer Architecture and Automatic Control Complutense University of Madrid 28040 Madrid SpainDepartment of Computer Science Engineering C.E.S. Felipe II (U.C.M.) 28300 Aranjuez SpainDepartment of Computer Architecture and Automatic Control Complutense University of Madrid 28040 Madrid Spain
We solve the problem of petroleum products distribution through oil pipelines networks. This problem is modelled and solved using two techniques: A heuristic method like a multiobjective evolutionary algorithm and Mat...
详细信息
We solve the problem of petroleum products distribution through oil pipelines networks. This problem is modelled and solved using two techniques: A heuristic method like a multiobjective evolutionary algorithm and Mathematical Programming. In the multiobjective evolutionary algorithm, several objective functions are defined to express the goals of the solutions as well as the preferences among them. Some constraints are included as hard objective functions and some are evaluated through a repairing function to avoid infeasible solutions. In the Mathematical Programming approach the multiobjective optimization is solved using the Constraint Method in Mixed Integer Linear Programming. Some constraints of the mathematical model are nonlinear, so they are linearized. The results obtained with both methods for one concrete network are presented. They are compared with a hybrid solution, where we use the results obtained by Mathematical Programming as the seed of the evolutionary algorithm.
Game based-learning methods are largely adopted in many academic fields. The multi-dimensional virtual reality based learning games help the learners to understand the problem dynamics effectively and to construct opt...
详细信息
According to Mark Zuckerberg's speech, at the Samsung S7 launch in February 2016, the age of massive data streaming, especially massive video streaming, is here. At the beginning of the year 2000, most people used...
详细信息
The objective of this paper is to design a real-time control solution for chemical processes, namely the ethylene reactor, the key-installation in the petrochemical industry. The controller used is lag or lead control...
详细信息
暂无评论