CrimsonHex: a learning objects repository for programming exercises

A repository of learning objects is a system that stores electronic resources in a technology-mediated learning process. The need for this kind of repository is growing as more educators become eager to use digital educa- tional contents and more of it becomes available. The sharing and use of these resources relies on the use of content and communication standards as a means to describe and exchange educational resources, commonly known as learning objects. This paper presents the design and implementation of a service-oriented reposi- tory of learning objects called crimsonHex. This repository supports new definitions of learning objects for specialized domains and we illustrate this feature with the definition of programming exercises as learning objects and its validation by the repository. The repository is also fully compliant with existing commu- nication standards and we propose extensions by adding new functions, formalizing message interchange and providing a REST interface. To validate the interoperability features of the repository, we developed a repository plug-in for Moodle that is expected to be included in the next release of this popular learning management system.

Visual programming of XSLT from examples

Vishnu is a tool for XSLT visual programming in Eclipse - a popular and extensible integrated development environment. Rather than writing the XSLT transformations, the programmer loads or edits two document instances, a source document and its corresponding target document, and pairs texts between then by drawing lines over the documents. This form of XSLT programming is intended for simple transformations between related document types, such as HTML formatting or conversion among similar formats. Complex XSLT programs involving, for instance, recursive templates or second order transformations are out of the scope of Vishnu. We present the architecture of Vishnu composed by a graphical editor and a programming engine. The editor is an Eclipse plug-in where the programmer loads and edits document examples and pairs their content using graphical primitives. The programming engine receives the data collected by the editor and produces an XSLT program. The design of the engine and the process of creation of an XSLT program from examples are also detailed. It starts with the generation of an initial transformation that maps source document to the target document. This transformation is fed to a rewrite process where each step produces a refined version of the transformation. Finally, the transformation is simplified before being presented to the programmer for further editing.

Integração modular em visualizadores médicos e aposição da marcação CE do Dispositivo Médico

Neste documento ´e feita a descrição detalhada da integração modular de um script no software OsiriX. O objectivo deste script ´e determinar o diâmetro central da artéria aorta a partir de uma Tomografia Computorizada. Para tal são abordados conceitos relacionados com a temática do processamento de imagem digital, tecnologias associadas, e.g., a norma DICOM e desenvolvimento de software. Como estudo preliminar, são analisados diversos visualizadores de imagens médica, utilizados para investigação ou mesmo comercializados. Foram realizadas duas implementações distintas do plugin. A primeira versão do plugin faz a invocação do script de processamento usando o ficheiro de estudo armazenado em disco; a segunda versão faz a passagem de dados através de um bloco de memória partilhada e utiliza o framework Java Native Interface. Por fim, é demonstrado todo o processo de aposição da Marcação CE de um dispositivo médico de classe IIa e obtenção da declaração de conformidade por parte de um Organismo Notificado. Utilizaram-se os Sistemas Operativos Mac OS X e Linux e as linguagens de programação Java, Objective-C e Python.

Impacto da influência de um Sistema de Gestão Técnica Centralizada na redução dos custos de exploração de um edifício

