Gestão soft da manutenção de automotoras UQE-S3500: aplicação de modelos de risco proporcionais

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

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.

Identificação dos serviços dos ecossistemas e quantificação do armazenamento e sequestro do carbono na Arrábida utilizando SIG

Os serviços dos ecossistemas são os benefícios que os seres humanos retiram dos ecossistemas, sendo que o seu estudo permite analisar e quantificar a importância que estes têm para o bem-estar humano, auxiliando também à gestão sustentável desses serviços. Zonas protegidas como o Parque Natural da Arrábida contêm ecossistemas naturais ou seminaturais que estão associados a diferentes serviços de ecossistemas, estas zonas constatam-se ser de extrema relevância no que diz respeito à produção e manutenção dos serviços. O presente trabalho tem como objetivo o estudo dos serviços dos ecossistemas do PNA, pretendendo-se identificar, quantificar, e avaliar economicamente o serviço do ecossistema armazenamento e sequestro do carbono utilizando o programa ArcGIS para criar o Sistema de Informação Geográfica (SIG) e também usando as ferramentas de modelação do InVEST. Realizou-se uma revisão de literatura esclarecendo o conceito de serviços dos ecossistemas, clarificando o armazenamento e sequestro de carbono como serviço e a ferramenta de modelação. A modelação do carbono armazenado foi realizada a partir de mapas de ocupação do solo e uma pesquisa bibliográfica dos quatro reservatórios de carbono: Biomassa acima e abaixo do solo, carbono orgânico no solo e matéria orgânica na manta morta. Os mapas de ocupação do solo foram construídos a partir do processamento e interpretação de fotografias aéreas de 3 anos 1967, 1978 e 2010. As conclusões que se retiram, do presente trabalho, é que das classes de ocupação do solo definidas, a que mais contribui para o armazenamento e sequestro do carbono é a classe dos matos, representando a maior percentagem de área ocupada, seguida das classes Florestas e Matas. Houve um aumento do armazenamento do carbono ao longo do tempo. Verifica-se que a área de estudo poderá contribuir numa ordem de grandeza dos milhões de euros, considerando o CELE, o que se constata ser uma informação relevante, uma vez que esse valor poderá ser investido em medidas de melhoria da conservação da serra com o objetivo de criar ainda mais benefícios ao nível ecológico, económico e social da zona.

Controlo para minimização de perdas em canal de irrigação

A preocupação em aumentar a eficiência da utilização da água nos dias de hoje é cada vez maior. Pode-se observar que ao longo do tempo tem-se intensificando as campanhas de sensibilização para uma maior otimização no uso da água. Um dos grandes pontos de trabalho para uma melhor otimização do uso da água reside nos diversos canais de rega presentes em todo o mundo. Não só por serem um dos principais responsáveis do desperdício deste bem tão precioso, mas também por oferecer um desafio tremendo no estudo da sua otimização. Este trabalho surge, em linha com outros já realizados, como um meio para atingir esta tão desejada otimização da utilização da água. Por via do estabelecimento de uma rede de comunicação entre os intervenientes ativos na gestão da água em canais, as comportas, nesta dissertação foi desenvolvido uma estrutura de controlo distribuído que permitisse a negociação entre comportas vizinhas num modelo, em Simulink, de um canal de rega já existente - o canal experimental de Évora. No desenvolvimento desta nova estrutura de controlo são tidas em conta todas as variáveis físicas do canal, através da modelação do comportamento do canal pelas equações de Saint-Venant. Os resultados atingidos por esta dissertação demonstram uma real possibilidade do uso de estruturas de controlo distribuído, com negociação e coordenação entre comportas vizinhas, em canais de rega reais.

MGPSI – Metodologia de gestão de projectos aplicada ao desenvolvimento de sistemas de informação

