Data-centric concurrency control on the java programming language

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Child programming: an adequate domain specific language for programming specific robots

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Modelação e análise não-linear do comportamento dinâmico de um passadiço pedonal

Dissertação para obtencão do Grau de Mestre em Engenharia Civil - Perfil Estruturas

Um elemento finito fisicamente não-linear para vigas mistas aço-betão

Dissertação para obtenção do Grau de Mestre em Engenharia Civil

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.

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.

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.

Modelação não linear de estruturas metálicas e mistas em situação de incêndio no software OpenSees

Os incêndios em edifícios representam um fenómeno que pode ter consequências devastadoras quando não controlado, não só em termos de perdas de vidas humanas, como em termos económicos. No passado, a ocorrência de incêndios de grandes dimensões mostrou os efeitos do fogo descontrolado nos edifícios, assim como a ineficiência dos meios de segurança ativa ao fogo. Nas últimas duas décadas, estas questões motivaram o estudo e compreensão da ação dos incêndios nas estruturas dos edifícios. Neste trabalho estuda-se a modelação da ação do fogo em estruturas metálicas e mistas, com o objetivo de contribuir para a sua melhor caracterização. A presente tese foca-se na validação e compreensão da implementação de análises termo-mecânicas a estruturas mistas no software de elementos finitos OpenSees (Open System for Earthquake Engineering Simulation), contribuindo assim para futuros estudos, não só de análises de estruturas mistas sujeitas a incêndio, mas também de análises de estruturas mistas sujeitas a eventos consecutivos, como sismo seguido de incêndio. Neste trabalho é feita uma breve descrição do fenómeno fogo, assim como dos processos inerentes à dinâmica de um incêndio que constituem uma fonte de incerteza para a modelação de cenários de incêndio num edifício. Posto isto, são abordados alguns modelos de incêndios presentes nos Eurocódigos, assim como o recente modelo de fogos móveis(“Travelling fires”). São realizados exemplos de aplicação no software e dois casos de estudo. O primeiro consiste na modelação de dois ensaios ao fogo realizados na Alemanha em 1986 em estruturas metálicas à escala 1/4. O segundo consiste na modelação de um ensaio ao fogo a uma viga de betão armado simplesmente apoiada, realizado no Instituto Superior Técnico em 2010. Os modelos numéricos desenvolvidos no OpenSees contabilizam as não linearidades físicas e geométricas, com elementos finitos de plasticidade distribuída e com uma formulação baseada em deslocamentos. Os resultados numéricos são então comparados com os experimentais, de modo a validar as análises termo-mecânicas no OpenSees.

Desenvolvimento experimental e simulação numérica em soldadura por fricção linear assistida por corrente elétrica

A soldadura por fricção linear (SFL) é um processo de ligação no estado sólido com capacidade para soldar materiais dissimilares e ligas metálicas de baixa soldabilidade. Contudo, nas juntas soldadas com uma configuração topo-a-topo é possível o aparecimento de defeitos na raiz do cordão, nomeadamente, de falta de penetração e de alinhamentos de óxidos. Estes defeitos são responsáveis pela diminuição da resistência mecânica das juntas, sobretudo quando sujeitas a esforços de fadiga. Existem variantes do processo para eliminar este tipo de defeitos, no entanto, verificam-se algumas dificuldades tecnológicas e a competitividade do processo é afetada. No âmbito deste trabalho desenvolveu-se uma variante do processo designado soldadura por fricção linear assistida por corrente elétrica (SFLAE). Esta variante consiste em introduzir uma corrente elétrica de elevada intensidade na zona da raiz do cordão, por forma a que o calor gerado por efeito de Joule aqueça o material e aumente o fluxo visco-plástico nessa zona, tendo em vista atenuar ou eliminar os defeitos na raiz. Foram concebidas e produzidas ferramentas de SFL dedicadas, melhorado um modelo analítico do processo, realizadas simulações numéricas para permitir compreender alguns fenómenos físicos envolvidos no processo, e realizados ensaios experimentais de validação. A análise aos cordões permitiu observar uma diminuição da espessura dos defeitos na raiz em três ensaios realizados na liga AA1100 e AA6084-T6 usando intensidades de corrente de 300 A. Dos resultados de microdureza e de medição de condutividade elétrica é possível concluir que a microestrutura do material não é significativamente alterada pela passagem de corrente elétrica.

Diffusional kurtosis imaging using a fast heuristic constrained linear least squares algorithm: a plugin for OsiriX