É de conhecimento do meio, que os Sistemas de Gestão Técnica Centralizada (SGTC) são uma mais-valia para a redução de utilização de energia associados principalmente aos sistemas de Aquecimento, Ventilação e Ar Condicionado (AVAC) apesar das potencialidades serem abrangentes a outras áreas. No entanto, existe alguma lacuna quanto à quantificação dessa mais-valia, facto importante sobretudo para a alteração de mentalidades dos promotores e proprietários dos edifícios, que por falta de prova, normalmente apenas associam o SGTC a um investimento num serviço desnecessário. As potencialidades dos SGTC são muitas, a título de exemplo, redução na utilização de fontes de energia, gestão da manutenção de sistemas e equipamentos, análise de eficiências de equipamentos, entre muitas outras, sendo nesta dissertação estudado com mais profundidade a questão associada à diferença dos custos de exploração resultantes da utilização de energia num edifício por parte dos sistemas de AVAC, isto é, quais serão os ganhos na utilização da energia, associados ao sistema AVAC, que podem ser obtidos com a implementação de um SGTC. Para o efeito, utilizou-se os sistemas e equipamentos existentes no edifício ECOTERMOLAB, pertencente ao Instituto de Soldadura e Qualidade (ISQ), com o objetivo de verificar as diferenças de utilização de energia resultantes do funcionamento do edifício em normal atividade, isto é, o edifício com todos os seus sistemas operacionais, incluindo o SGTC, e o edifício em funcionamento sem o auxílio do SGTC, ou seja, todos os sistemas associados ao sistema AVAC em funcionamento em modo manual e sem recurso a variação de caudal na rede aeráulica e hidráulica. Em termos anuais, o ECOTERMOLAB consome, aproximadamente, cerca de 38,1 MWh de energia elétrica e 39,2 MWh de gás natural, o que representa uma utilização de energia primária de 14,4 tep/ano. Esta energia, representa um encargo financeiro anual de, aproximadamente, 9500€/ano, correspondente a 7000€/ano de energia elétrica e 2500€/ano de gás natural. Após a análise desenvolvida neste trabalho, conclui-se que o funcionamento do edifício sem controlo do sistema de AVAC por SGTC representaria em termos anuais a um aumento de, aproximadamente, 25,2 MWh e 6,2 MWh de energia elétrica e de gás natural, respetivamente. Em termos de energia primária, a diferença entre soluções origina um acréscimo na utilização de energia de 7,8 tep/ano o que representa um aumento de emissão de CO2 na ordem das 9,4 ton/ano. A avaliação económica, recaiu sobre a determinação de indicadores para avaliação da viabilidade de implementação de um SGTC, nomeadamente, o período de retorno simples, o valor atual líquido e a taxa interna de rentabilidade. Todos estes indicadores se revelaram positivos, apresentando um período de retorno ligeiramente superior a oito anos, um valor atual líquido positivo (8864,1€) e uma taxa interna de rentabilidade superior à taxa de custo de capital (11,2%).

Adaptação do programa PAC-Pórticos ao EC2 e sua integração com o conceito BIM

Atualmente existe uma grande variedade de programas de cálculo automático de estruturas de betão armado disponíveis no mercado, pois estes, cada vez mais, são inerentes ao desenvolvimento de cada projeto de estruturas. O PAC-Pórticos foi um dos primeiros a chegar ao mercado nacional surgindo no início da década de noventa. Foi totalmente desenvolvido em Portugal, tendo tido bastante sucesso nas suas vendas a nível nacional. O PAC-Pórticos não está preparado para operar diretamente nos mais recentes sistemas operativos nem foi programado para dimensionar os diversos elementos de betão armado seguindo os termos das normas mais recentes (Eurocódigos). O tema do presente trabalho vai de encontro aos atuais problemas do programa, assim sendo, definiu-se como primeiro objetivo a adaptação do PAC-Pórticos à regulamentação europeia para o betão armado. Numa 1ª fase, para a adaptação do PAC-Pórticos aos novos códigos, foi necessário estudar o programa em si, perceber o seu funcionamento e posteriormente realizar uma comparação entre a legislação para qual o software está programado, o Regulamento de Estruturas de Betão Armado e Pré-Esforçado (ainda em vigor) e a Norma Europeia correspondente a EN 1992-1-1 (Eurocódigo 2). Seguidamente, procedeu-se ao estudo e adaptação de todas as sub-rotinas de cálculo do PAC-Pórticos para o dimensionamento de vigas e pilares, tendo finalmente sido testado o novo código e comprovados os resultados obtidos com o mesmo. Na realização do presente trabalho, não foi ignorada a importância crescente da metodologia BIM que, nos dias de hoje, tende a ser implementada nos programas de cálculo de engenharia civil. Neste âmbito, o segundo objetivo é o de conseguir visualizar uma solução obtida do PAC-Pórticos numa qualquer ferramenta tridimensional BIM. Para tal, foram ponderadas várias hipóteses, mas optou-se por criar dois plug-in para o programa AutoCAD da Autodesk. O primeiro destes plug-in contempla o desenho das vigas e o segundo para os pilares, ambos em 3D e elaborados de forma automática.

Desenvolvimento e Controlo de um Veículo Autónomo Aéreo Quadrotor

A crescente necessidade de meios de inspecção e recolha de informação de infraestruturas e do meio ambiente natural, origina o recurso a meios tecnológicos cada vez mais evoluídos. Neste contexto, os robôs móveis autónomos aéreos surgem como uma ferramenta importante. Em particular, os veículos aéreos de asa móvel, pela sua manobrabilidade e controlo podem-se utilizar eficazmente em meios complexos como cenários interiores onde o ambiente é parcialmente controlado. A sua utilização em coordenação com outros veículos robóticos móveis e em particular com a crescente autonomia de decisão, permitem uma eficiência elevada, por exemplo, em tarefas de recolha automática de informação, vigilância, apoio a comunicações, etc. A inexistência de um veículo autónomo de asa móvel no cenário multi-robótico desenvolvido pelo Laboratório de Sistemas Autónomos do Instituto Superior de Engenharia do Porto, aliada às suas aplicações referidas, criou a necessidade do desenvolvimento de um veículo desta gama. Identificou-se, pois, o desenvolvimento de um veículo autónomo aéreo do tipo quadrotor com capacidade de vôo base estabilizado como o problema a resolver. Foi efectuado um levantamento de requisitos do sistema, a caracterização de um veículo autónomo aéreo Vertical Take-off and Landing - VTOL, e efectuado um trabalho de pesquisa a fim de possibilitar o conhecimento das técnicas e tecnologias envolvidas. Tendo em vista o objectivo de controlo e estabilização do veículo, foi efectuada a modelização do sistema que serviu não só para a melhor compreensão da sua dinâmica mas também para o desenvolvimento de um simulador que possibilitou a validação de estratégias de controlo e avaliação de comportamentos do veículo para diferentes cenários. A inexistência de controladores de motores brushless adequada (frequência de controlo), originou o desenvolvimento de um controlador dedicado para motores brushless, motores esses utilizados para a propulsão do veículo. Este controlador permite uma taxa de controlo a uma frequência de 20KHz, possui múltiplas interfaces de comunicação (CAN, RS232, Ethernet, SPI e JTAG), é de reduzido peso e dimensões e modular, visto ter sido implementado em dois módulos, i.e., permite a sua utilização com diferentes interfaces de potência. Projectou-se um veículo autónomo aéreo em termos físicos com a definição da sua arquitectura de hardware e software bem como o sistema de controlo de vôo. O sistema de estabilização de vôo compreende o processamento de informação fornecida por um sistema de navegação inercial, um sonar e o envio de referências de velocidade para cada um dos nós de controlo ligados a um barramento CAN instalado no veículo. A implementação do veículo foi alcançada nas suas vertentes mecânica, de hardware e software. O UAV foi equipado com um sistema computacional dotando-o de capacidades para o desempenho de tarefas previamente analisadas. No presente trabalho, são também tiradas algumas conclusões sobre o desenvolvimento do sistema e sua implementação bem como perspectivada a sua evolução futura no contexto de missões coordenadas de múltiplos veículos robóticos.

Esclonamento de máquinas de cogeração utilzando programação inteira mista

As centrais termoelétricas convencionais convertem apenas parte do combustível consumido na produção de energia elétrica, sendo que outra parte resulta em perdas sob a forma de calor. Neste sentido, surgiram as unidades de cogeração, ou Combined Heat and Power (CHP), que permitem reaproveitar a energia dissipada sob a forma de energia térmica e disponibilizá-la, em conjunto com a energia elétrica gerada, para consumo doméstico ou industrial, tornando-as mais eficientes que as unidades convencionais Os custos de produção de energia elétrica e de calor das unidades CHP são representados por uma função não-linear e apresentam uma região de operação admissível que pode ser convexa ou não-convexa, dependendo das caraterísticas de cada unidade. Por estas razões, a modelação de unidades CHP no âmbito do escalonamento de geradores elétricos (na literatura inglesa Unit Commitment Problem (UCP)) tem especial relevância para as empresas que possuem, também, este tipo de unidades. Estas empresas têm como objetivo definir, entre as unidades CHP e as unidades que apenas geram energia elétrica ou calor, quais devem ser ligadas e os respetivos níveis de produção para satisfazer a procura de energia elétrica e de calor a um custo mínimo. Neste documento são propostos dois modelos de programação inteira mista para o UCP com inclusão de unidades de cogeração: um modelo não-linear que inclui a função real de custo de produção das unidades CHP e um modelo que propõe uma linearização da referida função baseada na combinação convexa de um número pré-definido de pontos extremos. Em ambos os modelos a região de operação admissível não-convexa é modelada através da divisão desta àrea em duas àreas convexas distintas. Testes computacionais efetuados com ambos os modelos para várias instâncias permitiram verificar a eficiência do modelo linear proposto. Este modelo permitiu obter as soluções ótimas do modelo não-linear com tempos computationais significativamente menores. Para além disso, ambos os modelos foram testados com e sem a inclusão de restrições de tomada e deslastre de carga, permitindo concluir que este tipo de restrições aumenta a complexidade do problema sendo que o tempo computacional exigido para a resolução do mesmo cresce significativamente.

