Exploração do UML para a derivação automática de requisitos arquitecturais. Uma abordagem orientada a modelos

O desenvolvimento de software orientado a modelos defende a utilização dos modelos como um artefacto que participa activamente no processo de desenvolvimento. O modelo ocupa uma posição que se encontra ao mesmo nível do código. Esta é uma abordagem importante que tem sido alvo de atenção crescente nos últimos tempos. O Object Management Group (OMG) é o responsável por uma das principais especificações utilizadas na definição da arquitectura dos sistemas cujo desenvolvimento é orientado a modelos: o Model Driven Architecture (MDA). Os projectos que têm surgido no âmbito da modelação e das linguagens específicas de domínio para a plataforma Eclipse são um bom exemplo da atenção dada a estas áreas. São projectos totalmente abertos à comunidade, que procuram respeitar os standards e que constituem uma excelente oportunidade para testar e por em prática novas ideias e abordagens. Nesta dissertação foram usadas ferramentas criadas no âmbito do Amalgamation Project, desenvolvido para a plataforma Eclipse. Explorando o UML e usando a linguagem QVT, desenvolveu-se um processo automático para extrair elementos da arquitectura do sistema a partir da definição de requisitos. Os requisitos são representados por modelos UML que são transformados de forma a obter elementos para uma aproximação inicial à arquitectura do sistema. No final, obtêm-se um modelo UML que agrega os componentes, interfaces e tipos de dados extraídos a partir dos modelos dos requisitos. É uma abordagem orientada a modelos que mostrou ser exequível, capaz de oferecer resultados práticos e promissora no que concerne a trabalho futuro.

Extracção de regras de associação com itens raros e frequentes

Ao longo dos últimos anos, as regras de associação têm assumido um papel relevante na extracção de informação e de conhecimento em base de dados e vêm com isso auxiliar o processo de tomada de decisão. A maioria dos trabalhos de investigação desenvolvidos sobre regras de associação têm por base o modelo de suporte e confiança. Este modelo permite obter regras de associação que envolvem particularmente conjuntos de itens frequentes. Contudo, nos últimos anos, tem-se explorado conjuntos de itens que surgem com menor frequência, designados de regras de associação raras ou infrequentes. Muitas das regras com base nestes itens têm particular interesse para o utilizador. Actualmente a investigação sobre regras de associação procuram incidir na geração do maior número possível de regras com interesse aglomerando itens raros e frequentes. Assim, este estudo foca, inicialmente, uma pesquisa sobre os principais algoritmos de data mining que abordam as regras de associação. A finalidade deste trabalho é examinar as técnicas e algoritmos de extracção de regras de associação já existentes, verificar as principais vantagens e desvantagens dos algoritmos na extracção de regras de associação e, por fim, desenvolver um algoritmo cujo objectivo é gerar regras de associação que envolvem itens raros e frequentes.

Square-wave adsorptive-stripping voltammetric detection in the quality control of fluoxetine

Electroanalytical methods based on square-wave adsorptive-stripping voltammetry (SWAdSV) and flow-injection analysis with square-wave adsorptive-stripping voltammetric detection (FIA-SWAdSV) were developed for the determination of fluoxetine (FXT). The methods were based on the reduction of FXT at a mercury drop electrode at -1.2 V versus Ag/AgCl, in a phosphate buffer of pH 12.0, and on the possibility of accumulating the compound at the electrode surface. The SWAdSV method was successfully applied in the quantification of FXT in pharmaceutical products, human serum samples, and in drug dissolution studies. Because the presence of dissolved oxygen did not interfere significantly with the analysis, it was possible to quantify FXT in several pharmaceutical products using FIA-SWAdSV. This method enables analysis of up to 120 samples per hour at reduced costs.

Electroanalytical determination of paroxetine in pharmaceuticals

Electroanalytical methods based on square-wave adsorptive-stripping voltammetry (SWAdSV) and flow-injection analysis with SWAdSV detection (FIA-SWAdSV) were developed for the determination of paroxetine (PRX). The methods were based on the reduction of PRX at a mercury drop electrode at −1.55V versus Ag/AgCl, in a borate buffer of pH 8.8, and the possibility of accumulating the compound at the electrode surface. Because the presence of dissolved oxygen did not interfere significantly with the analysis, it was also possible to determine PRX using FIASWAdSV. This method enables analysis of up to 120 samples per hour at reduced costs. Both methods developed were validated and successfully applied to the quantification of PRX in pharmaceutical products.

A preliminary idea for an 8-competitive, log2 DMAX + log2 log2 1/U asymptotic-space, interface generation algorithm for two-level hierarchical scheduling of constrained-deadline sporadic tasks on a uniprocessor

