A Real Time Vision System for Autonomous Systems: Characterization during a Middle Size Match

in RoboCup 2007: Robot Soccer World Cup XI

Supporting NAT traversal and secure communications in a protocol implementation framework

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

P-SOCRATES: A parallel software framework for time-critical many-core systems

Article in Press, Corrected Proof

Autonomous guided vehicles applied to industrial engineering and management studies

This article presents a framework to an Industrial Engineering and Management Science course from School of Management and Industrial Studies using Autonomous Ground Vehicles (AGV) to supply materials to a production line as an experimental setup for the students to acquire knowledge in the production robotics area. The students must be capable to understand and put into good use several concepts that will be of utmost importance in their professional life such as critical decisions regarding the study, development and implementation of a production line. The main focus is a production line using AGVs, where the students are required to address several topics such as: sensors actuators, controllers and an high level management and optimization software. The presented framework brings to the robotics teaching community methodologies that allow students from different backgrounds, that normally don’t experiment with the robotics concepts in practice due to the big gap between theory and practice, to go straight to ”making” robotics. Our aim was to suppress the minimum start point level thus allowing any student to fully experience robotics with little background knowledge.

Conceção e Execução de Estruturas Metálicas

O presente relatório diz respeito ao trabalho desenvolvido ao longo de seis meses em ambiente de estágio curricular na empresa O FELIZ – Metalomecânica, S.A.. O objetivo principal deste trabalho foi o conhecimento resultante de uma experiência num ambiente industrial no sector das construções metálicas. Pela especificidade do setor, foi desenvolvido um estudo no âmbito da conceção e execução (na componente de fabrico) de estruturas. O relatório que resulta deste trabalho de estágio tem como referência um caso de estudo de uma estrutura metálica. O caso de estudo realizado é referente a um pavilhão industrial standard, e possui dimensões em planta de 60 x 25 metros e cércea total de 9,0 metros, para o qual foi efetuado um breve dimensionamento de toda a estrutura metálica principal. O edifício será constituído por um sistema de pórtico simples formado por perfis laminados a quente normalizados de secção IPE e de aço de classe S275. Posteriormente, e com recurso a software apropriado de detalhamento de estruturas metálicas, foi desenvolvido um modelo 3D de toda a estrutura metálica do edifício. Neste modelo estão presentes todos os elementos constituintes da estrutura, bem como algumas das características físicas e mecânicas de cada peça elementar. Por fim, e com base no modelo anterior foram gerados e editados todos os desenhos 2D para o fabrico da estrutura, incluindo os desenhos de montagem da estrutura.

NONIUS.TV na SMART TV LG PRO: Centric

A Smart TV é um equipamento novo e em evolução que incorpora um computador e acesso à Internet em ecrãs de grande qualidade. Permite a implementação de serviços interactivos, acesso à Internet e televisão. À medida que a tecnologia melhora, muitos equipamentos estão a tornar-se tão capazes quanto os computadores normais quando se trata de navegação na web e até mesmo vídeo na Internet (Video-on-Demand e streaming de vídeo). O projecto de estágio “NONIUS.TV na Smart TV LG Pro:Centric” foi desenvolvido na empresa Nonius Software que está inserida no ramo das telecomunicações. Uma das suas áreas de actividade está relacionada com o desenvolvimento de plataformas de entretenimento para o mercado hoteleiro, combinando diversos serviços e funcionalidades a pensar no hóspede. Este projecto teve como finalidade implementar alguns dos serviços e funcionalidades já existentes em plataformas que usam uma Set-Top Box da Nonius Software, numa Smart TV, aproveitando também para inovar e criar novos serviços. Nesse conjunto está incluída a implementação de uma Caixa de Mensagens, Serviço de Quartos, Serviço de Desporto e Lazer, Serviços Informativos, um cliente RTSP, um despertador, um sistema de mudança de idioma e outras pequenas funcionalidades desenvolvidas ao longo de toda a aplicação. Esta dissertação apresenta um estudo sobre as tecnologias Smart TV existentes no mercado, assim como as vantagens e desvantagens da sua utilização para este projecto. Após uma análise de requisitos de forma a estruturar e desenhar os serviços e funcionalidades a serem criados para a aplicação, implementou-se um conjunto de serviços, usando a linguagem de programação ActionScript 2.0, que permitiram à empresa disponibilizar um novo produto baseado na televisão Pro:Centric da LG.