No domínio da concepção e desenvolvimento de sistemas de informação, é vulgar encontrar projectos que estão nas seguintes situações: não cumprem prazos; ultrapassam os orçamentos previstos; têm um nível de qualidade baixo. Esta última situação irá reflectir-se, posteriormente, na manutenção dos referidos projectos. Estudos efectuados concluem que há várias causas para que tais factos ocorram e entre as principais está a ausência de uma metodologia de gestão de projectos. Assim, uma solução que permita minimizar as situações supracitadas passa pela criação e implementação de uma metodologia de gestão de projectos aplicada ao desenvolvimento de sistemas de informação. Esta metodologia contribuirá para optimizar a gestão e aumentar a produtividade das equipas de projecto, e, consequentemente, incrementar o nível de maturidade da gestão de projectos. Na análise do trabalho relacionado, identificaram-se os seguintes pontos fracos: não identificação e clarificação de uma atribuição inicial de processos e actividades a projectos e não existência de uma caracterização inicial do projecto. Outros pontos fracos, embora menos recorrentes, foram a inexistência de versões de processos e insuficiente informação sobre a constituição de uma base de dados de conhecimento da gestão de projectos. O objectivo principal desta dissertação consistiu em conceber, implementar e avaliar, num organismo público, uma metodologia de gestão de projectos aplicada à concepção e desenvolvimento de sistemas de informação. Assim, criou-se e simulou-se um modelo com vários subprocessos e actividades, usando ferramentas de gestão de processos de negócio. A implementação traduziu-se na criação de um portal, contendo um sistema de informação com um conjunto inicial de procedimentos, para se garantir uma gestão integrada de projectos.

Encurvadura de colunas mistas aço-betão segundo o Eurocódigo 4

A construção mista aço-betão é uma área da Engenharia Civil em constante actualização, oferecendo diversas vantagens face à construção em betão armado e metálica. Existem vários regulamentos que tratam este tema, destacando-se o Eurocódigo 4. No presente trabalho aborda-se a verificação à encurvadura de colunas mistas segundo esta norma, incluindo o método simplificado e o geral. São desenvolvidos dois programas de cálculo para a avaliação da resistência de secções mistas duplamente simétricas à flexão composta desviada. O primeiro considera que o comportamento dos materiais é rígido-plástico e o segundo elasto-plástico não-linear. Os programas são validados por comparação com resultados encontrados na bibliografia. Estes programas constituem uma ferramenta útil para Projectistas na avaliação da resistência deste tipo de secções. Estuda-se a modelação numérica de colunas mistas, pelo método dos elementos finitos, recorrendo aos programas Adina e Ansys. Para além de exemplos de validação, apresenta-se um estudo original de uma coluna parcialmente betonada, o qual permite extrair conclusões e recomendações relativamente à aplicação das disposições regulamentares do Eurocódigo 4.

Return Migration, Self-Selection and Entrepreneurship in Mozambique

Does return migration affect entrepreneurship? This question has important implications for the debate on the economic development effects of migration for origin countries. The existing literature has, however, not addressed how the estimation of the impact of return migration on entrepreneurship is affected by double unobservable migrant self-selection, both at the initial outward migration and at the final inward return migration stages. This paper uses a representative household survey conducted in Mozambique in order to address this research question. We exploit variation provided by displacement caused by civil war in Mozambique, as well as social unrest and other shocks in migrant destination countries. The results lend support to negative unobservable self-selection at both and each of the initial and return stages of migration, which results in an under-estimation of the effects of return migration on entrepreneurial outcomes when using a ‘naïve’ estimator not controlling for self-selection. Indeed, ‘naïve’ estimates point to a 13 pp increase in the probability of owning a business when there is a return migrant in the household relative to non-migrants only, whereas excluding the double effect of unobservable self-selection, this effect becomes significantly larger - between 24 pp and 29 pp, depending on the method of estimation and source of variation used.

Do Migrants Send Remittances as a Way of Self-Insurance?

How do risk preferences affect migrant remittance behaviour? Examination of this relationship has only begun to be explored. Using a tailored representative survey of 1500 immigrants in the Greater Dublin Area, Ireland, we find a positive and significant relationship between risk aversion and migrant remittances. Risk-averse individuals are more likely to send remittances home and are, on average, likely to remit a higher amount, after controlling for a broad range of individual and group characteristics. The evidence we obtain is consistent with a “purchase of self-insurance” motive to remit in that we also find support for more remittances being sent by risk-averse immigrants who face higher wage risks and to individuals with more financial resources.

Redes de acesso aleatório com capacidade de receção de múltiplos pacotes

