En aquesta tesis s'ha desenvolupat un sistema de control capaç d'optimitzar el funcionament dels Reactors Discontinus Seqüencials dins el camp de l'eliminació de matèria orgànica i nitrogen de les aigües residuals. El sistema de control permet ajustar en línia la durada de les etapes de reacció a partir de mesures directes o indirectes de sondes. En una primera etapa de la tesis s'ha estudiat la calibració de models matemàtics que permeten realitzar fàcilment provatures de diferents estratègies de control. A partir de l'anàlisis de dades històriques s'han plantejat diferents opcions per controlar l'SBR i les més convenients s'han provat mitjançant simulació. Després d'assegurar l'èxit de l'estratègia de control mitjançant simulacions s'ha implementat en una planta semi-industrial. Finalment es planteja l'estructura d'uns sistema supervisor encarregat de controlar el funcionament de l'SBR no només a nivell de fases sinó també a nivell cicle. / In this Thesis a control system has been developed which permits optimizing the performance of the Sequencing Batch Reactors (SBR) within the field of organic matter and nitrogen removal from the wastewater. This control system is based on the on-line adjustment of the length of the reaction phases using directly or indirectly the data acquired from the sensors. In a first stage of the Thesis the calibration of the activated sludge models is studied what permits obtaining models for testing different operating and control strategies. From the analysis of historical data several options for controlling the SBR are obtained and most suitable is tested using a simulation approach. Afterwards, the control strategy is implemented in a semi-industrial plant obtaining promising results. Finally, a proposal for a supervisory control system is presented which can be in charge of controlling the performance of the SBR not only at a phase level but also at cycle level.

La tesi realitza un estudi detallat dels principals processos que tenen lloc durant l'eliminació de tinta tòner per flotació.L'estudi del procés d'adhesió de tinta a la superfície de bombolles d'aire s'ha realitzat mitjançant visió artificial. Els resultats obtinguts han mostrat que un excés de tensioactiu provoca una disminució de la quantitat de tinta unida a la bombolla d'aire i per tant una disminució de l'eficàcia del procés de flotació. La caracterització de les bombolles d'aire presents en una cel·la de flotació ha posat de manifest que tant el cabal d'aire com la velocitat de l'agitador configuren la distribució de diàmetres final. L'estudi del procés d'eliminació de tinta per flotació en absència de fibres cel·lulòsiques ha mostrat que les variables físico-químiques estudiades són les que tenen una major influència en el procés d'eliminació de tinta tòner per flotació.Finalment s'han addicionat fibres cel·lulòsiques a la suspensió. S'ha pogut comprovar que s'aconsegueix una bona eliminació de tinta sempre i quan les condicions hidrodinàmiques siguin les adequades. / First of all the adhesion of ink particles to air bubbles surface was studied by means of artificial vision. Results obtained showed that an excess of surfactant decreases ink adsorption decreasing flotation efficiency. Air bubbles created in a lab-scale flotation cell were characterized by means of artificial vision. Results showed that air flow and agitation rate configure the final air bubble distribution.Ink removal from a flotation cell was studied without the presence of cellulose fibers. Results obtained showed that the physico-chemical variables studied had a major influence on ink removal than hydrodynamic variables studied.Finally, cellulose fibers were added to the suspension. Results obtained showed that it was possible to obtain good flotation results provided that the hydrodynamic conditions were carefully adjusted.

In the last decades, the awareness of environmental issues has increased in society considerably. There is an increasing need to improve the effluent quality of domestic wastewater treatment processes. This thesis describes the application of the Sequencing Batch Reactor (SBR) technology for Biological Nutrient Removal (BNR) from the wastewater. In particular, the work presented evolves from the nitrogen removal to the biological nutrient removal (i.e. nitrogen plus phosphorous removal) with special attention to the operational strategy design, the identification of possible reactor cycle controls or the influent composition related to the process efficiency. In such sense, also the use of ethanol as an external carbon (when low influent Carbon:Phosphorus (C:P) or Carbon:Nitrogen (C:N) ratios are presented) are studied as an alternative to maintain the BNR efficiency.

