Agentes inteligentes para coordenação do controlo descentralizado em sistemas de canais de distribuição de água

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

Agentes inteligentes

Agentes – origem, definição e atributos Tipos de agentes – Inteligência Artificial Distribuída, Agentes Móveis, Agentes de Interface. Ferramentas para desenvolvimento de agentes.

Agentes inteligentes na indústria do entretenimento

O presente trabalho tem por objectivo abordar as questões mais relevantes envolvidas na problemática dos agentes inteligentes na indústria de entretenimento. No trabalho aborda-se o conceito de agente, as suas propriedades desejáveis e ferramentas para o seu desenvolvimento. Referem-se algumas abordagens de agentes nesta área e aspectos relevantes a considerar. São abordados dois exemplos paradigmáticos: Julia e Creatures. Dificuldades ligadas ao tema são referidas e algumas tendências futuras mencionadas. Por fim são equacionadas algumas questões em aberto.

Gestão de Informação: Inteligência Artificial

A informação e a sua gestão é considerada nos nossos dias como o principal factor de sucesso ou insucesso para qualquer actividade económica ou social. O desenvolvimento de novas tecnologias força todos os agentes econcómicos a desenvolverem-se nestas áreas para conseguirem vantagens concorrenciais. Este trabalho visa fazer uma apresentação de uma “nova” área da ciência da computação a que se chamou Inteligência Artificial.

De arquitecturas organizacionais em i* para arquitecturas baseadas em agentes: uma abordagem orientada a modelos

Os requisitos dizem, normalmente, o que um sistema deve fazer, por oposição a como fazê-lo. O contexto organizacional justifica e ajuda a compreender os porquês que levam à necessidade de certos requisitos importantes para um sistema de software ser bem sucedido. As técnicas de modelação de requisitos oferecem o conhecimento que permite a análise necessária nesta fase inicial do desenvolvimento. Contudo, a maioria das técnicas de requisitos são mais adequadas para uma fase posterior do processo da engenharia de requisitos. O desenvolvimento de software orientado a agentes procura preencher esta lacuna, mas é um paradigma relativamente recente. Para a consolidação deste novo paradigma, o projecto Tropos está a desenvolver uma abordagem para o desenvolvimento orientado a Agentes que se baseia nos conceitos sociais e intencionais oferecidos pela abordagem de modelação organizacional i*. No entanto, o uso do i* não é suficientemente expressivo como uma linguagem de descrição arquitectural. Reconhecendo no UML a capacidade de actuar como linguagem de descrição arquitectural, esta dissertação especifica as transformações necessárias dos modelos arquitecturais organizacionais descritos em i*, para os modelos arquitecturais descritos no perfil de Agência do UML utilizado para modelar sistemas multi-agente, através de uma abordagem orientada a modelos.

Janelas inteligentes com efeito de memória

Neste trabalho foi desenvolvido um controlador electrónico de potência capaz de actuar sobre a janela inteligente por forma a permitir a transição do estado opaco para o estado transparente. O controlador foi desenhado com o propósito de ser o único elemento necessário para o funcionamento das janelas inteligentes, evitando assim a utilização de uma parafernália de equipamentos isolados, ligados entre si, para executarem o mesmo propósito. A topologia utilizada para criar este controlador baseou-se num módulo rectificador AC/DC, seguido por um módulo Buck e terminado por um inversor do tipo Boost. Esta topologia permitiu que se alcançasse uma grande amplitude de tensões á saída, as quais variam entre os 0V e os 600V, necessárias para o desenvolvimento das janelas inteligentes. Esta solução foi pensada por forma a permitir, no futuro, o desenvolvimento de um controlador capaz de fazer a transição do estado transparente para opaco e a ligação ao software laboratorial LabView para recolha de dados e interpretação dos mesmos.

Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

Practices and trends of telework in the Portuguese industry: the results of surveys in the textile, metal and software sectors

The aim of the TeleRisk Project on labour relations and professional risks within the context of teleworking in Portugal – supported by IDICT – Institute for Development and Inspection of Working Conditions (Ministry of Labour), is to study the practices and forms of teleworking in the manufacturing sectors in Portugal. The project chose also the software industry as a reference sector, even though it does not intend to exclude from the study any other sector of activity or the so-called “hybrid” forms of work. However, the latter must have some of the characteristics of telework. The project thus takes into account the so-called “traditional” sectors of activity, namely textile and machinery and metal engineering (machinery and equipment), not usually associated to this type of work. However, telework could include, in the so-called “traditional” sectors, other variations that are not found in technologically based sectors. One of the evaluation methods for the dynamics associated to telework consisted in carrying out surveys by means of questionnaires, aimed at employers in the sectors analysed. This paper presents some of the results of those surveys. It is important to mention that, being a preliminary analysis, it means that it does not pretend to have exhausted all the issues in the survey, but has meant that it shows the bigger tendencies, in terms of teleworking practices, of the Portuguese industry.

Traceability support in software product lines

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.

Component-based software engineering: a quantitative approach

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Estudo empírico do padrão de congestionamento formado num nó de uma auto-estrada urbana portuguesa

Dissertação de Mestrado Integrado em Engenharia Electrotécnica e de Computadores

DSAAR: distributed software architecture for autonomous robots

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

Análise comparativa de sistemas centralizados e descentralizados de valorização de chorumes de suiniculturas, utilizando o software UMBERTO

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia do Ambiente, Perfil de Engenharia Sanitária

Adaptação da framework i* para linhas de produtos

Dissertação de Mestrado em Engenharia Informática

Software de sistema para um intercomunicador de veículos militares

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática