É uma verdade incontestável que a fadiga constitui um dos problemas mais críticos em engenharia, especialmente em estruturas formadas por materiais dúcteis. Por essa razão, uma grande quantidade de métodos e estudos tem sido desenvolvida para tratar deste problema. No entanto, no caso de materiais quase frágeis como concreto, rochas cerâmicas e alguns tipos de materiais compostos, o efeito que cargas oscilantes produzem sobre estes materiais é menos conhecido e aparentemente também menos crítico. No presente trabalho, se utiliza uma versão do método dos elementos discretos formado por barras para explorar as possibilidades do mesmo na simulação do efeito de fadiga em materiais quase frágeis. Simulações sobre corpos de prova simples são apresentadas e vários aspectos deste estudo são discutidos, entre eles: influência da escala, influência da aleatoriedade nas propriedades do material simulado e se a lei de crescimento prevista por Paris (1961) se apresenta nas simulações realizadas. Finalmente, nas considerações finais, são salientadas as possibilidades que se abrem ao aplicar o modelo de elementos discretos apresentado no estudo de materiais quase frágeis submetidos à ação de cargas oscilantes. / It is an unquestionable truth that fatigue consists in one of the most critical problems of engineering, especially in ductile material structures. For that reason, a great amount of methods and studies has been developed to deal with this matter. However, when it comes to quasi brittle materials like concrete, ceramic stones and a few kinds of composites, the effect of cyclic loading on these materials is less well known, and apparently also less critical. In this work, a version of the discrete elements method formed by bars is applied to explore the possibilities of its use on simulating the effect of fatigue over quasi brittle materials. Simulations are presented over simple test specimens and several features of this study are discussed, among them: the influence of specimen scale, the influence of random distribution on material properties and if crack growth laws previewed by Paris, (Paris et al., 1961) are verified in the performed simulations. In the final considerations, the possibilities brought by applying the discrete elements method in this study of quasi brittle materials submitted to cyclic loading are highlighted.

O presente trabalho trata da verificação e design de sistemas complexos, especificamente da verificação de sistemas de tempo real concorrentes e distribuídos. Propõe-se uma técnica enumerativa para a verificação formal de modelos que permite determinar a validade de propriedades quantitativas, além das qualitativas. A técnica proposta separa a construção do espaço de estados dos algoritmos de rotulação das fórmulas temporais, o que possibilita a diminuição da complexidade do processo de verificação, tornando-o viável para aplicações práticas. A técnica proposta foi inicialmente aplicada sobre modelos de redes de Petri temporizadas e depois em uma rede unificada chamada GHENeSys para aproveitar as características de abstração, hierarquia e de elementos de interação chamados pseudo-boxes. A definição da rede GHENeSys foi modificada para permitir a modelagem de sistemas onde os requisitos temporais devem ser expressos através de atrasos e prazos como e o caso dos sistemas de tempo real. A rede suporta ainda mecanismos de refinamento tanto para os elementos ativos quanto os passivos. A demonstração da manutenção de propriedades como invariantes, vivacidade, limitação assim como da validade de fórmulas lógicas no processo de refinamento constitui um aspecto fundamental no projeto de sistemas complexos, e foi portanto revista em detalhes para a rede GHENeSys. Alguns exemplos práticos são apresentados para avaliar o desempenho dos algoritmos e um estudo de caso finaliza a apresentação, onde se pode contrastar os algoritmos propostos com os implementados na ferramenta UPPAAL. / This work deals with the process of design and verification of complex systems, mainly real time, concurrent and distributed systems. An enumerative technique is proposed for model-checking which is capable of determining both quantitative and qualitative properties. The proposed technique detach the algorithm for labeling the formula being checked from the state space construction, allowing a better result in the verification process. This model-checking approach shows itself valuable in practical applications. This approach was first applied to systems modeled by Time Petri Nets and further extended to a unified net called GHENeSys, which includes abstraction and hierarchy concepts as well as elements for data and control interchange, called pseudo-boxes. The GHENeSys definition was modified in order to deal with systems in which temporal requirements can be expressed through delays and deadlines as in the real-time systems. The GHENeSys environment supports a refinement technique applied to both passive and active elements. Net properties like invariants, liveness, boundedness and also the validity of temporal formulas was proved to be maintained through the refinement process if some conditions are satisfied. Such characteristics are useful to deal with complex systems design. Some experiments based on well known academic articles were used to avaliate the performance of the algorithms and a case study is presented in order to compare obtained results with those obtained using the UPPAAL tool.

O objeto de estudo deste trabalho é a construção de modelos que permitam a estruturação do projeto do controle de sistemas flexíveis de manufatura que considerem não somente estados de operação normal, mas também estados anormais, isto é, em situações de falhas. Entende-se como falha o desvio de pelo menos uma propriedade do sistema que leva o mesmo a um estado de defeito, que por sua vez se define como um comportamento incomum, não projetado, do sistema sob estudo, que finalmente é manifestado como um defeito. Sistemas flexíveis de manufatura são sistemas que executam múltiplos processos visando à produção de diversos bens. O processo é um conjunto de ações de transformação que por sua parte requerem um conjunto de recursos que são compartilhados por outros processos simultaneamente. Sistemas flexíveis de manufatura envolvem um número relativamente grande de componentes, máquinas, equipamentos e operadores humanos, que interagem de maneira diversificada manipulando um grande conjunto de informação e diferentes materiais em ambientes que podem até ser agressivos. Independentemente de qualquer programa de manutenção, falhas são eventos que são possíveis de acontecer em qualquer sistema de tal natureza. Num ambiente ideal, o funcionamento de todos os componentes poderia ser monitorado com o objetivo de detectar as falhas prematuras, mas devido ao custo envolvido, isso se torna inviável. Neste sentido surge o desafio de detectar as falhas a partir da observação do contexto do funcionamento do processo, mediante a monitoração de alguns parâmetros, em geral de fácil acesso, e tomando em consideração manifestações (sintomas) das falhas de um ponto de vista qualitativo. O presente trabalho propõe a utilização de redes Bayesianas para o diagnóstico de falhas em sistemas flexíveis de manufatura. As redes Bayesianas constituem uma ferramenta útil para a representação das relações que existem entre as causas (componentes em estado de falha) e os sintomas (observações anormais do processo). A partir deste modelo, inferências podem ser feitas para o diagnóstico do sistema.Por outro lado, nos últimos anos a rede de Petri tem sido utilizada exitosamente na representação dos aspectos de controle de sistemas produtivos e particularmente de sistemas de manufatura e, desta forma, considera-se aqui tal ferramenta para a modelagem do sistema não só em condições normais de funcionamento como também para a representação do tratamento de falhas, no contexto de um sistema tolerante a anomalias do processo. Especial ênfase é dada à estruturação de uma metodologia que permita a concepção de um procedimento eficaz para a construção de modelos de controle. / The objective of the present work is the construction of models proper for the easy implementation of flexible manufacturing control systems able to handle not only with normal behavioral conditions, but with abnormal (or faulty) behavior as well. A fault is defined as a deviation of at least one system property that drives the system into an error state. An error is defined as an uncommon behavior, not expected from the system functionalities. Flexible manufacturing systems are systems that execute multiple processes for the production of several items in several ways. A process is a sequence of certain transformation tasks that require a set of resources shared simultaneously by multiple processes. In this sense, flexible manufacturing systems are constituted of a relatively great number of devices, machines, equipments and human operators that work together manipulating great quantities of information and materials. This work is usually performed in aggressive environments. So, independent of any maintenance program, faults are events that cannot be totally avoided. In an ideal environment, the monitoring of all components is the way to avoid faults. Nevertheless, due to the cost involved, this is an impossible task. In this context, there is a challenge to properly detect faults from the observation of the systems context, through the monitoring and observation of some parameters in general easy to access, including also qualitative information from operators. In the present work, it is proposed the use of Bayesian networks for the fault diagnosis in flexible manufacturing systems. Bayesian networks constitute a useful tool for the modeling of the causal relation between the causes (faulty components) and the symptoms (manifestations). Based on this model, inference can be done for the system diagnosis task. Additionally, in the last years Petri net has been successfully used for the modeling of control systems of productive systems and particularly, manufacturing control systems. In this work, beyond the use of Petri net for the modeling of normal situations of the system, Petri net is used for the modeling of the fault treatment techniques. This drives the system tolerance to faults. Especial emphasis is laid into methodological issues that allows for the structuration of a systematic procedure proper for the modeling and construction of control systems.

Este trabalho apresenta uma formulação do Método dos Elementos Discretos (MED) utilizando uma abordagem vetorial para o tratamento das rotações. As rotações são calculadas com a parametrização de Rodrigues. As principais contribuições do trabalho são: o cálculo dos deslocamentos tangentes utilizando o vetor das rotações incrementais da parametrização de Rodrigues; e, a integração do movimento de rotação utilizando o método leapfrog com as expressões da parametrização das rotações de Rodrigues. A formulação é apresentada para partículas esféricas e superelipsóides. O cálculo do deslocamento tangente, que é utilizado para o cálculo das forças de atrito, é feito a partir da velocidade angular da partícula. Em geral, o deslocamento tangente é calculado a partir da velocidade linear instantânea do ponto de contato. Aqui, o deslocamento do ponto de contato é dado pelo movimento da partícula, tanto de translação quanto de rotação. Apesar da abordagem por meio de rotações, é mostrado este cálculo pode ser feito sem o uso de tensores de segunda ordem. O movimento da partícula é descrito por uma abordagem incremental. É apresentada uma formulação do método de integração leapfrog com a utilização da expressão das rotações sucessivas da parametrização de Rodrigues. A detecção do contato entre superelipsóides é feita por um método do tipo \"vetor normal comum\", resolvido como um problema de minimização. Os resultados mostram que a parametrização de Rodrigues pode ser utilizada com método dos elementos discretos tanto para a execução da rotação quanto para o cálculo de grandezas que envolvem este tipo de movimento como o deslocamento tangente. / This work presents a formulation for Discrete Element Method (DEM) adopting a vector ap-proach to solve rotations. Herein, rotations are solved using Rodrigues parameterization. The main contributions of this work are: tangential displacements using the incremental rotation vector from Rodrigues parameterization, and integration of the rotation movement using leap-frog method and Rodrigues rotation tensor. The formulations are presented to spheres and superelliptical particles. Tangential displacements, which are used to get friction forces, are calculated through angular velocity. In most of DEM implementations, tangential displacements are calculated through the instantaneous linear velocity of the contact point. Instead, here the displacement of the contact point is given through the rotation of the particle. It is showed that the vector of in-cremental rotations can be calculated through the angular velocity. Particle movement is described using an updated Lagrangian approach. Leapfrog method is formulated in such a way to use the Rodrigues expression for successive rotations. Contact detection between superellipsoids is solved using a technic called \"common normal approach\", and it is solved as a minimization problem. The results show that the Rodrigues parameterization can be applied to discrete element method to both execute rotations and to evaluate physical quantities that are related to this kind of movement as tangential displacement.

Este estudo considera o problema de controle ótimo multi-período de média-variância para sistemas em tempo discreto com saltos markovianos e ruídos multiplicativos. Inicialmente considera-se um critério de desempenho formado por uma combinação linear da variância nal e valor esperado da saída do sistema. É apresentada uma solução analítica na obtenção da estratégia ótima para este problema. Em seguida são considerados os casos onde os critérios de desempenho são minimizar a variância nal sujeito a uma restrição no valor esperado ou maximizar o valor esperado nal sujeito a uma restrição na variância nal da saída do sistema. As estratégias ótimas de controle são obtidas de um conjunto de equações de diferenças acopladas de Riccati. Os resultados obtidos neste estudo generalizam resultados anteriores da literatura para o problema de controle ótimo com saldos markovianos e ruídos multiplicativos, apresentando condições explícitas e sucientes para a otimalidade da estratégia de controle. São apresentados modelos e simulações numéricas em otimização de carteiras de investimento e estratégias de gestão de ALM (asset liabilities management). / This thesis focuses on the stochastic optimal control problem of discrete-time linear systems subject to Markov jumps and multiplicative noise under three kinds of performance criterions related to the nal value of the expectation and variance of the output. In the first problem it is desired to minimize the nal variance of the output subject to a restriction on its nal expectation, in the second one it is desired to maximize the nal expectation of the output subject to a restriction on its nal variance, and in the third one it is considered a performance criterion composed by a linear combination of the nal variance and expectation of the output of the system. The optimal control strategies are obtained from a set of interconnected Riccati dierence equations and explicit sufficient conditions are presented for the existence of an optimal control strategy for these problems, generalizing previous results in the literature. Numerical simulations of investment portfolios and asset liabilities management models for pension funds with regime switching are presented.

Esta tese trata do problema de controle ótimo estocástico de sistemas com saltos Markovianos e ruído multiplicativo a tempo discreto, com horizontes de tempo finito e infinito. A função custo é composta de termos quadráticos e lineares nas variáveis de estado e de controle, com matrizes peso indefinidas. Como resultado principal do problema com horizonte finito, é apresentada uma condição necessária e suficiente para que o problema de controle seja bem posto, a partir da qual uma solução ótima é derivada. A condição e a lei de controle são escritas em termos de um conjunto acoplado de equações de Riccati interconectadas a um conjunto acoplado de equações lineares recursivas. Para o caso de horizonte infinito, são apresentadas as soluções ótimas para os problemas de custo médio a longo prazo e com desconto, derivadas a partir de uma solução estabilizante de um conjunto de equações algébricas de Riccati acopladas generalizadas (GCARE). A existência da solução estabilizante é uma condição suficiente para que tais problemas sejam do tipo bem posto. Além disso, são apresentadas condições para a existência das soluções maximal e estabilizante do sistema GCARE. Como aplicações dos resultados obtidos, são apresentadas as soluções de um problema de otimização de carteiras de investimento com benchmark e de um problema de gestão de ativos e passivos de fundos de pensão do tipo benefício definido, ambos os casos com mudanças de regime nas variáreis de mercado. / This thesis considers the finite-horizon and infinite-horizon stochastic optimal control problem for discrete-time Markov jump with multiplicative noise linear systems. The performance criterion is assumed to be formed by a linear combination of a quadratic part and a linear part in the state and control variables. The weighting matrices of the state and control for the quadratic part are allowed to be indefinite. For the finite-horizon problem the main results consist of deriving a necessary and sufficient condition under which the problem is well posed and a optimal control law is derived. This condition and the optimal control law are written in terms of a set of coupled generalized Riccati difference equations interconnected with a set of coupled linear recursive equations. For the infinite-horizon problem a set of generalized coupled algebraic Riccati equations (GCARE) is studied. In this case, a sufficient condition under which there exists the maximal solution and a necessary and sufficient condition under which there exists the mean square stabilizing solution for the GCARE are presented. Moreover, a solution for the discounted and long run average cost problems is presented. The results obtained are applied to solver a portfolio optimization problem with benchmark and a pension fund problem with regime switching.

