Constraint satisfaction techniques under uncertain conditions for fault diagnosis in nonlinear dynamic systems

The speed of fault isolation is crucial for the design and reconfiguration of fault tolerant control (FTC). In this paper the fault isolation problem is stated as a constraint satisfaction problem (CSP) and solved using constraint propagation techniques. The proposed method is based on constraint satisfaction techniques and uncertainty space refining of interval parameters. In comparison with other approaches based on adaptive observers, the major advantage of the presented method is that the isolation speed is fast even taking into account uncertainty in parameters, measurements and model errors and without the monotonicity assumption. In order to illustrate the proposed approach, a case study of a nonlinear dynamic system is presented

Fault diagnosis by refining the parameter uncertainty space of nonlinear dynamic systems

This paper deals with fault detection and isolation problems for nonlinear dynamic systems. Both problems are stated as constraint satisfaction problems (CSP) and solved using consistency techniques. The main contribution is the isolation method based on consistency techniques and uncertainty space refining of interval parameters. The major advantage of this method is that the isolation speed is fast even taking into account uncertainty in parameters, measurements, and model errors. Interval calculations bring independence from the assumption of monotony considered by several approaches for fault isolation which are based on observers. An application to a well known alcoholic fermentation process model is presented

Robust fault detection using consistency techniques for uncertainty handling

Often practical performance of analytical redundancy for fault detection and diagnosis is decreased by uncertainties prevailing not only in the system model, but also in the measurements. In this paper, the problem of fault detection is stated as a constraint satisfaction problem over continuous domains with a big number of variables and constraints. This problem can be solved using modal interval analysis and consistency techniques. Consistency techniques are then shown to be particularly efficient to check the consistency of the analytical redundancy relations (ARRs), dealing with uncertain measurements and parameters. Through the work presented in this paper, it can be observed that consistency techniques can be used to increase the performance of a robust fault detection tool, which is based on interval arithmetic. The proposed method is illustrated using a nonlinear dynamic model of a hydraulic system

La consolidació de la propietat pagesa a Catalunya (el Baix Empordà, 1850-1940)

Aquesta tesi estudia algunes de les transformacions agràries enregistrades en un àmbit comarcal (la comarca catalana del Baix Empordà) entre mitjan segle XIX i mitjan segle XX. EI fil conductor és la distribució de la propietat del sol agrícola. Però per a la seva comprensió es considera necessari integrar moltes altres variables. EI treball també es proposa assajar alguns procediments metodològics poc habituals en l'anàlisi de la distribució de la propietat del sòl agrícola i la seva evolució en època contemporània. Com a hipòtesi central, es sosté que, al Baix Empordà i al llarg del període comprès entre 1850 i 1940, els canvis que varen produir-se en l'estructura de la propietat i, també, en I'estructura social rural, varen apuntar genèricament a favor dels grups pagesos. En particular, es sosté : ( I) Que la situació de partida (de mitjan segle XIX) ja es caracteritzava per un notable pes de la petita propietat pagesa sobre I'estructura de la propietat agrícola i sobre el conjunt del sistema agrari. (2) Que, amb posterioritat a la crisi agrària finisecular, els problemes de rendibilitat de la producció agrària i l'erosió soferta per alguns mecanismes d'extracció de renda varen tendir a allunyar els sectors rendistes que tradicionalment havien exercit la seva hegemonia -econòmica i social- en la societat rural. (3) I, finalment, que al llarg del període va produir-se un avenç de la propietat pagesa com a conseqüència del fet que una porció significativa de famílies pageses aconseguissin ampliar el seu patrimoni territorial a través de compres realitzades en el mercat de terres, alhora que un nombre significatiu de vells grans patrimonis es fraccionava i desfeia. La magnitud d'aquests canvis va ser moderada i no va pas estar exempta d'ambigüitats, però posa de relleu la capacitat de resistència i adequació de l'explotació pagesa a les condicions d'un capitalisme evolvent, malgrat els pronòstics en sentit contrari de molts teòrics. La tesi està articulada en dues parts. En la primera es duu a terme una descripció detallada de les característiques del sistema agrari baixempordanès de mitjan segle XIX amb l'objectiu final de determinar el significat econòmic de les terres posseïdes per cada patrimoni familiar (més enllà de la simple consideració de les superfícies). EI primer pas consisteix en l'anàlisi dels usos del sòl, dels conreus principals i la seva ordenació en rotacions, dels rendiments físics, de les practiques de reposició de la fertilitat i de la dotació ramadera. A continuació es descriuen les tècniques i el procés de treball agrari amb l'objectiu de formular un model d'organització del treball agrícola que permeti mesurar les exigències en treball d'aquesta activitat. Es conclou que, des de la perspectiva de l'ocupació i de la demanda de treball generades pel sistema agrari, les localitats rurals es caracteritzaven per un fort excedent de mà d'obra en relació a les demandes laborals dels conreus tant des d'una perspectiva macroeconòmica com microeconòmica. EI tercer capítol es centra en l'avaluació de les necessitats de consum i reproducció de les UFP. Les estimacions realitzades permeten proposar un model flexible, que és contrastat amb els ingressos potencialment obtenibles per cada patrimoni. S'arriba a la conclusió que només una ínfima part de la població arribava a obtenir, amb l'explotació directa del seu patrimoni, l'ingrés necessari per a la seva reproducció econòmica simple. Paral·lelament però, es posa de relleu la importància econòmica i social dels petits patrimonis pagesos. S'estima que entorn una mitjana del 45% del sòl agrícola estava posseït per aquest segment de propietaris i, en el quart capítol, s'estudien les implicacions d'aquest fet. EI retrat de la situació de partida finalitza amb l'estudi dels règims de no-propietat predominants a la comarca. En la segona part, aquesta visió estàtica deixa pas a una anàlisi dinàmica. A mitjan segle XIX, al Baix Empordà, s'estava arribant a la fi d'una llarga etapa expansiva iniciada una centúria abans. Els primers signes d'esgotament varen ser la intensa pèrdua de població rural entre 1860 i 1880, la paralització de l'expansió dels conreus i el fort desenvolupament de la industria surera, eix del nou motor econòmic comarcal. Amb posterioritat a 1860 els canvis en l'estructura distributiva de la propietat varen tendir a apuntar cap a la consolidació de la propietat pagesa. Es va produir un procés de transferència de terres des dels sectors rendistes cap a sectors pagesos que va realitzar-se a través de compravendes en el mercat de la terra més que a través d'establiments i subestabliments emfitèutics. Va tenir com a conseqüència última el retrocés dels vells patrimonis rendistes, que, en general, no varen ser substituïts per l'aparició de nous grans patrimonis, com havia pogut passar fins aleshores. Paral·lelament, un bon nombre d'unitats familiars rurals també varen anar abandonant el camp i les seves propietats, produint-se una altra línia de transferència de terres entre sectors pagesos. La depreciació sostinguda dels preus agrícoles, la caiguda de la renda agrària, la superior rendibilitat de les inversions en valors mobiliaris i la incidència d'una creixent conflictivitat agrària són els factors que es destaquen per explicar la reculada dels grans patrimonis territorials. Des de la perspectiva pagesa es proposen tres elements explicatius per interpretar el procés d'acumulació patrimonial observat en un determinat segment de població: (1) el manteniment d'estratègies de producció per a l'autoconsum (un aspecte sempre polèmic i de difícil demostració); (2) l'existència d'un flux important d'ingressos salarials i extra-agrícoles en la composició de l'ingrés familiar pagès; i (3) el canvi en les orientacions tècniques i productives de les explotacions pageses. La combinació dels tres, alhora que hauria limitat els efectes directes dels moviments dels preus agraris, hauria possibilitat l'estratègia acumulativa observada.

Variational calculation of static and dynamic vibrational nonlinear optical properties

The vibrational configuration interaction method used to obtain static vibrational (hyper)polarizabilities is extended to dynamic nonlinear optical properties in the infinite optical frequency approximation. Illustrative calculations are carried out on H2 O and N H3. The former molecule is weakly anharmonic while the latter contains a strongly anharmonic umbrella mode. The effect on vibrational (hyper)polarizabilities due to various truncations of the potential energy and property surfaces involved in the calculation are examined

Dynamic graphics of parametrically linked multivariate methods used in compositional data analysis

Many multivariate methods that are apparently distinct can be linked by introducing one or more parameters in their definition. Methods that can be linked in this way are correspondence analysis, unweighted or weighted logratio analysis (the latter also known as "spectral mapping"), nonsymmetric correspondence analysis, principal component analysis (with and without logarithmic transformation of the data) and multidimensional scaling. In this presentation I will show how several of these methods, which are frequently used in compositional data analysis, may be linked through parametrizations such as power transformations, linear transformations and convex linear combinations. Since the methods of interest here all lead to visual maps of data, a "movie" can be made where where the linking parameter is allowed to vary in small steps: the results are recalculated "frame by frame" and one can see the smooth change from one method to another. Several of these "movies" will be shown, giving a deeper insight into the similarities and differences between these methods

Field-induced coordinates for the determination of dynamic vibrational nonlinear optical properties

Three conjugated organic molecules that span a range of polarity and valence-bond/charge transfer characteristics were studied. It was found that dispersion can be insignificant, and that adequate treatment can be achieved with frequency-dependent field-induced vibrational coordinates (FD-FICs)

Nuclear relaxation contribution to static and dynamic (infinite frequency approximation) nonlinear optical properties by means of electrical property expansions: Application to HF, CH4, CF4, and SF6

Electrical property derivative expressions are presented for the nuclear relaxation contribution to static and dynamic (infinite frequency approximation) nonlinear optical properties. For CF4 and SF6, as opposed to HF and CH4, a term that is quadratic in the vibrational anharmonicity (and not previously evaluated for any molecule) makes an important contribution to the static second vibrational hyperpolarizability of CF4 and SF6. A comparison between calculated and experimental values for the difference between the (anisotropic) Kerr effect and electric field induced second-harmonic generation shows that, at the Hartree-Fock level, the nuclear relaxation/infinite frequency approximation gives the correct trend (in the series CH4, CF4, SF6) but is of the order of 50% too small

Basis set and electron correlation effects on initial convergence for vibrational nonlinear optical properties of conjugated organic molecules

The level of ab initio theory which is necessary to compute reliable values for the static and dynamic (hyper)polarizabilities of three medium size π-conjugated organic nonlinear optical (NLO) molecules is investigated. With the employment of field-induced coordinates in combination with a finite field procedure, the calculations were made possible. It is stated that to obtain reasonable values for the various individual contributions to the (hyper)polarizability, it is necessary to include electron correlation. Based on the results, the convergence of the usual perturbation treatment for vibrational anharmonicity was examined

Application of modal interval analysis to the simulation of the behaviour of dynamic systems with uncertain parameters

Els models matemàtics quantitatius són simplificacions de la realitat i per tant el comportament obtingut per simulació d'aquests models difereix dels reals. L'ús de models quantitatius complexes no és una solució perquè en la majoria dels casos hi ha alguna incertesa en el sistema real que no pot ser representada amb aquests models. Una forma de representar aquesta incertesa és mitjançant models qualitatius o semiqualitatius. Un model d'aquest tipus de fet representa un conjunt de models. La simulació del comportament de models quantitatius genera una trajectòria en el temps per a cada variable de sortida. Aquest no pot ser el resultat de la simulació d'un conjunt de models. Una forma de representar el comportament en aquest cas és mitjançant envolupants. L'envolupant exacta és complete, és a dir, inclou tots els possibles comportaments del model, i correcta, és a dir, tots els punts dins de l'envolupant pertanyen a la sortida de, com a mínim, una instància del model. La generació d'una envolupant així normalment és una tasca molt dura que es pot abordar, per exemple, mitjançant algorismes d'optimització global o comprovació de consistència. Per aquesta raó, en molts casos s'obtenen aproximacions a l'envolupant exacta. Una aproximació completa però no correcta a l'envolupant exacta és una envolupant sobredimensionada, mentre que una envolupant correcta però no completa és subdimensionada. Aquestes propietats s'han estudiat per diferents simuladors per a sistemes incerts.

Simple finite field method for calculation of static and dynamic vibrational hyperpolarizabilities: curvature contributions

In the static field limit, the vibrational hyperpolarizability consists of two contributions due to: (1) the shift in the equilibrium geometry (known as nuclear relaxation), and (2) the change in the shape of the potential energy surface (known as curvature). Simple finite field methods have previously been developed for evaluating these static field contributions and also for determining the effect of nuclear relaxation on dynamic vibrational hyperpolarizabilities in the infinite frequency approximation. In this paper the finite field approach is extended to include, within the infinite frequency approximation, the effect of curvature on the major dynamic nonlinear optical processes

Variational calculation of vibrational linear and nonlinear optical properties

A variational approach for reliably calculating vibrational linear and nonlinear optical properties of molecules with large electrical and/or mechanical anharmonicity is introduced. This approach utilizes a self-consistent solution of the vibrational Schrödinger equation for the complete field-dependent potential-energy surface and, then, adds higher-level vibrational correlation corrections as desired. An initial application is made to static properties for three molecules of widely varying anharmonicity using the lowest-level vibrational correlation treatment (i.e., vibrational Møller-Plesset perturbation theory). Our results indicate when the conventional Bishop-Kirtman perturbation method can be expected to break down and when high-level vibrational correlation methods are likely to be required. Future improvements and extensions are discussed

New delay-dependent stability criteria for uncertain neutral systems with mixed time-varying delays and nonlinear perturbations

The problem of stability analysis for a class of neutral systems with mixed time-varying neutral, discrete and distributed delays and nonlinear parameter perturbations is addressed. By introducing a novel Lyapunov-Krasovskii functional and combining the descriptor model transformation, the Leibniz-Newton formula, some free-weighting matrices, and a suitable change of variables, new sufficient conditions are established for the stability of the considered system, which are neutral-delay-dependent, discrete-delay-range dependent, and distributeddelay-dependent. The conditions are presented in terms of linear matrix inequalities (LMIs) and can be efficiently solved using convex programming techniques. Two numerical examples are given to illustrate the efficiency of the proposed method

Comparing meta-analysis and ecological-longitudinal analysis in time-series studies: a case study of the effects of air pollution on mortality in three Spanish cities

The objective of this paper is to introduce a diVerent approach, called the ecological-longitudinal, to carrying out pooled analysis in time series ecological studies. Because it gives a larger number of data points and, hence, increases the statistical power of the analysis, this approach, unlike conventional ones, allows the complementation of aspects such as accommodation of random effect models, of lags, of interaction between pollutants and between pollutants and meteorological variables, that are hardly implemented in conventional approaches. Design—The approach is illustrated by providing quantitative estimates of the short-termeVects of air pollution on mortality in three Spanish cities, Barcelona,Valencia and Vigo, for the period 1992–1994. Because the dependent variable was a count, a Poisson generalised linear model was first specified. Several modelling issues are worth mentioning. Firstly, because the relations between mortality and explanatory variables were nonlinear, cubic splines were used for covariate control, leading to a generalised additive model, GAM. Secondly, the effects of the predictors on the response were allowed to occur with some lag. Thirdly, the residual autocorrelation, because of imperfect control, was controlled for by means of an autoregressive Poisson GAM. Finally, the longitudinal design demanded the consideration of the existence of individual heterogeneity, requiring the consideration of mixed models. Main results—The estimates of the relative risks obtained from the individual analyses varied across cities, particularly those associated with sulphur dioxide. The highest relative risks corresponded to black smoke in Valencia. These estimates were higher than those obtained from the ecological-longitudinal analysis. Relative risks estimated from this latter analysis were practically identical across cities, 1.00638 (95% confidence intervals 1.0002, 1.0011) for a black smoke increase of 10 μg/m3 and 1.00415 (95% CI 1.0001, 1.0007) for a increase of 10 μg/m3 of sulphur dioxide. Because the statistical power is higher than in the individual analysis more interactions were statistically significant,especially those among air pollutants and meteorological variables. Conclusions—Air pollutant levels were related to mortality in the three cities of the study, Barcelona, Valencia and Vigo. These results were consistent with similar studies in other cities, with other multicentric studies and coherent with both, previous individual, for each city, and multicentric studies for all three cities

A proposal for the diagnosis of uncertain dynamic systems based on interval models

The performance of a model-based diagnosis system could be affected by several uncertainty sources, such as,model errors,uncertainty in measurements, and disturbances. This uncertainty can be handled by mean of interval models.The aim of this thesis is to propose a methodology for fault detection, isolation and identification based on interval models. The methodology includes some algorithms to obtain in an automatic way the symbolic expression of the residual generators enhancing the structural isolability of the faults, in order to design the fault detection tests. These algorithms are based on the structural model of the system. The stages of fault detection, isolation, and identification are stated as constraint satisfaction problems in continuous domains and solved by means of interval based consistency techniques. The qualitative fault isolation is enhanced by a reasoning in which the signs of the symptoms are derived from analytical redundancy relations or bond graph models of the system. An initial and empirical analysis regarding the differences between interval-based and statistical-based techniques is presented in this thesis. The performance and efficiency of the contributions are illustrated through several application examples, covering different levels of complexity.