Recuperação automática da modelação comportamental com aplicações ao ensaio baseado em modelos

O problema dos sistemas de software legados sem documentação ou com documentação obsoleta, continua a ser uma realidade no mundo empresarial. O progressivo aumento da dimensão e complexidade dos sistemas desenvolvidos vem aumentar a necessidade de existirem mecanismos de modelação e documentação de apoio às actividades de manutenção e teste. Apesar da investigação que tem sido levada a cabo para tentar apresentar cada vez melhores abordagens à resolução deste problema,o seu uso no mundo empresarial ainda é muito esparso. Tal deve-se, pelo menos em parte, ao facto de muitas das abordagens propostas acabarem por representar um acrescento do esforço e do tempo, que as organizações não estão em condições de disponibilizar. Esta dissertação contribui com uma abordagem automatizada de suporte às actividades de documentação de sistemas, de manutenção e de testes. Para demonstrar a aplicabilidade e usabilidade da abordagem, propõe-se a implementação de uma ferramenta de apoio. A abordagem proposta baseia-se em técnicas já existentes e consolidadas, mas propõe extensões que permitem melhorar a sua integração,usabilidade e eficiência na sua aplicação. O problema fulcral aqui tratado é a inexistência ou insuficiência de documentação sobre os sistemas desenvolvidos. De modo a mitigar este problema, é apresentado um mecanismo de recuperação da modelação dinâmica de sistemas legados e respectiva geração de artefactos documentais,nomeadamente diagramas de sequência (UML), cartões CRC e matrizes de CRUD. Finalmente, introduzem-se técnicas de rastreabilidade e de apoio a testes de qualidade e cobertura para os sistemas construídos, usando uma metáfora de coloração de diagramas UML.

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.

Produção de compósitos Alumínio/NiTi através do processo híbrido de fricção linear

Os compósitos inteligentes de matriz metálica (CIMM) têm sido intensamente explorados nas últimas décadas devido à capacidade destes sistemas poderem alterar as suas propriedades mediante um estímulo externo. As ligas de Níquel-Titânio (Ni-Ti) são materiais inteligentes e desempenham, maioritariamente, funções de atuação ou controlo de vibrações nos sistemas em que se inserem, permitindo que estes apresentem características funcionais. A soldadura por fricção linear (SFL) tem sido uma alternativa aos processos de soldadura por fusão para materiais difíceis de soldar como as ligas de alumínio (AA) ou ainda na ligação de materiais dissimilares. No entanto, devido à ocorrência de defeitos, gerados como consequência do deficiente fluxo visco-plástico produzidos pela SFL, surgiram novas variantes deste processo, como a SFL assistida por corrente elétrica (SFLACE), que, por efeito de Joule, provoca o aquecimento do material processado e, consequente, aumento do fluxo visco-plástico, diminuindo ou eliminando a presença de defeitos. Este trabalho incide na produção de CIMM utilizando chapas de AA1100 reforçadas com Ni-Ti por SFLACE em configuração de junta sobreposta. As interfaces e os fluxos de material resultantes foram analisados recorrendo às técnicas de microscopia ótica (MO), SEM, EDS e difração de raio-x (DRX). O controlo de vibrações do CIMM produzido foi também estudado através de ensaios de vibração à temperatura ambiente, bem como a temperaturas superiores à de fim da formação da fase austenítica, e efetuaram-se ensaios de flexão e pull-out com vista à caracterização mecânica. Observou-se que o compósito produzido apresenta um fator de amortecimento superior quando o reforço se encontra na fase martensítica. O ensaio de pull-out confirmou a existência da ligação entre a matriz e o reforço, igualmente observada por SEM. O compósito produzido apresenta uma forte ligação entre os materiais dissimilares, com franca melhoria no caso das amostras processadas com corrente elétrica, obtendo-se um material com características funcionais.

Modelos de ação bélica na Crônica de D. Duarte de Meneses - Texto, Contexto e Representação

Bolsista de Doutorado (SFRH/BD/77667/2011) da Fundação de Ciência e Tecnologia, Portugal.

Modelos de avaliação do desempenho empresarial: guia de referência para empresas transformadoras do setor vitivinícola

Com elevada preponderância na competitividade de uma organização, a avaliação é cada vez mais utilizada no mercado atual. Pode ser aplicada tanto na implementação de projetos como na melhoria do processo existente e da atividade do negócio como um todo. Na lógica da avaliação global do negócio, a avaliação é cada vez mais vista como uma boa prática, uma vez que permite, de forma integrada, durante as atividades de monitorização, identificar erros, desvios face a metas fixadas ou outros problemas de maneira a corrigi-los preventivamente. Na lógica da melhoria da atividade de negócio, possibilita a identificação de potenciais falhas onde se pode incidir na melhoria dos mesmos, tendo um nível de abrangência superior aos tradicionais indicadores financeiros, o que permite avaliar o desempenho global da organização e correlacionar medidas e impactos. No presente trabalho elaborou-se um levantamento de modelos de avaliação macroeconómicos, empresariais e individuais e foi realizado um questionário às organizações do setor vitivinícola para aferir da sua maturidade na prática de avaliação, bem com o intuito de aferir acerca da utilidade e aplicabilidade de um guia de apoio a esta prática. Com base nestes elementos, criou-se um guia de avaliação de referência para empresas transformadoras do setor vitivinícola, tendo como base os conceitos inerentes aos modelos de avaliação empresariais: balanced scorecard (BSC), modelo Shingo, modelo European Foundation for Quality Management (EFQM) e tendo em conta a contextualização realizada ao setor vitivinícola, baseada nas respostas fornecidas aos questionários realizados no âmbito desta dissertação.. Como resultado, gerou-se um guia de apoio à adoção de práticas de avaliação que poderá ser aplicado com vista ao aumento da competitividade das organizações do setor transformador vitivinícola.

Saneamento básico do fluxo cíclico para a inovação da NB 688

O estado actual do saneamento básico na Bolívia e noutros Países em desenvolvimento, por factores que exercem pressões sobre os recursos hídricos, é incompatível entre a oferta existente e a crescente procura de água. Cria-se um desequilíbrio, agravado pela distribuição temporal e espacial, bem como pela degradação acelerada dos meios receptores, devido ao forte crescimento demográfico das populações, novos hábitos de vida e desenvolvimento urbano e industrial, sem um adequado planeamento. A desejável adaptação da Norma Boliviana 688, apostando numa descentralização dos sistemas de tratamento de águas residuais como uma alternativa eficiente, eficaz e sustentável, pressupõe, um tratamento com uma tecnologia adequada. No presente trabalho propõem-se, dentro do enquadramento teórico no contexto adaptado à NB 688, os fundamentos dos modelos de saneamento básico do fluxo linear caracterizando-se por uma autodepuração impossível provocando um impacto ambiental irrecuperável, pois apresentam perda de nutrientes, sistemas de ligações unitários para as águas residuais, não existem estações de tratamento ou o funcionamento é deficiente. No entanto, o modelo do fluxo cíclico caracteriza-se pela autodepuração viável, capital ambiental sustentável e eficiente mediante as ligações dos sistemas separativos das águas residuais, disposição de estações de tratamentos, reutilização das águas residuais tratadas, inovando em termos de produtividade e de reutilização de nutrientes, fechando o ciclo da água e nutrientes. Inovar a Norma Boliviana 688 considerando um saneamento sustentável do fluxo cíclico, adaptadas para as diversas populações, protegendo a sua saúde, garantindo a implantação de estações de tratamentos eficientes descentralizadas, valorizando a qualidade das águas tratadas aptas para culturas de rega, oferecendo benefícios económicos, socias e ambientais.

Determinação da prevalência de fibrilhação auricular na população portuguesa ao nível da NUTS III usando modelos hierárquicos bayesianos