Investiga-se, em tempo discreto, o problema multi-período de otimização de carteiras generalizado em média-variância cujos coeficientes de mercado são modulados por uma cadeia de Markov finita. O problema multi-período generalizado de média-variância com saltos Markovianos (PGMV ) é um problema de controle estocástico sem restrição cuja função objetivo consiste na maximização da soma ponderada ao longo do tempo da combinação linear de três elementos: o valor esperado da riqueza do investidor, o quadrado da esperança desta riqueza e a esperança do quadrado deste patrimônio. A principal contribuição deste trabalho é a derivação analítica de condições necessárias e suficientes para a determinação de uma estratégia ótima de investimento para o problema PGMV . A partir deste modelo são derivadas várias formulações de médiavariância, como o modelo tradicional cujo objetivo é maximizar o valor esperado da riqueza final do investidor, dado um nível de risco (variância) do portfólio no horizonte de investimento, bem como o modelo mais complexo que busca maximizar a soma ponderada das esperanças da riqueza ao longo do tempo, limitando a perda deste patrimônio em qualquer momento. Adicionalmente, derivam-se formas fechadas para a solução dos problemas citados quando as restrições incidem somente no instante final. Outra contribuição deste trabalho é a extensão do modelo PGMV para a solução do problema de seleção de carteiras em média-variância com o objetivo de superar um benchmark estocástico, com restrições sobre o valor esperado ou sobre a variância do tracking error do portfólio. Por fim, aplicam-se os resultados obtidos em exemplos numéricos cujo universo de investimento são todas as ações do IBOVESPA. / In this work we deal with a discrete-time multi-period mean-variance portfolio selection model with the market parameters subject to Markov regime switching. The multi-period generalized mean-variance portfolio selection model with regime switching (PGMV ) is an unrestricted stochastic control problem, in which the objective function involves the maximization of the weighted sum of a linear combination of three parts: the expected wealth, the square of the expected wealth and the expected value of the wealth squared. The main contribution of this work is the analytical derivation of necessary and sufficient conditions for the existence of an optimal control strategy to this PGMV model. We show that several mean-variance models are derived from the PGMV model, as the traditional formulation in which the objective is to maximize the expected terminal wealth for a given final risk (variance), or the complex one in which the objective function is to maximize the weighted sum of the wealth throughout its investment horizon, with control over maximum wealth lost. Additionally, we derive closed forms solutions for the above models when the restrictions are just in the final time. Another contribution of this work is to extend the PGMV model to solve the multi-period portfolio selection problem of beating a stochastic benchmark with control over the tracking error variance or its expected value. Finally, we run numerical examples in which the investment universe is formed by all the stocks belonging to the IBOVESPA.

Neste trabalho, apresentamos em primeiro lugar um estudo de dois trabalhos de J. P. LaSalle, abordando o comportamento assintótico de sistemas discretos. Em segundo lugar, estudamos a dinâmica de um sistema discreto que depende de um parâmetro l em L, da forma x(n+1) = f(x(n), l). Como uma parte deste objetivo geral, desenvolvemos técnicas para obter estimativas uniformes (em relação ao parâmetro l em L) do atrator quando o sistema for globalmente dissipativo. Esses métodos são baseados em funções auxiliares tipo Liapunov. No final deste trabalho, apresentamos algumas simulações envolvendo sistemas discretos caóticos, como os sistemas de Chua, Hénon, Ikeda, Lorenz e Rössler. / Firstly, in this work, we present a study of part of two works by J. P. LaSalle, concerning with asymptotic behavior of discrete systems. Secondly, we study the dynamics of a discrete system that depends on a parameter l in L, of the form x(n+1) = f(x(n), l). As part of this general purpose, we develop tecniques to obtain uniform estimates (with respect to the parameter l in L) of the attractor when the system is globally dissipative. These methods are based on auxiliary functions of Liapunov type. In the last part of this work we present some simulations envolving chaotic discrete systems, namely: Chua, Hénon, Ikeda, Lorenz and Rössler.

Rede de Petri é uma poderosa ferramenta de modelagem gráfica e matemática bastante aplicada no desenvolvimento de projetos de sistemas de eventos discretos. Porém a sua aplicação na análise e interpretação de tais sistemas torna-se inviável por resultar em modelos grandes, com muitos elementos gráficos. Para solucionar tal problema, vários pesquisadores têm concentrado esforços no desenvolvimento de novas extensões e métodos de síntese de rede de Petri, para reduzir o tamanho dos modelos e assim facilitar a sua aplicação e análise de sistemas grandes e complexos. Rede de Petri Virtual é uma nova extensão de rede de Petri que possibilita a modelagem de tais sistemas de forma modular. Cada elemento do sistema é representado por um módulo e a comunicação entre eles é feita através dos nós virtuais. Esse trabalho formaliza a definição de rede de Petri virtual, desenvolve algoritmo e procedimento de junção dos módulos para gerar o modelo final, uma rede de Petri ordinária que representa o sistema completo. / Petri net is a powerful graphical and mathematical modeling tool commonly used to project Discrete Events Systems. The increasing complexity of such systems does not allow the use of Petri net tools due to the large size of the models (many graphical elements), which is difficult to understand and analyze. Due to this fact, researchers have been made efforts to the development of new synthesis methods for Petri nets, in order to reduce the models size and become easier its use and the analysis task of the systems properties. Virtual Petri net is a new kind (extension) of Petri net, combining its best in control and representation of discrete events systems to the best of modular modeling. This king of Petri net allows to build up models of complex systems from the modules that represent its elements, linked by the virtual nodes. The present work formalizes the definition of Virtual Petri Net. Also develops an algorithm to its use in the discrete events systems and presents a procedure to link and assemble the modules in the whole model. The modular modeling makes easier the understanding and graphical visualization of the system, keeping the final model the same features of the common Petri nets.

