Goals Software Construction Process

Generalized hyper competitiveness in the world markets has determined the need to offer better products to potential and actual clients in order to mark an advantagefrom other competitors. To ensure the production of an adequate product, enterprises need to work on the efficiency and efficacy of their business processes (BPs) by means of the construction of Interactive Information Systems (IISs, including Interactive Multimedia Documents) so that they are processed more fluidly and correctly.The construction of the correct IIS is a major task that can only be successful if the needs from every intervenient are taken into account. Their requirements must bedefined with precision, extensively analyzed and consequently the system must be accurately designed in order to minimize implementation problems so that the IIS isproduced on schedule and with the fewer mistakes as possible. The main contribution of this thesis is the proposal of Goals, a software (engineering) construction process which aims at defining the tasks to be carried out in order to develop software. This process defines the stakeholders, the artifacts, and the techniques that should be applied to achieve correctness of the IIS. Complementarily, this process suggests two methodologies to be applied in the initial phases of the lifecycle of the Software Engineering process: Process Use Cases for the phase of requirements, and; MultiGoals for the phases of analysis and design. Process Use Cases is a UML-based (Unified Modeling Language), goal-driven and use case oriented methodology for the definition of functional requirements. It uses an information oriented strategy in order to identify BPs while constructing the enterprise’s information structure, and finalizes with the identification of use cases within the design of these BPs. This approach provides a useful tool for both activities of Business Process Management and Software Engineering. MultiGoals is a UML-based, use case-driven and architectural centric methodology for the analysis and design of IISs with support for Multimedia. It proposes the analysis of user tasks as the basis of the design of the: (i) user interface; (ii) the system behaviour that is modeled by means of patterns which can combine Multimedia and standard information, and; (iii) the database and media contents. This thesis makes the theoretic presentation of these approaches accompanied with examples from a real project which provide the necessary support for the understanding of the used techniques.

Teoria de Conjuntos em Isabelle

Francisco Miguel A. C. de Sousa Dionísio

Comparação de sistemas de programação

Este trabalho compara as soluções disponibilizadas pelos sistemas Derive 5.0, Maple 6 e Mathematica 4.0 para problemas que encontramos no ensino secundário e também nos primeiros anos da universidade. Procuramos destacar os aspectos distintos entre cada um dos programas ao mesmo tempo que fazemos referência aos pontos em que tudo se passa de forma semelhante. Esta dissertação aborda o cálculo numérico, o cálculo simbólico, a programação e os gráficos. Para cada um dos assuntos é estudada a forma como se podem resolver os problemas através dos três sistemas comparando-se estas soluções. Inicialmente, é feita uma abordagem que permite ao utilizador adquirir os conhecimentos básicos acerca dos diversos programas. Tratamos de seguida de algumas questões relacionadas com o cálculo numérico e com algumas funções nomeadamente da Teoria dos Números. Referimos listas e funções e são analisadas diversas formas de manipular listas e os seus elementos bem como algumas áreas da Análise Matemática das quais destacamos as equações, a derivação e a integração compreendendo cálculo numérico e cálculo simbólico. Examinamos um vasto conjunto de operações definidas sobre matrizes (representadas como listas de listas) e polinómios que abrangem as operações mais comuns de cada um dos campos. Analisamos também a programação recursiva, a programação imperativa, a programação funcional e a programação por regras de reescrita. A abordagem aqui adoptada foi a de fornecer ao utilizador as construções chave mais importantes que cada paradigma de programação utiliza bem como as informações básicas acerca do funcionamento de cada uma delas de modo a permitir a resolução dos problemas propostos. Por último os gráficos sobre os quais incidiu a nossa análise foram os de uma e de duas variáveis representados no referencial cartesiano, gráficos estes que são os mais utilizados quer ao nível do ensino superior quer ao nível do ensino secundário. A qualidade e a facilidade de obter rapidamente as representações dão outra dimensão ao estudo dos gráficos principalmente quando estamos a falar de gráficos a três dimensões. A ideia de animação gráfica é também aqui abordada sendo evidente os benefícios da utilização da mesma nos programas em que é possível efectuá-la. Concluímos que na programação o Mathematica destaca-se em relação aos demais o mesmo se passando no Maple no respeitante à representação gráfica. O Derive permite que durante o contacto inicial seja mais fácil trabalhar e aprender a linguagem própria.

Modelação da interacção entre um plasma de arco de alta pressão e cátodos refractários

Nesta dissertação apresento um estudo detalhado de vários aspectos da interacção entre um plasma de arco de alta pressão e cátodos refractários. Um modelo da camada de plasma junto ao cátodo num plasma sujeito a uma pressão da ordem de uma ou várias atmosferas é reconsiderado com base em recentes resultados teóricos. A física da camada de plasma junto ao cátodo é analisada para valores da queda de tensão na camada de plasma junto ao cátodo até 50V, de acordo com recentes resultados experimentais que mostram que a queda de tensão na camada de plasma junto ao cátodo numa descarga de arco de alta pressão pode atingir valores tão elevados. São identificados os mecanismos que originam a não monotonia da dependência da densidade de fluxo de energia (proveniente do plasma para a superfície do cátodo) em relação à temperatura da superfície do cátodo, para um valor fixo da queda de tensão junto ao cátodo. Uma descrição fechada da interacção plasma-cátodo é obtida por meio da resolução numérica do problema não linear com condições de fronteira para a distribuição da temperatura no interior do corpo do cátodo. São apresentados resultados da modelação numérica da descarga difusa nas condições de funcionamento de uma lâmpada de descarga experimental, sendo bom o acordo entre os resultados numéricos e os dados experimentais. Manchas solitárias num cátodo plano infinito e modos difuso e mancha axialmente simétricos em cátodos finitos de descargas de arco de alta pressão são estudados num grande intervalo de corrente. São analisados aspectos gerais e apresentados resultados numéricos referentes a cátodos de tungsténio planos e de forma cilíndrica a operar num plasma de argon à pressão atmosférica para correntes de arco até 100 kA. Émostrado, em particular, que a temperatura da superfície do cátodo no interior de uma mancha solitária varia relativamente pouco, podendo ser estimada com uma precisão de cerca de 200 − 300K sem ser necesário resolver a equação da condução térmica no corpo do cátodo. O comportamento assimptótico das soluções para um cátodo finito no caso limite de altas correntes é encontrado e confirmado pelos resultados numéricos. É confirmado um padrão geral das características tensão-corrente de vários modos de transferência de corrente em cátodos finitos sugerido previamente com base numa análise de bifurcações. É estudada a transição de modos mancha num cátodo finito no limite de cátodos de grandes dimensões para o modo mancha solitária num cátodo plano infinito. É estabelecido que o modo mancha solitária representa uma forma limite do modo mancha de alta tensão num cátodo finito. É considerada a questão da distinção entre modo difuso e modo mancha num cátodo finito. É desenvolvida uma abordagem para o cálculo de pontos de bifurcação nos quais soluções mancha tridimensionais bifurcam-se a partir de soluções que descrevem o modo difuso e modos mancha axialmente simétricos. Em particular, é calculado o primeiro ponto de bifurcação posicionado na solução que descreve o modo difuso e, por conseguinte, o seu limite de estabilidade, isto é, a corrente abaixo da qual o modo difuso torna-se instável. São apresentados os resultados da modelação numérica efectuada para o caso de um cátodo de tungsténio de forma cilíndrica a operar num plasma de alta pressão. É estudado o efeito produzido no limite de estabilidade pelas variações dos parâmetros de controle (dimensões do cátodo, função de trabalho do material do cátodo, tipo e pressão do gás que produz o plasma). Foi encontrado que o comportamento do limite de estabilidade sujeito a estas variações está em conformidade com as tendências observadas experimentalmente. Foi encontrado que o limite de estabilidade é muito mais sensível às variações dos parâmetros de controle do que as características tensão-corrente do modo difuso, sendo o efeito mais forte produzido pelas variações das dimensões do cátodo e da função de trabalho do material do cátodo. Este resultado está em conformidade com o facto experimental de que a transição difuso-mancha é de difícil reprodução.

O impacto da autonomia financeira nos resultados operacionais das pequenas e médias empresas em Portugal: uma abordagem microeconométrica

Universidade da Madeira

GreenEnergy: produção de energia eléctrica a partir de fontes de energia renovável para sistemas de microprodução

O uso de energias renováveis está cada vez mais presente no nosso quotidiano. A forte aposta por parte de várias empresas, grupos privados e habitações domésticas na produção de energia renovável tem vindo a crescer bastante nos últimos anos, porque além de ser uma energia limpa, é economicamente vantajosa. No âmbito residencial na Ilha da Madeira, tem havido um grande crescimento na microprodução de energia fotovoltaica. Para que se consiga converter energia garantindo os critérios e qualidade da energia elétrica maximizando a eficiência são necessários conversores eletrónicos de potência, responsáveis pela conversão e gestão da energia produzida a partir de uma fonte de energia renovável e conversão para a REE (Rede Elétrica de Energia). A oferta de soluções na área tem vindo a aumentar com o aumento dos pedidos do mercado, existindo cada vez mais concorrência, devido ao surgimento de sistemas mais compactos e eficientes. Neste trabalho é desenvolvido um sistema para microprodução de energia renovável, através de uma ou mais fontes de energia, de maneira a que este seja compacto e eficiente, além de adicionar várias soluções a nível de software (automatismos) de maneira a aumentar as funções do sistema sem utilizar hardware adicional. Apresentam-se também resultados de simulação de maneira a demonstrar todas as funcionalidades do sistema. Conseguiu-se demonstrar que é possível melhorar o rendimento, qualidade de energia e diminuir os custos dos sistemas de conversão de energia utilizando software, mantendo o hardware do sistema. Além das melhorias no sistema que o software permite, conseguiu-se adicionar novos modos de funcionamento ao sistema utilizando automatismos.

Projeto de um sistema de alimentação ininterruptível para alimentar um sistema de telecomunicações ou de informática

Universidade da Madeira

Conversores DC-DC comutados de elevado rendimento para sensores de imagem

Nesta tese de mestrado em engenharia telecomunicações e redes de energia, fez-se um estudo sobre conversores DC-DC comutados de elevado rendimento para sensores de imagem. Onde o principal objetivo é que se desenvolva, em ambiente industrial, um conversor DC-DC de alto rendimento que seja capaz de criar uma tensão inferior à sua alimentação. De salientar que o conversor foi implementado, quase na totalidade, sob a forma de circuito integrado, na tecnologia CMOS 0,35 μm. A implementação deste trabalho foi realizada por meio de um estágio na empresa de sensores de imagem Awaiba. No desenvolvimento do conversor DC-DC inicializou-se o estudo com um regulador de condensadores comutados, com uma arquitetura simples, em que se verificou, através de simulações realizadas num software específico para circuitos integrados - Design Arquitect-IC, que este regulador, apesar de estabilizar a tensão de saída na pretendida, não apresentava alto rendimento, ficando pelos 62%. Na sequência do estudo, na tentativa de melhorar as características do regulador de condensadores comutados, desenvolveu-se um conversor DC-DC com um filtro passa baixo na saída. Verificou-se, através de simulação que este conversor apresentava um rendimento de 92%, onde a sua tensão de alimentação é de 3,3 V e consegue regular na sua saída uma tensão variável entre 1,4 V e 2,2 V, suportando uma corrente máxima de 200 mA. É de referir que o conversor desenvolvido apresenta um tempo de resposta de 20 μs quando ocorre um consumo de corrente com variação em escalão. Sendo um conversor adequado para alimentar sensores de imagem e com elevado rendimento.

Simulação de um sistema aerogerador com controlo óptimo predictivo

Nesta dissertação de mestrado propõe-se simular um sistema para melhorar a qualidade da energia eléctrica produzida por um parque eólico, utilizando conversores multinível NPC costas com costas e controlo óptimo predictivo. Neste trabalho é feito o controlo da potência activa e reactiva que é fornecida à rede de energia eléctrica, a partir de um gerador eólico e é optimizada a forma de onda alternada e sinusoidal de tensão trifásica sem neutro, minimizando o tremor das correntes e a distorção harmónica total, contribuindo para melhorar a qualidade de energia da rede ou de sistemas de alimentação para aplicações críticas como são os sistemas de telecomunicações. Recorre-se ao Matlab/Simulink para simular e comparar os resultados obtidos no sistema de conversão de energia de um parque eólico com o conversor costas com costas com controlo óptimo predictivo com os resultados obtidos com o conversor costas com costas PWM, disponível na biblioteca do software de simulação.

A transição escolar do 1º para o 2º Ciclo: implicações a nível do rendimento académico

Fundação para a Ciência e Tecnologia

Otimização de microprodução em redes inteligentes de energia

As energias renováveis têm-se tornado uma alternativa viável e complementar aos combustíveis fósseis, pelo facto de serem energias virtualmente inesgotáveis, limpas e economicamente vantajosas. Um dos principais problemas associados às fontes de energia renováveis é a sua intermitência. Este problema impossibilita o controlo da produção de energia e reflete-se na qualidade da energia elétrica. Em sistemas de microprodução de energia, este problema pode ser atenuado com a inclusão de sistemas de armazenamento intermédio que possibilitam o armazenamento do excedente extraído das fontes renováveis, podendo ser utilizado como recurso auxiliar na alimentação de cargas ou como meio de estabilização e otimização do desempenho da Rede Elétrica de Energia (REE), evitando variações bruscas na energia transferida para a mesma. Os sistemas de microprodução com armazenamento intermédio podem ser considerados fundamentais na implementação do conceito de Rede Inteligente de Energia (RIE), visto serem sistemas de energia descentralizados que permitem uma melhor gestão da energia elétrica e uma consequente redução de custos. No presente trabalho desenvolveu-se um sistema de microprodução de energia renovável compatível com as fontes renováveis fotovoltaica e eólica, possuindo um banco de baterias como sistema de armazenamento intermédio. A construção deste sistema teve como principal objetivo seguir as referências de potência impostas pela RIE, independentemente das condições meteorológicas, com recurso à energia armazenada nas baterias, evitando a introdução de perturbações na REE ao nível da tensão e da frequência. Estudou-se o comportamento do sistema na ocorrência de variações bruscas da fonte renovável, perturbações na tensão da REE e introdução de cargas lineares e não lineares. Foi desenvolvido um protótipo experimental com painéis fotovoltaicos, no qual foram registados os valores de alguns parâmetros da qualidade da energia elétrica. Obteve-se uma resposta de aproximadamente 25 μs por parte das baterias para cada Watt de potência requisitado pela RIE.

Sistema de replicação de circuitos integrados digitais baseado em análise comportamental

Nesta dissertação de mestrado é desenvolvido um sistema de replicação de circuitos integrados digitais (combinatórios e sequenciais), por observação do seu normal funcionamento. O sistema desenvolvido carateriza-se pela capacidade de extrair e descrever na linguagem VHDL o comportamento de um circuito integrado digital em funcionamento, utilizando técnicas não invasivas e automatizadas, suportado por um vasto conjunto de algoritmos de aquisição e análise de dados. O sistema desenvolvido assenta em dois módulos principais: um módulo de software que consiste numa plataforma de algoritmos de análise, controlo e gestão do sistema (alojada num computador) e um módulo de aquisição de dados (hardware) que consiste num circuito capaz de realizar as medições necessárias para o funcionamento do sistema, comandado pelo módulo de software. A comunicação entre os dois módulos é efetuada via porta série. Os algoritmos desenvolvidos realizam uma análise da correspondência entre entradas e saídas procurando aplicar uma aproximação a um circuito combinatório se possível, caso contrário são utilizados métodos heurísticos para efetuar uma aproximação a um circuito sequencial através de uma máquina de estados. Entradas ou saídas constantes são previamente identificados e excluídos do processo de análise, para efeitos de simplificação. Os resultados obtidos demonstram que é possível replicar o comportamento observado em circuitos digitais (combinatórios e sequenciais) desde que o número de amostras recolhidas seja adequado. Verifica-se ainda que o método desenvolvido replica a funcionalidade do circuito integrado nas condições onde o circuito está inserido.

Seven stories: location based story-delivery system

Location aware content-based experiences have a substantial tradition in HCI, several projects over the last two decades have explored the association of digital media to specific locations or objects. However, a large portion of the literature has little focus on the creative side of designing of the experience and on the iterative process of user evaluations. In this thesis we present two iterations in the design and evaluation of a location based story delivery system (LBSDS), inspired by local folklore and oral storytelling in Madeira. We started by testing an already existing location based story platform, PlaceWear, with short multimedia clips that recounted local traditions and folktales, to this experience we called iLand. An initial evaluation of iLand, was conducted; we shadowed users during the experience and then they responded to a questionnaire. By analyzing the evaluation results we uncovered several issues that informed the redesign of the system itself as well as part of the story content. The outcome of this re design was the 7Stories experience. In the new experience we performed the integration of visual markers in the interface and the framing of the fragmented story content through the literary technique of the narrator. This was done aiming to improving the connection of the audience to the physical context where the experience is delivered. The 7Stories experience was evaluated following a similar methodology to the iLand evaluation but the user’s experience resulted considerably different; because of the same setting for the experience in both versions and the constancy of the most of the content across the two versions we were able to assess the specific effect of the new design and discuss its strengths and shortcomings. Although we did not run a formal and strict comparative test between the two evaluations, it is evident from the collected data how the specific design changes to our LBSDS influenced the user experience.