A Fibrilhação Auricular é uma alteração do ritmo cardíaco designada por arritmia. Esta patologia é considerada a forma de arritmia mais frequentemente observada na prática clínica e que constitui uma importante causa de morbilidade pelo risco inerente de desenvolvimento de AVC. Em 2010 foi realizado um estudo epidemiológico na população Portuguesa com o objectivo determinar a prevalência de Fibrilhação Auricular na população portuguesa com idade igual ou superior a 40 anos, sob o acrónimo de FAMA. Os dados publicados indicaram uma estimativa de prevalência de 2,5%, com um aumento da prevalência em função da classe etária. A nível regional não foram observadas diferenças na taxa de prevalência. Estudos de mapeamento de doenças mostraram que a determinação de taxas de prevalência por região, quando o número de casos observados é relativamente baixo, apresentam sobredispersão e, consequentemente, uma falta de precisão nas estimativas obtidas através um método frequencista clássico. A utilização de modelos Bayesianos hierárquicos no mapeamento de doenças tem apresentado vantagem na estimação de valores de risco da doença comparativamente à abordagem clássica. Assim, é objectivo deste trabalho determinar a prevalência de Fibrilhação Auricular na população Portuguesa por região, ao nível da NUTS III, usando modelos hierárquicos Bayesianos. Os dados utilizados neste estudo são os dados referentes ao estudo FAMA, pós-estratificados para correcção dos ponderadores. O modelo Bayesiano proposto por Besag, York e Mollié (1991) foi usado para modelar os dados, covariando para a idade e índice de massa corporal. A revisão do desenho do estudo e o recálculo dos ponderadores foi realizado com recurso ao software R, survey, e a análise Bayesiana efectuada através do WinBugs. iii Os resultados deste estudo demonstram que o uso de modelos Bayesianos são uma melhor opção para a estimação de valores risco relativo e prevalência da doença. Contudo, a utilização de covariáveis não resultou numa melhoria considerável ao contrário do que seria esperado. Conclui-se que a Fibrilhação Auricular apresenta variações regionais significativas, a nível de NUTS III, que não devem ser desvalorizadas na determinação de políticas de saúde pública para controle da doença.

Modelos de previsão de preços de commodities

O principal objectivo deste trabalho assenta em desenvolver modelos de previsão de preços de commodities para assim comparar a capacidade preditiva da simulação de Monte Carlo com a das redes neuronais. A simulação de Monte Carlo é principalmente utilizada para avaliar as opções, já as redes neuronais são utilizadas para fazer previsões, classificações, clustering ou aproximação de funções. Os diversos modelos desenvolvidos foram aplicados na previsão do preço futuro do milho, petróleo, ouro e cobre. Sendo que os horizontes temporais testados neste trabalho foram 1 dia, 5 dias, 20 dias e 60 dias. Através da análise do erro absoluto médio percentual (MAPE) concluiu-se que no geral o modelo individual que apresentou um melhor desempenho preditivo foram as redes neuronais. Contudo, nas previsões a 1 e a 5 dias os resultados obtidos foram semelhantes para ambos os modelos. Para se tentar melhorar os resultados obtidos pelos modelos individuais foram aplicadas algumas técnicas de combinação de modelos. A combinação de modelos demonstrou no geral capacidade para melhorar os resultados dos modelos individuais, porém apenas para o horizonte a 60 dias é que os resultados melhoraram significativamente.

Modelação numérica de corpos flutuantes – extratores pontuais

Os conversores pontuais de energia das ondas baseiam-se no movimento de um flutuador. Neste trabalho modela-se a resposta de um corpo flutuante quando excitado por ondas regulares e irregulares. Ao contrário da engenharia naval, onde se pretende minimizar os movimentos de um navio face à agitação, na conversão da energia das ondas interessa que o comportamento do corpo flutuante seja ressonante. No entanto, ambos os problemas são modelados pelos mesmos modelos matemáticos. O objetivo deste trabalho é o desenvolvimento de um modelo numérico que permita conhecer o movimento do flutuador quando livre ou ligado a um sistema de conversão de energia Power Take-off (PTO). Nesta dissertação considera-se que o corpo tem apenas liberdade para efetuar movimentos de arfagem. A resolução numérica da dinâmica do extrator apoia-se na teoria linear, sendo nesta dissertação efetuada com recurso ao código comercial Ansys – AQWA, de utilização comum em problemas offshore. Numa primeira fase simulam-se situações para as quais existem resultados publicados na bibliografia, validando-se a metodologia utilizada. Posteriormente, estuda-se o comportamento do sistema de extração para ondas regulares e estados do mar típicos. Variam-se os coeficientes de amortecimento, elásticos e a massa quer do flutuador quer do sistema PTO, otimizando a extração de energia. Utilizam-se análises no tempo e na frequência. O estudo permitiu concluir que é fundamental, do ponto de vista da eficiência energética, que o sistema funcione com características ressonantes, o que é conseguido quando a velocidade do flutuador está em fase com a força de excitação hidrodinâmica. O ajuste da condição de ressonância é conseguida variando os coeficientes elásticos e massa do PTO ou a massa do flutuador.

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.

Uma abordagem para derivar modelos de requisitos a partir de mecanismos de reconhecimento de voz