No presente trabalho é apresentada uma versão do Método dos Elementos Discretos formado por barras (DEM) no estudo do colapso de estruturas. O Método dos Elementos Discretos foi introduzido, especialmente, para a simulação numérica de problemas de dano e fratura. Esse método tem habilidade natural para introduzir descontinuidades de uma maneira muito direta e intuitiva. Além disso, métodos discretos oferecem uma estrutura conveniente para dar conta da desordem da microestrutura do material por meio de modelos estatísticos. A versão do DEM utilizada neste trabalho consiste na discretização do contínuo em barras que formam uma treliça espacial regular, onde massas equivalentes são concentradas nos nós, e as rigidezes das barras são equivalentes ao contínuo que tentam representar. Leis uniaxiais de dano permitem modelar fratura e dano anisotrópico com relativa facilidade. Esta versão foi amplamente testada em diversos campos da Engenharia, entre eles, problemas dinâmicos, de impacto, geração e propagação de sismos, estudo de efeito de escala em rochas e concreto, análise da microestrutura de materiais. Este trabalho apresenta dois grandes temas, nos quais foram realizadas implementações no DEM que aumentam sua aplicabilidade. Também são implementadas modificações nas leis constitutivas antes utilizadas, e apresentadas, também, novas leis para dar flexibilidade na calibração dos modelos. São comparados os resultados utilizando as diversas leis na análise do efeito de escala de placas submetidas à tração. Também são analisados os resultados obtidos sob a óptica da teoria de escala multifractal. Neste campo, encontram-se respostas muito interessantes que explicam os mecanismos de fratura, assim como dão uma noção de que alterações deveriam ser realizadas no DEM para conseguir que o método fique completamente objetivo em relação à escala. Nesse processo, estudam-se diferentes formas de obter as dimensões fractais de placas de rocha submetidas à tração e é analisada a influência de alguns dos parâmetros do DEM, além da relação constitutiva utilizada. Finalmente, o DEM é introduzido dentro do sistema comercial Abaqus, com objetivo de resolver problemas com grande quantidade de graus de liberdade ou com as condições de contorno ou de carregamento muito complexos. Apresentam-se exemplos de validação e exemplos de aplicação que mostram as vantagens das inovações realizadas. / This paper presents a version of the Truss-like Discrete Element Method in the study of the collapse of structures. The discrete element method was introduced especially for numerical simulation of fracture and damage problems. This method has the natural ability to introduce discontinuities in a very direct and intuitive way. Moreover, discrete methods offer a convenient framework to account for the disorder of the material microstructure by means of statistical models. The truss-like Discrete Element Method (DEM) used in this work represents the continuum by means of a periodic spatial arrangement of bars with the masses lumped at their ends. The rigidity of the bars is equivalent to the continuum to trying to represent. Uniaxial damage Laws allow model fracture and anisotropic damage with relative ease. This version was widely tested in various engineering fields including: dynamics problems, impact, generation and propagation of earthquakes, study of scale effect in rock and concrete analysis of the microstructure of materials. This work presents two major issues in witch were performed DEM implementations that increase its applicability. To obtain a better description of the model modifications in the constitutive laws are implemented and new ones are presented. The scale effect results of plates of rock subjected to traction obtained to different laws are compared. These obtained results are examined under the Multifractal scaling law theory. In this field, very interesting answers that explain the mechanisms of fracture are found. They gives some notions of which changes should be made in DEM to obtain a fully scale objective method. In the process, different ways to obtain the fractal dimension of rock plates subjected to traction are studied. The influence of some DEM parameter and constitutive laws are also analyzed. Finally, the DEM has been implemented within the commercial system ABAQUS to solve problems with a large number of degrees of freedom or very complex contour or loading conditions. Presents examples of validation and application that show the benefits of innovations through.