Com o aumento do número de dispositivos móveis, os sistemas de comunicação sem fios têm evoluído de forma a aumentar os débitos de transferência de dados. Nos sistemas de comunicação sem fios tradicionais, um nó recetor apenas permite a receção de um sinal de cada vez (Single Packet Reception - SPR). Com o aparecimento de técnicas de receção múltipla (ex. CDMA, UWB, MU-MIMO), tornou-se possível a receção de múltiplos pacotes em simultâneo (Multipacket Reception - MPR). Porém, os protocolos de controlo de acesso ao meio (MAC) não foram adaptados de forma a tirar partido da capacidade de MPR no recetor. Esta dissertação aborda a condição de receção de múltiplos pacotes em simultâneo, caracterizando o número médio de pacotes recebidos, tendo em conta o número total de transmissões. A partir desta caracterização, é estudado o desempenho de três protocolos MAC. Os protocolos são baseados numa fase de negociação seguida de uma fase de transmissão. A caracterização do número médio de pacotes recebidos permite avaliar de uma forma integrada (nível físico e MAC) o desempenho dos diferentes protocolos MAC. Finalmente, a avaliação de desempenho evidencia o aumento de débito quando é utilizado MPR nas duas fases (negociação e transmissão), o que constitui um bom ponto de partida para o desenho de futuros protocolos MAC para sistemas MPR.

Análise não linear do comportamento dinâmico de passadiços pedonais pré-fabricados

Os terramotos têm sido considerados uma das forças mais destrutivas e violentas da natureza, causando grandes tragédias e perdas económicas significativas. O objetivo principal do presente estudo é avaliar o comportamento global e local de três pontes pedonais, pré-fabricadas, durante a ação sísmica regulamentar. Através destas análises, pretende-se avaliar o risco de colapso das estruturas por “descalçamento” do tabuleiro e, caso necessário, propor soluções para evitar este fenómeno e melhorar o desempenho sísmico dos passadiços. No domínio de pontes, o “descalçamento dos apoios” é um tipo de rotura que pode ocorrer em estruturas com tramos simplesmente apoiados, onde os problemas surgem geralmente na interface de ligação tabuleiro-pilar, podendo conduzir ao derrubamento do primeiro. Este tipo de ligação é geralmente constituído por um conjunto de varões de aço – ferrolhos, chumbados verticalmente ao capitel do pilar e que atravessam placas de neoprene, ficando instalados no negativo das vigas. A selagem dos varões é normalmente realizada com argamassa de alta resistência. Os problemas que surgem neste tipo de ligação estão associados, a maior parte das vezes, à falta de manutenção e ao insuficiente comprimento de entrega do tabuleiro na zona dos aparelhos de apoio. A simulação do comportamento da estrutura durante as várias fases construtivas e aplicação de cargas, até ao colapso total, implica a utilização de uma ferramenta adequada. A modelação numérica foi efetuada com recurso ao programa de cálculo não-linear de estruturas Extreme Loading for Structures, baseado no Método dos Elementos Aplicados. O método considera os efeitos da não-linearidade física e geométrica, permitindo analisar o comportamento das estruturas durante a fase elástica e inelástica, passando pela cedência das armaduras, abertura e propagação de fendas até à separação dos elementos. Com base neste trabalho, foi possível verificar alterações significativas na resposta sísmica da estrutura, nomeadamente devido à eventual degradação dos ferrolhos.

Estudo de interações proteína-carbohidrato em sistemas bacterianos

