1. Interacció entre les estructures de flux i el transport de matèria. Aplicació a un doll pla turbulent. - Jiménez Aranda, Ángel
RESUMEN El chorro plano es una configuración resultante de la interacción de dos capas de corte simétricas, paralelas y de diferente signo de vorticidad. Se trata de un flujo de gran interés práctico por sus aplicaciones directas en procesos industriales y medioambientales. Este trabajo que se presenta analiza la interacción entre las estructuras de flujo y el transporte de materia en el chorro plano. El estudio realizado demuestra que el flujo aguas abajo está determinado por las condiciones en la región de entrada del chorro. Así, mediante perturbaciones artificiales en la entrada se puede determinar la posterior evolución de las estructuras características...
(application/pdf) - 18-jun-2004

2. A type-theoretic approach to proof support for algebraic design frameworks - Mylonakis Pascual, Nicos
A TYPE -THEORETIC APPROACH TO PROOF SUPPORT FOR ALGEBRAIC DESIGN FRAMEWORKS En el desarrollo formal de software, la especificación formal se utiliza con fines de verificación y validación. Se han definido diferentes tipos de especificaciones formales. En esta tesis nos centraremos en especificaciones algebraicas. Este tipo de especificaciones formales son especificaciones axiomáticas, que suelen definirse en un lenguaje de especificación que incluye diferentes operadores de estructuración. La semántica de estos operadores se define de una forma que sea lo más independiente posible de la lógica de especificación o institución. Otra etapa fundamental en métodos formales es el diseño de software. Las tareas básicas...
(application/pdf) - 18-jun-2004

3. OntoWEDSS - An Ontology-based Environmental Decision-Support System for the management of Wastewater treatment plants - Ceccaroni, Luigi
Resum Les contribucions d'aquesta tesi uneixen dues disciplines: ciències ambientals (específicament, gestió d'aigües residuals) i informàtica (específicament, intel·ligència artificial). El tractament d'aigües residuals com a disciplina opera fent servir un rang de diferents enfocaments i mètodes que inclouen: control manual, control automàtic on-line, modelat numèric o no-numèric, models estadístics i simulacions. La tesi caracteritza la recerca interdisciplinària de tècniques d'intel·ligència artificial (raonament basat en regles, raonament basat en casos, ontologies i planificació) a sistemes de suport a la decisió a l'entorn ambiental. El disseny de l'arquitectura d'aquesta aplicació, el sistema OntoWEDSS, augmenta els sistemes clàsics de raonament existents (raonament basat en...
(application/pdf) - 18-jun-2004