Legionella em meio hospitalar : qual a eficácia dos programas de prevenção nos hospitais da Região de Lisboa e Vale do Tejo : manutenção, limpeza e desinfeção de sistemas e

RESUMO - A legionella em meio hospitalar tem sido alvo de preocupação e de várias discussões, sendo esta uma bactéria patogénica que coloniza vários tipos de ambientes aquáticos (naturais e artificiais). Estas bactérias têm a particularidade de se desenvolver em meio aquático mas a infeção apenas é transmitida através de aerossóis de água contaminada, ou seja, por via aérea. Não se transmitindo de pessoa para pessoa. Pelas suas características os sistemas de arrefecimento de ar, nomeadamente as torres de arrefecimento, condensadores evaporativos, humidificadores e sistemas de ar condicionado, são fontes importantes de disseminação da legionella. Assim surge a necessidade da existência de programas de prevenção, que deverão ter em conta uma adequada manutenção, limpeza e desinfeção. Dada a quantidade de frequentadores assim como da especificidade dos mesmos, em meio hospitalar é particularmente importante a eficácia destes sistemas. Ou seja, os sistemas de arrefecimento em hospitais devem, para além de garantir o conforto térmico, ser responsáveis por manter a qualidade do ar e reduzir os riscos existentes a ele associados. O presente estudo pretende conhecer a verdadeira eficácia dos programas de manutenção e vigilância da Legionella, apenas nos sistemas de arrefecimento. Trata-se então de um estudo exploratório, descritivo recolha desta informação in-loco dos sistemas em estudo, de X hospitais da cidade de Lisboa. Na metodologia serão utilizadas grelhas de observação e resultados de colheita de água dos locais de maior risco. A realização deste estudo visa obter um retrato do panorama existente e contribuir para o início de novos estudos epidemiológicos.

Os sistemas de informação geográfica aplicados à análise espacial para o mapeamento dos espaços verdes do Bairro do Cabula na cidade do Salvador – Bahia – Brasil

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão do Território, área de especialização Detecção Remota e Sistemas de Informação Geográfica

Arrefecimento evaporativo de ambientes e elementos construtivos

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil de Construção A presente dissertação foi preparada no âmbito do Convénio existente entre o Laboratório Nacional de Engenharia Civil (LNEC) e a Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FCT-UNL), tendo sido realizada no LNEC.

Simulação de sistemas distribuídos de manufactura

Os sistemas distribuídos de manufactura (SDM) possuem como principais características a capacidade de executarem processos de manufactura de forma distribuída em ambientes heterogéneos, em que os diversos estágios e parceiros envolvidos funcionam de forma autónoma. Dotados de uma boa capacidade de adaptação a mercados em constante mudança, são sis-temas complexos e dinâmicos, sendo difícil prever o seu desempenho sem abordagens adequadas, nomeadamente, recorrendo a métodos de simulação. No entanto os pacotes de simulação que existem actualmente, apesar de boa qualidade e bastante flexíveis, ainda se caracterizam por uma limitada capacidade para a simulação de SDM. Por outro lado, o desenvolvi-mento duma ferramenta de manufactura que combine a simulação ao nível local de processos de manufactura (por exemplo: com robôs e maquinas industriais) e a correspondente ao nível global e distribuído, revela-se significativamente complexo e oneroso. Ao invés de se desenvolver tal sistema, com este trabalho, pretende-se especificar um modelo e respectiva ferramenta que permita a simulação de SDM, recorrendo a produtos comerciais já existentes, mediante a definição duma estratégia de interoperabilidade entre as ferramentas. A simulação em simultâneo, de forma agregada e em tempo real dos diversos níveis estratégicos e locais de um SDM, permite assim uma melhor estimativa do seu desempenho futuro.

Sistemas de Informação Geográfica e Videojogos

O espaço é um elemento fundamental no design de videojogos. A tecnologia actual dá ao jogador a possibilidade de experienciar mundos de grandes dimensões, sejam eles puramente imaginários, ou réplicas de ambientes reais. As exigências da produção destes mundos fazem com que os métodos de criação manuais não sejam suficientes, e haja recurso a ferramentas de geração procedimental de conteúdos. No que diz respeito aos mapas, estes procedimentos assemelham-se aos processos de modelação geográfica utilizados nos Sistemas de Informação Geográfica, mas são raros os casos em que há a utilização conjunta das tecnologias. Este trabalho replica métodos de geração procedimental de mapas em videojogos com recurso a software de Sistemas de Informação Geográfica, indentifica as mais-valias desta abordagem e aponta duas alternativas, cujo desenvolvimento pode contribuir para a aproximação das duas áreas.

Segurança no nível físico em sistemas multi-antena com diretividade na informação