Diffusion Kurtosis Imaging (DKI) is a fairly new magnetic resonance imag-ing (MRI) technique that tackles the non-gaussian motion of water in biological tissues by taking into account the restrictions imposed by tissue microstructure, which are not considered in Diffusion Tensor Imaging (DTI), where the water diffusion is considered purely gaussian. As a result DKI provides more accurate information on biological structures and is able to detect important abnormalities which are not visible in standard DTI analysis. This work regards the development of a tool for DKI computation to be implemented as an OsiriX plugin. Thus, as OsiriX runs under Mac OS X, the pro-gram is written in Objective-C and also makes use of Apple’s Cocoa framework. The whole program is developed in the Xcode integrated development environ-ment (IDE). The plugin implements a fast heuristic constrained linear least squares al-gorithm (CLLS-H) for estimating the diffusion and kurtosis tensors, and offers the user the possibility to choose which maps are to be generated for not only standard DTI quantities such as Mean Diffusion (MD), Radial Diffusion (RD), Axial Diffusion (AD) and Fractional Anisotropy (FA), but also DKI metrics, Mean Kurtosis (MK), Radial Kurtosis (RK) and Axial Kurtosis (AK).The plugin was subjected to both a qualitative and a semi-quantitative analysis which yielded convincing results. A more accurate validation pro-cess is still being developed, after which, and with some few minor adjust-ments the plugin shall become a valid option for DKI computation

Towards an algorithmic skeleton framework for programming the Intel R Xeon PhiTM processor

The Intel R Xeon PhiTM is the first processor based on Intel’s MIC (Many Integrated Cores) architecture. It is a co-processor specially tailored for data-parallel computations, whose basic architectural design is similar to the ones of GPUs (Graphics Processing Units), leveraging the use of many integrated low computational cores to perform parallel computations. The main novelty of the MIC architecture, relatively to GPUs, is its compatibility with the Intel x86 architecture. This enables the use of many of the tools commonly available for the parallel programming of x86-based architectures, which may lead to a smaller learning curve. However, programming the Xeon Phi still entails aspects intrinsic to accelerator-based computing, in general, and to the MIC architecture, in particular. In this thesis we advocate the use of algorithmic skeletons for programming the Xeon Phi. Algorithmic skeletons abstract the complexity inherent to parallel programming, hiding details such as resource management, parallel decomposition, inter-execution flow communication, thus removing these concerns from the programmer’s mind. In this context, the goal of the thesis is to lay the foundations for the development of a simple but powerful and efficient skeleton framework for the programming of the Xeon Phi processor. For this purpose we build upon Marrow, an existing framework for the orchestration of OpenCLTM computations in multi-GPU and CPU environments. We extend Marrow to execute both OpenCL and C++ parallel computations on the Xeon Phi. We evaluate the newly developed framework, several well-known benchmarks, like Saxpy and N-Body, will be used to compare, not only its performance to the existing framework when executing on the co-processor, but also to assess the performance on the Xeon Phi versus a multi-GPU environment.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Modelação não-linear do comportamento de vigas-parede

Com a evolução dos recursos computacionais e o desenvolvimento dos modelos constitutivos disponíveis na avaliação do comportamento estrutural de elementos de betão armado, é comum recorrer-se cada vez mais a modelos numéricos que consideram a não-linearidade física e geométrica. As simulações numéricas obtidas com recurso a este tipo de modelos computacionais permitem obter um historial completo do comportamento estrutural, desde o início da aplicação do carregamento, até ao colapso total da estrutura. Contudo, verifica-se que em zonas de descontinuidade geométrica em estruturas de betão armado, a evolução do padrão de fendilhação é um fenómeno relativamente complexo, cuja simulação numérica representa um desafio considerável. O objectivo deste trabalho é o de verificar a aplicabilidade do Método dos Elementos Aplicados no estudo do desenvolvimento do padrão de fendilhação em paredes de betão armado, solicitadas por um carregamento monotónico. Foi analisado um conjunto de dez paredes, todas com uma abertura que provoca uma zona de descontinuidade geométrica e, consequentemente, um padrão de fendilhação mais complexo. Cada parede tem uma pormenorização de armadura diferente, permitindo verificar a fiabilidade do modelo computacional. Os resultados numéricos foram comparados com ensaios experimentais realizados por Bounassar Filho [8], permitindo tirar conclusões sobre as vantagens e as limitações deste método, quando aplicado ao estudo de estruturas de betão armado solicitadas por cargas monotónicas.

Sintonização de controladores difusos através de técnicas de optimização não-linear com restrições

A presente dissertação tem como objetivo principal a implementação de uma arquitetura baseada em algoritmos evolutivos para a sintonização dos parâmetros do controlador PID (Proporcional-Integral-Derivativo) difuso, sendo o conceito de desempenho em malha fechada explicitamente tido em conta. A sintonização dos parâmetros do controlador difuso é realizada tendo em conta um problema de otimização com restrições, em que a função de custo a ser minimizada é descrita em termos do desempenho em malha fechada, com a dinâmica do sistema a ser aproximada por um modelo não linear. Como nas metodologias de otimização existentes, a incorporação de mecanismos de adaptação referentes às funções de pertença não é comum, na presente dissertação é tido em conta, para além da usual sintonização dos fatores de escala, a sintonização dos fatores de escala e funções de pertença em simultâneo. Os resultados experimentais realizados num sistema de referência, visam demonstrar os benefícios de incorporar as funções de pertença no processo de otimização em diferido. É também utilizado um método analítico de segunda ordem como referência, por forma a comparar o desempenho de uma abordagem de otimização global contra uma de otimização local. Finalmente é implementada uma abordagem em-linha, usando o método analítico de segunda ordem, na otimização dos fatores de escala e funções de pertença.