Consider a single processor and a software system. The software system comprises components and interfaces where each component has an associated interface and each component comprises a set of constrained-deadline sporadic tasks. A scheduling algorithm (called global scheduler) determines at each instant which component is active. The active component uses another scheduling algorithm (called local scheduler) to determine which task is selected for execution on the processor. The interface of a component makes certain information about a component visible to other components; the interfaces of all components are used for schedulability analysis. We address the problem of generating an interface for a component based on the tasks inside the component. We desire to (i) incur only a small loss in schedulability analysis due to the interface and (ii) ensure that the amount of space (counted in bits) of the interface is small; this is because such an interface hides as much details of the component as possible. We present an algorithm for generating such an interface.

Contributos do otimismo para a empregabilidade: boas práticas de acolhimento e integração

Foi no âmbito da realização da investigação, que tem como propósito geral contribuir para o conhecimento na área de Recursos Humanos, que efetuamos este estudo definindo como tema os contributos do Otimismo e Adaptabilidade para a Empregabilidade. Tem como objetos de estudo as práticas de Acolhimento & Integração das Pessoas no Grupo Valpi e de que forma o otimismo, reforça e se correlaciona com esse processo. Adicionalmente, procura avaliar o nível de empregabilidade dos seus colaboradores na sua dimensão da adaptabilidade pessoal, especialmente o papel do otimismo, tendo como base o modelo de Fugate, Kinicki e Ashforth (2004). A metodologia de investigação seguiu uma abordagem metodológica mista, por inquérito de pesquisa quantitativa e qualitativa, com recurso à utilização de instrumentos de recolha de dados, respetivamente, por questionário e por entrevista, utilizando a técnica de grupo de discussão focalizada. O questionário de escala de resposta do tipo Likert já existente, suportando o modelo de investigação proposto e as variáveis em estudo, foi aplicado a uma amostra intencional da população, por conveniência e aleatória. Foram inquiridos cem participantes por questionário e participaram cinco elementos no grupo de discussão focalizada, tendo sido neste caso escolhido uma amostra por conveniência e não aleatória, com interlocutores privilegiados da empresa. Os dados deste estudo permitem-nos concluir que o otimismo é uma variável relevante quer do ponto de vista da organização, quer do ponto de vista do individuo.

Sistema de detecção e localização de veículos subaquáticos

Mestrado em Engenharia Electrotécnica e de Computadores.Área de Especialização de Sistemas Autónomos

From e-learning systems to specialised e-learning services

Learning systems are evolving from component based and centralized architectures towards service oriented and decentralized architectures. The standardization of e-learning content and interoperability is a powerful force in this evolution. In this chapter we put in perspective the evolution of e-learning systems and standards, and argue that specialized services will play an important role in future learning systems, especially in those targeted for competitive learning.

Beliefs and Conflicts in a Real World Multi-Agent System

In a real world multiagent system, where the agents are faced with partial, incomplete and intrinsically dynamic knowledge, conflicts are inevitable. Frequently, different agents have goals or beliefs that cannot hold simultaneously. Conflict resolution methodologies have to be adopted to overcome such undesirable occurrences. In this paper we investigate the application of distributed belief revision techniques as the support for conflict resolution in the analysis of the validity of the candidate beams to be produced in the CERN particle accelerators. This CERN multiagent system contains a higher hierarchy agent, the Specialist agent, which makes use of meta-knowledge (on how the con- flicting beliefs have been produced by the other agents) in order to detect which beliefs should be abandoned. Upon solving a conflict, the Specialist instructs the involved agents to revise their beliefs accordingly. Conflicts in the problem domain are mapped into conflicting beliefs of the distributed belief revision system, where they can be handled by proven formal methods. This technique builds on well established concepts and combines them in a new way to solve important problems. We find this approach generally applicable in several domains.

Desenvolvimento de um Controlador de Boundary Scan (Ieee 1149.1)

Mestrado em Engenharia Electrotécnica e de Computadores - Área de Especialização em Automação e Sistemas

Marketing for future: Eddmi – Pass Platform

In a highly competitive market companies know that having quality products or provide good services is not enough to keep customers "faithful". Currently, quality of products/services, location and price are fundamental aspects customers expect to get on every purchase, so they look for ways to distinguish companies. This can happen either in a strictly materialistic way or by evaluation of intangible metrics such as having his opinion appreciated or being part of a selected group of "premium" customers. Therefore, companies must find ways to value and reward its customers in order to keep them "faithful" to their products or services. Loyalty systems are one means to achieve this goal, however, due to its nature and how they are implemented, often companies end up having low acceptance, without achieving intended objectives. In an era of technological revolution, where global average adoption of smartphones and tablets is 74% and 40% [Our Mobile Planet, 2014], the opportunity to reinvent loyalty systems reappears. Throughout this thesis a new tool, relying on the latest technologies and aiming to fulfill this market opportunity, will be presented. The main idea is to use ancient loyalty concepts, such as stamps or pointscards, and transforms them into digital cards, to be used in digital wallets, introducing an innovative technology component based on Apple's Passbook technology. The main goal is to create a platform for managing the card’s life cycle, allowing anyone to create, edit, distribute and analyze the data, and also create a new communication channel with customers, improving the customer-­‐supplier relationship and enhancing the mobile-­‐marketing.