Os sistemas de comunicação sem fios são sistemas de difusão por natureza. Devido a essa sua natureza, um dos problemas inerentes à mesma deve-se à segurança e ao secretismo, pois se o canal é partilhado a informação facilmente é obtida por um utilizador não autorizado, ao contrário dos sistemas de comunicação com fios. Tradicionalmente, a introdução de segurança em sistemas de comunicação, resulta na encriptação da informação, resultante de protocolos de encriptação. No entanto, a segurança através da criptografia baseia-se na premissa de que o utilizador não autorizado tem uma capacidade de processamento limitada, pois senão poderia simplesmente tentar todas as combinações possíveis e obter a chave de encriptação. Como a capacidade de processamento tem crescido exponencialmente, este tipo de sistemas tem se tornado cada vez mais complexos para não se tornarem obsoletos. A introdução de segurança na camada física torna-se então uma opção apelativa pois pode servir como um complemento, visto que os sistemas de criptografia funcionam em camadas superiores independentes da camada fisica, apresentando assim uma abordagem multi-camada em termos de segurança. Tipicamente as técnicas de segurança no nível físico podem se agrupar em 2 tipos: técnicas que se baseiam em códigos, ou técnicas que exploram variações temporais e espaciais do canal. As primeiras diminuem a eficiência espectral do sistema, e as segundas apresentam bons resultados em ambientes dinâmicos, mas em ambientes estáticos não são muito promissores. Há também a necessidade de aumentar as taxas de transmissão nos próximos sistemas de comunicação. Devido a estes requisitos, uma das tecnologias propostas para a nova geração de comunicações, é uma tecnologia baseada numa arquitectura Multiple-Input-Multiple-Output(MIMO). Esta tecnologia é promissora e consegue atingir taxas de transferências que correspondem aos requisitos propostos. Apresenta-se assim uma nova técnica de segurança no nível físico, que explora as caracteristicas físicas do sistema, como um complemento a outras medidas de segurança em camadas mais altas. Esta técnica não provoca diminuição da eficiência espectral e é independente do canal, o que tenta solucionar os problemas das restantes técnicas já existentes.

Modelação de ambientes ubíquos na plataforma APEX

Dissertação de Mestrado em Engenharia Informática

Localização de áreas de monitoramento telemétrico em ambientes aquáticos da Amazônia

O presente trabalho demonstra a aplicabilidade de imagens de sensoriamento remoto e de métodos de processamento de imagens digitais para definição de locais adequados à instalação de sistemas telemétricos de monitoramento de variáveis ambientais em sistemas aquáticos, localizados em regiões de difícil acesso. A técnica consiste essencialmente da aplicação de operações Booleanas entre mapas da pluma do Rio Amazonas e de zonas inundadas do Lago de Curuai em diferentes etapas do ciclo hidrológico. A localização exata para o sistema de monitoramento telemétrico será vital para o desenvolvimento de modelos de troca de gases traço entre a planície de inundação Amazônica e a atmosfera.

Mejoramiento genético de especies forrajeras para ambientes diversos

La ganadería argentina tiene como uno de sus principales componentes de la alimentación a las pasturas cultivadas, tanto anuales como perennes. La expansión agrícola determinó el desplazamiento de parte de la ganadería nacional hacia zonas con restricciones edáficas y/o climáticas, necesitadas de nuevas tecnologías en pasturas. La genética permite abordar estos desafíos a través del desarrollo de cultivares de especies forrajeras adaptados a diversos ambientes. Instituciones nacionales han desarrollado y difundido los cultivares mas exitosos de las principales especies templadas existentes en el mercado nacional. En el caso de las especies megatérmicas, no existen cultivares nacionales y las demandas de la región son abastecidas por introducciones foráneas a veces no seleccionadas en ambientes restrictivos. Esto pone en evidencia que el mejoramiento genético de especies megatérmicas es una clara vacancia de instituciones nacionales y privadas del país. En este contexto, el Proyecto del INTA AEFP 261821 PE Mejoramiento genético de especies forrajeras para ambientes diversos tiene como objetivo general incrementar la productividad, la calidad y/o la persistencia de las pasturas cultivadas a través del desarrollo de cultivares forrajeros adaptados a los distintos ambientes y sistemas de producción. En particular, a su vez, tiene como objetivo generar poblaciones o clones de Chloris gayana y Cenchrus ciliaris, mejorados por su tolerancia al estrés abiótico, mayor productividad y digestibilidad de la materia seca. Si bien la digestibilidad es de importancia central, no es el único factor de calidad que gobierna el producto animal. El valor nutritivo del forraje depende de sus constituyentes químicos, del consumo y la digestibilidad y la implementación de estrategias de selección para mejorar la calidad solo se logra si se comprende el rol de cada constituyente celular en la nutrición animal. Debido a la escasa disponibilidad de muestra, tipo de forrajeras (megatérmicas) y a la necesidad de realizar un screening comparativo se utilizará la técnica in situ (desaparición ruminal de la materia seca). En este proyecto el Laboratorio de Forrajes de la Facultad de Ciencias Agropecuarias de la UCC actuará como contraparte de la Institución Cooperante asumiendo la ejecución del objetivo de evaluar caracteres de calidad de las forrajeras estudiadas

