Partial replication in distributed software transactional memory

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Comparação dos programas Cypeterm e RCCTE-STE no âmbito da simulação dinâmica de edifícios

A presente dissertação tem como objetivo primordial realizar a comparação entre o programa de simulação monozona RCCTE-STE do LNEG e o programa de simulação dinâmica multizona Cypeterm que permite utilizar o motor de cálculo do EnergyPlus de forma a executar a simulação térmica de edifícios. Para tal foram considerados dois casos de estudo diferentes. O primeiro caso de estudo considerado foi um edifício de escritórios que funciona em open-space. É feita uma descrição detalhada dos dados inseridos nos dois programas, em particular os referentes aos elementos construtivos do edifício, aos sistemas de climatização e ventilação e aos perfis de ocupação, equipamentos e iluminação. Por fim realizou-se uma comparação crítica e exaustiva dos resultados entre os dois programas sendo que o Cypeterm foi designado como o melhor, devido às suas qualidades de cálculo do EnergyPlus e pela sua interface gráfica bastante intuitiva, que o torna bastante rápido e eficaz na introdução e alteração de dados. No segundo caso de estudo foi delineado um edifício com mais de 1000 m2 com múltiplos espaços no seu interior. Deste modo procedeu-se a uma comparação monozona face a uma simulação multizona que permitiu demonstrar que esta última é mais vantajosa e capaz, particularmente no dimensionamento do equipamento de climatização do edifício e análise energética de cada espaço. Foram também efetuadas alterações estruturais num dos edifícios estudados, de modo a perceber a sua influência a nível energética em qualquer edifício. De salientar ainda que todo este trabalho teve como base os regulamentos RCCTE e RSECE.

Novo Software para análise do epitélio nasal humano

A discinesia ciliar primária (DCP) resulta de disfunção ciliar no ser humano, estando associada a um conjunto de sintomas muito diversificados. É uma doença respiratória rara caracterizada por infecções respiratórias, situs inversus, infertilidade e hidrocefalia. Em Portugal não existe nenhum centro de diagnóstico da doença. Mas a inten-ção de criar um surgiu, seguindo o método de centros de diagnóstico para DCP utilizado noutros países. Este diagnóstico consiste em recolher amostras dos cílios do nariz, através do método de escovagem nasal e obter a gravação do batimento das células ciliadas por uma câmara de alta velocidade acoplada a um microscópio com objectivas de alta resolução. É possível estudar a DCP através da análise do comportamento físico dos cílios, e, para uma melhor abordagem, foi desenvolvido um programa executável, em C#, para análise destas amostras. Este, após a escolha de uma zona de interesse da sequência de imagens pelo utilizador (ROI), detecta as frequências do bati-mento ciliar, indicando uma lista com as percentagens das frequências obtidas e cria um mapa de frequências do ROI. A ferramenta permite ainda calcular o comprimento do cílio e realizar um estudo do movimento do mesmo, algo que ainda não foi abordado por outros programas. O código desenvolvido permitirá, assim, obter um diagnóstico de DCP em Por-tugal, rápido e nalguns casos com um melhor desempenho do que a inspecção visual seguida noutros centros de diagnóstico.

Improving quality of medical service with mobile health software

An increasing number of m-Health applications are being developed benefiting health service delivery. In this paper, a new methodology based on the principle of calm computing applied to diagnostic and therapeutic procedure reporting is proposed. A mobile application was designed for the physicians of one of the Portuguese major hospitals, which takes advantage of a multi-agent interoperability platform, the Agency for the Integration, Diffusion and Archive (AIDA). This application allows the visualization of inpatients and outpatients medical reports in a quicker and safer manner, in addition to offer a remote access to information. This project shows the advantages in the use of mobile software in a medical environment but the first step is always to build or use an interoperability platform, flexible, adaptable and pervasive. The platform offers a comprehensive set of services that restricts the development of mobile software almost exclusively to the mobile user interface design. The technology was tested and assessed in a real context by intensivists.

Análise de complexidade de programas em ferramentas de apoio à decisão

Dissertação de mestrado em Engenharia de Sistemas

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Software livre e de código aberto para avaliação de imagens de angiotomografia de coronárias

FUNDAMENTO: A estandardização do padrão de imagens utilizada dentro da medicina foi realizada em 1993 por meio do padrão DICOM (Digital Imaging and Communications in Medicine). Diversos exames utilizam esse padrão e cada vez mais são necessários softwares capazes de manipular esse tipo de imagem, porém esses softwares geralmente não têm o formato livre e de código aberto, e isso dificulta o seu ajuste para os mais diferentes interesses. OBJETIVO: Desenvolver e validar um software livre e de código aberto capaz de manipular imagens DICOM de exames de angiotomografia de coronárias. MÉTODOS: Desenvolvemos e testamos o software intitulado ImageLab na avaliação de 100 exames selecionados de forma randômica por meio de um banco de dados. Foram realizadas 600 análises divididas por dois observadores utilizando o ImageLab e um outro software comercializado junto a aparelhos de tomografia computadorizada Philips Brilliance, na avaliação da presença de lesões e placas coronarianas nos territórios do Tronco da Coronária Esquerda (TCE) e na Artéria Descendente Anterior (ADA). Para avaliar as concordâncias intraobservador, interobservadores e intersoftware, utilizamos concordância simples e estatística Kappa. RESULTADOS: As concordâncias observadas entre os softwares foram em geral classificadas como substancial ou quase perfeitas na maioria das comparações. CONCLUSÃO: O software ImageLab concordou com o software Philips na avaliação de exames de angiotomografia de coronárias especialmente em pacientes sem lesões, com lesões inferiores a 50% no TCE e inferiores a 70% na ADA. A concordância para lesão >70% na ADA foi menor, porém isso também é observado quando se utiliza o padrão de referência anatômico.

