A framework for mixed-criticality partitioned real-time embedded systems

Los sistemas empotrados son cada día más comunes y complejos, de modo que encontrar procesos seguros, eficaces y baratos de desarrollo software dirigidos específicamente a esta clase de sistemas es más necesario que nunca. A diferencia de lo que ocurría hasta hace poco, en la actualidad los avances tecnológicos en el campo de los microprocesadores de los últimos tiempos permiten el desarrollo de equipos con prestaciones más que suficientes para ejecutar varios sistemas software en una única máquina. Además, hay sistemas empotrados con requisitos de seguridad (safety) de cuyo correcto funcionamiento depende la vida de muchas personas y/o grandes inversiones económicas. Estos sistemas software se diseñan e implementan de acuerdo con unos estándares de desarrollo software muy estrictos y exigentes. En algunos casos puede ser necesaria también la certificación del software. Para estos casos, los sistemas con criticidades mixtas pueden ser una alternativa muy valiosa. En esta clase de sistemas, aplicaciones con diferentes niveles de criticidad se ejecutan en el mismo computador. Sin embargo, a menudo es necesario certificar el sistema entero con el nivel de criticidad de la aplicación más crítica, lo que hace que los costes se disparen. La virtualización se ha postulado como una tecnología muy interesante para contener esos costes. Esta tecnología permite que un conjunto de máquinas virtuales o particiones ejecuten las aplicaciones con unos niveles de aislamiento tanto temporal como espacial muy altos. Esto, a su vez, permite que cada partición pueda ser certificada independientemente. Para el desarrollo de sistemas particionados con criticidades mixtas se necesita actualizar los modelos de desarrollo software tradicionales, pues estos no cubren ni las nuevas actividades ni los nuevos roles que se requieren en el desarrollo de estos sistemas. Por ejemplo, el integrador del sistema debe definir las particiones o el desarrollador de aplicaciones debe tener en cuenta las características de la partición donde su aplicación va a ejecutar. Tradicionalmente, en el desarrollo de sistemas empotrados, el modelo en V ha tenido una especial relevancia. Por ello, este modelo ha sido adaptado para tener en cuenta escenarios tales como el desarrollo en paralelo de aplicaciones o la incorporación de una nueva partición a un sistema ya existente. El objetivo de esta tesis doctoral es mejorar la tecnología actual de desarrollo de sistemas particionados con criticidades mixtas. Para ello, se ha diseñado e implementado un entorno dirigido específicamente a facilitar y mejorar los procesos de desarrollo de esta clase de sistemas. En concreto, se ha creado un algoritmo que genera el particionado del sistema automáticamente. En el entorno de desarrollo propuesto, se han integrado todas las actividades necesarias para desarrollo de un sistema particionado, incluidos los nuevos roles y actividades mencionados anteriormente. Además, el diseño del entorno de desarrollo se ha basado en la ingeniería guiada por modelos (Model-Driven Engineering), la cual promueve el uso de los modelos como elementos fundamentales en el proceso de desarrollo. Así pues, se proporcionan las herramientas necesarias para modelar y particionar el sistema, así como para validar los resultados y generar los artefactos necesarios para el compilado, construcción y despliegue del mismo. Además, en el diseño del entorno de desarrollo, la extensión e integración del mismo con herramientas de validación ha sido un factor clave. En concreto, se pueden incorporar al entorno de desarrollo nuevos requisitos no-funcionales, la generación de nuevos artefactos tales como documentación o diferentes lenguajes de programación, etc. Una parte clave del entorno de desarrollo es el algoritmo de particionado. Este algoritmo se ha diseñado para ser independiente de los requisitos de las aplicaciones así como para permitir al integrador del sistema implementar nuevos requisitos del sistema. Para lograr esta independencia, se han definido las restricciones al particionado. El algoritmo garantiza que dichas restricciones se cumplirán en el sistema particionado que resulte de su ejecución. Las restricciones al particionado se han diseñado con una capacidad expresiva suficiente para que, con un pequeño grupo de ellas, se puedan expresar la mayor parte de los requisitos no-funcionales más comunes. Las restricciones pueden ser definidas manualmente por el integrador del sistema o bien pueden ser generadas automáticamente por una herramienta a partir de los requisitos funcionales y no-funcionales de una aplicación. El algoritmo de particionado toma como entradas los modelos y las restricciones al particionado del sistema. Tras la ejecución y como resultado, se genera un modelo de despliegue en el que se definen las particiones que son necesarias para el particionado del sistema. A su vez, cada partición define qué aplicaciones deben ejecutar en ella así como los recursos que necesita la partición para ejecutar correctamente. El problema del particionado y las restricciones al particionado se modelan matemáticamente a través de grafos coloreados. En dichos grafos, un coloreado propio de los vértices representa un particionado del sistema correcto. El algoritmo se ha diseñado también para que, si es necesario, sea posible obtener particionados alternativos al inicialmente propuesto. El entorno de desarrollo, incluyendo el algoritmo de particionado, se ha probado con éxito en dos casos de uso industriales: el satélite UPMSat-2 y un demostrador del sistema de control de una turbina eólica. Además, el algoritmo se ha validado mediante la ejecución de numerosos escenarios sintéticos, incluyendo algunos muy complejos, de más de 500 aplicaciones. ABSTRACT The importance of embedded software is growing as it is required for a large number of systems. Devising cheap, efficient and reliable development processes for embedded systems is thus a notable challenge nowadays. Computer processing power is continuously increasing, and as a result, it is currently possible to integrate complex systems in a single processor, which was not feasible a few years ago.Embedded systems may have safety critical requirements. Its failure may result in personal or substantial economical loss. The development of these systems requires stringent development processes that are usually defined by suitable standards. In some cases their certification is also necessary. This scenario fosters the use of mixed-criticality systems in which applications of different criticality levels must coexist in a single system. In these cases, it is usually necessary to certify the whole system, including non-critical applications, which is costly. Virtualization emerges as an enabling technology used for dealing with this problem. The system is structured as a set of partitions, or virtual machines, that can be executed with temporal and spatial isolation. In this way, applications can be developed and certified independently. The development of MCPS (Mixed-Criticality Partitioned Systems) requires additional roles and activities that traditional systems do not require. The system integrator has to define system partitions. Application development has to consider the characteristics of the partition to which it is allocated. In addition, traditional software process models have to be adapted to this scenario. The V-model is commonly used in embedded systems development. It can be adapted to the development of MCPS by enabling the parallel development of applications or adding an additional partition to an existing system. The objective of this PhD is to improve the available technology for MCPS development by providing a framework tailored to the development of this type of system and by defining a flexible and efficient algorithm for automatically generating system partitionings. The goal of the framework is to integrate all the activities required for developing MCPS and to support the different roles involved in this process. The framework is based on MDE (Model-Driven Engineering), which emphasizes the use of models in the development process. The framework provides basic means for modeling the system, generating system partitions, validating the system and generating final artifacts. The framework has been designed to facilitate its extension and the integration of external validation tools. In particular, it can be extended by adding support for additional non-functional requirements and support for final artifacts, such as new programming languages or additional documentation. The framework includes a novel partitioning algorithm. It has been designed to be independent of the types of applications requirements and also to enable the system integrator to tailor the partitioning to the specific requirements of a system. This independence is achieved by defining partitioning constraints that must be met by the resulting partitioning. They have sufficient expressive capacity to state the most common constraints and can be defined manually by the system integrator or generated automatically based on functional and non-functional requirements of the applications. The partitioning algorithm uses system models and partitioning constraints as its inputs. It generates a deployment model that is composed by a set of partitions. Each partition is in turn composed of a set of allocated applications and assigned resources. The partitioning problem, including applications and constraints, is modeled as a colored graph. A valid partitioning is a proper vertex coloring. A specially designed algorithm generates this coloring and is able to provide alternative partitions if required. The framework, including the partitioning algorithm, has been successfully used in the development of two industrial use cases: the UPMSat-2 satellite and the control system of a wind-power turbine. The partitioning algorithm has been successfully validated by using a large number of synthetic loads, including complex scenarios with more that 500 applications.