Extracting kinetic information from literature with KineticRE

To better understand the dynamic behavior of metabolic networks in a wide variety of conditions, the field of Systems Biology has increased its interest in the use of kinetic models. The different databases, available these days, do not contain enough data regarding this topic. Given that a significant part of the relevant information for the development of such models is still wide spread in the literature, it becomes essential to develop specific and powerful text mining tools to collect these data. In this context, this work has as main objective the development of a text mining tool to extract, from scientific literature, kinetic parameters, their respective values and their relations with enzymes and metabolites. The approach proposed integrates the development of a novel plug-in over the text mining framework @Note2. In the end, the pipeline developed was validated with a case study on Kluyveromyces lactis, spanning the analysis and results of 20 full text documents.

Gestor de contraseñas en un dispositivo móvil accesible por Bluetooth

Este proyecto nace de la necesidad de dar más seguridad a nuestros datos cuando navegamos por Internet. Se ha implementado un plug-in para el navegador Firefox de Mozilla, que detecta un formulario de login/password conocido y rellena el campo de la contraseña automáticamente. La contraseña estará en nuestro dispositivo móvil y la comunicación entre el navegador y el dispositivo se hará mediante la tecnología Bluetooth.

Componente Editor & Analizador SPL-SQL de karat

Creación de un componente "Editor y Analizador para el lenguaje SPL-SQL" del producto karat para ayudar a los desarrolladores de una empresa en la programación de código de este lenguaje implementando diferentes funcionalidades que ayuden a esta tarea. El proyecto ha sido desarrollado con el lenguaje Java y la herramienta resultante adopta el formato de un Plug-in IDE Eclipse.

Estimación de las emisiones de CO2 vía GPS

El projecte consisteix en la captura de dades per mitjà del sistema GPS, mitjançant aquestes dades hem d'endevinar en quin vehicle ens desplacem per a portar el càlcul del consum del CO2 dels nostres desplaçaments. El programa ha estat desenvolupat per ser funcional a sobre de dispositius mòbils que tinguin targeta de memòria externa i Java J2ME, inclou interfície gràfica.

Sistema encastat de monitorització d'informació múltiple: implementació per a vehicles

Aquest projecte es centra en l’àmbit de l’automoció, i la seva finalitat es ampliar la informació que proporciona el fabricant d’un vehicle als usuaris. Un dels punts claus del sistema es que aquest quedi completament integrat, per tant, utilitza dispositius externs inclosos al vehicle com ara el display que anteriorment s’utilitzava per a mostrar informació del radiocasset, i una maneta amb dos botons utilitzada per al control del sistema. El sistema mostra diferents tipus d’informació com ara la velocitat instantània del vehicle, revolucions del motor, velocitat màxima, distància parcial recorreguda, hora i data. A més de mostrar informació, aquest es capaç d’emmagatzemar-la en un suport extraïble per a una posterior explotació a un ordinador convencional. El sistema no està pensat per a ser un projecte tancat, sinó que esta dissenyat per a ser ampliat en quant a funcionalitats, i per tant aquest projecte es considera una primera versió.

Creació de taules d'una base de dades relacional a partir del diagrama de classes d'anàlisi d'UML

És ben sabut que les úniques etapes del cicle de vida del programari que necessàriament s'han d'especificar són les de recollida de requisits i l'anàlisi o l'especificació del programari. La resta (disseny, implementació i prova) es pot generar d'una manera més o menys automàtica a partir de l'anàlisi. En aquest PFC hem volgut estudiar la viabilitat de la construcció automàtica de codi SQL a partir de diagrames de classes d'anàlisi UML. S'ha estès l'eina de modelatge UML Poseidon amb un connector, de manera que amb una interfície molt simple es pot obtenir molt ràpidament l'esquema bàsic d'una base de dades, incloent-hi les taules, les seves columnes, claus rimàries i foranes, i també els disparadors (i les claus úniques) necessaris per a garantir les restriccions de cardinalitat de les associacions.

Gestiona't : aplicació en J2EE per a la gestió personal del treball