Impacto das medidas de conservação de energia em projeto na redução da intensidade de utilização de matérias-primas na construção de um edifício

O presente trabalho pretende mostrar que a aplicação de medidas de conservação de energia (MCE) pode representar uma redução da intensidade de utilização de matérias-primas na construção de um edifício. Mais concretamente, pode representar uma redução da utilização de materiais e equipamentos, e como consequência, uma redução no esforço económico ao primeiro investimento. Podendo posteriormente representar uma redução na utilização de energia durante o período de funcionamento do edifício. A aplicação de MCE no sector da construção tem vindo a ser uma prática corrente nos novos edifícios e edifícios sujeitos a grandes intervenções de reabilitação. Esta prática deve-se à obrigatoriedade de cumprimento de requisitos regulamentares aplicados à otimização do desempenho energético dos edifícios e dos seus sistemas técnicos, nomeadamente, o RCCTE e o RSECE, entretanto revogados pelo REH e pelo RECS, respetivamente. A implementação de MCE apresenta, na maioria dos casos, benefícios económicos para o promotor do edifício, uma vez que se traduz muitas vezes, na otimização do dimensionamento dos sistemas de Aquecimento, Ventilação e Ar Condicionado (AVAC). Esta otimização permite reduzir os custos associados ao primeiro investimento, bem como na utilização de energia por parte do utilizador, logo na redução dos custos de exploração. No entanto, a falta de quantificação dos impactos do dimensionamento dos sistemas AVAC, da redução de utilização de energia e da análise do custo-benefício da sua aplicação pode condicionar o interesse na sua implementação. Neste contexto, surge a presente dissertação, por iniciativa do Instituto Soldadura e Qualidade (ISQ), aplicado a um caso prático de um edifício já construído e propriedade daquela empresa. Com este trabalho pretende-se avaliar o contributo efetivo das MCE implementadas na fase de projeto e na fase de construção, quer na otimização da dimensão de sistemas e equipamentos AVAC, por via da redução das necessidades energéticas, quer na redução de utilização de energia, permitindo, de seguida, uma avaliação custo-benefício.Na base do caso de estudo está o ECOTERMOLAB, o edifício acima referido, adquirido pelo ISQ para instalação de um laboratório de formação, investigação e desenvolvimento na área da energia. Após aquisição pelo ISQ, o edifício sofreu várias alterações/beneficiações, entre as quais a implementação de MCE, tais como, a aplicação de isolamento térmico na envolvente opaca (paredes, pavimentos e coberturas), duplicação dos vãos envidraçados simples, conferindo-lhes melhores caraterísticas térmicas, e pela aplicação de proteções solar. Foram ainda adotadas MCE aos sistemas AVAC, designadamente, pela adoção de recuperadores de calor nas Unidades de Tratamento de Ar Novo (UTAN’s) e de variadores de velocidade nas bombas de circulação de água e nos ventiladores de ar das UTAN’s. Pretendia o ISQ concluir se a aplicação de todas as MCE contribuiu de forma efetiva para o dimensionamento de sistemas e equipamentos AVAC de menor capacidade e, consequentemente, numa redução de utilização de energia. Em sequência, pretendia avaliar a viabilidade económica da aplicação de todas as MCE, estimando o sobrecusto inicial e o tempo necessário para o retorno financeiro daquele investimento. Para alcançar os objetivos propostos, procedeu-se à simulação energética dinâmica do ECOTERMOLAB, utilizando o programa EnergyPlus. Primeiro foi simulada uma situação base do edifício, sem quaisquer MCE. Posteriormente foi caraterizada cada uma das situações de aplicação das MCE, com o objetivo de avaliar o respetivo impacto individual na utilização de energia pelos sistemas AVAC. Por último foram assumidas todas as soluções em conjunto para avaliar o impacto final de todas as MCE na utilização de energia dos sistemas AVAC, bem como no seu dimensionamento. Das simulações dinâmicas foram obtidos os valores das necessidades de aquecimento e arrefecimento, de energia utilizada pelos sistemas AVAC e de caudais de água aquecida e arrefecida circulada. Com estes valores foi feita uma estimativa de dimensionamento dos equipamentos e componentes AVAC para as situações da aplicação de todas as MCE no ECOTERMOLAB e a sua ausência. A partir da diferença dos custos de aquisição dos respetivos equipamentos e dos valores de poupança em energia foi realizado o estudo da viabilidade económica da implementação das MCE neste edifício. Este estudo permitiu concluir que a aplicação das MCE no ECOTERMOLAB levou à redução da dimensão na generalidade dos equipamentos e componentes AVAC. Permitiu, ainda, concluir que houve uma diminuição de utilização de energia por parte destes sistemas e equipamentos para o aquecimento e arrefecimento. Conclui-se ainda que o período de retorno (Payback) do sobrecusto inicial, estimado em 37.822€ é de, aproximadamente, onze anos e meio, para um valor atual líquido (VAL) de 8.061€ e à taxa interna de rentabilidade (TIR) de 7,03%.