Projeto de um protótipo de um veículo elétrico

Os veículos movidos com combustíveis fósseis são, hoje em dia, os veículos mais utilizados em transportes. Estes meios de transporte caracterizam-se pelo seu baixo rendimento e por serem poluentes, pelo que, nos últimos anos, tem havido um esforço em criar ou melhorar meios de transporte, através do aumento do seu rendimento e eliminando a emissão de poluentes. A utilização de máquinas elétricas como meio de locomoção é uma das soluções alternativas, uma vez que, estas apresentam um rendimento elevado e não emitem diretamente gases tóxicos, apesar das baterias serem uma das principais dificuldades, no que diz respeito à relação peso/densidade de energia. Por outro lado, as baterias, devido à sua capacidade de armazenamento de energia, podem ser utilizadas para armazenar energia da rede elétrica, contribuindo para uma melhor gestão, e também para armazenar num veículo elétrico a energia gerada em modo de travagem e que posteriormente pode ser utilizada para fazer mover o motor elétrico. Neste trabalho fez-se um projeto de um veículo elétrico (VE) e estudou-se o impacto da utilização em massa de veículos elétricos na gestão da rede de energia elétrica. A verificação experimental fez-se com um conversor DC/DC bidirecional com uma configuração em ponte H e com um conversor DC/DC redutor unidirecional. Utilizaram-se compensadores clássicos para, em malha fechada, regular o binário, a velocidade e a corrente, através de compensadores Proporcional Integrativo (PI) e Proporcional Integrativo Derivativo (PID). No desenvolvimento deste projeto, fez-se uma análise teórica, realizaram-se simulações na ferramenta MATLAB/Simulink onde foram criados modelos do veículo elétrico para verificar o seu comportamento, e seguidamente analisaram-se experimentalmente estes resultados. O controlo deste veículo foi feito com a utilização de microcontroladores de baixo custo, recorrendo a uma arquitetura de processamento distribuído/partilhado, constituindo esse estudo uma nova contribuição. Os resultados demonstraram que o rendimento dos veículos elétricos em média encontram-se nos 85-90 %, superior aos atuais 40% dos veículos a combustão interna, eliminando também a emissão de poluentes.

Compressão de imagem e vídeo com controlador ARM

Este trabalho foi desenvolvido num estágio na empresa ABS GmbH sucursal em Portugal, e teve como foco a compressão de imagem e vídeo com os padrões JPEG e H.264, respetivamente. Foi utilizada a plataforma LeopardBoard DM368, com um controlador ARM9. A análise do desempenho de compressão de ambos os padrões foi realizada através de programas em linguagem C, para execução no processador DM368. O programa para compressão de imagem recebe como parâmetros de entrada o nome e a resolução da imagem a comprimir, e comprime-a com 10 níveis de quantização diferentes. Os resultados mostram que é possível obter uma velocidade de compressão até 73 fps (frames per second) para a resolução 1280x720, e que imagens de boa qualidade podem ser obtidas com rácios de compressão até cerca de 22:1. No programa para compressão de vídeo, o codificador está configurado de acordo com as recomendações para as seguintes aplicações: videoconferência, videovigilância, armazenamento e broadcasting/streaming. As configurações em cada processo de codificação, o nome do ficheiro, o número de frames e a resolução do mesmo representam os parâmetros de entrada. Para a resolução 1280x720, foram obtidas velocidades de compressão até cerca de 68 fps, enquanto para a resolução 1920x1088 esse valor foi cerca de 30 fps. Foi ainda desenvolvida uma aplicação com capacidades para capturar imagens ou vídeos, aplicar processamento de imagem, compressão, armazenamento e transmissão para uma saída DVI (Digital Visual Interface). O processamento de imagem em software permite melhorar dinamicamente as imagens, e a taxa média de captura, compressão e armazenamento é cerca de 5 fps para a resolução 1280x720, adequando-se à captura de imagens individuais. Sem processamento em software, a taxa sobe para cerca de 23 fps para a resolução 1280x720, sendo cerca de 28 fps para a resolução 1280x1088, o que é favorável à captura de vídeo.