A nivel legislativo, la Directiva 2000/60/EC del Parlamento Europeo y el Consejo de Europa establece un marco comunitario de acción en el ámbito de la política del agua, y en cuanto a depuración de agua se refiere, la Directiva 91/271/EC establece los límites de vertido de contaminantes procedentes de las estaciones de depuración de agua residual (EDAR), e introduce el concepto de zonas sensibles, en el que se establece la importancia de eliminar nutrientes, especialmente nitrógeno y fósforo, de las aguas residuales, en vista de su impacto negativo sobre los ecosistemas acuáticos. Diversos estudios han puesto de manifiesto la posibilidad de optimizar el funcionamiento de las EDAR mediante el empleo de procesos que permitan eliminar el nitrógeno amoniacal vía nitrito de corrientes de agua residual con elevada concentración de amonio. El objetivo principal de este trabajo de tesis doctoral ha sido el estudio a escala de laboratorio del proceso de eliminación de nitrógeno vía nitrito, para eliminar el amonio de la corriente del sobrenadante procedente de la deshidratación de fangos estabilizados mediante digestión anaerobia. Inicialmente, se estudiaron diversas estrategias para la puesta en marcha del proceso SHARON operado para la nitritación parcial. Tras alcanzar un funcionamiento estable del proceso se estudió el efecto de diversos factores ambientales y de operación sobre los organismos amonioxidantes (AOB) y la calidad del efluente, respectivamente. Por otro lado, a partir del análisis de la información aportada por los sensores de pH, potencial redox y oxígeno disuelto instalados en el reactor, y su relación con las concentraciones de los compuestos nitrogenados, determinados durante las etapas de puesta en marcha y seguimiento del proceso biológico de nitrificación y desnitrificación vía nitrito, se desarrolló una estrategia de monitorización, en donde se establecieron los criterios de funcionamiento óptimo del proceso. Esta información fue empleada para d / Claros Bedoya, JA. (2012). ESTUDIO DEL PROCESO DE NITRIFICACIÓN Y DESNITRIFICACIÓN VÍA NITRITO PARA EL TRATAMIENTO BIOLÓGICO DE CORRIENTES DE AGUA RESIDUAL CON ALTA CARGA DE NITRÓGENO AMONIACAL [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/17653 / Palancia

En esta tesis se aborda la eliminaci'on de ruido impulsivo, gaussiano y speckle en im'agenes a color y en escala de gises. Como caso particular se puede mencionar la eliminaci'on de ruido en im'agenes m'edicas. Algunos m'etodos de filtrado son costosos computacionalmente y m'as a'un, si las im'agenes son de gran tama¿no. Con el fin de reducir el coste computacional de dichos m'etodos, en esta tesis se utiliza hardware que soporta procesamiento paralelo, como lo son los cores CPU con procesadores multicore y GPUs con procesadores manycore.En las implementaciones paralelas en CUDA, se configuran algunas caracter'¿sticas con la finalidad de optimizar el procesamiento de la aplicaci'on en las GPUs. Esta tesis estudia por un lado, el rendimiento computacional obtenido en el proceso de eliminaci'on de ruido impulsivo y uniforme. Por otro lado, se eval'ua la calidad despu'es de realizar el proceso de filtrado. El rendimiento computacional se ha obtenido con la paralelizaci'on de los algoritmos en CPU y/o GPU. Para obtener buena calidad en la imagen filtrada, primero se detectan los p'¿xeles corruptos y luego son filtrados solo los p'¿xeles que se han detectado como corruptos. Por lo que respecta a la eliminaci'on de ruido gaussiano y speckle, el an'alisis del filtro difusivo no lineal ha demostrado ser eficaz para este caso. Los algoritmos que se utilizan para eliminar el ruido impulsivo y uniforme en las im'agenes, y sus implementaciones secuenciales y paralelas se han evaluado experimentalmente en tiempo de ejecuci'on (speedup) y eficiencia en tres equipos de c'omputo de altas prestaciones. Los resultados han mostrado que las implementaciones paralelas disminuyen considerablemente los tiempos de ejecuci'on secuenciales. Finalmente, en esta tesis se propone un m'etodo para reducir eficientemente el ruido en las im'agenes sin tener informaci'on inicial del tipo de ruido contenido en ellas. I / Sánchez Cervantes, MG. (2013). Algoritmos de detección y filtrado de imágenes para arquitecturas multicore y manycore [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/28854 / TESIS

La Tesis Doctoral "Estudio de la recuperación de cromo hexavalente mediante un reactor electroquímico de compartimentos separados por separadores cerámicos" se centra en la posibilidad de recuperación del cromo hexavalente procedente de las disoluciones de mordentado de las industrias de metalizado de plásticos mediante la utilización de un reactor electroquímico de compartimentos separados por separadores cerámicos fabricados a diferente presión y diferente composición de almidón. Con la recuperación de este metal se pretende por una parte, minimizar la contaminación producida en la etapa de mordentado, y por otra parte conseguir un ahorro de materias primas puesto que una vez recuperado este metal podría ser utilizado de nuevo en el proceso de mordentado. El estudio electroquímico de los baños de mordentado ha permitido analizar las condiciones idóneas de trabajo, tanto a potencial de electrodo constante, como a intensidad constante para los separadores cerámicos ubicados entre los compartimentos del reactor electroquímico. El objetivo es seleccionar aquel separador cerámico cuya resistencia a la migración iónica sea la mínima, pero que a la vez su resistencia a la convección y a la difusión de especies sea la máxima. Mediante el separador cerámico seleccionado se pretende evitar el paso del Cr(VI) hacia el compartimento catódico, donde se reduciría a Cr(III) produciendo un menor rendimiento del proceso. Con los estudios previos se ha realizado la puesta en marcha del reactor electroquímico de compartimentos separados por separadores cerámicos, donde se ha evaluado el efecto del potencial y la intensidad de trabajo sobre la recuperación del metal sobre las principales "figuras de mérito" del reactor, como son: el grado de conversión, el rendimiento eléctrico, la productividad específica, la energía específica consumida, que se alcanza para un tiempo teórico, t100. Por último con los estudios del reactor electroquímico a escala piloto, se ha determinado un model / Reyes Pineda, H. (2007). Estudio de la recuperación de cromo hexavalente mediante un reactor electroquímico de compartimentos separados por separadores cerámicos [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1947 / Palancia

The water ozonation processes are really interesting to remove some organic compounds that are recalcitrant to the conventional water treatments. To adequately design and control the gas-liquid reactors it is necessary to use proper mathematical models that describe the behaviour of those reactors. However, the definition of suitable models is complex, since the performance of these reactors is defined by the interaction of the hydrodynamic processes of the gas and liquid phases, the transfer processes between the different phases and the chemical reactions. The present work intends to do the definition of suitable mathematical models of the bubble column reactors and the reactive schemes of the ozone. To validate them, the experimental designs are proposed for: i) the determination of physical parameters of the reactors, such as the gas holdup and the volumetric mass transfer coefficient; ii) the estimation of reaction rates of ozone decomposition and the elimination of some pollutants; and iii) the calculation of ozone properties, such as the molar extinction coefficient or solubility. The study of ozone solubility has demonstrated that the molar extinction coefficient of the dissolved ozone obtained in this work differs from the corresponding value traditionally used in the literature. This fact has been verified with different analytical methodologies. The estimation of kinetic constants fitting the mathematical models to the experimental results is usually carried out by optimization using classical gradient algorithms, which is sometimes quite complex. To facilitate these procedures, in this thesis an algorithm has been developed based on artificial neural networks to estimate the initial values of the classical methodologies. The developed algorithm is sensitive enough to estimate suitable values of kinetic constants, as it was demonstrated. A microscopic transfer model for bubble column reactors was formulated allowing the implementation of any type of reaction mechanism for the ozone. The sensitivity analysis of this model shows that the kinetic constant can be determined by knowing the evolution of a substrate, and if the evolution of the ozone gas phase concentration is also known, the volumetric mass transfer coefficient can be determined at the same time. On the other hand, a reactive model of the ozone chemical decay process has been developed. The application of a sensitivity analysis on this model shows that knowing the evolution of the ozone concentration and the initial and final concentration of hydrogen peroxide we can determine three kinetic constants of the chemical mechanism. Finally, as an example of application, we study the elimination of cytostatic compounds in hospital raw waters by ozone. The experimental results were used to estimate the kinetic rate constants of the reaction of some of these compounds with the ozone. Using these constants we carried out a preliminary economical study of the operating costs of an ozone plant to treat water of these characteristics. / Los procesos de ozonización de aguas ofrecen una serie de ventajas muy interesantes para la eliminación de ciertos compuestos orgánicos que resultan recalcitrantes a los procesos de tratamiento de aguas convencionales. El correcto diseño y control de los reactores gas-líquido necesarios para su implementación industrial precisa de adecuados modelos matemáticos que describan el comportamiento de los mismos. Sin embargo, la definición de modelos adecuados resulta compleja, ya que el rendimiento de estos reactores viene definido por la interacción de los procesos hidrodinámicos de las fases gas y líquida, los procesos de transferencia entre las fases y las reacciones químicas. Con el presente trabajo se pretende la definición de modelos matemáticos adecuados de los reactores de burbujeo y de los esquemas reactivos del ozono. Para validarlos se realizan diseños experimentales para: i) la determinación de parámetros físicos de los reactores, como la fracción de gas y el coeficiente volumétrico de transferencia de materia; ii) la estimación de velocidades de reacción de la descomposición del ozono y de la eliminación de algunos contaminantes; y iii) el cálculo de propiedades del ozono, como el coeficiente de extinción molar o la solubilidad. Los estudios de solubilidad del ozono realizados en esta tesis han demostrado que el coeficiente de extinción molar del ozono disuelto obtenido difiere del valor utilizado tradicionalmente en la bibliografía. Este hecho se ha verificado con diferentes metodologías analíticas. El cálculo de constantes cinéticas por medio del ajuste de los modelos matemáticos a los resultados experimentales suele realizarse mediante optimización por algoritmos clásicos de gradiente, lo que resulta en ocasiones bastante complejo. Para facilitar estos procedimientos, en esta tesis se desarrolla un algoritmo basado en redes neuronales artificiales para estimar los parámetros de inicio de las metodologías clásicas. Se ha comprobado que el algoritmo desarrollado es sensible por sí mismo para estimar valores adecuados de las constantes cinéticas. La metodología desarrollada ha permitido establecer un modelo de transferencia microscópico para reactores de burbujeo al que se le puede implementar cualquier tipo de mecanismo de reacción para el ozono. El análisis de sensibilidad de este modelo demuestra que conociendo la evolución de un substrato se puede determinar la constante cinética, y si también se conoce la evolución de la concentración de ozono en fase gas se puede determinar al mismo tiempo el coeficiente de transferencia de materia volumétrico. Por otra parte, se ha desarrollado un modelo reactivo del proceso de descomposición química del ozono. La aplicación de un análisis de sensibilidad sobre este modelo demuestra que conociendo la evolución de la concentración de ozono y la concentración inicial y final de peróxido de hidrógeno se pueden determinar un máximo de 3 constantes cinéticas del mecanismo utilizado. Finalmente, como ejemplo de aplicación de esta tecnología, se estudia la eliminación de compuestos citostáticos en aguas hospitalarias mediante ozono. A partir de los resultados experimentales se han determinado las constantes cinéticas de la reacción de alguno de estos compuestos con el ozono. Haciendo uso de estas constantes se realiza un estudio económico preliminar de los costes de operación de una planta de ozono para tratar aguas de estas características. / Els processos d'ozonització d'aigües ofereixen alguns avantatges molt interessants per a l'eliminació de certs compostos orgànics que són recalcitrants als processos de tractament d'aigües convencionals. Per a dissenyar i controlar correctament els reactors gas-líquid, per a la seua implementació industrial, es necessari utilitzar models matemàtics que descriguen adequadament el seu comportament. Però, la definició de models adequats resulta complexa, ja que el rendiment d'aquests reactors ve definit per la interacció dels processos hidrodinàmics de les fases gas i líquida, els processos de transferència entre ambdues fases i les reaccions químiques. La present tesi pretén la definició de models matemàtics adequats del reactors de bombolleig i dels esquemes reactius de l'ozó. Per a validar-los es realitzaran dissenys experimentals amb la finalitat de: i) determinar paràmetres físics dels reactors, com la fracció de gas i el coeficient volumètric de transferència de matèria; ii) l'estimació de velocitats de reacció de descomposició de l'ozó i de l'eliminació d'alguns contaminants; i iii) el càlcul de propietats de l'ozó, com el coeficient d'extinció molar o la solubilitat. Els estudis de solubilitat de l'ozó realitzats en aquesta tesi han demostrat que el coeficient d'extinció molar de l'ozó dissolt determinat difereix del valor utilitzat tradicionalment a la bibliografia. Aquest fet s'ha verificat amb diferents metodologies analítiques. El càlcul de constants cinètiques per mitjà de l'ajust dels models matemàtics als resultats experimentals sol realitzar-se mitjançant algoritmes d'optimització clàssics basats en el gradient, el que resulta bastant complex en algunes ocasions. Per facilitar aquests procediments, en aquesta tesi es desenvolupa un algoritme basat en xarxes neuronals artificials per a estimar els paràmetres d'inici de les metodologies clàssiques. S'ha comprovat que l'algoritme desenvolupat es sensible per sí mateix per a estimar valors adequats per a les constants cinètiques. La metodologia desenvolupada ha permès establir un model de transferència microscòpic per a reactors de bombolleig al que es pot implementar qualsevol mecanisme de reacció per a l'ozó. L'anàlisi de sensibilitat d'aquest model demostra que coneixent l'evolució d'un substrat es pot determinar la constant cinètica. A més a més, si es coneix l'evolució de la concentració d'ozó en fase gas es pot determinar al mateix temps el coeficient volumètric de transferència de matèria. D'altra banda, s'ha desenvolupat un model reactiu del procés de descomposició química de l'ozó. L'aplicació d'un anàlisis de sensibilitat sobre aquest model demostra que coneixent l'evolució de la concentració d'ozó i la concentració inicial i final de peròxid d'hidrogen es pot determinar una màxim de tres constants cinètiques del mecanisme utilitzat. Finalment, com a exemple d'aplicació d'aquesta tecnologia, s'estudia l'eliminació de compostos citostàtics en aigües hospitalàries mitjançant l'ozó. A partir dels resultats experimentals s'han determinat les constants cinètiques de la reacció d'algun d'aquests compostos amb l'ozó. Fent ús d'aquestes constants es realitza un estudi econòmic preliminar dels costos d'operació d'una planta d'ozó per a tractar aigües d'aquestes característiques. / Ferre Aracil, J. (2017). Diseño de reactores de burbujeo para el tratamiento de aguas residuales mediante ozono. Caracterización física, análisis cinético y optimización con redes neuronales artificiales [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/86163 / TESIS

[ES] La presente tesis doctoral, titulada "Estudio, desarrollo y mejora de la síntesis de nanopartículas mesoporosas de sílice (MSN) tipo MCM-41 orientada a aplicaciones biomédicas" se centra en la síntesis, caracterización, estudio y evaluación de diferentes MSN tipo MCM-41, con el objetivo de ampliar el conocimiento de las MSN como nanomateriales implicados en aplicaciones biomédicas. El primer capítulo de este trabajo es una introducción general sobre los temas que se van a tratar a lo largo de la tesis. Por un lado, se introducen los principales conceptos sobre las nanopartículas de sílice mesoporosas, y en particular las MSN de tipo MCM-41, como su descubrimiento, sus propiedades, ventajas y aplicaciones, su síntesis y la química implicada, y la posibilidad de ser funcionalizadas o dopadas para adquirir propiedades adicionales y únicas. Por otro lado, se presenta un amplio abanico de técnicas de caracterización de MSN, destacando su importancia en la presente tesis. Por último, se revisan los conceptos de nanomedicina y nanomateriales, incluyendo el conjunto de requisitos que deben cumplir los nanomateriales para ser validados, los tipos de nanomateriales desarrollados hasta el momento y los principales cuellos de botella encontrados en la traslación clínica de los nanomateriales. En este contexto, se revisan los estudios de las MSN en nanomedicina, señalando los retos de las mismas dentro de esta especialidad y la oportunidad que ofrecen a la ciencia de los materiales. En el segundo capítulo se exponen los objetivos generales de la presente tesis doctoral, que son abordados en los siguientes capítulos. El tercer capítulo se basa en un estudio en profundidad del mecanismo de síntesis de las MSN de tipo MCM-41, considerando el mecanismo de estructuración de la sílice, la nucleación, el crecimiento y los procesos de envejecimiento. En particular, se analizan detalladamente las primeras etapas de la síntesis de MSN. Además, se revisan los diferentes modelos descritos sobre el mecanismo de estructuración de la sílice, que han sido ampliamente estudiados. El cuarto capítulo se centra en la investigación del efecto de algunos parámetros tradicionalmente poco estudiados en la síntesis y formación de MSN de tipo MCM-41, como el tiempo de síntesis, la velocidad de agitación, el núcleo de agitación magnética utilizado, la velocidad de adición del TEOS y el método de neutralización una vez formadas las nanopartículas. También se introduce una revisión de la influencia de los parámetros de síntesis más estudiados en las MSN tipo MCM-41. El quinto capítulo se basa en el estudio de la obtención, caracterización y manipulación de MSN de tipo MCM-41 coloidales. En primer lugar, se presenta una revisión crítica de los trabajos que informan sobre la obtención de MSN coloidales, correctamente suspendidas o discretas. En segundo lugar, se introduce una metodología para caracterizar la estabilidad coloidal de las MSN. En tercer lugar, se estudia y compara el comportamiento coloidal de diferentes nanopartículas en diferentes condiciones. Y, por último, se desarrolla un marco conceptual y de trabajo sobre los principios que rigen la estabilidad coloidal de las nanopartículas. El sexto capítulo es un estudio exhaustivo de las implicaciones del uso de diferentes procedimientos de eliminación de surfactantes en las MSN de tipo MCM-41, como la calcinación a diferentes temperaturas y la extracción con disolventes. Las propiedades fisicoquímicas de las MSN estudiadas son la eficiencia de eliminación de surfactantes, el grado de condensación de la sílice, la porosidad, la estabilidad coloidal y la reactividad superficial. Además, se comprobó la biocompatibilidad de las nanopartículas en cuanto a su citotoxicidad y su degradación en un entorno fisiológico simulado, para validar su uso en aplicaciones biomédicas. El séptimo capítulo recoge las conclusiones generales de la presente tesis, que resumen las conclusiones obtenidas en cada capítulo. / [CA] L'actual tesi doctoral, titulada "Estudi, desenvolupament i millora de la síntesi de nanopartícules mesoporoses de sílice (MSN) de tipus MCM-41 orientada cap a aplicacions biomèdiques" se centra en la síntesi, caracterització, estudi i avaluació de diferents mostres de MSN de tipus MCM-41 amb l'objectiu de millorar el coneixement de les MSN com nanomaterials implicats en aplicacions biomèdiques. El primer capítol d'aquest treball és una introducció general sobre els elements que es tractaran durant tota la tesi. D'una banda, s'introdueixen els conceptes principals sobre les nanopartícules mesoporoses de sílice, i en particular les de tipus MCM-41, com el seu descobriment, les seues propietats, avantatges i aplicacions, la seua síntesi i la química implicada, i la possibilitat de ser funcionalitzades o dopades per adquirir propietats addicionals i úniques. D'altra banda, es presenta una àmplia gamma de tècniques de caracterització de MSN destacant la seua importància en la tesi actual. Finalment, es revisen els conceptes de nanomedicina i nanomaterials, incloent-hi el conjunt de requisits que els nanomaterials han d'aconseguir per ser validats, els tipus de nanomaterials desenvolupats fins ara, i els principals colls d'ampolla trobats en la translació clínica de nanomaterials. En aquest context, es revisen els estudis de les MSN en nanomedicina, assenyalant els seus reptes dins de la nanomedicina i l'oportunitat que ofereixen a la ciència dels materials. El segon capítol exposa els objectius generals de la tesi doctoral actual, que són abordats en els següents capítols. El tercer capítol es basa en un estudi en profunditat del mecanisme de síntesi de les MSN tipus MCM-41, considerant el mecanisme d'estructuració de la sílice, la nucleació, el creixement i els processos de maduració. Particularment, les primeres etapes de la síntesi de MSNs s'analitzen en detall. A més, es revisen els diferents models reportats sobre el mecanisme d'estructuració de sílice, que ja han sigut àmpliament estudiats. El quart capítol es centra en la investigació de l'efecte d'alguns paràmetres tradicionalment menys estudiats en la síntesi i formació de l'MSN de tipus MCM-41, com: el temps de síntesi, la velocitat d'agitació, el nucli d'agitació magnètica utilitzat, la velocitat d'addició de TEOS i el mètode de neutralització una vegada que es formen les nanopartícules. També s'introdueix una revisió de la influència dels paràmetres de síntesi més estudiats en les MSN de tipus MCM-41. El cinqué capítol es basa en l'estudi de l'obtenció, caracterització i manipulació de les MSN de tipus MCM-41 col·loidals. En primer lloc, es presenta una revisió crítica dels treballs que descriuen l'obtenció de MSN col·loidals, correctament suspeses o discretes. En segon lloc, s'introdueix una metodologia per caracteritzar l'estabilitat col·loidal de les MSN. En tercer lloc, s'estudia i compara el comportament col·loidal de diverses nanopartícules en diferents condicions. I finalment, es desenvolupa un marc conceptual i de treball sobre els principis que regeixen l'estabilitat col·loidal de les nanopartícules. El sisé capítol és un estudi exhaustiu de les implicacions de l'ús de diferents procediments d'extracció de surfactants a les MSN de tipus MCM-41, com la calcinació a diferents temperatures i l'extracció de dissolvents. Les propietats fisicoquímiques de les MSN estudiades són l'eficiència d'extracció de surfactant, el grau de condensació de sílice, la mesoporositat, l'estabilitat col·loidal i la reactivitat de la superfície. A més, la biocompatibilitat de les nanopartícules es va provar pel que fa a la seua citotoxicitat i la seua degradació en un entorn fisiològic simulat, per validar el seu ús en aplicacions biomèdiques. El seté capítol recull les conclusions generals de la tesi actual, que resumeix les conclusions obtingudes en cada capítol, però també proporciona noves perspectives i una visió global de la matèria estudiada. / [EN] The present PhD thesis, entitled "Study, development and improvement of MCM-41-type mesoporous silica nanoparticles (MSN) synthesis oriented to biomedical applications" is focused on the synthesis, characterisation, study and evaluation of different MCM-41-type MSN samples to improve the knowledge of MSN as nanomaterials involved in biomedical applications. The first chapter of this work is a general introduction about the items that are going to be treated throughout the thesis. On the one hand, the main concepts about the mesoporous silica nanoparticles, and in particular MCM-41-type MSN, are introduced, such as their discovery, their properties, advantages, and applications, their synthesis and the chemistry involved, and the possibility of being functionalised or doped to acquire additional and unique properties. On the other hand, a wide range of MSN characterisation techniques are presented highlighting their importance in the current thesis. Finally, the concepts of nanomedicine and nanomaterials are reviewed, including the set of requirements the nanomaterials must accomplish to be validated, the types of nanomaterials developed thus far, and the main bottlenecks found in clinical translation of nanomaterials. In this context, the studies of MSN in nanomedicine are reviewed, illustrating the challenges of MSN within the nanomedicine and the opportunity their offer to material science. Second chapter exposes the general objectives of present PhD thesis, which are addressed in the following chapters. Third chapter is based on an in-depth study of the synthesis mechanism of MCM-41-type MSN, considering the silica templating mechanism, the nucleation, the growth and the aging processes. Particularly, the early stages of the MSNs synthesis are substantially analysed. In addition, the different models reported about the silica templating mechanism, which are widely studied, are reviewed. Fourth chapter is focused on the investigation of the effect of some disregarded parameters on the synthesis and formation of MCM-41-type MSN, such as synthesis time, stirring rate, the magnetic stir bar used, TEOS addition rate and the neutralisation method once nanoparticles are formed. A review of the influence of the most studied synthesis parameters on MCM-41-type MSN is also introduced. Fifth chapter is based on the study of the obtaining, characterisation and manipulation of colloidal MCM-41-type MSN. First, a critical review of works that report the obtaining of colloidal, well-suspended or discrete MSN is presented. Second, a methodology to characterise the colloidal stability of MSN is introduced. Third, the colloidal behaviour of several nanoparticles under different conditions is studied and compared. And finally, a conceptual and operational framework about the principles governing the colloidal stability of nanoparticles is developed. Sixth chapter is a comprehensive study of the implications of the use of different surfactant removal procedures on standard MCM-41-type MSN, such as calcination at different temperatures and solvent extraction. The physicochemical properties of MSN studied are the surfactant removal efficiency, the silica condensation degree, the mesostructured framework, the colloidal stability and the surface reactivity. Additionally, the biocompatibility of nanoparticles was tested regarding their cytotoxicity and their degradation in a simulated physiological environment, to validate their use in biomedical applications. Finally, seventh chapter gathers the general conclusions of the current thesis, which summarise the conclusions obtained in each chapter, but also provide new perspectives and the big picture of the studied matter. / Candela Noguera, V. (2022). Study, development and improvement of MCM-41-type MSN synthesis oriented to biomedical applications [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/182386 / TESIS

La presente investigación busca analizar el desarrollo de la Gestión Integral de Residuos Sólidos-GIRS de la feria de la ciudad de Desaguadero-Perú con la finalidad de conocer qué deficiencias de la GIRS de la feria generan contaminación en el espacio público. Para ello se presentan las características de la feria en sus distintas dimensiones, entre ellas: el aspecto institucional ambiental, relacionado a la institucionalización de la feria, la regulación de la feria y el manejo de los residuos producidos en la feria, los tipos de residuos producidos por esta; y el aspecto político, relacionado a los principales actores y sus conflictos por temas de manejo de residuos. En este marco, se analiza el papel de los actores de la feria en el actual manejo de residuos dentro del distrito de Desaguadero y cuál sería su participación en una futura GIRS de la feria. Finalmente, se explica el manejo de los residuos sólidos que actualmente posee la Municipalidad de Desaguadero. / The present research seeks to analyze the development of the Integrated Solid Waste Management - ISWM of the city fair of Desaguadero-Peru with the purpose of knowing what deficiencies of the ISWM of the fair generate pollution in the public space. For this, the characteristics of the fair in its different dimensions are presented, among them: the environmental institutional aspect, related to the institutionalization of the fair, the regulation of the fair and the handling of the waste produced at the fair, the types of waste produced by this; and the political aspect, related to the main actors and their conflicts due to issues of waste management. In this framework, the role of the actors of the fair in the current waste management within the district of Desaguadero and what would be their participation in a future ISWM of the fair is analyzed. Finally, the management of the solid waste currently owned by the Municipality of Desaguadero is explained.

Els mètodes de verificació formal s'estan usant cada vegada més en la indústria per establir la correctessa i trobar els errors en models de sistemes; per exemple la descripció de hardware, protocols, programes distribuïts, etc. En particular, els verificadors de models ho fan automàticament per sistemes d'estats finits, per-o estan limitats degut al problema de l'explosió d'estats; i la verificació formal interactiva, l'àrea d'aquesta tesi, es necessita.L'enfocament de la verificació automàtica treballa sobre el sistema de transicions del model, el qual defineix la seva semàntica. Aquest sistema de transicions té sovint molts estats, i sempre una mida gran comparada amb la mida del model del sistema, el qual és sempre infinit. Aquestes consideracions suggereixen un enfocament de verificació estàtica com els d'aquesta tesi, evitant els sistemes de transicions, treballant directament sobre el model del sistema, en principi, la complexitat computacional hauria de ser menor. L'enfocament estàtic d'aquest treball es fa sobre models de sistemes expressats en notació imperativa amb paral·lelisme explícit, sentències de comunicacions síncrones i variables d'emmagatzematge locals.Els raonaments d'equivalència són molt empleats per números, matrius i altres camps. Tanmateix, per programes imperatius amb paral·lelisme, comunicacions i variables, encara que potencialment sigui un mètode de verificació molt intuïtiu, no han estat massa explorats. La seqüencialització formal via l'eliminació de comunicacions internes, l'àrea d'aquesta tesi, és una demostració basada en el raonament estàtic d'equivalències que, donat que disminueix la magnitud del vector d'estats, pot complementar altres mètodes de demostració. Es basa en l'aplicació d'un conjunt de lleis , apropiades per tal propòsit, com reduccions de reescriptura del model del sistema. Aquestes depenen de la noció d'equivalència i de les suposicions de justícia.Aquesta tesi contribueix a la quasi inexplorada àrea de l'eliminació de comunicacions formal i seqüencialització de models de sistema. Les lleis estan definides sobre una equivalència feble: equivalència d'interfície. L'eliminació de comunicacions est-a limitada a models sense seleccions, per exemple models en els quals les comunicacions internes no estan dins de l'àmbit de sentències de selecció. Aplicacions interessants existeixen dins d'aquest marc. Les lleis són vàlides només per justícia feble o sense justícia. Aquesta ha estat desenvolupada seguint la semàntica proposada per Manna i Pnueli per a sistemes reactius [MP91, MP95]. S'han formulat les condicions d'aplicabilitat per les lleis de la pròpia eliminació de comunicacions. A més a més, es proposa un procediment de construcció de demostracions per l'eliminació de comunicacions, el qual intenta aplicar automàticament les lleis de la eliminació. També s'ha dissenyat un conjunt de procediments de transformació, els quals garanteixen que la transformació equivalent sempre correspon a l'aplicació d'una seqüència de lleis. Degut a que la construcció de les demostracions és impracticable, normalment impossible, sense l'ajuda d'una eina, s'ha desenvolupat un demostrador interactiu per la construcció semiautomàtica de la seqüencialització de models de sistemes i demostracions d'eliminació. Tant els procediments de transformació com els de l'eliminació de comunicacions estan integrats en l'eina. Amb l'ajuda del demostrador s'ha construït la demostració de seqüencialització d'un model, no trivial, de processador pipeline. Per aquest exemple s'ha assolit una reducció, respecte del model original, de la cota superior del nombre d'estats de 2−672.Malgrat l'enorme quantitat d'esforç dedicat a l'àrea, abans i durant la tesi, encara queda molt treball per a que l'eliminació de comunicacions i la seqüencialització sigui realment un mètode pràctic. No obstant els resultats d'aquesta tesi han establert els fonaments i han donat l'estímul necessari per continuar l'esforç. / Los métodos de verificación formal se están usando cada vez más en la industria para establecer la corrección y encontrar los errores en modelos de sistemas; por ejemplo, la descripción de hardware, protocolos, programas distribuidos, etc. En particular, los verificadores de modelos lo hacen automáticamente para sistemas de estados finitos, pero están limitados debido al problema de la explosión de estados; y la verificación formal interactiva, el área de esta tesis, es necesaria.El enfoque de la verificación automática trabaja sobre el sistema de transiciones del modelo, el cual define su semántica. Este sistema de transiciones tiene a menudo muchos estados, y siempre un tamaño grande comparado con el tamaño del modelo del sistema, el cual es siempre infinito. Estas consideraciones sugieren un enfoque de verificación estática como los de esta tesis, evitando los sistemas de transiciones, trabajando directamente sobre el modelo del sistema, en principio, la complejidad computacional tendría que ser menor. El enfoque estático de este trabajo se lleva a cabo sobre modelos de sistemas expresados en notación imperativa con paralelismo explícito, sentencias de comunicaciones síncronas y variables de almacenamiento locales.Los razonamientos de equivalencia son muy empleados para números, matrices y otros campos. Sin embargo, para programas imperativos con paralelismo, comunicaciones y variables, aún teniendo la potencialidad de ser un método de verificación muy intuitivo, no han sido muy explorados. La secuencialización formal vía la eliminación de comunicaciones internas, el área de esta tesis, es una demostración basada en el razonamiento estático de equivalencias que, ya que disminuye la magnitud del vector de estados, puede complementar otros métodos de demostración. Se basa en la aplicación de un conjunto de leyes, apropiadas para tal propósito, como reducciones de reescritura del modelo del sistema. Éstas dependen de la noción de equivalencia y de las suposiciones de justicia.Esta tesis contribuye a la casi inexplorada área de la eliminación de comunicaciones formal y secuencialización de modelos de sistema. Las leyes están definidas sobre una equivalencia débil: equivalencia de interfaz. La eliminación de comunicaciones está limitada a modelos sin selecciones, por ejemplo modelos en los cuales las comunicaciones internas no están dentro del ámbito de sentencias de selección. Aplicaciones interesantes existen dentro de este marco. Las leyes son válidas sólo para justicia débil o sin justicia. Ésta ha sido desarrollada siguiendo la semántica propuesta por Manna y Pnueli para sistemas reactivos [MP91, MP95]. Se han formulado las condiciones de aplicabilidad para las leyes de la propia eliminación de comunicaciones. Además, se propone un procedimiento de construcción de demostraciones para la eliminación de comunicaciones, el cual intenta aplicar automáticamente las leyes de la eliminación. También se ha diseñado un conjunto de procedimientos de transformación, los cuales garantizan que la transformación equivalente siempre corresponde a la aplicación de una secuencia de leyes. Debido a que la construcción de las demostraciones es impracticable, normalmente imposible, sin la ayuda de una herramienta, se ha desarrollado un demostrador interactivo para la construcción semiautomática de la secuencialización de modelos de sistemas y demostraciones de eliminación. Tanto los procedimientos de transformación como los de la eliminación de comunicaciones están integrados en la herramienta. Con la ayuda del demostrador se ha construido la demostración de secuencialización de un modelo, no trivial, de procesador pipeline. Para este ejemplo se ha logrado una reducción, respecto del modelo original, de la cota superior del número de estados de 2−672.A pesar de la enorme cantidad de esfuerzo dedicado al área, antes y durante esta tesis, todavía queda mucho trabajo para que la eliminación de comunicaciones y la secuencialización sea realmente un método práctico. Sin embargo los resultados de esta tesis han establecido los cimientos y han dado el estímulo necesario para continuar el esfuerzo. / Formal verification methods are increasingly being used in industry to establish the correctness of, and to find the flaws in, system models; for instance, descriptions of hardware, protocols, distributed programs, etc. In particular, model checking does that automatically for finite-state systems, but it is limited in scope due to the state explosion problem; and interactive formal verification, the broad area of this thesis, is needed.Automatic verification approaches work on the transition system of the model, which defines its semantics. This transition system has often infinitely many states, and always a large size compared to the size of the system model, which is always finite. These considerations suggest that static verification approaches such as those of this thesis, avoiding the transition system, working directly on the system model would have less computational complexity, in principle. The static approach of this work is carried out on system models expressed in imperative notations with explicit parallelism and synchronous communication statements, and with local storage variables.Equivalence reasoning is heavily used for numbers, matrices, and other fields. However, for imperative programs with parallelism, communications, and variables, although having the potentiality of being a very intuitive verification method, it has not been much explored. Formal sequentialization via internal communication elimination, the area of this thesis, is a static equivalence reasoning proof that, since it decreases the size of the state vector, could complement other proof methods. It is based on the application of a set of laws, suitable for that purpose, as rewriting reductions to a system model. These proofs need both proper communication elimination laws and auxiliary basic laws. These depend on the notion of equivalence and on the fairness assumptions.This thesis contributes to the almost unexplored area of formal communication elimination and system model sequentialization. The laws are defined over a weak equivalence: interface equivalence. Communication elimination is confined to selection-free models, i.e. models none of whose inner communications are within the scope of selection statements. Interesting applications already exist within this framework. The laws are valid only with weak fairness or no fairness. It has been developed following the same semantics as Manna and Pnueli for reactive systems [MP91, MP95]. Applicability conditions for the proper communication elimination laws are derived. In addition, a communication elimination proof construction procedure, which attempts to apply the elimination laws automatically is proposed. A set of transformation procedures, guaranteeing that the equivalence transformation always corresponds to the application of a sequence of laws have been designed as well. Since the construction of elimination proofs is impractical, even impossible, without a tool, an interactive prover for semi-automatic construction of system model sequentialization and elimination proofs has been developed. Both transformation and communication elimination procedures are integrated within the tool. As a non-trivial example, a sequentialization proof of a pipelined processor model, has been constructed with the help of the prover. Areduction, with respect to the original model, of 2−672 on the upper bound on the number of states has been achieved in this example.In spite of the huge amount of effort already devoted to the area, before and during this thesis, much work still needs to be done until communication elimination and sequentialization become a practical method. Nevertheless the results of this thesis have established its foundations and given the necessary encouragement for continuing the effort.