Compositional evolution with mass transfer in closed systems

Evolution of compositions in time, space, temperature or other covariates is frequent in practice. For instance, the radioactive decomposition of a sample changes its composition with time. Some of the involved isotopes decompose into other isotopes of the sample, thus producing a transfer of mass from some components to other ones, but preserving the total mass present in the system. This evolution is traditionally modelled as a system of ordinary di erential equations of the mass of each component. However, this kind of evolution can be decomposed into a compositional change, expressed in terms of simplicial derivatives, and a mass evolution (constant in this example). A rst result is that the simplicial system of di erential equations is non-linear, despite of some subcompositions behaving linearly. The goal is to study the characteristics of such simplicial systems of di erential equa- tions such as linearity and stability. This is performed extracting the compositional dif ferential equations from the mass equations. Then, simplicial derivatives are expressed in coordinates of the simplex, thus reducing the problem to the standard theory of systems of di erential equations, including stability. The characterisation of stability of these non-linear systems relays on the linearisation of the system of di erential equations at the stationary point, if any. The eigenvelues of the linearised matrix and the associated behaviour of the orbits are the main tools. For a three component system, these orbits can be plotted both in coordinates of the simplex or in a ternary diagram. A characterisation of processes with transfer of mass in closed systems in terms of stability is thus concluded. Two examples are presented for illustration, one of them is a radioactive decay

Adsorció d'or i zinc amb resines impregnades XAD-2. Superfície d'Equilibri, un nou concepte per a l'adsorció

Dins dels processos de recuperació de metalls de dissolucions diluïdes s'ha realitzat un estudi del procés d'extracció d'or i de zinc mitjançant resines amberlite XAD-2 impregnades amb sulfur de triisobutil fosfina (TIBPS) i àcid di-(2-etilhexil) fosfòric (DEHPA) respectivament. S'ha realitzat un estudi de l'equilibri de l'adsorció d'espècies metàl·liques d'aquests metalls amb les resines indicades anteriorment. Amb la metodologia emprada per a la determinació dels punts d'equilibri dels experiments en batch i en columna, s'ha vist que una única isoterma no podia descriure el fenomen global d'equilibri i que en funció de la metodologia emprada s'obtenien isotermes diferents. Es va introduir una nova variable per poder explicar el fenomen observat, i per tant, amb aquesta nova variable l'equació de la isoterma es converteix amb l'equació d'una supèrfície que s'ha definit com a Superfície d'Equilibri. S'han determinat les equacions de les Suprfícies d'Equilibri dels sistemes d'adsorció estudiats (Au(III) TIBPS/XAD-2 i Zn(II) DEHPA/XAD-2) observan una bona coincidència de tots els punts d'equilibri obtinguts sobre la superfície, així com, un bon ajust de totes les isotermes obtingudes en funció de les diferents metodologies emprades sobre les respectives superfícies d'equilibri. Aquest nou concepte generalitza el concepte d'isoterma d'un procés d'adsorció. Fimalment, s'ha plantejat un model matemàtic d'adsorció per a determinar el coeficient efectiu de difusió (De) i el coeficient de transferància de matèria (kf) per ambdós sistemes d'adsorció estudiats mitjançant l'aplicació del model de difusió de sòlid homogeni (HSDM), utilitzant com a condició de contorn en el model la isoterma de Langmuir obtinguda mitjançant els experiments en columna de llit fix i emprant també l'equació obtinguda mitjançant el nou concepte de Superfície d'Equilibri. Els resultats obtinguts són molt satisfactoris, per tant, es pot concloure que la Superfície d'Equilibri és una bona eina per a descriure l'equilibri en els processos d'adsorció d'or i zinc amb les resines amberlite XAD-2 impregnades amb TIBPS i DEHPA respectivament.

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.

Integration of knowledge-based, qualitative and numeric tools for real time dynamic systems supervision

The proposal presented in this thesis is to provide designers of knowledge based supervisory systems of dynamic systems with a framework to facilitate their tasks avoiding interface problems among tools, data flow and management. The approach is thought to be useful to both control and process engineers in assisting their tasks. The use of AI technologies to diagnose and perform control loops and, of course, assist process supervisory tasks such as fault detection and diagnose, are in the scope of this work. Special effort has been put in integration of tools for assisting expert supervisory systems design. With this aim the experience of Computer Aided Control Systems Design (CACSD) frameworks have been analysed and used to design a Computer Aided Supervisory Systems (CASSD) framework. In this sense, some basic facilities are required to be available in this proposed framework: ·