Aquest treball final de carrera es basa en l'anàlisi, disseny i implementació d'una solució per a la autogestió dels recursos humans de l'empresa; és a dir, per tal que tots els treballadors de la mateixa puguin gestionar tot el relacionat amb el seu entorn de treball (les seves dades personals, el seu temps de treball, les tasques relacionades amb el seu càrrec, la sol·licitud de vacances...). Paral·lelament, aquest treball estudia la viabilitat d'emprar com a eina de treball professional diària l'IDE Eclipse amb la integració del plug-in d'Exadel Studio per a l'ús del framework Struts.

Rôle et mécanisme d'action de la metformine et du telmisartan sur la régulation de la prise alimentaire

Dans ce travail de thèse, nous avons étudié les mécanismes d'action de deux médicaments connus pour diminuer la prise alimentaire et pondérale : la metformine et le telmisartan. Nous avons dans un premier temps étudié les effets de la metformine, un antidiabétique oral connu pour avoir des effets anorexigènes. Les mécanismes hypothalamiques potentiellement impliqués dans la modulation de la prise alimentaire par la metformine ont été étudiés dans trois groupes de rats : un groupe de rats obèses (DIO), un groupe de rats résistants à l'obésité (DR) ainsi qu'un groupe contrôle. A la fin de la période de prise pondérale de six mois, les rats DIO avaient des taux d'ARNm de NPY hypothalamique plus élevés que leurs congénères résistants et contrôles. Chez les DIO ainsi que chez les DR un traitement par metformine induit une baisse significative de la prise alimentaire accompagnée par une baisse du poids. Nous avons pu d'autre part constater que la perte de poids obtenue par un traitement de metformine était corrélée aux taux circulants de leptine avant le traitement. Cet effet s'accompagne d'une augmentation de l'expression du récepteur ObRb au niveau hypothalamique. Dans un second temps, nous avons étudié les effets du telmisartan, un inhibiteur du récepteur à l'angiotensine II ayant une activité agoniste partielle PPARγ. L'influence du telmisartan associé à la pioglitazone sur la prise alimentaire et pondérale a été examinée en étudiant leur effet sur les neuropeptides hypothalamiques responsables du contrôle de la prise alimentaire. Quatre groupes de souris soumises à un régime riche en graisse ont été formés : un groupe placebo, un groupe pioglitazone, un groupe telmisartan et un groupe pioglitazone-telmisartan. Le telmisartan a aboli la prise pondérale induite par une diète riche en graisse ou par un traitement de pioglitazone. Cette diminution était corrélée à une baisse de la prise alimentaire et de l'expression hypothalamique d'AgRP. Cette étude confirme donc les effets anorexigènes du telmisartan et démontre pour la première fois le rôle fonctionnel du telmisartan sur l'expression hypothalamique d'AgRP. English Abstract : In this work, we investigated the effect of two drugs known to have interessants effects on food intake and body weight. First we investigated the hypothalamic mechanisms potentially implicated in the modulation of feeding by the glucose-lowering drug metformin in three different groups of animals: diet-induced obese (DIO) and diet-resistant (DR) male rats as well as lean controls (CT). At the end of the high fat diet period, despite higher leptin levels, DIO rats had higher levels of hypothalamic NPY expression than DR or CT, suggesting a central leptin resistance. In DIO but also in DR rats, metformin treatment induced significant reductions of food intake accompanied by decreases in body weight. Interestingly, the weight loss achieved by metformin was correlated with pre-treatment plasma leptin levels. This effect was paralleled by a stimulation of the expression of the leptin receptor gene (ObRb) in the arcuate nucleus. Next we investigated the antihypertensive drug Telmisartan, an angiotensin II receptor blocker with PPARγ agonistic properties. The influence of telmisartan, of pioglitazone and of their association on weight gain and food intake was assessed by studying their effects on neuro-endocrine mediators involved in food intake. Mice were fed a high fat diet, weightmatched and randomized in four treatment groups: vehicle, pioglitazone, telmisartan and pioglitazone-telmisartan. Telmisartan treatment was found to abolish weight and fat gain in either vehicle or pioglitazone treated mice. This effect was accompanied by a decrease in food intake. The hypothalamic expression of the agouti-related protein and plasma leptin levels show also a decrease under metformin treatment. This study confirms the anorexigenic effects of telmisartan in mice fed a high fat diet, and suggests for the first time a functional role of telmisartan on hypothalamic orexigenic agouti-related protein regulation.