Mejoramiento genético de especies forrajeras para ambientes diversos.

La ganadería argentina tiene como uno de sus principales componentes de la alimentación a las pasturas cultivadas, tanto anuales como perennes. La expansión agrícola determinó el desplazamiento de parte de la ganadería nacional hacia zonas con restricciones edáficas y/o climáticas, necesitadas de nuevas tecnologías en pasturas. La genética permite abordar estos desafíos a través del desarrollo de cultivares de especies forrajeras adaptados a diversos ambientes. Instituciones nacionales han desarrollado y difundido los cultivares mas exitosos de las principales especies templadas existentes en el mercado nacional. En el caso de las especies megatérmicas, existe un cultivar y las demandas de la región son abastecidas por introducciones foráneas a veces no seleccionadas en ambientes restrictivos. Esto pone en evidencia que el mejoramiento genético de especies megatérmicas es una clara vacancia de instituciones nacionales y privadas del país. En este contexto, el Proyecto del INTA AEFP 261821 PE Mejoramiento genético de especies forrajeras para ambientes diversos tiene como objetivo general incrementar la productividad, la calidad y/o la persistencia de las pasturas cultivadas a través del desarrollo de cultivares forrajeros adaptados a los distintos ambientes y sistemas de producción. En particular, a su vez, tiene como objetivo generar poblaciones o clones de Chloris gayana Kunt y Cenchrus ciliaris L., mejorados por su tolerancia al estrés abiótico, mayor productividad y digestibilidad de la materia seca. Debido a la escasa disponibilidad de muestra, tipo de forrajeras (megatérmicas) y a la necesidad de realizar un screening comparativo se utilizará la técnica in situ (desaparición ruminal de la materia seca). En este proyecto el Laboratorio de Forrajes de la Facultad de Ciencias Agropecuarias de la UCC actuará como contraparte de la Institución Cooperante asumiendo la ejecución del objetivo de evaluar caracteres de calidad de las forrajeras estudiadas.

Respuesta de los sistemas planta-fitófago-parasitoide a condiciones microambientales en hábitats naturales y urbanos

Uno de los mayores desafíos de la ecología será predecir las posibles consecuencias del cambio climático sobre los organismos biológicos y proponer medidas que las suavicen. Es de esperar que los cambios climáticos provoquen la extinción de especies sensibles, a través de la disminución de su éxito reproductivo, la reducción de la cantidad y accesibilidad a hábitats adecuados, y también indirectamente por la eliminación de los recursos esenciales para su supervivencia. En un contexto de cambio climático global, el objetivo general de este proyecto es comprender los efectos de las condiciones microambientales sobre sistemas planta-herbívoro-parasitoide, en ambientes naturales y urbanos. Para ello estudiaremos las relaciones entre plantas, minadores de hojas y sus parasitoides considerando las diversas condiciones microambientales en donde el sistema se desarrolla. En ambientes nativos se prevé el estudio de dichos sistemas en tres ubicaciones del bosque (interior, bordes con orientación norte y bordes con orientación sur), analizando la identidad y abundancia de las especies, y los niveles de herbivoría y parasitismo. También se realizarán experimentos de laboratorio para analizar los niveles de herbivoría que sufran hojas obtenidas en cada una de las ubicaciones, a fin de conocer si poseen diferencias que puedan ser detectadas por los insectos, y se analizarán también posibles diferencias en la dureza de las hojas y su contenido de nitrógeno y carbono. En ambientes urbanos se estudiará la ocurrencia y grado de herbivoría de un minador de hojas asociado al “jacarandá”, árbol común en veredas de la ciudad de Córdoba, asi como la incidencia de sus parasitoides. Se relacionarán las variables biológicas con variables ambientales a nivel de sitio, tales como temperatura, tráfico vehicular, distancia al centro geográfico e “índice verde”, tomado a partir de imágenes satelitales. Los datos obtenidos a partir de los muestreos de campo en ambientes nativos serán analizados mediante modelos lineales generalizados que contemplen la dependencia de los microhábitats por localidad. Las variables obtenidas en experimentos en laboratorio serán analizadas mediante ANOVA con medidas repetidas o Test de Kruskall-Wallis. Los datos provenientes de ambientes urbanos serán analizados mediante regresiones logísticas para determinar la probabilidad de ocurrencia del minador, asi como los niveles de herbivoría y parasitismo en los diversos árboles estudiados. Se incluirán en el modelo todas las variables de urbanización anteriormente mencionadas así como la densidad de árboles en el sitio.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

Antecedentes da intenção de uso de sistemas de home broker sob a ótica dos investidores do mercado acionário

Na pesquisa aqui relatada, visa-se investigar os antecedentes da intenção de uso de sistemas de home broker sob a ótica dos investidores do mercado acionário. Para atingir esse objetivo, por meio de referencial teórico baseado em teorias de aceitação de sistemas de informação, difusão da inovação, confiança em ambientes virtuais e satisfação do usuário, foi elaborado um modelo teórico e foram propostas hipóteses de pesquisa. Por meio de técnicas de equações estruturais baseadas em Partial Least Squares (PLS), a partir de 152 questionários válidos, coletados via web survey junto a investidores do mercado acionário brasileiro, foram testados o modelo proposto e as hipóteses de pesquisa. Identificaram-se, assim, os fatores compatibilidade, utilidade percebida e facilidade de uso percebida como antecedentes estatisticamente significantes do fator satisfação do usuário com o sistema de home broker, o qual, por sua vez, teve efeito estatisticamente significante na intenção de uso do sistema. São apresentadas, ainda, as implicações acadêmicas e gerenciais do trabalho, assim como suas limitações e uma agenda de pesquisa para essa importante área do conhecimento.

La mediación y el arbitraje de consumo: explorando sistemas de ODR

La utilización de ADR en el ámbito de las reclamaciones de consumo tiene un marco legal específico en España -y también en la UE- desde 1993, que deriva de sus características especiales. Algunas son de cuño exclusivamente jurídico: se trata de reclamaciones en las que el marco legal aplicable es el denominado derecho de consumo; otras poseen un soporte básicamente fáctico: suelen tener poca entidad económica, es decir, entran en la categoría de lo que denominamos small claims, y el hecho de que las reclamaciones -en algunos supuestos que van en aumento- sean transfronterizas condiciona la opción entre jurisdicción tradicional y ADR, como también tendremos ocasión de analizar. Hay que añadir a estos elementos jurídicos y fácticos un elemento importante de política legislativa en un ámbito de la UE; los ADR se entienden como un instrumento básico para garantizar el acceso de los consumidores a la justicia, pero al mismo tiempo, en el ámbito del comercio electrónico, son un ele- mento de gran trascendencia en la creación de la denominada e-confidence. Por este motivo, se explo- ran continuamente formas de ODR (On-line Dispute Resolution). Los ODR pretenden la mayor eficacia ofreciendo un soporte técnico capaz de solucionar una controversia con o sin la intervención de un tercero, y dentro o fuera de la organización del empresario. De este modo, se usa un mismo expediente técnico para poner en marcha sucesivamente más de un ADR, o se potencian los mecanismos automáticos que prescinden de los conceptos jurídicos y, en medio de la exploración constante, España apuesta por el arbitraje electrónico de consumo en el RD 236/2008. A estos temas vamos a referirnos a continuación.

Substâncias húmicas e suas interações com Fe e Al em Latossolo subtropical sob diferentes sistemas de manejo de pastagem

Sistemas de manejo de pastagem baseiam-se em geral na intensidade e pressão de pastejo, na roçada, no melhoramento da fertilidade do solo ou na queima da vegetação. Tendo em vista que o manejo do solo altera a dinâmica da matéria orgânica, este trabalho teve por objetivo avaliar a distribuição do C, do N e das substâncias húmicas, bem como investigar as interações destas com os íons Fe e Al, em Latossolo Vermelho nos seguintes ambientes: pastagem nativa sem queima há 41 anos, pastagem nativa sem queima há oito anos, pastagem nativa com melhoramento da fertilidade do solo e mata nativa. Em amostras coletadas nas profundidades de 0-5, 0-20, 20-40 e 40-60 cm foi realizado o fracionamento químico da matéria orgânica do solo, caracterizadas as substâncias húmicas por espectroscopia de Espectrocospia de Infravermelho com Transformada de Fourier (FTIR) e quantificados os teores de Fe e Al coextraídos nas frações húmicas. O melhoramento da fertilidade do solo com calagem e adubação proporcionou, na camada superficial, aumento de 24 % do teor de C do solo em relação à pastagem nativa sem queima há oito anos e estimulou a formação de huminas. Nesta pastagem, as substâncias húmicas estavam presentes preferencialmente na forma de ácidos fúlvicos (9,4 g kg-1), enquanto na pastagem nativa sem queima há 41 anos os ácidos húmicos foram mais abundantes (11,2 g kg-1). Em todos os ambientes, o Fe associou-se preferencialmente aos ácidos húmicos, e o Al, aos ácidos fúlvicos. O melhoramento da fertilidade do solo representa alternativa sustentável em relação à prática da queima na condução de pastagens nativas.