Projecto de Controladores usando Redes Neuronais

Neste documento descreve-se o projeto desenvolvido na unidade curricular de Tese e Dissertação durante o 2º ano do Mestrado de Engenharia Eletrotécnica e de Computadores no ramo de Automação e Sistemas, no Departamento de Engenharia Eletrotécnica (DEE) do Instituto Superior de Engenharia do Porto (ISEP). O projeto escolhido teve como base o uso da tecnologia das redes neuronais para implementação em sistemas de controlo. Foi necessário primeiro realizar um estudo desta tecnologia, perceber como esta surgiu e como é estruturada. Por último, abordar alguns casos de estudo onde as redes neuronais foram aplicadas com sucesso. Relativamente à implementação, foram consideradas diferentes estruturas de controlo, e entre estas escolhidas a do sistema de controlo estabilizador e sistema de referência adaptativo. No entanto, como o objetivo deste trabalho é o estudo de desempenho quando aplicadas as redes neuronais, não se utilizam apenas estas como controlador. A análise exposta neste trabalho trata de perceber em que medida é que a introdução das redes neuronais melhora o controlo de um processo. Assim sendo, os sistemas de controlo utilizados devem conter pelo menos uma rede neuronal e um controlador PID. Os testes de desempenho são aplicados no controlo de um motor DC, sendo realizados através do recurso ao software MATLAB. As simulações efetuadas têm diferentes configurações de modo a tirar conclusões o mais gerais possível. Assim, os sistemas de controlo são simulados para dois tipos de entrada diferentes, e com ou sem a adição de ruído no sensor. Por fim, é efetuada uma análise das respostas de cada sistema implementado e calculados os índices de desempenho das mesmas.

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Concepção e implementação de um Websig no Parque Nacional da Gorongosa usando software de código aberto livre

Trabalho de projecto apresentado como requisito parcial para a obtenção do grau de mestre em Ciência e Sistemas de Informação Geográfica

Software, arte, design

Este working paper centra-se no desenvolvimento das técnicas de edição de documentos ou publicações, que têm conhecido um incremento espectacular na última década. Os avanços e descobertas mais significativas entre 1450 e 1986, eclipsam-se praticamente, quando comparados com as grandes modificações dos últimos sete anos (isto é a História da auto-edição e si). Desde o aparecimento do primeiro programa de auto-edição e da primeira impressora laser, dotada de um intérprete postscript, até hoje, a evolução e aperfeiçoamento tanto do software como do hardware tem sido tanta, continuando a fazer-se a um tal ritmo, que se tornou irreversível.

Segurança de Redes em Sistemas de Experimentação Remota

O crescimento dos sistemas de informação e a sua utilização massiva criou uma nova realidade no acesso a experiências remotas que se encontram geograficamente distribuídas. Nestes últimos tempos, a temática dos laboratórios remotos apareceu nos mais diversos campos como o do ensino ou o de sistemas industriais de controlo e monitorização. Como o acesso aos laboratórios é efectuado através de um meio permissivo como é o caso da Internet, a informação pode estar à mercê de qualquer atacante. Assim, é necessário garantir a segurança do acesso, de forma a criar condições para que não se verifique a adulteração dos valores obtidos, bem como a existência de acessos não permitidos. Os mecanismos de segurança adoptados devem ter em consideração a necessidade de autenticação e autorização, sendo estes pontos críticos no que respeita à segurança, pois estes laboratórios podem estar a controlar equipamentos sensíveis e dispendiosos, podendo até eventualmente comprometer em certos casos o controlo e a monotorização de sistemas industriais. Este trabalho teve como objectivo a análise da segurança em redes, tendo sido realizado um estudo sobre os vários conceitos e mecanismos de segurança necessários para garantir a segurança nas comunicações entre laboratórios remotos. Dele resultam as três soluções apresentadas de comunicação segura para laboratórios remotos distribuídos geograficamente, recorrendo às tecnologias IPSec, OpenVPN e PPTP. De forma a minimizar custos, toda a implementação foi assente em software de código aberto e na utilização de um computador de baixo custo. No que respeita à criação das VPNs, estas foram configuradas de modo a permitir obter os resultados pretendidos na criação de uma ligação segura para laboratórios remotos. O pfSense mostrou-se a escolha acertada visto que suporta nativamente quaisquer das tecnologias que foram estudadas e implementadas, sem necessidade de usar recursos físicos muito caros, permitindo o uso de tecnologias de código aberto sem comprometer a segurança no funcionamento das soluções que suportam a segurança nas comunicações dos laboratórios remotos.