A elicitação de requisitos é uma das primeiras actividades do processo de Engenharia de Requisitos. Através desta etapa é possível capturar e estruturar os requisitos dos stakeholders e do sistema a ser implementado. Tipicamente esta estruturação é representada através de notação gráfica com o auxílio de ferramentas CASE. Estas ferramentas tornam esta actividade exclusiva, em termos de acessibilidade, a engenheiros sem deficiências físicas devido à complexidade das funcionalidades oferecidas pelas mesmas que permitem construir estes modelos. Nesta dissertação de mestrado é proposto desenvolver uma abordagem com suporte de uma ferramenta para melhorar a acessibilidade, e consequentemente,integrar um engenheiro de requisitos com limitações físicas na actividade de elicitação de requisitos. A ferramenta também possibilita uma alternativa para os stakeholders em geral para produzir modelos sem usar as mãos quando for mais conveniente. Esta abordagem propõe usar mecanismos de voz na geração de modelos de requisitos, mais concretamente modelos de requisitos orientados a objectivos, modelos de objectos e modelos de features usando técnicas de Model-Driven Development (MDD) (e.g., metamodelos). O stakeholder assim irá capturar os seus requisitos através de mecanismos de reconhecimento de voz, sendo automaticamente realizada uma transformação do seu discurso para um modelo KAOS, para um modelo conceptual ou para um modelo de features.

Soldadura por fricção linear assistida por corrente eléctrica das ligas AA 6082-T6 a Ti6Al4V

A ligação dissimilar de ligas de alumínio a ligas de titânio tem elevado potencial para aplicações nas indústrias aeroespacial, automóvel e naval, devido à sua baixa razão peso/resistência mecânica. Contudo, soldar ligas de alumínio a ligas de titânio apresenta-se como um grande desafio, principalmente devido à formação de fases intermetálicas frágeis que têm um efeito negativo nas propriedades mecânicas da junta. Neste estudo, foram realizadas ligações dissimilares das ligas AA6082-T6 a Ti6Al4V, por Fricção Linear assistida por Corrente Eléctrica. Para a utilização de corrente eléctrica na Soldadura por Fricção Linear foram desenvolvidas, produzidas e testadas duas novas ferramentas. A estrutura da ligação foi analisada, por microscopia óptica e electrónica de varrimento. Controlando os parâmetros de soldadura foi possível obter soldaduras topo a topo e sobrepostas com um bom aspecto superficial e com continuidade metálica na interface. Nas ligações topo-a-topo observaram-se defeitos na raiz do cordão. As estruturas na zona soldada dependem fortemente da posição do pino em relação à interface. O uso da corrente eléctrica permitiu reduzir os defeitos na raiz, como vazios e falta de ligação na mesma, sem afectar as características metalúrgicas da interface. A utilização da corrente eléctrica permite aumentar a viscoplasticidade do material e facilitar a deformação plástica à volta do pino.

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.

Modelação automática 2D de mineralizações filonianas – aplicação às Minas da Panasqueira

Neste trabalho apresenta-se uma metodologia protótipo destinada a efectuar a modelação automática a 2D da morfologia de mineralizações filonianas. Em primeiro lugar procede-se à estimação do número de ocorrências de filões em cada bloco, de uma malha de blocos, em que se subdividiu o volume em estudo. Esta intensidade de ocorrências é quantificada por uma variável que representa o número de filões por metro linear(NFM) intersectados por uma sondagem vertical, e constitui o objectivo de intensidade a atingir. Seguidamente são gerados por simulação, linhas poligonais ou arcos correspondentes ao posicionamento dos filões no perfil. Estes arcos ligam alguns pares de intersecções de filões amostrados nas sondagens e são escolhidos ao acaso segundo regras de orientação e distância. Seguidamente faz-se a avaliação da intensidade local de filões do modelo e, para os locais onde exista défice de filões relativamente ao objectivo, são adicionadas intersecções virtuais, ou seja, que não foram reconhecidas por sondagens. Este procedimento continua até o modelo dos filões se aproximar do objectivo previamente definido. O conjunto dos arcos em cada perfil, associado às espessuras de intersecção observadas nas sondagens, constitui um modelo morfológico dos filões em estrutura vectorial. No final faz-se a avaliação quantitativa do modelo e da incerteza. Os dados do estudo prático que motivaram o desenvolvimento da metodologia foram recolhidos no depósito mineral das Minas da Panasqueira. Os resultados obtidos no estudo mostram que a introdução de uma metodologia automática para a modelação vectorial de filões mineralizados é uma mais-valia, porque permite gerar modelos mais realistas e com melhor controlo geológico e resolução do que as abordagens clássicas de possança e acumulação, constituindo um auxiliar precioso de avaliação de reservas de minério.