Reformulação de um Sistema de Gestão de Consumos de Energia

Atualmente a energia é considerada um vetor estratégico nas diversas organizações. Assim sendo, a gestão e a utilização racional da energia são consideradas instrumentos fundamentais para a redução dos consumos associados aos processos de produção do sector industrial. As ações de gestão energética não deverão ficar pela fase do projeto das instalações e dos meios de produção, mas sim acompanhar a atividade da Empresa. A gestão da energia deve ser sustentada com base na realização regular de diagnósticos energéticos às instalações consumidoras e concretizada através de planos de atuação e de investimento que apresentem como principal objetivo a promoção da eficiência energética, conduzindo assim à redução dos respetivos consumos e, consequentemente, à redução da fatura energética. Neste contexto, a utilização de ferramentas de apoio à gestão de energia promovem um consumo energético mais racional, ou seja, promovem a eficiência energética e é neste sentido que se insere este trabalho. O presente trabalho foi desenvolvido na Empresa RAR Açúcar e apresentou como principais objetivos: a reformulação do Sistema de Gestão de Consumos de Energia da Empresa, a criação de um modelo quantitativo que permitisse ao Gestor de Energia prever os consumos anuais de água, fuelóleo e eletricidade da Refinaria e a elaboração de um plano de consumos para o ano de 2014 a partir do modelo criado. A reformulação do respetivo Sistema de Gestão de Consumos resultou de um conjunto de etapas. Numa primeira fase foi necessário efetuar uma caraterização e uma análise do atual Sistema de Gestão de Consumos da Empresa, sistema composto por um conjunto de sete ficheiros de cálculo do programa Microsoft Excel©. Terminada a análise, selecionada a informação pertinente e propostas todas as melhorias a introduzir nos ficheiros, procedeu-se à reformulação do respetivo SGE, reduzindo-se o conjunto de ficheiros de cálculo para apenas dois ficheiros, um onde serão efetuados e visualizados todos os registos e outro onde serão realizados os cálculos necessários para o controlo energético da Empresa. O novo Sistema de Gestão de Consumos de Energia será implementado no início do ano de 2015. Relativamente às alterações propostas para as folhas de registos manuais, estas já foram implementadas pela Empresa. Esta aplicação prática mostrou-se bastante eficiente uma vez que permitiu grandes melhorias processuais nomeadamente, menores tempos de preenchimento das mesmas e um encurtamento das rotas efetuadas diariamente pelos operadores. Através do levantamento efetuado aos diversos contadores foi possível identificar todas as áreas onde será necessário a sua instalação e a substituição de todos os contadores avariados, permitindo deste modo uma contabilização mais precisa de todos os consumos da Empresa. Com esta reestruturação o Sistema de Gestão de Consumos tornou-se mais dinâmico, mais claro e, principalmente, mais eficiente. Para a criação do modelo de previsão de consumos da Empresa foi necessário efetuar-se um levantamento dos consumos históricos de água, eletricidade, fuelóleo e produção de açúcar de dois anos. Após este levantamento determinaram-se os consumos específicos de água, fuelóleo e eletricidade diários (para cada semana dos dois anos) e procedeu-se à caracterização destes consumos por tipo de dia. Efetuada a caracterização definiu-se para cada tipo de dia um consumo específico médio com base nos dois anos. O modelo de previsão de consumos foi criado com base nos consumos específicos médios dos dois anos correspondentes a cada tipo de dia. Procedeu-se por fim à verificação do modelo, comparando-se os consumos obtidos através do modelo (consumos previstos) com os consumos reais de cada ano. Para o ano de 2012 o modelo apresenta um desvio de 6% na previsão da água, 12% na previsão da eletricidade e de 6% na previsão do fuelóleo. Em relação ao ano de 2013, o modelo apresenta um erro de 1% para a previsão dos consumos de água, 8% para o fuelóleo e de 1% para a eletricidade. Este modelo permitirá efetuar contratos de aquisição de energia elétrica com maior rigor o que conduzirá a vantagens na sua negociação e consequentemente numa redução dos custos resultantes da aquisição da mesma. Permitirá também uma adequação dos fluxos de tesouraria à necessidade reais da Empresa, resultante de um modelo de previsão mais rigoroso e que se traduz numa mais-valia financeira para a mesma. Foi também proposto a elaboração de um plano de consumos para o ano de 2014 a partir do modelo criado em função da produção prevista para esse mesmo ano. O modelo apresenta um desvio de 24% na previsão da água, 0% na previsão da eletricidade e de 28% na previsão do fuelóleo.