Bacillus subtilis tem a capacidade de utilizar arabinoligossacáridos presentes na parede das células vegetais, através de um consórcios de enzimas envolvidas na hidrólise enzimática dos mesmos. A captação destes carbohidratos por parte do Bacillus subtilis depende de dois transportadores membranares AraE e AraNPQ-MsmX. Após a captação de L-arabinose e arabinoligossacáridos, estes substratos serão metabolizados pelos produtos enzimáticos codificados por genes pertencentes ao operão responsável pela metabolização de arabinose araABDLMNPQabfA. Neste operão, para além dos genes responsáveis pelo transportador AraNPQ, o gene araL determina a síntese de uma enzima com atividade de fosfatase, AraL, que tem putativamente como principal função a destoxificação de intermediários metabólicos fosforilados, em situações particulares. O objectivo deste trabalho consistiu em descobrir quais os determinantes moleculares envolvidos em ambos os processos de reconhecimento molecular, ora o reconhecimento de arabinoligossacáridos por parte da AraN, do ponto de vista dos carbohidratos ora de carbohidratos fosforilados do ponto de vista da AraL. Para elucidar estes processos de reconhecimento molecular proteína-carbohidrato foi utilizada a técnica de RMN, modelação computacional e mutagénese dirigida. No primeiro capitulo são introduzidos conceitos fundamentais para a percepção da ação de ambas as proteínas (AraN e AraL), no organismo Bacillus subtilis. O segundo capitulo, refere-se ao estudo dos mecanismos envolvidos no reconhecimento proteína-carbohidrato através da técnica de STD-RMN para estudar interações do ponto de vista do carbohidrato, bem como abordagens bioinformáticas tais como alinhamentos de sequencia primária e dockings moleculares, para identificar resíduos do ponto de vista da proteína passiveis de se encontrarem envolvidos no reconhecimento molecular, que numa última instância são mutados para se confirmar a sua relevância no processo de reconhecimento molecular do ponto de vista da proteína. Neste capitulo é demonstrado que a AraN é responsável pelo reconhecimento de arabinoligossacáridos e celoligossacáridos. No que diz respeito aos primeiros, a AraN reconhece preferencialmente arabinoligossacáridos com três subunidades, verificando-se a perda de saturação na subunidade não redutora da arabinotetraose. O processo de reconhecimento molecular apresenta uma constante de dissociação com uma ordem de grandeza na ordem dos μM. Do ponto de vista da proteína são identificados resíduos (W253, Y254 e Y54) putativos de se encontrarem também eles envolvidos no reconhecimento molecular do ponto de vista da AraN através de interações CHstacking. Finalmente no terceiro capitulo, é apresentada a optimização da sobrexpressão da AraL, dado que numa primeira fase a sua produção ocorria sob a forma de corpos de inclusão. Para tal são descritas metodologias de solubilização e renaturação da mesmas, com recurso a agentes caotrópicos (ureia e GmdCl) e detergentes (SDS).

Simulação de sistemas distribuídos de manufactura

Os sistemas distribuídos de manufactura (SDM) possuem como principais características a capacidade de executarem processos de manufactura de forma distribuída em ambientes heterogéneos, em que os diversos estágios e parceiros envolvidos funcionam de forma autónoma. Dotados de uma boa capacidade de adaptação a mercados em constante mudança, são sis-temas complexos e dinâmicos, sendo difícil prever o seu desempenho sem abordagens adequadas, nomeadamente, recorrendo a métodos de simulação. No entanto os pacotes de simulação que existem actualmente, apesar de boa qualidade e bastante flexíveis, ainda se caracterizam por uma limitada capacidade para a simulação de SDM. Por outro lado, o desenvolvi-mento duma ferramenta de manufactura que combine a simulação ao nível local de processos de manufactura (por exemplo: com robôs e maquinas industriais) e a correspondente ao nível global e distribuído, revela-se significativamente complexo e oneroso. Ao invés de se desenvolver tal sistema, com este trabalho, pretende-se especificar um modelo e respectiva ferramenta que permita a simulação de SDM, recorrendo a produtos comerciais já existentes, mediante a definição duma estratégia de interoperabilidade entre as ferramentas. A simulação em simultâneo, de forma agregada e em tempo real dos diversos níveis estratégicos e locais de um SDM, permite assim uma melhor estimativa do seu desempenho futuro.

Avaliação da qualidade em modelos de requisitos i*

As abordagens de engenharia de requisitos orientada a objetivos oferecem mecanismos que ajudam na elicitação e modelação de requisitos. A presente dissertação centra-se no framework i*, uma das mais importantes linguagens de especificação de modelos de requisitos orientados a objetivos, que conta com grupos de trabalho em mais de vinte países e com sete edições de workshops internacionais. Existem alguns problemas que podem afetar a qualidade de modelos i*. A sua criação pode resultar em modelos complexos e/ou incompletos, assim como incorretos devido ao mau uso da notação do i*. Estes problemas contribuem para a existência de dificuldades na gestão e compreensão dos sistemas de software o que, por sua vez, leva a um aumento dos custos de desenvolvimento. A qualidade dos modelos deve, então, ser uma preocupação constante, por forma a que sejam construídos modelos corretos, completos e cuja complexidade acidental seja minimizada. Não obstante a sua importância, a gestão eficaz destes três aspetos é, ainda, um problema em aberto. Nesta dissertação é proposto um conjunto de métricas para dar suporte à avaliação quantitativa dos atributos de qualidade complexidade, completude e correção nos modelos de requisitos i*. As métricas são definidas seguindo a abordagem Goal-Question- Metric, sendo definidas tanto de modo informal, em língua natural, como formalmente, em OCL (Object Contraint Language), e incorporadas numa ferramenta de modelação i* para que possam ser recolhidas de modo automático. As métricas são avaliadas experimentalmente, através de um conjunto de casos de estudo reais e académicos, e teoricamente, através de propriedades deWeyuker.

