Coordinated Maneuver for Gradient Search Using Multiple AUV's

OCEANS 2003. Proceedings (Volume:1 )

Scalable and Efficient Configuration of TimeDivision Multiplexed Resources

Consumer-electronics systems are becoming increasingly complex as the number of integrated applications is growing. Some of these applications have real-time requirements, while other non-real-time applications only require good average performance. For cost-efficient design, contemporary platforms feature an increasing number of cores that share resources, such as memories and interconnects. However, resource sharing causes contention that must be resolved by a resource arbiter, such as Time-Division Multiplexing. A key challenge is to configure this arbiter to satisfy the bandwidth and latency requirements of the real-time applications, while maximizing the slack capacity to improve performance of their non-real-time counterparts. As this configuration problem is NP-hard, a sophisticated automated configuration method is required to avoid negatively impacting design time. The main contributions of this article are: 1) An optimal approach that takes an existing integer linear programming (ILP) model addressing the problem and wraps it in a branch-and-price framework to improve scalability. 2) A faster heuristic algorithm that typically provides near-optimal solutions. 3) An experimental evaluation that quantitatively compares the branch-and-price approach to the previously formulated ILP model and the proposed heuristic. 4) A case study of an HD video and graphics processing system that demonstrates the practical applicability of the approach.

Monitorização e Avaliação Dinâmica do Potencial para a Eficiência Energética de Lares de Idosos

Atualmente a situação económica do país é delicada, como tal, a redução dos consumos energéticos é uma mais-valia tanto para os consumidores como para o meio ambiente. A evolução tecnológica nos últimos anos possibilita a realização de soluções para resolver esse problema. A monitorização constante dos consumos de energia elétrica pode fazer com que esta redução seja concretizada. Relativamente ao caso concreto do edificado, o consumo de energia nos edifícios Europeus é muito significativo, quer ao nível das soluções construtivas, dos sistemas e dos equipamentos. Como tal, podem ser tomadas medidas que podem ter um impacto significativo para a redução dos consumos. O presente trabalho passa pelo estudo do potencial para a eficiência energética de três lares de idosos situados no Porto. A auditoria efetuada revelou um enorme potencial de poupança energética, nomeadamente de energia elétrica e gás natural. As medidas a adotar para reduzir os consumos energéticos do edifício passam pela substituição da iluminação existente por uma mais eficiente e de menor potência, a instalação de painéis solares para reduzir o consumo destinado às águas quentes sanitárias (nos dois lares que ainda não possuem este tipo de sistema), a substituição das caldeiras a gás natural por biomassa, a instalação de equipamentos para monitorização de consumos, entre outros. Através da recolha e tratamento de dados com um analisador de energia foi possível verificar que a implementação de uma solução de monitorização de consumos energéticos nos lares poderá permitir baixar os custos da fatura energética.

Energy-efficient MAC protocols for WBANs: Opportunities and challenges

Wireless body area networks (WBANs) are expected to play a significant role in smart healthcare systems. One of the most important attributes of WBANs is to increase network lifetime by introducing novel and low-power techniques on the energy-constrained sensor nodes. Medium access control (MAC) protocols play a significant role in determining the energy consumption in WBANs. Existing MAC protocols are unable to accommodate communication requirements in WBANs. There is a need to develop novel, scalable and reliable MAC protocols that must be able to address all these requirements in a reliable manner. In this special issue, we attracted high quality research and review papers on the recent advances in MAC protocols for WBANs.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Feeding sources and trypanosome infection index of Rhodnius pallescens in a Chagas disease endemic area of Amador County, Panama

The sylvatic triatomine Rhodnius pallescens is considered to be the most important and widespread vector of Trypanosoma cruzi and Trypanosoma rangeli in Panama. However, its behavior and biological characteristics have only been partially investigated. Thus, to achieve sustainable and efficient control over Chagas disease in Panama, a better understanding of the ecology and biology of R. pallescens is essential. In this study we evaluated R. pallescens host feeding sources using a dot-blot assay, and the trypanosome infection index by PCR analysis in a Chagas disease endemic area of central Panama. It was found that in peridomestic palm trees, 20.3% of the examined bugs had fed on opossums (Didelphis marsupialis). However, we observed an increased anthropophagy (25.4%) for those bugs collected inside houses. Considering the domestic and peridomestic habitats as a whole, the proportion of collected R. pallescens infected with trypanosomes was 87.4%. In the two habitats the predominant infection was with T. cruzi (80-90%). Between 47-51% of the analyzed triatomines were infected with T. rangeli. Mixed infections (40-51%) were also detected. These findings provide a better basis for the implementation of a rational control and surveillance program for Chagas disease in regions where R. pallescens is endemic.

Diagnóstico energético da indústria de pneus e sugestões de melhoria

Cada vez mais a indústria tem vindo a sofrer algumas mudanças no seu processo produtivo. Hoje, mais que nunca, é preciso garantir que as instalações produtivas sejam as mais eficientes possíveis, procurando a racionalização da energia com um decrescimento dos custos. Deste modo o objectivo desta dissertação é o diagnóstico energético na fábrica de pneus e sugestões de melhoria na empresa CNB/CAMAC. A realização de um diagnóstico energético, para a detecção de desperdícios de energia tem sido amplamente utilizada. A optimização irá prospectar potenciais de mudanças e aplicação de tecnologias de eficiência energética. Pretende-se deste modo travar o consumo energético sem que seja afectada a produção, já que a empresa é considerada consumidora intensiva de energia. Na empresa CNB/CAMAC há consumo de fuelóleo, gasóleo, vapor e energia eléctrica, sendo o vapor a forma de energia mais consumida (36,1%) seguido da energia eléctrica (33,8%), fuelóleo (29,9) e gasóleo (0,3%). O levantamento energético permitiu estudar a influência de algumas variáveis, nos consumos anuais da energia, e assim apresentar propostas de melhoria. Uma das propostas analisadas foi a possibilidade de efectuar um isolamento térmico a algumas válvulas no equipamento de produção e distribuição de vapor. Este isolamento conduziria a uma poupança de 33.540 kWh/ano. Também se propôs o isolamento dos tubos de transporte de vapor no sector da vulcanização o que geraria uma poupança de 549.826 kWh/ano. Sugere-se a implementação de um economizador na caldeira nº1 uma vez que a temperatura média dos gases de chaminé se situa á volta dos 311ºC. Uma vez que existe a pré instalação de um sistema de cogeração, sugere-se que este seja finalizado. Propôs-se a implementação de balastros electrónicos, que conduziria a uma diminuição em energia eléctrica de 33.5877 kWh/ano. Também se propõe a eliminação das fugas de ar na rede de distribuição do ar comprimido poupando assim 12,96kW/h.

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

Efficient succinic acid production from glycerol by actinobacillus succinogenes using dimethyl sulfoxid as electron acceptor

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

A implementação de um programa de tutoria de pares na construção de textos narrativos em alunos do 4.º ano, com e sem Necessidades Adicionais de Suporte

O presente estudo teve como finalidade avaliar a implementação da estratégia de tutoria de pares (TP), em sala de aula, na construção de textos narrativos, em alunos com e sem Necessidades Adicionais de Suporte (NAS). Foi realizado com um grupo de 24 alunos do 4º ano de escolaridade, numa instituição do Porto, Portugal. Desenvolveram-se oito intervenções, sendo a primeira o pré-teste (texto escrito sem a estratégia de TP), a segunda a apresentação da TP e as restantes de implementação da estratégia (intervenção I e II e pós-teste). Os alunos foram agrupados em pares e ambos tiveram os papéis de tutor e de tutorado. As questões que orientaram o estudo foram: Em contexto de sala de aula, a estratégia de tutoria de pares melhora a escrita de textos narrativos?, A estratégia de tutoria de pares promove a inclusão? e A estratégia de tutoria de pares é um instrumento exequível em sala de aula? Os resultados demonstraram que a estratégia é motivadora para os alunos e promove interações positivas entre eles. O aluno Alvo (com NAS) obteve resultados positivos tanto na melhoria da escrita de textos como no aumento do sentido de pertença às atividades da turma. Para além disso, a estratégia mostrou-se exequível em contexto escolar. Compreendemos que as sessões foram escassas para aferir se a estratégia de TP foi eficaz na consistente melhoria da escrita de textos. Torna-se, por isso, importante que mais estudos se realizem neste domínio em Portugal, de modo a consolidar as conclusões desta estratégia.

The development and implementation of math projects in a HEI: expectations, objectives, experiences and analysis

An overwhelming problem in Math Curriculums in Higher Education Institutions (HEI), we are daily facing in the last decade, is the substantial differences in Math background of our students. When you try to transmit, engage and teach subjects/contents that your “audience” is unable to respond to and/or even understand what we are trying to convey, it is somehow frustrating. In this sense, the Math projects and other didactic strategies, developed through Learning Management System Moodle, which include an array of activities that combine higher order thinking skills with math subjects and technology, for students of HE, appear as remedial but important, proactive and innovative measures in order to face and try to overcome these considerable problems. In this paper we will present some of these strategies, developed in some organic units of the Polytechnic Institute of Porto (IPP). But, how “fruitful” are the endless number of hours teachers spent in developing and implementing these platforms? Do students react to them as we would expect? Do they embrace this opportunity to overcome their difficulties? How do they use/interact individually with LMS platforms? Can this environment that provides the teacher with many interesting tools to improve the teaching – learning process, encourages students to reinforce their abilities and knowledge? In what way do they use each available material – videos, interactive tasks, texts, among others? What is the best way to assess student’s performance in these online learning environments? Learning Analytics tools provides us a huge amount of data, but how can we extract “good” and helpful information from them? These and many other questions still remain unanswered but we look forward to get some help in, at least, “get some drafts” for them because we feel that this “learning analysis”, that tackles the path from the objectives to the actual results, is perhaps the only way we have to move forward in the “best” learning and teaching direction.

Avaliação de Riscos para a Segurança da Informação no ISEP Aplicação ao Processo de Notas

Desde que existe informação, há necessidade de criar um sistema que permita gerir e garantir que a informação está segura e que cumpre os requisitos básicos de segurança. Como tal, é necessário desenvolver técnicas e mecanismos para que os requisitos sejam testados e melhorados continuamente. Com esta necessidade em vista, apareceram padrões que dão resposta a um conjunto vasto de problemas, em diferentes sistemas e aplicações diversas. Estes tornaram-se guias de reflexão para quem os analisava, de arquitetura para quem os implementava e modelos para quem os geria. O padrão ISO 27001 dá resposta aos cuidados a ter para se conseguir um sistema de gestão da segurança da informação eficaz e eficiente. Esta norma preocupa-se com os detalhes de aplicação até à forma como é implementado e arquitetado o sistema. Os processos, atividades, fluxos de trabalho são essenciais para que esta norma seja cumprida. É necessário um bom escrutínio dos processos e suas atividades, assim como um fluxo de trabalho bem definido com papéis e responsabilidades de cada ator. É necessário também assegurar a forma como é gerido, a sua verificação e melhoria contínua. Foi aplicado no ISEP um exercício com o qual se pretendeu verificar se os processos e outros aspetos seguiam estes cuidados e se estavam de acordo com a norma. Durante o exercício foram verificados processos dentro de um certo âmbito, todas as suas atividades, papéis e responsabilidades, verificação de recursos, aplicação de controlos e aplicação de uma análise de risco. Esta análise tem como objetivo verificar o nível de segurança dos recursos, algo que a norma ISO 27001 propõe mas não especifica em que moldes. No final deste exercício pretendeu-se melhorar o sistema de gestão de informação do ISEP em vertentes tais como a documentação, a qual especifica quais os passos realizados no decorrer do mesmo.

A eficiência energética nas redes de telecomunicações e tecnologias de informação e comunicação

A presente tese pretende fazer uma abordagem ao crescimento dos consumos de energia elétrica, que se tem verificado, nos últimos anos, no setor das telecomunicações e das tecnologias de informação; devido ao constante crescimento das redes, dos equipamentos a ela ligados e do tráfego que nelas transita. Num contexto de globalização da economia, no qual, as redes de telecomunicações e de energia elétrica são dois dos maiores contribuintes, a presente tese procura encontrar enquadramentos e soluções para um dos maiores desafios que a humanidade enfrenta atualmente, e que em parte, é consequente dessa globalização: encontrar novas fontes e formas de utilização da energia, -particularmente da energia elétrica - para que a humanidade continue a usufruir, de uma forma sustentável, dos benefícios que a mesma proporciona. Na primeira parte, procura-se fazer uma abordagem que utiliza fontes de informação e conhecimento, do mercado global, nomeadamente, entidades reguladoras e normalizadoras, operadores, fornecedores de tecnologias e consumidores, que abrangessem os três maiores mercados mundiais – União Europeia, Estados Unidos da América e Ásia-Pacífico. Considerou-se fundamental fazê-lo, por se tratar de uma dissertação no âmbito de um Mestrado com o selo de garantia EUR-ACE. Ao longo da dissertação analisou-se a temática da eficiência energética nas redes de telecomunicações e das tecnologias de informação e comunicação, um tema cada vez mais pertinente, já que o número de pessoas com ligações à Internet, já supera os 3 mil milhões, e as redes passaram a ser o meio por onde são transmitidos, a cada segundo, terabytes de sinais de voz, dados e vídeo. Procurou-se encontrar as linhas de orientação que estão a ser traçadas, para otimizar os consumos energéticos, de um complexo sistema convergente de redes e serviços, formado por entidades reguladoras e normalizadoras, operadores, fornecedores de tecnologias e consumidores, onde nem sempre as fronteiras estão perfeitamente definidas. Perante a constatação da realidade exposta, analisou-se as políticas energéticas desenvolvidas nos últimos anos, pelos vários players do mercado das telecomunicações, das tecnologias de informação e dos sistemas elétricos de energia bem como algumas métricas e objetivos comumente aceites. viii São analisados os contributos das partes interessadas, para o desenvolvimento de políticas energéticas eficazes, por forma a permitirem uma implementação, que considere o funcionamento dos equipamentos como um todo, e não de uma forma isolada como tradicionalmente o assunto era abordado. As especificidades na forma como funcionam as redes de telecomunicações e respetivos equipamentos, são expostas sobre várias óticas, comprovando-se que a temática da eficiência energética é uma das áreas mais difíceis lidar, de todas as consideradas nas políticas energéticas. Demonstrou-se que muitos dos equipamentos não estão otimizados em termos de gestão de energia, procurou-se evidenciar as consequências dessa realidade, uma vez que os equipamentos referidos, têm a necessidade de estar permanentemente a ser alimentados pela rede de energia elétrica, para garantir as funções para que foram projetados. Da pesquisa efetuada e descrita ao longo da dissertação, constatamos o empenho de toda a comunidade científica, operadores e agências de energia e de telecomunicações, em resolver o problema, já que há a consciencialização de que o ritmo de crescimento da rede e equipamentos terminais, é superior ao registado na melhoria da eficiência energética dos vários componentes e equipamentos terminais. Na segunda parte do relatório da tese, procurou-se testar a aplicabilidade das normas e recomendações dos organismos que tutelam a atividade a nível global - algumas publicadas nos últimos 2 anos - a um caso prático. Um edifício hospitalar de média dimensão. Foi elaborada uma aplicação informática, que suportada numa metodologia padronizada, seja capaz de fazer a avaliação da eficiência energética dos equipamentos serviços de telecomunicações de informação e comunicação em funcionamento do hospital. Por dificuldades de disponibilidade dos responsáveis do edifício, os resultados ficaram aquém do esperado. Conseguiu-se desenhar a aplicação, inventariar-se apenas parte dos equipamentos. Demonstrou-se que, a forma como alguns equipamentos estão a ser utilizados, não cumprem regras de utilização racional e eficiente. Procurou-se sensibilizar alguns dos responsáveis, para a necessidade de alterar comportamentos e prosseguir o processo de inventariação, por forma, a que o trabalho iniciado atinja os objetivos propostos.

O Futuro dos Centros de Dados

Atualmente, as Tecnologias de Informação (TI) são cada vez mais vitais dentro das organizações. As TI são o motor de suporte do negócio. Para grande parte das organizações, o funcionamento e desenvolvimento das TI têm como base infraestruturas dedicadas (internas ou externas) denominadas por Centro de Dados (CD). Nestas infraestruturas estão concentrados os equipamentos de processamento e armazenamento de dados de uma organização, por isso, são e serão cada vez mais desafiadas relativamente a diversos fatores tais como a escalabilidade, disponibilidade, tolerância à falha, desempenho, recursos disponíveis ou disponibilizados, segurança, eficiência energética e inevitavelmente os custos associados. Com o aparecimento das tecnologias baseadas em computação em nuvem e virtualização, abrese todo um leque de novas formas de endereçar os desafios anteriormente descritos. Perante este novo paradigma, surgem novas oportunidades de consolidação dos CD que podem representar novos desafios para os gestores de CD. Por isso, é no mínimo irrealista para as organizações simplesmente eliminarem os CD ou transforma-los segundo os mais altos padrões de qualidade. As organizações devem otimizar os seus CD, contudo um projeto eficiente desta natureza, com capacidade para suportar as necessidades impostas pelo mercado, necessidades dos negócios e a velocidade da evolução tecnológica, exigem soluções complexas e dispendiosas tanto para a sua implementação como a sua gestão. É neste âmbito que surge o presente trabalho. Com o objetivo de estudar os CD inicia-se um estudo sobre esta temática, onde é detalhado o seu conceito, evolução histórica, a sua topologia, arquitetura e normas existentes que regem os mesmos. Posteriormente o estudo detalha algumas das principais tendências condicionadoras do futuro dos CD. Explorando o conhecimento teórico resultante do estudo anterior, desenvolve-se uma metodologia de avaliação dos CD baseado em critérios de decisão. O estudo culmina com uma análise sobre uma nova solução tecnológica e a avaliação de três possíveis cenários de implementação: a primeira baseada na manutenção do atual CD; a segunda baseada na implementação da nova solução em outro CD em regime de hosting externo; e finalmente a terceira baseada numa implementação em regime de IaaS.

Frameworks Verticas vs Horizontais Gestão de Recursos Humanos com o OFBiz

Os sistemas de informação integrados contribuem para a gestão eficiente das empresas, seja na organização e funcionamento internos ou nas relações externas. O mercado deste software é dominado pelas empresas que criam e distribuem sistemas proprietários. Existe uma alternativa, software livre, que disponibiliza aplicações em código aberto e maioritariamente de licença gratuita, que pode ser adaptado às necessidades das empresas. O objetivo do presente trabalho é avaliar a viabilidade de plataformas livres, de natureza vertical – OFBiz – e horizontal – Spring – como opção na escolha de um sistema de informação nas Pequenas e Médias Empresas portuguesas. Das áreas de negócio principais das organizações, foi selecionada a área de Recursos Humanos para efeitos de adaptação na aplicação OFBiz, com incidência em dois casos de uso: uma opção essencial, mas que atualmente não está prevista – Processamento de vencimentos – e outra já existente e que é avaliada em termos de necessidades de adaptação – Recrutamento. Sendo o idioma um requisito indispensável à internacionalização da aplicação, foi também analisada a sua implementação. A metodologia de investigação utilizada foi o Design Science Research, tendo sido implementado um protótipo para efeitos de teste e avaliação do projeto, com a elaboração de dois modelos: configuração e desenvolvimento. Implementado o protótipo, verificou-se que a framework vertical apresenta-se como uma alternativa mais viável do que a horizontal, pelas funcionalidades já existentes e que facilitam a adequação às necessidades de informação das Pequenas e Médias Empresas. A sua base tecnológica e de estrutura permite que a aplicação possa ser adaptada por técnicos especialistas das próprias empresas.