Modelado y análisis del comportamiento hidro-elástico de rotores para DAECS

La transformación de la energía cinética del mar en una fuente renovable de energía eléctrica podría ser un hecho relevante desde el punto de visto tecnológico en un futuro cercano. En el campo de las energías renovables marinas, las turbinas de corrientes de eje horizontal son posiblemente el dispositivo más adecuado para la obtención de electricidad. Las técnicas de cálculo existentes en la actualidad para obtener las distribuciones de cargas a las que está sometida una pala de una turbina de corrientes son las siguientes: Modelos de disco actuador, Método de líneas sustentadoras y método de elementos finitos. Estas técnicas presentan ciertas dificultades para su implementación y obtención de resultados preliminares, ya que entrañan gran complejidad conceptual y su entendimiento no resulta sencillo ni tampoco elaborar procedimientos de cálculo que se puedan utilizar durante la fase de diseño conceptual o básico de una turbina. En este trabajo, se analizarán los conceptos físicos y matemáticos que intervienen en el funcionamiento de una turbina de corrientes, para confeccionar un método o procedimiento de cálculo que sea relativamente intuitivo y sencillo de manejar. Esta herramienta de cálculo permitirá obtener resultados para el diseño básico, y también puede ser un punto de partida para manejar otras herramientas de cálculo más avanzadas ya que los principios fundamentales son los mismos. En la parte final del trabajo se aplicarán las ecuaciones obtenidas a varios casos reales de turbinas de corrientes. ABSTRACT Transforming the kinetic energy of the sea into renewable useful source electricity could be a relevant technologic development in the near future. In this field, marine horizontal axis turbines (HAT) are possibly, the most important devices. The current calculation techniques used to obtain the acting forces or loads in the marine current horizontal axis rotor blades: Actuator disc models, lifting lines and finite element method, have certain disadvantages which lead difficulties to obtain relatively quick results, in addition, these methods are not easy to understand and mastering, and furthermore, complex computing tools are required to obtain results. In the present work, the common physical and mathematic fundamentals will be studied and analyzed with the aim to create a new easier managing calculating tool. The proposed procedure of this document can be considered as a help towards to calculate preliminary solutions easier, and also a starting point to manage physical ideas which could be used with other calculation tools. And finally, the mathematic fundamentals will be explained and the implementation of the equations in a real case. Nevertheless, due to the real complexity of the problem, the assumed simplifications of this model must be taken into account, in order to know the possible calculating limitations of this procedure and consequently use it correctly.

Caracterización morfofisiológica de semillas de especies leñosas distribuidas en dos zonas secas presentes en el Sur del Ecuador

Sudamérica es una de las zonas con mayor cantidad de bosque seco tropical a nivel mundial. No obstante, estos bosques han sido poco conocidos y la mayoría de estudios han estado orientados hacia los bosques húmedos tropicales. Los bosques secos se han reducido drásticamente y siguen muy amenazados, corriendo el riesgo de desaparecer en los próximos años. Por ello, es fundamental, generar investigación aplicada para la conservación inmediata de los ecosistemas secos tropicales. En Ecuador, la situación no es diferente y las zonas secas catalogadas como biodiversas están en constante amenaza. Los pocos estudios realizados en Ecuador sobre zonas secas, han permitido mejorar nuestro conocimiento referente a la diversidad y abundancia de las especies, relaciones planta-planta y síndromes de dispersión. No existen estudios sobre caracteres morfológicos en frutos y semillas de las especies leñosas de bosque seco. Sin embargo, nuestra comprensión de la dinámica y estructura de las comunidades ecológicas de zonas secas poco estudiadas, puede mejorar rápidamente mediante el estudio y enfoque de rasgos morfofisiológicos funcionales. El objetivo general del presente estudio fue aportar al conocimiento de la ecología y biología de semillas de zonas secas tropicales mediante el análisis y evaluación de rasgos morfofisiológicos de frutos y semillas de una comunidad de especies leñosas. El estudio se realizó en una zona de bosque y matorral seco, ubicados al sur occidente del Ecuador, a una altitud comprendida entre los 250 a 1 200 m s.n.m. caracterizada por una marcada estacionalidad ambiental, con lluvias desde diciembre a abril y una estación seca de mayo a noviembre. Precipitación media anual de 500 mm con una temperatura media anual de 20° a 26 °C. La zona de estudio forma parte de la región Tumbesina compartida entre el sur del Ecuador y el norte del Perú con gran diversidad de especies vegetales endémicas. Para el estudio se colectaron frutos con semillas maduras previamente a su dispersión de entre ocho y diez individuos de 80 especies entre árboles y arbustos más representativos de los bosques secos ecuatorianos. De los frutos colectados se utilizó una muestra al azar de 50 frutos y semillas por especie para los diferentes análisis. Se midió y evaluó 18 rasgos morfológicos y fisiológicos cuantitativos y cualitativos de frutos, semillas y de la especie. Se realizaron diferentes análisis de asociación y correlación entre los rasgos evaluados, con cinco variables ambientales registradas de las 109 parcelas establecidas en el área de estudio, además analizamos el tipo de dormición y comparamos la respuesta germinativa a la deshidratación relacionada con dos comunidades secas, matorral y bosque seco. Los resultados mostraron que las especies presentan gran heterogeneidad en rasgos continuos de las semillas. La variabilidad fue más evidente en rasgos como tamaño, volumen, masa y número de semillas por fruto. Sin embargo, una alta proporción de las especies tiende a producir una semilla por fruto. Además, la mayoría de las especies de bosque seco se caracterizan por no poseer algún tipo de apéndices o areola en sus semillas, forma ovalada y sin endospermo. La reserva nutritiva de las semillas se encuentra especialmente en los cotiledones de los embriones. Se encontraron seis tipos diferentes de embriones y la mayoría de las especies presentó embriones gruesos e invertidos. La dispersión de semillas está dominada por zoocoria en un 38 %, con relación a anemocoria (22 %) y autocoria (19 %). Sin embargo, encontramos que el 70 % de las especies posee frutos secos. Los análisis de dormición en las semillas de bosque seco, mostraron que el 60 % de las especies de bosque seco presentaron semillas con algún tipo de latencia, menor a la encontrada en especies de bosque deciduo tropical y sabanas, sin embargo, la dormición de las especies de bosque seco fue mayor al porcentaje de especies con dormición de bosque semiperenne y selva lluviosa tropical. La dormición física constituyó el 35 % de las especies de bosque seco, seguido del 12 % con dormición fisiológica, mientras que solamente una especie tuvo dormición morfológica. Encontramos que la dormición de las semillas de las especies en estudio se relaciona significativamente con el tipo y función del embrión y con el endospermo. Existieron relaciones significativas entre los rasgos morfológicos de los frutos, semillas, embriones y atributos de los individuos de 46 especies, aunque en algunos casos con coeficientes de correlación bajos. Hubo pocas relaciones entre los rasgo morfológicos de las semillas con las variables ambientales registradas. Solamente el tipo de testa y la presencia de apéndices en las semillas mostraron relación con el pH y la temperatura media del suelo. No obstante usando el modelo fouth corner-RLQ, no se encontraron asociaciones claras ni significativas entre rasgos morfológicos de semillas y frutos con variables ambientales. Al medir el efecto de la deshidratación en las semillas de los dos hábitats secos tropicales: bosque y matorral seco, los resultados determinaron que tanto las semillas de las especies leñosas de ambientes más áridos (matorral seco) están en gran medida pre-adaptadas a la desecación que las especies de ambientes menos áridos (bosque seco). Los tratamientos de deshidratación ejercieron un efecto negativo en los porcentajes de germinación en todas las especies, excepto para C. platanifolia. Los resultados más sorprendentes se registraron para Senna alata que mostró germinación extremadamente baja o incluso sin germinación a contenidos de humedad de la semillas de 0,10 g H2O g de peso seco. Las curvas de germinación difirieron significativamente entre los tratamientos de deshidratación en cada especie. Aportar al conocimiento la fisiología de la deshidratación y los límites de tolerancia de las semillas de bosque y matorral seco ayudará a entender mejor el papel de este rasgo en la ecología de las semillas y dinámica de las comunidades áridas tropicales. El estudio demostró, que la adaptación ecológica de las semillas de las especies leñosas de bosque seco a factores ambientales extremos, puede verse reflejada en una red de interacciones y correlaciones complejas entre los propios rasgos morfológicos y fisiológicos continuos y cuantitativos, sobre todo en rasgos internos de las semillas, quienes ejercerían una mayor influencia en toda la red de interacciones. Si bien, los rasgos de las semillas no mostraron fuertes relaciones con las variables ambientales, posiblemente las asociaciones presentes entre rasgos morfológicos pudiesen predecir en cambio interacciones entre especies y comportamientos y procesos relacionados con la tolerancia a la deshidratación y dormición de las semillas. ABSTRACT South America is one of the areas with the largest number of tropical dry forest in the world. However, these forests have been poorly understood and most studies have been directed to tropical rainforests. Dry forests have been drastically reduced and are very threatened, risking desaparecerer in the next years. It is therefore essential, generate applied research for conservation of tropical dry ecosystems. In Ecuador the situation is no different and dry areas classified as biodiverse are under constant threat. The few studies made in Ecuador on drylands have improved our knowledge concerning the diversity and abundance of species, plant-plant relationships and dispersion syndromes. Morphological studies on fruits and seeds of woody dry forest species do not exist. However, our understanding of the dynamics and structure of ecological communities dryland little studied, may improve quickly through the study and functional approach morphophysiological traits. The overall objective of this study was to contribute to the knowledge of the ecology and biology of tropical dry seeds through analysis and evaluation of morphophysiological traits of fruits and seeds of a community of woody species. The study was conducted in an area of dry scrub forest, located at the southwest of Ecuador, at an altitude between 250 to 1200 m asl. Environmental characterized by a marked seasonality, with rainfall from December to April and a dry season from May to November. Annual rainfall of 500 mm with an average annual temperature of 20° to 26 °C. The study area is part of the shared Tumbesina region between southern Ecuador and northern Peru with a great diversity of endemic plant species. For the study, we collected fruit and seed madure of eight and ten individuos of 80 species of trees and shrub most representated of the Ecuador dry forest. We selected a sample of 50 fruits and seeds for different analysis. We measure and evaluate 18 morphological and physiological traits of fruits, seeds and species. We perform analysis and correlation between traits associated with five environmental variables taken from the 109 plots established in the study area also analyze and compare the germination response to dehydration related to two dry communities, scrub and dry forest. The results showed that the species have great heterogeneity in continuous seed traits. Variability was more evident in features such as size, volume, mass, and number of seeds per fruit. However, a high proportion of species tends to produce a seed per fruit. In addition, most of the species of dry forest is characterized by not having some sort of ppendices or areola in its seeds, oval form and without endosperm. The nutrient reserves of seeds are especially in the cotyledons of the embryos. Six different embryos were found and most of the species presented thick and inverted embryos. Seed dispersal zoochory is dominated by 38 %, relative to anemochory (22 %) and autochory (19 %). However, we found that 70 % of the species has dried fruits. The analysis of dormancy from tropical dry forest, showed that 60 % of species showed seed dormancy, down from species found in tropical deciduous forest and savanna, however dormancy dry forest species was higher than the percentage of forest species dormancy semi-evergreen and tropical rain forest. Physical dormancy corresponds to 35 % of species, followed by 12 % with physiological dormancy, while only one species had morphological dormancy. We found that dormancy of the seeds was significantly related to the type and function of the embryo and the endospemo. There were significant relationships between morphological traits of fruits, seeds, embryos and attributes of individuals of 46 species, although in some cases with low correlation coefficients. There was little relationship between the morphologic traits of the seeds with the registered environmental variables. Only the type of tesla and the presence of appendages on the seeds showed relation to pH and the mean soil temperature. However, using the fourth corner-RLQ model, neither clear nor significant between morphological traits of seeds and fruits associations with environmental variables were found. The effect of dehydration on seeds of two tropical dry forest habitats was evident in dry scrub. The results determined that both the seeds of woody species forest and dry scrub are pre-adapted to drier conditions. Dehydration treatments exerted a negative effect on germination percentage in all species, except for C. platanifolia. However, all species germinated in treatments of extreme dryness, but in low percentages. The most striking results were recorded for Senna alata showed no germination when its moisture content was 0.10 g H2O g dry weight. Germination curves differ significantly between the treatments of dehydration in each species. Contribute to the knowledge of physiology and dehydration tolerance limits seeds dry scrub forest and help you better understand the role of this trait in seed ecology and dynamics of tropical arid communities. The study showed that the ecological adaptation of seeds of woody species of dry forest to extreme environmental factors may be reflected in a complex web of interactions and correlations between morphological and physiological traits continuous and quantitative themselves, especially in internal seed traits, who exerted a major influence on the entire network of interactions. While the seed traits showed strong relationships with environmental variables possibly present associations between morphological traits could predict interactions between species and change behaviors related to desiccation tolerance and seed dormancy processes.

Determinación del riesgo de incendio en una instalación de secado de alperujo = Determination of the risk of fire in an olive-oil mill waste dryer

For the energy valorization of alperujo, residue of the olive oil two phases extraction process, it is necessary to perform a drying process to reduce moisture content from over 60% to less than 10%. In order to reduce primary energy consumption and get an economic return, usually in this kind of drying facilities Gas Turbine CHP is used as a heat source. There have been recently in Spain some fires in this kind of GT-CHP facilities, which have caused high material losses. In some of these fires it has been suggested that the fire was caused by the output of incandescent alperujo in the flue gasesof the drying system. Therefore, the aim of this study is to determine experimentally and analytically under which operational conditions a process of alperujo self-ignition in the drying process can begin, and determine the actual fire hazard in this type of TG-CHP system. For analytical study, the temperature and initial composition of the combustion gases of the Gas Turbine at the entrance of the drying process was calculated and the gas equilibrium conditions reached in contact with the biomass were calculated and, therefore, the temperature of the biomass during the drying process. Moreover, the layer and dust ignition temperature of alperujo has been experimentally determined, according to EN 50281-2-1: 2000. With these results, the operating conditions of the drying process, in which there are real risk of auto-ignition of alperujo have been established.Para la valorización energética del alperujo, residuo del proceso de extracción en dos fases del aceite de oliva, es necesario realizar un proceso de secado para reducir su contenido de humedad de más del 60% al 10% m/m en b.h. Con el fin de reducir el consumo de energía primaria y obtener una rentabilidad económica, normalmente en este tipo de instalaciones de secado se usa la cogeneración con turbina de gas (TG) como fuente de calor. En España en los últimos años han ocurrido algunos casos de incendio en este tipo de instalaciones de cogeneración, que han supuesto pérdidas materiales muy elevadas. Por esta razón, el objetivo de este trabajo es determinar analítica y experimentalmente las condiciones operativas del secadero bajo las cuales podría comenzar un proceso de autoinflamación del alperujo y determinar el riesgo real de incendio en este tipo de instalaciones. Para el estudio analítico, se ha planteado y validado el modelo matemático que permite calcular la temperatura y la composición de los gases de combustión a la entrada y a la salida del secadero, en función de las curvas características de la TG, de las condiciones atmosféricas, del caudal y del grado de humedad de la biomasa tratada. El modelo permite además calcular la temperatura de bulbo húmedo, que es la máxima temperatura que podría alcanzar la biomasa durante el proceso de secado y determinar la cantidad de biomasa que se puede secar completamente en función del caudal y de las condiciones de entrada de los gases de combustión. Con estos resultados y la temperatura mínima de autoinflamación del alperujo determinada experimentalmente siguiendo la norma EN 50281- 2-1:2000, se demuestra que en un proceso de secado de alperujo en condiciones normales de operación no existe riesgo de autoencendido que pueda dar origen a un incendio.

Late-onset minor and major depression: early evidence for common neuroanatomical substrates detected by using MRI

The purpose of our study was to examine the neuroanatomical correlates of late-onset minor and major depression and to compare them with similar measures obtained from nondepressed controls. Our study groups were comprised of 18 patients with late-onset minor depression, 35 patients diagnosed with late-onset major depression, and 30 nondepressed controls. All subjects were scanned by using a 1.5-tesla MRI scanner. Absolute whole brain volume and normalized measures of prefrontal and temporal lobe volumes were obtained and used for comparison among groups. Our findings indicate that patients with minor depression present with specific neuroanatomical abnormalities that are comparable with the major depression group but significantly different from the controls. Normalized prefrontal lobe volumes show a significant linear trend with severity of depression, with volumes decreasing with illness severity. Whole brain volumes did not differ significantly among groups. These findings have broad implications for the biology of late-life depression and suggest that there may be common neurobiological substrates that underlie all clinically significant forms of late-onset mood disturbances.

Retinotopic mapping of lateral geniculate nucleus in humans using functional magnetic resonance imaging

Subcortical nuclei in the thalamus, which play an important role in many functions of the human brain, provide challenging targets for functional mapping with neuroimaging techniques because of their small sizes and deep locations. In this study, we explore the capability of high-resolution functional magnetic resonance imaging at 4 Tesla for mapping the retinotopic organization in the lateral geniculate nucleus (LGN). Our results show that the hemifield visual stimulation only activates LGN in the contralateral hemisphere, and the lower-field and upper-field visual stimulations activate the superior and inferior portion of LGN, respectively. These results reveal a similar retinotopic organization between the human and nonhuman primate LGN and between LGN and the primary visual cortex. We conclude that high-resolution functional magnetic resonance imaging is capable of functional mapping of suborganizations in small nuclei together with cortical activation. This will have an impact for studying the thalamocortical networks in the human brain.

Identification of human brain regions underlying responses to resistive inspiratory loading with functional magnetic resonance imaging.

Compensatory ventilatory responses to increased inspiratory loading are essential for adequate breathing regulation in a number of pulmonary diseases; however, the human brain sites mediating such responses are unknown. Midsagittal and axial images were acquired in 11 healthy volunteers during unloaded and loaded (30 cmH2O; 1 cmH2O = 98 Pa) inspiratory breathing, by using functional magnetic resonance imaging (fMRI) strategies (1.5-tesla MR; repetition time, 72 msec; echo time, 45 msec; flip angle, 30 degrees; field of view, 26 cm; slice thickness, 5 mm; number of excitations, 1; matrix, 128 x 256). Digital image subtractions and region of interest analyses revealed significantly increased fMRI signal intensity in discrete areas of the ventral and dorsal pons, interpeduncular nucleus, basal forebrain, putamen, and cerebellar regions. Upon load withdrawal, certain regions displayed a rapid fMRI signal off-transient, while in others, a slower fMRI signal decay emerged. Sustained loading elicited slow decreases in fMRI signal across activated regions, while second application of an identical load resulted in smaller signal increases compared to initial signal responses (P < 0.001). A moderate inspiratory load is associated with consistent regional activation of discrete brain locations; certain of these regions have been implicated in mediation of loaded breathing in animal models. We speculate that temporal changes in fMRI signal may indicate respiratory after-discharge and/or habituation phenomena.

Tratamento de água residuária parcialmente solúvel em reator anaeróbio em batelada seqüencial contendo biomassa imobilizada e agitação mecânica: análise da influência da intensidade de agitação e do tamanho de biopartícula