Estimação da permeabilidade em reservatórios fraturados - Comparação entre o método do tensor e o método de upscaling

A simulação dinâmica de reservatórios de petróleo requer a alocação de permeabilidades equivalentes para todos os blocos. A determinação da permeabilidade equivalente em reservatórios fraturados é uma questão complexa e crítica no fluxograma de modelação, porque é totalmente dependente da geometria 3D sistema de fraturas, e respetivas aberturas, que muitas vezes são mal conhecidos. Para avaliar a permeabilidade equivalente de blocos fraturados, o método do tensor ou de Oda é um dos mais utilizados. É expedito e eficiente mesmo para a sistemas com vários milhões de fraturas. Todavia, na literatura são apontadas algumas críticas, por exemplo, sobrestima a permeabilidade em blocos pouco fraturados e subestima-a em blocos muito fraturados. Este trabalho tem como objetivos, revisitar a problemática da caracterização da permeabilidade equivalente em blocos de reservatórios fraturados. Recorreu-se a um pacote de programas informáticos FROM3D-K (fractures object model – permeability evaluation) desenvolvidos e/ ou adaptados no contexto deste trabalho e que permitem as funcionalidades: (1) simulação estocástica 3D de fraturas; (2) determinação da permeabilidade equivalente pelo método do tensor; (3) determinação da permeabilidade equivalente pelo método de upscaling de microblocos. Estas funções permitem que a mesma rede de fraturas seja avaliada pelos dois métodos. Para a demonstração de resultados mostram-se dois exemplos, o primeiro onde são simuladas fraturas condicionadas a estatísticas sintéticas de orientação, intensidade e abertura e o segundo onde se utilizam dados FMI de poço de um reservatório fraturado.

Uma abordagem ágil para transformar modelos cognitivos em modelos comportamentais e de domínio

No processo de desenvolvimento de software, um dos problemas recorrentes é garantir que as expectativas das partes interessadas (stakeholders) estão a ser satisfeitas. Expectativas essas que correspondem ao comportamento do sistema. A disciplina de Engenharia de Requisitos estuda a melhor forma de capturar, especificar, validar e gerir requisitos. No entanto, os modelos utilizados que expressam os comportamentos, muitas das vezes, não são entendidos por parte dos stakeholders. Com a introdução das metodologias ágeis, que se baseiam no princípio de uma colaboração ativa e contínua dos stakeholders durante o desenvolvimento de software, os pressupostos da disciplina de Engenharia de Requisitos foram questionados e fizeram nascer novas práticas. Uma prática que emergiu foi o Desenvolvimento Orientado ao Comportamento (BDD). Surgiu com a finalidade de dar a capacidade aos stakeholders de expressarem, sob a forma textual, o comportamento que desejam para o seu software, de forma simples e sucinta. No entanto, não existindo restrições nem validações automáticas na escrita dos stakeholders, é criada a possibilidade de introdução de ambiguidade e perda de informação quando a equipa de desenvolvimento utiliza os cenários descritos. Dado este problema, propomos uma abordagem em que os stakeholders consigam especificar cenários comportamentais, de forma cognitiva, com uma representação simples, clara e mais precisa. Criamos duas linguagens, o DomainMap e o BehaviorMap, que estão relacionadas entre si: uma para representar modelos de domínio e outra para representar cenários BDD, respetivamente. Foi executada uma experiência com 15 indivíduos para comparar o esforço cognitivo na compreensão entre cenários BehaviorMap e cenários textuais e os resultados mostraram que o BehaviorMap teve melhor desempenho.