Los depósitos cooperativos de la Biblioteca Digital de Cataluña : tipología, procesos y software

Desde 1999 el Consorcio de Bibliotecas Universitarias de Cataluña (CBUC) ha creado una nueva línea de trabajo, junto con el Centro de Supercomputación de Cataluña (CESCA), para promocionar la investigación que se lleva a cabo en Cataluña y al mismo tiempo contribuir al movimiento mundial de depositar la producción académica y de investigación en la red de forma abierta. Este movimiento mundial, que recibe el nombre de Open Access, ha sido puesto en marcha con la finalidad de crear alternativas al paradigma de pagar por tener acceso a la información que se ha elaborado, muy a menudo, con financiación y recursos públicos. Esta nueva línea de trabajo son los depósitos institucionales. En esta comunicación presentamos brevemente el estado actual de los depósitos cooperativos implementados, su contenido (estándares usados, derechos de autor, preservación, etc.) y su continente (programas y tecnología utilizada, protocolos, etc.).

Análisis de prestaciones de sistemas de comunicaciones inalámbricas en aplicaciones de robótica: sistema software

Una característica importante de la robótica es la comunicación entre sistema base y robot que puede establecerse de forma remota. Ello representa la base del proyecto que se describe a continuación, el cual se descompone de dos partes, una por cada miembro del proyecto: sistema software y sistema hardware. En el sistema software analizaremos las diferentes tecnologías inalámbricas (características, funcionamiento, seguridad, etc.), se realizará una comparativa de los diferentes módulos de comunicación y finalmente decidiremos aquellos que nos interesa para la implementación en Radiofrecuencia (RF) y Bluetooth. En este sistema también estudiaremos la interfaz gráfica que se utilizará, así como los programas creados en este entorno para realizar las implementaciones. En el sistema hardware trataremos de realizar el control de dos periféricos de forma independiente, un servomotor y un sonar, que nos servirán como ejemplo para analizar una posible comunicación entre varios robots y un PC. Por lo tanto, en este apartado analizaremos a fondo los diferentes componentes que harán posible tanto la comunicación, vía RF y Bluetooth, como el control de los diferentes dispositivos.

Localización de áreas prioritarias de actuación para la ubicación decortafuegos usando software libre GIS: gvSIG, SEXTANTE y PostGIS

El present projecte se centrarà en l'aplicació dels SIG a la prevenció dels incendis forestals a Catalunya. En concret en la localització de zones òptimes per a la instal lació de tallafocs, mitjançant la utilització dels programes lliures gvSIG i Sextant, a més de la base de dades (BDD) espacial PostgreeSQL / PostGIS.

Tienda virtual para una empresa de muebles de cocina

El projecte estarà dedicat a dos tipus de clients: particulars i industrials ia la gestió que s'haurà de fer dels productes oferts (altes, baixes, manteniments, etc.). El web estarà configurada en un servidor d'aplicacions i constarà de dues parts: La interfície de l'administrador per al manteniment dels clients i articles i la interfície del client que li permetrà navegar pel catàleg i així poder fer les comandes dels productes que estiguin interessats. Utilitzarem els estàndards que ofereix el mercat per al programari de servidor (JSP, Struts, J2EE, etc.).

Librería para análisis dinámico de programas

Este proyecto consiste en el diseño y desarrollo de una librería de interposición de propósito general en lenguaje C para la plataforma GNU/Linux, así como de un prototipo para demostrar la utilidad de la librería. La idea es que dicha librería se pueda utilizar en aquellos programas que necesiten modificar el comportamiento de otros programas, interceptar las llamadas al sistema y, en un sentido amplio, obtener información sobre las actividades de otros procesos en tiempo real. Por tanto, se tratará de diseñar un marco adecuado para futuros proyectos relacionados con el análisis de software. Se pretende también realizar un estudio que permita conocer las diferentes técnicas de depuración, diagnóstico y optimización de aplicaciones, y el software libre existente para realizar dichas tareas.

Publicación de un proyecto de Software Libre

Proceso a seguir para la publicación de un proyecto de Software Libre y la creación de una comunidad que lo continúe.

Software libre y Web 2.0 en la Educación Secundaria

Este proyecto ha sido pensado con un triple objetivo: Desarrollar una guía para el profesorado que desee introducirse en el uso de metodología didácticas basadas en Software Libre y la Web 2.0.Escribir un documento de consulta que sirva de base para desarrollar y utilizar diferentes herramientas de Software Libre y Web 2.0 dirigidas a cualquier etapa de la Educación Secundaria (ESO, F.P y los PCPI). Realizar un estudio del uso y conocimiento del Software Libre y la Web 2.0 entre los alumnos de los Programas de Cualificación Profesional Inicial.