Enhancing Agent Mediated Electronic Markets with Ontology Matching Services and Social Network Support

Os Mercados Eletrónicos atingiram uma complexidade e nível de sofisticação tão elevados, que tornaram inadequados os modelos de software convencionais. Estes mercados são caracterizados por serem abertos, dinâmicos e competitivos, e constituídos por várias entidades independentes e heterogéneas. Tais entidades desempenham os seus papéis de forma autónoma, seguindo os seus objetivos, reagindo às ocorrências do ambiente em que se inserem e interagindo umas com as outras. Esta realidade levou a que existisse por parte da comunidade científica um especial interesse no estudo da negociação automática executada por agentes de software [Zhang et al., 2011]. No entanto, a diversidade dos atores envolvidos pode levar à existência de diferentes conceptualizações das suas necessidades e capacidades dando origem a incompatibilidades semânticas, que podem prejudicar a negociação e impedir a ocorrência de transações que satisfaçam as partes envolvidas. Os novos mercados devem, assim, possuir mecanismos que lhes permitam exibir novas capacidades, nomeadamente a capacidade de auxiliar na comunicação entre os diferentes agentes. Pelo que, é defendido neste trabalho que os mercados devem oferecer serviços de ontologias que permitam facilitar a interoperabilidade entre os agentes. No entanto, os humanos tendem a ser relutantes em aceitar a conceptualização de outros, a não ser que sejam convencidos de que poderão conseguir um bom negócio. Neste contexto, a aplicação e exploração de relações capturadas em redes sociais pode resultar no estabelecimento de relações de confiança entre vendedores e consumidores, e ao mesmo tempo, conduzir a um aumento da eficiência da negociação e consequentemente na satisfação das partes envolvidas. O sistema AEMOS é uma plataforma de comércio eletrónico baseada em agentes que inclui serviços de ontologias, mais especificamente, serviços de alinhamento de ontologias, incluindo a recomendação de possíveis alinhamentos entre as ontologias dos parceiros de negociação. Este sistema inclui também uma componente baseada numa rede social, que é construída aplicando técnicas de análise de redes socias sobre informação recolhida pelo mercado, e que permite melhorar a recomendação de alinhamentos e auxiliar os agentes na sua escolha. Neste trabalho são apresentados o desenvolvimento e implementação do sistema AEMOS, mais concretamente: • É proposto um novo modelo para comércio eletrónico baseado em agentes que disponibiliza serviços de ontologias; • Adicionalmente propõem-se o uso de redes sociais emergentes para captar e explorar informação sobre relações entre os diferentes parceiros de negócio; • É definida e implementada uma componente de serviços de ontologias que é capaz de: • o Sugerir alinhamentos entre ontologias para pares de agentes; • o Traduzir mensagens escritas de acordo com uma ontologia em mensagens escritas de acordo com outra, utilizando alinhamentos previamente aprovados; • o Melhorar os seus próprios serviços recorrendo às funcionalidades disponibilizadas pela componente de redes sociais; • É definida e implementada uma componente de redes sociais que: • o É capaz de construir e gerir um grafo de relações de proximidade entre agentes, e de relações de adequação de alinhamentos a agentes, tendo em conta os perfis, comportamento e interação dos agentes, bem como a cobertura e utilização dos alinhamentos; • o Explora e adapta técnicas e algoritmos de análise de redes sociais às várias fases dos processos do mercado eletrónico. A implementação e experimentação do modelo proposto demonstra como a colaboração entre os diferentes agentes pode ser vantajosa na melhoria do desempenho do sistema e como a inclusão e combinação de serviços de ontologias e redes sociais se reflete na eficiência da negociação de transações e na dinâmica do mercado como um todo.

Development and implementation of strategies for the incorporation of reinforcing elements in aluminium alloys by solid state processing

Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica