• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 51
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 53
  • 53
  • 29
  • 29
  • 27
  • 21
  • 18
  • 12
  • 11
  • 9
  • 9
  • 8
  • 8
  • 8
  • 8
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Determinação do gradiente de pH na região interna a duas membranas em equilíbrio com eletrólito /

Ratero, Davi Rubinho. January 2013 (has links)
Orientador: João Ruggiero Neto / Banca: Iolanda Midea Cuccovia / Banca: Sidney Jurado de Carvalho / Resumo: Este trabalho desenvolve uma investigação teórica sobre o gradiente de pH em uma região delimitada por duas membranas que se ionizam em equilíbrio com uma solução eletrolítica. O objetivo foi de aplicar esta teoria para o espaço intermembranar da mitocôndria, investigando uma possível relação entre a ionização dos fosfolipídeos que constituem estas membranas e o controle de pH . O modelo utiliza a aproximação de campo médio, resolvendo-se a equação de Poisson-Boltzmann para um sistema composto por dois planos infinitos, fixos e separados por uma distância L. A densidade superficial de carga em cada plano é função da ionização dos grupos que o compõem e, portanto, dependente do equilíbrio químico com a solução circundante. Dois sistemas foram considerados, o primeiro com a solução contendo apenas os contraíons provenientes da ionização e o segundo contendo, uma solução eletrolítica, além dos contraíons. Foram analisados o potencial eletrostático médio e o pH em função da distância, variando-se a concentração de sal e a área disponível por molécula ionizável. O comportamento resultante mostra que a ionização contribui para manter o valor do pH estável nas vizinhanças da membrana. Assim, o gradiente de pH no espaço intermembranar da mitocôndria pode estar associado à ionização das moléculas que a compõem / Abstract: This work develops a theoretical model to investigate the pH gradient in a region bounded by two phospholipid bilayers that ionize in equilibrium with an electrolytic solution. The objective was to apply this theoretical model to the mitochondrial intermembrane space by investigating a possible relationship between the ionization of the phospholipids of the membrane and the pH control. The theoretical model was based on a mean field approximation. The Poisson - Boltzmann equation was solved for a system composed by two infinite planes separated by a distance L. The surface charge density in each plane is a function of the ionization of their ionizing groups and therefore dependent on the chemical equilibrium with the surrounding solution. Two systems were considered, the first takes into account only the counterions from the ionization. The second takes into account also the presence of an electrolyte besides the counterions. For these two systems the mean electrostatic potential and the pH were analyzed as a function of the distance from the charged planes for different values of both the added salt concentration and the cross section of the ionizable groups. The results obtained evidence that the ionization contributes to maintain the pH value stable near the membranes. These results suggest that the pH gradient in the mitochondrial intermembrane space is likely to be associated to the ionization of the phospholipid molecules / Mestre
12

Efeitos de correlações eletrostáticas na equação de estado de suspensões coloidais carregadas

Colla, Thiago Escobar January 2012 (has links)
No presente trabalho, investigamos os efeitos de correlações eletrostáticas no cálculo de propriedades termodinâmicas em suspensões coloidais carregadas. Esse estudo tem por objetivo estabelecer as causas dos desvios observados no cálculo das compressibilidades osmóticas quando obtidos pela teoria de flutuações e pela equação de estado do modelo de Jellium renormalizado. Os efeitos das correlações iônicas são analisados no contexto da teoria de funcionais de densidade e da teoria de equações integrais no modelo primitivo. Nossos resultados indicam que as discrepâncias podem estar associadas a efeitos de correlações iônicas ausentes na teoria de campo médio. / In the present work we investigate the effects of electrostatic correlations on the calculation of thermodynamic properties in charged colloidal suspensions. This study has the objective of establishing the causes of the observed deviations in the calculation of the osmotic compressibility obtained by the fluctuation theory and by the equation of state from the renormalized Jellium model. The effects of the ionic correlations are analyzed under the context of the density functional theory and of the integral equations theory in the primitive model. Our results indicate that the discrepancies may be associated to ionic correlation effects absent in the mean field level.
13

Intransitividade e coexistência em jogos de dominância cíclica

Lutz, Alessandra Friedrich January 2015 (has links)
A intransitividade é uma propriedade dos grafos conectados e orientados que representam interações entre espécies. Essa propriedade está associada `a persistência da coexistência mesmo na presença de competição, sendo o jogo Pedra-Papel-Tesoura o exemplo padrão. Neste trabalho, consideramos uma generalização com quatro espécies, que é o número mínimo necessário para que haja outras interações além do ciclo único (um predador, uma presa). Além disso, introduzimos sítios vazios dinâmicos ao sistema, os quais afetam o nível de intransitividade nas interações. Verificamos então que, ao contrário do que o campo médio prevê, na rede quadrada o modelo apresenta duas transições, cujas localizações dependem das probabilidades de predação e reprodução. A primeira transição ocorre entre um estado absorvente, com apenas uma espécie, para um estado em que todas as espécies coexistem. A transição seguinte ocorre quando uma das quatro estratégias é extinta. Essa dependência com as probabilidades de predação e reprodução demonstra que a estrutura do grafo de interação sozinha não é suficiente para prever os resultados finais em modelos desse tipo. Adicionalmente, probabilidades diferentes de predação permitem ajustar o nível de transitividade do sistema, indicando que é necessária uma quantidade mínima de intransitividade para que a coexistência entre todas as espécies persista. / Intransitivity is a property of connected, oriented graphs representing species interactions that may drive their coexistence even in the presence of competition, the standard example being the three species Rock-Paper-Scissors game. We consider here a generalization with four species, the minimum number of species allowing other interaction beyond the single loop (one predator, one prey). We also consider dynamic empty sites, which affect the amount of intransitivity in the system. We show that contrary to the mean field prediction, in the square lattice the model presents two transitions as the parameters setting the predation and reproduction rates change, from an absorbing state with one species only, to a coexistent state first, and then to a state in which one species gets extinct. Such a dependence on the predation and reproduction rates shows that the interaction graph structure alone is not enough to predict the outcome of such models. In addition, different predation rates permit to tune the level of transitiveness, indicating that for the coexistence of all species to persist, there must be a minimum amount of intransitivity.
14

Intransitividade e coexistência em jogos de dominância cíclica

Lutz, Alessandra Friedrich January 2015 (has links)
A intransitividade é uma propriedade dos grafos conectados e orientados que representam interações entre espécies. Essa propriedade está associada `a persistência da coexistência mesmo na presença de competição, sendo o jogo Pedra-Papel-Tesoura o exemplo padrão. Neste trabalho, consideramos uma generalização com quatro espécies, que é o número mínimo necessário para que haja outras interações além do ciclo único (um predador, uma presa). Além disso, introduzimos sítios vazios dinâmicos ao sistema, os quais afetam o nível de intransitividade nas interações. Verificamos então que, ao contrário do que o campo médio prevê, na rede quadrada o modelo apresenta duas transições, cujas localizações dependem das probabilidades de predação e reprodução. A primeira transição ocorre entre um estado absorvente, com apenas uma espécie, para um estado em que todas as espécies coexistem. A transição seguinte ocorre quando uma das quatro estratégias é extinta. Essa dependência com as probabilidades de predação e reprodução demonstra que a estrutura do grafo de interação sozinha não é suficiente para prever os resultados finais em modelos desse tipo. Adicionalmente, probabilidades diferentes de predação permitem ajustar o nível de transitividade do sistema, indicando que é necessária uma quantidade mínima de intransitividade para que a coexistência entre todas as espécies persista. / Intransitivity is a property of connected, oriented graphs representing species interactions that may drive their coexistence even in the presence of competition, the standard example being the three species Rock-Paper-Scissors game. We consider here a generalization with four species, the minimum number of species allowing other interaction beyond the single loop (one predator, one prey). We also consider dynamic empty sites, which affect the amount of intransitivity in the system. We show that contrary to the mean field prediction, in the square lattice the model presents two transitions as the parameters setting the predation and reproduction rates change, from an absorbing state with one species only, to a coexistent state first, and then to a state in which one species gets extinct. Such a dependence on the predation and reproduction rates shows that the interaction graph structure alone is not enough to predict the outcome of such models. In addition, different predation rates permit to tune the level of transitiveness, indicating that for the coexistence of all species to persist, there must be a minimum amount of intransitivity.
15

Anomalia na densidade em um gás de rede com interações competitivas

Oliveira, Alan Barros de January 2004 (has links)
Apesar de ser um líquido comum na natureza, muitas dúvidas ainda pairam sobre várias características da água. A existência de uma relação comum entre o tipo de potencial intermolecular, criticalidade e as várias formas de anomalia existentes nessa substância ainda é uma questão em aberto, apesar da intensa pesquisa que têm-se feito ao longo dos anos sobre esse assunto. Nesta dissertação, propomos a hipótese de que a anomalia na densidade esta correlacionada à presença de multicriticalidade e que ambos os fenômenos surgem de um potencial de duas escalas. Para dar suporte a esta hipótese, além de trabalhos anteriores, usamos e estudamos um gás de rede com interações que competem (primeiros vizinhos Vi atrativos e segundos vizinhos V2repulsivos). Construímos para este sistema um diagrama de fases J.lV8. T usando dois métodos: aproximação de campo médio e simulações. Encontramos na aproximação de campo médio duas linhas críticas, uma das quais encontra a linha de 1~ ordem separando duas fases líquidas, e um ponto tricrítico, dado que V2/V1 < -0.5. Se V2/V1 > -0.5, a transição líquido-líquido desaparece, dando lugar a apenas duas fases, uma líquido e uma gás, separadas por uma linha de coexistência terminada em um ponto crítico Com a aproximação de campo médio não encontramos anomalia na densidade. Os resultados obtidos com as simulações alteram qualitativamente o diagrama de fases. Tanto as linhas críticas quanto os pontos tricríticos tem suas posições modificadas com relação ao campo médio. Neste caso encontramos um comportamento anômalo na densidade se V2/Vl < -0.5. Concluímos que o potencial de duas escalas competitivas é um ingrediente necessário ao aparecimento de anomalia na densidade e coexistência entre duas fases líquidas. Ainda, mostramos que essa anomalia pode estar associada não apenas a dois pontos críticos, como se espera para a água, mas a uma multicriticalidade em geral, tal como linhas críticas.
16

Correções Quânticas 1/N ao Limite Clássico: Aplicação ao Modelo de Lipkin SU(2) / Quantum corrections 1 / N the classical limit: Application to the Lipkin model SU(2)

Marcelo Trindade dos Santos 17 July 1997 (has links)
Neste trabalho mostramos de que maneira o princípio variacional dependente do tempo pode ser usado para se estudar correções quânticas ao limite clássico, particularmente, no contexto do modelo de Lipkin SU(2). Mostramos que tais correções podem ser colocadas na forma Hamiltoniana, acoplando-se a dinâmica clássica um conjunto de variáveis associadas às flutuações quânticas, nos levando à uma dinâmica efetiva com o número de graus de liberdade dobrado em relação ao sistema clássico. Como conseqüência o comportamento caótico emerge. Mostramos que este caos semiquântico é o mecanismo através do qual o tunelamento se manifesta no espaço de fase. Mostramos que tais correções melhoram sistematicamente o resultado c1ássico, propondo um critério para quantificar esta melhora. / We show how the time dependent variational principle can be used to study quantum corrections to the classical limit, in particular of the SU(2) Lipkin Model. We show how much corrections can be cast in Hamiltonian form, coupling to the classical dynamics a set of variables associated to the quantum fluctuations. This leads to an effective dynamics which has the number of degrees of freedom doubled with respect to the classical system. As a consequence chaotic behavior emerges. We show that this semiquantal chaos is the mechanism through which tunneling is effected, and also, that these corrections systematically improve the classical results and propose some quantitative measure of this improvement.
17

Investigação interferométrica da reação HF-Sílica (SIO2) em presença de campos elétricos

Santiago Neto, Ruy Batista 08 December 2009 (has links)
Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-06-09T14:56:11Z No. of bitstreams: 1 ruybatistasantiagoneto.pdf: 3879740 bytes, checksum: efd2689558be4c8a9b9f696e63002401 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-06-29T12:04:40Z (GMT) No. of bitstreams: 1 ruybatistasantiagoneto.pdf: 3879740 bytes, checksum: efd2689558be4c8a9b9f696e63002401 (MD5) / Made available in DSpace on 2017-06-29T12:04:40Z (GMT). No. of bitstreams: 1 ruybatistasantiagoneto.pdf: 3879740 bytes, checksum: efd2689558be4c8a9b9f696e63002401 (MD5) Previous issue date: 2009-12-08 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O ataque químico de sílica (SiO2) por ácido fluorídrico (HF) é uma reação importante, usada na fabricação de circuitos integrados, cujo mecanismo não é ainda totalmente entendido. Um aspecto curioso desta reação é que sua velocidade pode ser alterada por campos elétricos na interface ácido-sílica. Um modelo teórico para explicar este efeito é baseado na suposição que a reação química somente pode acontecer quando o HF aproxima da superfície da sílica, com os átomos de flúor voltados para esta superfície, com um eixo molecular fazendo um pequeno ângulo com sua normal. Desta forma uma orientação parcial dessas moléculas em um campo elétrico modifica a taxa de ataque. Este modelo prevê uma relação não linear entre velocidade de ataque e campo elétrico. Na literatura o modelo é usado em medidas de intensidade de campos elétricos gravados em amostras de sílica por meio de polarização térmica. Estas medidas confiam no modelo teórico mencionado acima para o regime não linear. Todavia este modelo havia sido testado somente na região onde a relação entre taxa de ataque e campo elétrico é praticamente linear, em que os campos elétricos possuem valores muito menores que os campos gravados. No presente trabalho vamos descrever as medidas realizadas para investigar este efeito na região não linear. Para perceber a não linearidade precisamos medir a velocidade de ataque com extrema precisão na presença de altos valores de campo. Isto é feito por um método interferométrico utilizando feixe de laser expandido e uma sofisticada análise de imagens de franjas. Adotando estes procedimentos fomos capazes de obter os primeiros sinais de um comportamento não linear. O confronto entre os valores obtidos experimentalmente e os valores previstos no modelo teórico indicou a necessidade de se acrescentar pequenas correções no modelo. Após as correções, a discrepância entre os valores experimentais e teóricos se tornou da mesma ordem dos erros experimentais. Os estudos teóricos da reação HF-sílica na literatura partem da hipótese que somente uma molécula participa no passo inicial da reação. Mas os resultados do presente trabalho indicam que a reação de ataque é iniciada por duas moléculas de HF atuando simultaneamente. / Etching of silica (SiO2) with hydrofluoric acid (HF) is an important chemical reaction, used in fabrication of integrated circuits, whose mechanism is not fully understood. One curios aspect of this reaction is that its velocity can be changed by electric fields in the acid– silica interface. A theoretical model of the effect is based on the hypothesis that the chemical reaction can only take place if the HF molecule approaches the silica surface with the F atom pointing towards the silica surface so that the molecular axis forms a small angle with the surface normal vector. This way a partial orientation of the molecules in an electric field modifies the etching velocity. This model predicts a non-linear relation between etching velocity and electric field. In literature the model is used in order to measure electric fields recorded in silica samples by an electro-thermal poling process. In this application, one trusts the theoretic model in the non-linear regime although the model had been tested only in the liner region where the electric fields are much smaller that in the poled glass samples. In the present woke one describes measurements made to investigate the effect in the non-linear regime. In order to detect the non-linearity one has to measure the etching velocity with extremely high precision and in the presence of high electric fields. This was done with an interferometric method using an expended laser beam and a sophisticated analysis of fringe images. With these methods, one obtained first non-linear signals. A comparison of experimental values with theoretical predictions indicated that some corrections of the theoretical model had to be made. With these corrections theoretical values coincided the the experimental data within experimental uncertainties. In literature, theoretic studies of the HF- silica reaction use the hypothesis that only one HF molecule participates in the primary step of the reaction. But the results of the present work indicate that the etching reaction initiates with two HF molecules acting at the same time.
18

Processos de partículas com comprimento variável

Dias Ramos, Alex January 2007 (has links)
Made available in DSpace on 2014-06-12T18:29:01Z (GMT). No. of bitstreams: 2 arquivo4269_1.pdf: 4893766 bytes, checksum: 6aa27b0811c489ef4d710c33a660acc5 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Fundação de Amparo a Pesquisa do Estado da Bahia / Por muito tempo, foi (e ainda é) comum entre físicos estatísticos acreditarem que transições fásicas só poderiam ocorrer em sistemas com dimensões maiores que um. Baseados nesta tradição e em simulações computacionais [1], vários autores propuseram uma conjectura conhecida como Conjectura de taxas positivas , chamada aqui CTP, a qual defende que todo autômato celular unidimensional com interação local uniforme, não-degenerado é ergódico. Vários autores tentaram refutar esta hipótese, mas somente um obteve sucesso completo: Gács [2] propôs um sistema muito complicado com 2100 estados, o qual refuta a CTP. Gray em trabalho posterior [3] explica os resultados obtidos por Gács sobre o refutar da CTP e expressou acreditar que sistemas muito simples não podem refutar a CTP. Toom em [4] propôs uma nova classe de sistemas unidimensionais com interação local, onde componentes pode aparecer e desaparecer durante o processo de evolução. Após, o mesmo propôs um sistema muito simples desta nova classe [5], e provou que, embora unidimensional, exibe alguma forma de não-ergodicidade. Neste processo, partículas enumeradas por números inteiros interagem em todo passo de tempo discreto somente com seus vizinhos mais próximos. Toda partícula tem dois estados, chamados menos e mais . Inicialmente, o processo começa na configuração todos menos . Em cada passo de tempo duas transformações ocorrem. A primeira transforma todo menos em mais com probabilidade independentemente do que acontece nos outros lugares. Sob a ação da segunda, sempre que um mais é um vizinho esquerdo de um menos, ambos desaparecem com probabilidade independentemente dos outros lugares. Dentre os resultados deste processo, Toom provou que quando é pequeno, a densidade de mais é sempre pequena. Porém, o caso que chamamos problemático , com = 1, não foi considerado por Toom, pois neste caso mesmo a exist encia do processo não é evidente. No primeiro capítulo de nosso trabalho, mostramos rigorosamente que o processo de Toom está definido para este caso também e que os maiores resultados dele sobre não ergodicidade ainda permanecem válidos, e até mesmo apresentam melhores estimações numéricas. No segundo caítulo, nós estudamos o mesmo processo com qualquer valor de 2 [0, 1] e usamos método de Monte Carlo e aproximção de campo médio para estimar a linha que separa as regiões para as quais o processo é ergódico vs. não ergódico e em adição observamos que para pequenos valores de e , esta linha separadora tem a inclinação positiva na origem. Uma limitação do processo considerado nos capítulos um e dois é que ao imaginarmos sistemas finitos, teremos que em média o processo descrito acima diminui e portanto não tem análogo finito. No terceiro capítulo, nós apresentamos um outro processo com os mesmos dois estados menos e mais , mas com tempo contínuo, composto por três transformações: a primeira, chamada flip, muda menos para mais e mais para menos com uma taxa . Uma outra chamada aniquilação elimina as duas partículas vizinhas com uma taxa , se estas estiverem em estados diferentes. A terceira, chamada mitose, duplica qualquer partícula com uma taxa . Mitose não foi utilizada no processo de Toom. Sua presença com uma taxa satisfatória previne nosso processo de diminuir . O processo com mitose exibiu a mesma forma de não ergodicidade como Toom provou. Nós mostramos isto usando simulação de Monte Carlo e estimamos as taxas para as quais nosso processo é ergódico vs. não ergódico e diminui vs. não diminui
19

Estudos do modelo de Hubbard desordenado em duas dimensões / Studies of the two-dimensional disordered Hubbard model

Suárez Villagrán, Martha Yolima, 1984- 23 August 2018 (has links)
Orientador: Eduardo Miranda / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Física Gleb Wataghin / Made available in DSpace on 2018-08-23T18:51:04Z (GMT). No. of bitstreams: 1 SuarezVillagran_MarthaYolima_D.pdf: 7321255 bytes, checksum: d76479a0e0c1143207cb4ee380a8034d (MD5) Previous issue date: 2013 / Resumo: Estudamos nesta tese alguns aspectos da transição metal-isolante de Mott no caso desordenado. O modelo no qual baseamos nosso estudo é o modelo de Hubbard desordenado, que é o modelo mais simples a apresentar a transição metal-isolante de Mott. Analisamos esse modelo através da Teoria Dinâmica de Campo Médio Estatística (StatDMFT). Essa teoria é uma extensão natural da Teoria Dinâmica de Campo Médio (DMFT), que foi usada com relativo sucesso nos últimos anos para analisar a transição de Mott no caso limpo. Como no caso dessa última, a StatDMFT incorpora os efeitos de correlação eletrônica apenas nos seus aspetos locais. A desordem é tratada de maneira a incorporar todos os efeitos de localização de Anderson. Com essa técnica, analisamos a transição de Mott desordenada no caso bi-dimensional, usando o Monte Carlo quântico para resolver os problemas de impureza única de Anderson requeridos pela StatDMFT. Encontramos as linhas espinodais nas quais o metal e o isolante deixam de ser meta-estáveis. Também estudamos os padrões espaciais das flutuações de quantidades locais, como a auto-energia e a função de Green local, e mostramos como há o aparecimento de regiões metálicas dentro do isolante e viceversa. Analisamos efeitos de tamanho finito e mostramos que, em consonância com os teoremas de Imry e Ma, a transição de primeira ordem desaparece no limite termodinâmico. Analisamos as propriedades de transporte desse sistema através de um mapeamento a um sistema de resistores aleatórios clássicos e calculamos a corrente média e sua distribuição através da transição metal-isolante. Finalmente, estudamos o comportamento da parede de domínio que se forma entre o isolante e o metal no caso limpo. Isso foi feito através de um modelo de uma cadeia unidimensional conectada a reservatórios, um metálico e um isolante, cada um em uma de suas extremidades. Nesse caso, utilizamos o método da Teoria de Perturbação Iterada para a solução dos modelos de impureza única. Encontramos o comportamento da parede como função da temperatura e das interações / Abstract: In this thesis, we studied some aspects of the Mott metal-insulator transition in the disordered case. The model on which we based our analysis is the disordered Hubbard model, which is the simplest model capable of capturing the Mott metal-insulator transition. We investigated this model through the Statistical Dynamical Mean-Field Theory (statDMFT). This theory is a natural extension of the Dynamical Mean-Field Theory (DMFT), which has been used with relative success in the last several years with the purpose of describing the Mott transition in the clean case. As is the case for the latter theory, the statDMFT incorporates the electronic correlation effects only incorporate Anderson localization effects.. With this technique, we analyzed the disordered two-dimensional Mott transition, using Quantum Monte Carlo to solve the associated single-impurity problems. We found the spinodal lines at which metal and insulator cease to be meta-stable. We also studied the spatial fluctuations of local quantities, such as the self-energy and the local Green¿s function, and showed the appearance of metallic regions within the insulator and vice-versa. We carried out an analysis of finite-size effects and showed that, in agreement with the theorems of Imry and Ma, the first-order transition is smeared in the thermodynamic limit. We analyzed transport properties by means of a mapping to a random classical resistor network and calculated both the average current and its distribution across the metalinsulator transition. Finally, we studied the behavior of the domain wall which forms between the metal and the insulator in the clean case. This was done by means of a model of a one-dimensional chain connected to two reservoirs, one metallic and the other insulating, each attached to one of the chain¿s ends. In this case, we used the Iterated Perturbation Theory technique in order to solve the associated singleimpurity problems. We then established the behavior of the domain wall width as a function of temperature and interactions / Doutorado / Física / Doutora em Ciências
20

Análise preditiva de desempenho de workflows usando teoria do campo médio / Predictive performance analysis of workflows using mean field theory

Caro, Waldir Edison Farfán 17 April 2017 (has links)
Os processos de negócio desempenham um papel muito importante na indústria, principalmente pela evolução das tecnologias da informação. As plataformas de computação em nuvem, por exemplo, com a alocação de recursos computacionais sob demanda, possibilitam a execução de processos altamente requisitados. Para tanto, é necessário definir o ambiente de execução dos processos de tal modo que os recursos sejam utilizados de forma ótima e seja garantida a correta funcionalidade do processo. Nesse contexto, diferentes métodos já foram propostos para modelar os processos de negócio e analisar suas propriedades quantitativas e qualitativas. Há, contudo, vários desafios que podem restringir a aplicação desses métodos, especialmente para processos com alta demanda (como os workflows de numerosas instâncias) e que dependem de recursos limitados. A análise de desempenho de workflows de numerosas instâncias via modelagem analítica é o objeto de estudo deste trabalho. Geralmente, para a realização desse tipo de análise usa-se modelos matemáticos baseados em técnicas Markovianas (sistemas estocásticos), que sofrem do problema da explosão do espaço de estados. Entretanto, a Teoria do Campo Médio indica que o comportamento de um sistema estocástico, sob certas condições, pode ser aproximado por o de um sistema determinístico, evitando a explosão do espaço de estados. Neste trabalho usamos tal estratégia e, com base na definição formal de aproximação determinística e suas condições de existência, elaboramos um método para representar os workflows, e seus recursos, como equações diferenciais ordinárias, que descrevem um sistema determinístico. Uma vez definida a aproximação determinística, realizamos a análise de desempenho no modelo determinístico, verificando que os resultados obtidos são uma boa aproximação para a solução estocástica. / Business processes play a very important role in the industry, especially by the evolution of information technologies. Cloud computing platforms, for example, with the allocation of on-demand computing resources enable the execution of highly requested processes. Therefore, it is necessary to define the execution environment of the processes in such a way that the resources are used optimally and the correct functionality of the process is guaranteed. In this context, different methods have already been proposed to model business processes and analyze their quantitative and qualitative properties. There are, however, a number of challenges that may restrict the application of these methods, especially for high-demanded processes (such as workflows of numerous instances) and that rely on resources that are limited. The analysis of the performance of workflows of numerous instances through analytical modeling is the object of study of this work. Generally, for the accomplishment of this type of analysis, mathematical models based on Markovian techniques (stochastic systems) are used, which suffer the problem of the state space explosion. However, the Mean Field Theory, indicates that the behavior of a stochastic system, under certain conditions, can be approximated by that of a deterministic system, avoiding the explosion of the state space. In this work we use such a strategy, based on the formal definition of deterministic approximation and its conditions of existence, we elaborate a method to represent the workflows, and their resources, as ordinary differential equations, which describe a deterministic system. Once the deterministic approximation has been defined, we perform the performance analysis in the deterministic model, verifying that the obtained results are a good approximation for the stochastic solution.

Page generated in 0.0615 seconds