Neste trabalho de doutorado utilizou-se um reator anaeróbio em batelada seqüencial contendo biomassa imobilizada em matrizes cúbicas de espuma de poliuretano e agitação mecânica, com volume total de 5.5 L e volume útil de 4.5 L. A agitação do meio líquido foi realizada com quatro tipos de impelidores (turbina tipo hélice, lâminas planas, lâminas planas inclinadas e lâminas curvas, testados individualmente, sempre em número de 3), com 6 cm de diâmetro. A pesquisa foi realizada em quatro etapas experimentais. A etapa 1 objetivou determinar o tempo de mistura no reator para cada tipo de impelidor, ou seja, o tempo necessário para que o meio líquido ficasse totalmente homogêneo. A etapa 2 objetivou selecionar o tipo de impelidor e a respectiva intensidade de agitação que garantisse a minimização da resistência à transferência de massa externa no sistema. As intensidades de agitação testadas variaram de 200 a 1100 rpm, dependendo do tipo de impelidor. A etapa 3 foi realizada com tipo de impelidor e intensidade de agitação definidos na etapa 2, mas variando-se o tamanho da biopartícula (0,5, 1,0, 2,0 e 3,0 cm de aresta). O objetivo desta etapa foi selecionar o tamanho de biopartícula que minimizasse a resistência à transferência de massa interna. De posse das condições operacionais otimizadas (tipo de impelidor, intensidade de agitação e tamanho de partícula de suporte), a etapa 4 constituiu na aplicação das mesmas para o tratamento de um resíduo real, sendo escolhida água residuária de suinocultura. Na etapa 1, os resultados mostraram que os tempos de mistura para todos os tipos de impelidores foram desprezíveis em relação ao tempo total de ciclo. A etapa 2 revelou tempos de partida muito curtos (cerca de 20 dias), em todas as condições testadas, sendo atingidas remoções de DQO próximas de 70%. Além disso, o tipo de impelidor exerceu grande influência na qualidade final do efluente, fato este claramente constatado quando as frações de DQO foram consideradas separadamente (filtrada e suspensa). De acordo com os resultados obtidos na etapa 3, o tamanho da biopartícula teve influência decisiva no desempenho do sistema, nas condições testadas. As velocidades de dissolução foram aparentemente influenciadas pelo empacotamento do leito de espuma, enquanto que o consumo da fração de DQO correspondente às amostras filtradas foi provavelmente influenciado por fatores mais complexos. Finalmente, o teste realizado com resíduo diluído de suinocultura demonstrou que a operação do reator em estudo para o tratamento deste tipo de água residuária é possível. Os dados operacionais mostraram que o reator permaneceu estável durante o período testado. A agitação mecânica provou ser eficiente para melhorar a degradação da DQO suspensa, um dos maiores problemas no tratamento deste tipo de água residuária. Sendo assim, de acordo com os dados experimentais obtidos ao longo do trabalho, pode-se afirmar que a agitação em reatores em batelada mostrou-se importante não somente para proporcionar boas condições de mistura ou melhorar a transferência de massa na fase líquida, mas também para melhorar a solubilização da matéria orgânica particulada, melhorando as velocidades de consumo de matéria orgânica.

Modelagem e análise de desempenho de sistema para geração de energia elétrica através de ondas marítimas.

Mediante a crescente necessidade de aumento na oferta de energia elétrica devido à constante elevação na demanda mundial, esta dissertação avalia o desempenho de um sistema conversor de energia de ondas marítimas em energia elétrica. O sistema em análise é o de coluna de água oscilante com turbina de dupla ação instalado na costa. Utiliza-se um modelo regular de ondas como perturbação à dinâmica de uma câmara semi-submersa gerando fluxo de ar através de uma turbina à ar de dupla ação. O sistema final é não linear e com parâmetros variantes no tempo. A dissertação investiga possibilidades para o aumento do rendimento da turbina em diferentes condições de mar através do método de simulação numérica. Após a modelagem física e matemática do sistema escolhido, inicia-se a síntese de um controlador proporcional derivativo para controle da pressão de ar na turbina em torno da pressão ideal de trabalho da mesma. A análise inclui o comparativo entre os resultados do sistema com e sem controlador e a avaliação de robustez utilizando ondas com amplitude variável. O trabalho apresenta ainda propostas de otimização do sistema para trabalhar em condições similares a região de Pecém no Brasil. Pelos resultados obtidos nas simulações, conclui-se que o rendimento e a robustez do sistema podem melhorar utilizando um sistema controlado. O rendimento do sistema poderá ainda ser otimizado para a região de instalação.

Aceleración de corrientes eólicas de reducida velocidad para la generación eléctrica doméstica

En los últimos años, los sistemas que utilizan como fuente recursos renovables se han posicionado como una interesante alternativa para la producción de energía. Entre las fuentes disponibles, la energía eólica viene configurándose como una de las fuentes de energía renovable con mayor crecimiento en los últimos años. En este trabajo se propone el aprovechamiento de las corrientes eólicas circulantes sobre la superficie terrestre para la producción de electricidad con el fin de abastecer buena parte de la demanda en viviendas aisladas, pequeñas instalaciones agropecuarias, equipamiento de servicio ubicado en lugares remotos, etc. Por lo general estas brisas tienen una baja densidad energética, por ello proponemos una interfaz mecánica que concentre las masas de aire, acelerando su circulación y alcanzando importantes incrementos en la velocidad de impulsión. La primera parte se centra en la elaboración de un procedimiento de caracterización a partir de la metodología científica con el cual modelar una estructura concentradora de flujo eólico válida para un aerogenerador de eje vertical. Este método trata el diseño de un elemento acelerador capaz de optimizar el aprovechamiento de estas brisas con independencia de la dirección de éstas. Su diseño viene dado por la resolución de un conjunto de objetivos fundamentales, dotando al sistema de unas prestaciones particulares en relación a su arquitectura y operatividad. Estos objetivos son los siguientes: - Operatividad ante cualquier dirección eólica adoptada - Incremento del rendimiento potencial de la turbina de eje vertical - Minimizar el desarrollo de efectos turbulentos alrededor del sistema integrado - Capacidad resolutiva ante la presencia de fuertes vientos - Estabilidad estructural - Compatibilidad ante instalaciones propias del volumen arquitectónico - Control global del rendimiento del sistema. La segunda parte aborda el modelado del prototipo y el análisis de su comportamiento mediante simulaciones en el ámbito de la fluidodinámica computacional. El resultado es un prototipo caracterizado por una arquitectura capaz de sectorizar la entrada de viento en diferentes tramos inyectando el flujo eólico estratégicamente. La incorporación de la interfaz sobre el rotor aumenta la superficie de captación eólica, facilitando su entrada a través de las diferentes aberturas y llevando a cabo su concentración según avanza por los tramo de circulación. Una vez finalizado dicho avance, el flujo es inyectado en un rango angular de nido por la elevada fuerza de sustentación capaz de generarse gracias a la incidencia del flujo eólico, aprovechando las particularidades que ofrece la rotación de este tipo de rotores. El resultado de la inyección sectorizada es el desarrollo de una circulación interior vorticial que incide permanentemente en el rango de sustentación característico del perfil aerodinámico que define la geometría de la pala de rotación. Ello provoca que se alcance un funcionamiento nominal a velocidades reducidas. En este proceso se incluyen las acciones necesarias para dar una respuesta eficiente a cualquier tipo e solicitación eólica. En presencia de velocidades de relativa importancia, la interfaz concentradora adapta su arquitectura con el fin de regular la entrada de flujo, retrasando la activación de los dispositivos reguladores propios de la turbina eólica. En presencia de vientos importantes, la interfaz dispone de los mecanismos necesarios para proceder al cierre de las aberturas procediendo a la parada del rotor. La validación de los prototipos elaborados se ha llevado a cabo mediante simulación computacional CFD. Los resultados confirman la consecución de un funcionamiento nominal a velocidades más reducidas, una mayor superficie de captación y periodo de tiempo de funcionamiento efectivo en comparación a las turbinas convencionales. Para el caso práctico modelado los resultados mejoran en más de 2.5 veces la potencia generada y multiplican por cuatro la fuerza ejercida sobre las palas de la turbina. La elaboración de un método preciso para el diseño de este tipo de estructuras concentradoras posibilita que se pueda alcanzar un diseño en función a las necesidades del usuario, o las condiciones eólicas de un emplazamiento dado. A ello hay que unir su compatibilidad de uso y montaje con sistemas de captación solar, conformando un sistema híbrido capaz de aprovechar tanto la energía solar como eólica para el abastecimiento autónomo. Esta característica incrementa el ratio de zonas geográficas donde se puede llevar a cabo su implantación. Las últimas páginas están reservadas a esbozar las líneas futuras de desarrollo y evolución, tanto en términos de e ciencia productiva como en su incorporación a nuevos volúmenes arquitectónicos y estructuras civiles en general.

Benefici del long route EGR sulla riduzione dei consumi: studio di fattibilità su motore diesel automobilistico

L'EGR (Exhaust Gas Recirculation) è una tecnica comunemente sfruttata per la riduzione delle emissioni. In questo studio sono stati investigati i benefici, in termini di fuel economy, prodotti dall'aggiunta di un circuito EGR long route su un motore diesel per applicazioni automobilistiche dotato di sistema short route. L'indagine è stata svolta su di un modello motore su software GT-Power, adeguatamente calibrato e validato sui dati da piano quotato. Simulazioni sono state svolte al fine di valutare gli effetti del solo LP-EGR sul motore, per poi considerare un funzionamento combinato dai due sistemi di ricircolo (dual loop). Le maggiori portate che per il sistema long route interessano la turbina determinano un incremento nelle contropressioni. Ciò ha portato a considerare la possibilità di modificare il sistema turbo. Il layout originario comprendeva una turbina a geometria fissa (FGT), a cui ne sono stati affiancati due ulteriori con turbina a geometria variabile (VGT). I risultati sono stati analizzati vincolando la produzione di inquinanti ai valori registrati nei punti di calibrazione relativi al layout originale del motore. Effettivo risparmio di combustibile non è stato riscontrato nell'allestimento con turbina FGT a causa delle elevate contropressioni, mentre con turbine VGT è stata registrata una effettiva fuel economy grazie al sistema LP-EGR senza alcun deterioramento nelle emissioni di NOx e PM. I benefici riscontrati con il LP-EGR sono da attribure ad un incremento del rendimento indicato dovuto alla riduzione delle perdite per scambio termico a seguito di una minore temperatura caratterizzante i gas ricircolati.

Post-mortem CT and MR brain imaging of putrefied corpses

INTRODUCTION Putrefaction of the brain is a challenge to a forensic pathologist because it may lead to considerable organ alterations and restrict documenting reliable autopsy findings. OBJECTIVES This study aims to present a new and systematic evaluation of possible benefits of post-mortem MR Neuroimaging (1.5 Tesla, sequences: T1w, T2w) in putrefied corpses in comparison to PMCT and autopsy. METHODS A post-mortem MRI brain examination was conducted on 35 adult, putrefied corpses after performing a whole body CT scan prior to a forensic autopsy. Imaging data and autopsy findings were compared with regard to brain symmetry, gray and white matter junction, ventricular system, basal ganglia, cerebellum, brain stem, and possible pathological findings. RESULTS At autopsy, a reliable assessment of the anatomical brain structures was often restricted. MR imaging offered an assessment of the anatomical brain structures, even at advanced stages of putrefaction. In two cases, MR imaging revealed pathological findings that were detectable neither by CT scans nor at autopsy. CONCLUSIONS Post-mortem MR imaging of putrefied brains offers the possibility to assess brain morphology, even if the brain is liquefied. Post-mortem MR imaging of the brain should be considered if the assessment of a putrefied brain is crucial to the evaluation of a forensic autopsy case.

Dissolved organic carbon in sediments of the central Arctic Ocean collected during POLARSTERN cruise ARK-XXVII/3 from August-September 2012

Marine organic matter (OM) sinks from surface waters to the seafloor via the biological pump. Benthic communities, which use this sedimented OM as energy and carbon source, produce dissolved organic matter (DOM) in the process of remineralization, enriching the sediment porewater with fresh DOM compounds. We hypothesized that in the oligotrophic deep Arctic basin the molecular signal of freshly deposited primary produced OM is restricted to the surface sediment pore waters which should differ from bottom water and deeper sediment pore water in DOM composition. This study focused on: 1) the molecular composition of the DOM in sediment pore waters of the deep Eurasian Arctic basins, 2) whether the signal of marine vs. terrigenous DOM is represented by different compounds preserved in the sediment pore waters and 3) whether there is any relation between Arctic Ocean ice cover and DOM composition. Molecular data, obtained via 15 Tesla Fourier transform ion cyclotron resonance mass spectrometer, were correlated with environmental parameters by partial least square analysis. The fresher marine detrital OM signal from surface waters was limited to pore waters from < 5 cm sediment depth. The productive ice margin stations showed higher abundances of peptides, unsaturated aliphatics and saturated fatty acids formulae, indicative of fresh OM/pigments deposition, compared to northernmost stations which had stronger aromatic signals. This study contributes to the understanding of the coupling between the Arctic Ocean productivity and its depositional regime, and how it will be altered in response to sea ice retreat and increasing river runoff.

Numerical modeling of 11.1 T MRI of a human head using MoM/FDTD methods

In a recent study, severe distortions in the proton images of an excised, fixed, human brain in an 11.1 Tesla/40 cm MR instrument have been observed, and the effect modeled on phantom images using a finite difference time domain (FDTD) model. in the present study, we extend these simulations to that of a complete human head, employing a hybrid FDTD and method of moments (MoM) approach, which provides a validated method for simulating biological samples in coil structures. The effect of fixative on the image distortions is explored. importantly, temperature distributions within the head are also simulated using a bioheat method based on parameters derived from the electromagnetic simulations. The MoM/FDTD simulations confirm that the transverse magnetic field (B,) from a ReCav resonator exhibits good homogeneity in air but strong inhomogeneity when loaded with the head with or without fixative. The fixative serves to increase the distortions, but they are still significant for the in vivo simulations. The simulated signal intensity (SI) distribution within the sample confirm the distortions in the experimental images are caused by the complex interactions of the incident electromagnetic fields with tissue, which is heterogeneous in terms of conductivity and permittivity. The temperature distribution is likewise heterogeneous, raising concerns regarding hot spot generation in the sample that may exceed acceptable levels in future in vivo studies. As human imaging at 11.1 T is some time away, simulations are important in terms of predicting potential safety issues as well as evaluating practical concerns about the quality of images. Simulation on a whole human head at 11.1 T implies the wave behavior presents significant engineering challenges for ultra-high-field (UHF) MRI. Novel strategies will have to be employed in imaging technique and resonator design for UHF MRI to achieve the theoretical signal-to-noise ratio (SNR) improvements it offers over lower field systems. (C) 2005 Wiley Periodicals, Inc.

The electron optical limits of performance of single-polepiece magnetic electron lenses

The thesis is concerned with the electron properties of single-polepiece magnetic electron lenses especially under conditions of extreme polepiece saturation. The electron optical properties are first analysed under conditions of high polepiece permeability. From this analysis, a general idea can be obtained of the important parameters that affect ultimate lens performance. In addition, useful information is obtained concerning the design of improved lenses operating under conditions of extreme polepiece saturation, for example at flux densities of the order of 10 Tesla. It is shown that in a single-polepiece lens , the position and shape of the lens exciting coil plays an important role. In particular, the maximum permissible current density in the windings,rather than the properties of the iron, can set a limit to lens performance. This factor was therefore investigated in some detail. The axial field distribution of a single-polepiece lens, unlike that of a conventional lens, is highly asymmetrical. There are therefore two possible physical arrangements of the lens with respect to the incoming electron beam. In general these two orientations will result in different aberration coefficients. This feature has also been investigated in some detail. Single-pole piece lenses are thus considerably more complicated electron- optically than conventional double polepiece lenses. In particular, the absence of the usual second polepiece causes most of the axial magnetic flux density distribution to lie outside the body of the lens. This can have many advantages in electron microscopy but it creates problems in calculating the magnetic field distribution. In particular, presently available computer programs are liable to be considerably in error when applied to such structures. It was therefore necessary to find independent ways of checking the field calculations. Furthermore, if the polepiece is allowed to saturate, much more calculation is involved since the field distribution becomes a non-linear function of the lens excitation. In searching for optimum lens designs, care was therefore taken to ensure that the coil was placed in the optimum position. If this condition is satisfied there seems to be no theoretical limit to the maximum flux density that can be attained at the polepiece tip. However , under iron saturation condition, some broadening of the axial field distribution will take place, thereby changing the lens aberrations . Extensive calculations were therefore made to find the minimum spherical and chromatic aberration coefficients . The focal properties of such lens designs are presented and compared with the best conventional double-polepiece lenses presently available.