Validation of NASA rotor 67 with openFOAM's transonic density-based solver

Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Modern techniques for constraint solving the CASPER experience

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

Constraint-based modeling of minimum set covering: application to species differentation

Work presented in the context of the European Master in Computational Logics, as partial requisit for the graduation as Master in Computational Logics

A clustering approach for vehicle routing problems with hard time windows

Dissertação para obtenção do Grau de Mestre em Logica Computicional

Simulação numérica da propagação e rebentação de ondas utilizando o código OpenFoam

Esta dissertação teve o intuito de validar o código numérico do OpenFoam para problemas na área da hidrodinâmica e propagação de ondas. Para a geração de ondas através do código numérico recorreu-se ao solver Waves2Foam, uma ferramenta do OpenFoam baseada no InterFoam, solver baseado no método VoF (Volume of fluid) com a implementação de zonas de relaxamento para a geração e dissipação da energia das ondas. Os casos simulados nesta dissertação tiveram o objectivo de testar a ferramenta para diferentes condições de propagação de ondas e diferentes teorias. Assim é apresentado um caso bidimensional com fundo horizontal e profundidade considerada infinita e outro bidimensional com fundo variável de forma a verificar a ocorrência ou não de rebentação, ambos para ondas regulares de primeira ordem ou ondas de Airy. Além dos casos bidimensionais também são apresentados dois casos tridimensionais com fundo variável, para ondas regulares e bicromáticas e em situação com e sem rebentação. Tanto o caso bidimensional de profundidade variável como o primeiro caso tridimensional foram baseados em ensaios e dados experimentais realizados num canal de profundidade variável para ondas regulares em situação com e sem rebentação. O segundo caso tridimensional também foi baseado em ensaios experimentais no mesmo canal de fundo variável para ondas geradas bicromáticas em situação com e sem rebentação. Através das simulações realizadas pode-se concluir que para casos de propagação de ondas sem rebentação o solver Waves2Foam obtém bons resultados. Já nos casos com rebentação os resultados apresentam alguma discrepância devida à não utilização de modelos de turbulência. No geral, o código numérico do OpenFoam dá bons resultados para resolver problemas de hidrodinâmica através de ondas regulares e de ondas bicromáticas.

Estudo numérico do fenómeno de vibração induzida por vórtices num cilindro com 1 grau de liberdade em OpenFoam

Esta dissertação tem o intuito de validar o código numérico OpenFoam para problemas de fenómeno de vibração induzida por desprendimento de vórtices num cilindro circular com um grau de liberdade transversal ao escoamento. Na primeira parte é simulado o escoamento em torno de um cilindro circular fixo, e na segunda parte o escoamento em torno do cilindro oscilatório. O número de Reynolds é 200 para todas as simulações e o movimento do cilindro é descrito segundo um sistema massa-mola e massa-mola-amortecedor. Para o movimento do cilindro utilizou-se o solver sixDoFRigidDisplacement e para a resolução de problemas de malha móvel o solver displacementLaplacian. O código numérico utilizado para o caso do cilindro fixo foi pimpleFoam e para o caso do cilindro oscilatório o pimpleDyMFoam. As simulações foram feitas através da resolução das equações de Navier-Stokes num domínio computacional bidimensional. Na simulação do escoamento em redor do cilindro fixo, os coeficientes de arrasto e sustentação e o número de Strouhal foram calculados e comparados com resultados da literatura. Os resultados estão próximos da realidade, no entanto observa-se que a dimensão da malha é muito importante para a precisão dos mesmos. Na simulação do escoamento em torno do cilindro oscilatório foram calculados os coeficientes de arrasto e sustentação e deslocamento do cilindro, para os sistemas massa-mola e massa-mola-amortecedor. Para os dois sistemas foi apresentada e comparada a evolução destes resultados em função da velocidade reduzida e por fim foram comparados. Observa-se que o fator de amortecimento afeta as respostas do cilindro, dependo da velocidade reduzida. Os resultados obtidos em ambos os estudos foram satisfatórios e conclui-se que o código OpenFoam é uma boa ferramenta para resolver problemas com o fenómeno de vibração induzida por vórtices.