O2 activation at bioinspired complexes: dinuclear copper systems and mononuclear non-heme iron compounds. Mechanisms and catalytic applications in oxidative transformations

L'activació d'oxigen que té lloc en els éssers vius constitueix una font d'inspiració pel desenvolupament d'alternatives als oxidants tradicionals, considerats altament tòxics i nocius. En aquesta treball s'utilitzen compostos sintètics com a models del centre actiu de proteïnes dinuclears de coure i mononuclears de ferro de tipus no-hemo que participen en l'activació d'oxigen en els éssers vius. Els sistemes dinuclears de coure mostren un centre de tipus coure(III) bis(oxo) que és capaç de dur a terme l'ortho-hidroxilació de fenols de manera similar a la reacció que catalitza la proteïna tirosinasa. Per altra banda, els sistemes de ferro desenvolupats en aquest treball actuen com a models de les dioxigenases de Rieske i poden dur a terme l'hidroxilació estereoespecífica d'alcans i l'epoxidació i cis-dihidroxilació d'olefines utilitzant peròxid d'hidrogen com a agent oxidant. Tot plegat demostra que el desenvolupament de sistemes model constitueix una bona estratègia per l'estudi dels sistemes naturals.

Improvements in the ray tracing of implicit surfaces based on interval arithmetic

Las superfícies implícitas son útiles en muchas áreasde los gráficos por ordenador. Una de sus principales ventajas es que pueden ser fácilmente usadas como primitivas para modelado. Aun asi, no son muy usadas porque su visualización toma bastante tiempo. Cuando se necesita una visualización precisa, la mejor opción es usar trazado de rayos. Sin embargo, pequeñas partes de las superficies desaparecen durante la visualización. Esto ocurre por la truncación que se presenta en la representación en punto flotante de los ordenadores; algunos bits se puerden durante las operaciones matemáticas en los algoritmos de intersección. En este tesis se presentan algoritmos para solucionar esos problemas. La investigación se basa en el uso del Análisis Intervalar Modal el cual incluye herramientas para resolver problemas con incertidumbe cuantificada. En esta tesis se proporcionan los fundamentos matemáticos necesarios para el desarrollo de estos algoritmos.

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.