• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 255
  • 15
  • 11
  • 3
  • 1
  • Tagged with
  • 286
  • 181
  • 122
  • 99
  • 81
  • 75
  • 75
  • 68
  • 63
  • 59
  • 57
  • 56
  • 49
  • 34
  • 34
  • 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.
81

Controle de radiação sonora numa placa retangular através de atuadores piezelétricos discretos

Pergher, Rejane January 2003 (has links)
Neste trabalho, é estudado o controle da transmissão do som numa placa retangular e fina. Para tanto, é encontrada a resposta dinâmica da placa, excitada por forças harmônicas pontuais e piezomomentos, obtida usando uma base não-clássica e uma análise modal. A radiação sonora emitida pela vibração da placa é encontrada. A potência sonora radiada pode ser calculada aplicando controle ativo diretamente na estrutura, na forma de uma entrada vibratória, uma vez conhecida a resposta na superfície da placa, obtendo-se uma signicativa redução analitica. Os piezocerâmicos, modelados como quatro momentos pontuais, são unidos a superfície da placa como atuadores. A potência sonora transmitida antes e depois do controle é comparada, usando diferentes número de atuadores. Uma estratégia clássica de controle linear quadrático (LQR) e empregada no contexto de um procedimento de otimização da posição dos atuadores do sistema.
82

Propriedades métricas de sistemas multiparamétricos discretos

Torrico Chávez, César Abraham January 2008 (has links)
Neste trabalho estudamos propriedades métricas de certas estruturas recentemente descobertas em diagramas de fase, chamadas de conjuntos tipo de Mandelbrot. Tais estruturas (conjuntos) são importantes pois aparecem repetidamente em sistemas dinâmicos, em particular, em equações diferenciais que descrevem lasers e outros modelos físicos. De particular interesse, são escalonamentos (scalings) de codimensão 2, i.e. que dependem da variação simultânea de dois parâmetros físicos para serem observados. Através da obtenção de expressões exatas dos pontos de nascimento de domínios de estabilidade {"fiores de cactus'?, conseguimos demonstrar analiticamente que a velocidade de acumulação dos domínios convergepara um valor limite constante igual à unidade. Outras taxas de convergência tais como, por exemplo, a orientação do eixo dos domínios com respeito à horizontal, a diminuição das alturas e das áreas dos domínios, também convergem para a unidade. Tal convergência foi também por nós encontrada no conjunto de Mandelbrot. Em ambos casos as convergências obedecem uma lei de potência com expoentes inteiros, em forte contraste com a convergência típica de Feigenbaum, que também segue uma lei de potências, porém com expoente fracionário. Por razões discutidas em detalhe dentro do trabalho, conjecturamos ser o escalonamento unitário de carácter geral sempre que se tenham fam{lias de fases periódicas participando de um processo de acumulação com adição de períodos. Observamos que os conjuntos de números racionais (números de rotação) que rotulam as infinitas fam{lias de fiores, (fases periódicas) nos conjuntos tipo-Mandelbrot, também exibem a mesma convergência unitária. Tal fato nos leva a crer que, dum ponto de vista teórico, este "scaling"parece originar-se de propriedades métricas dos racwna%s. Além disto, complementamos o estudo das propriedades métricas dos conjuntos tipo-Mandelbrot com um estudo detalhado da sua estrutura interna, via multiplicadores das órbitas periódicas estáveis, reais e complexas. Observamos que a parte real (imaginária) dos multiplicadores define certos eixos de simetria transversal (longitudinal) em cada fior, que podem ser tomados como uma espécie de "sistema de coordenadas cartesiano". Em tal sistema, observamos um ordenamento simétrico dos números de rotação das fiores, de maneira similar ao ordenamento dos números racionais no círculo unitário. Mostrando desta forma que o interior de cada fior é isomorfo ao círculo unitário. A medida que nos aproximamos das zonas de transição isoperiódica (de órbitas complexas para reais), observamos uma rotação dos eixos transversais locais de cadafior em direção aos eixos longitudinais, até ambosficarem alinhados, no limite da acumulação. Esta mudança não ocorre nos círculos do conjunto de Mandelbrot, onde ambos eixos permanecem perpendiculares até alcançar um tamanho nulo no ponto raiz. Isto parece mostrar que, apesar dos conjuntos Mandelbrot e tipo-Mandelbrot compartilharem várias propriedades métricas, a ausência de conectividade local nestes últimos modifica significativamente sua estrutura interna. / In this work we study scaling proprerties of certain structures recently found in phase diagrams, called as Mandelbrot-like sets. Such structures (sets) are important becausethey appear repeatedly in dinamical systems, particularly, in differentials equations that describe lasers and others physical models. Df particular interest, are scalings of codimension-2, i.e., that depend on the simultaneous variation of two physical parameters to be observed. Through the obtention of exact expressions for the birth points of stability domains ("cactus flowers''), we proved analitically that the accumulation rate of the domains converges to a constant limit value equal to unity. Another convergence rates such as, for example, orientation of the domain axis with respect to the horizontal, the decrease of domains heights and areas, also converge to unity. We also founded this convergence in the Mandelbrot set. In both cases, the convergences obey a power law with integer exponents, in contrast with the typical Feigenbaum convergence, that also follows a power law but with fraccionary exponent. For the reasons discuted in detail along the work, we conjecture this unitary scaling to have a general caracter always that one have families of periodic fases participating in a process of accumulation with period adding. We observed that the rational numbers sets that label the infinity flower's families (periodic phases), in the Mandelbrot-like sets, also exhibit the same rate of convergence. This fact lead us to believe, from a theoretical point of view, that this scaling seems to arise from the metrical properties of rationals. Besides this, we complemented the study of scalings in the Mandelbrot-like sets with a detailed study of their internal structure, via multipliers of the stable periodic orbits, both real and complexo We observed that the real (imaginary) part of multipliers define certain transversal (longitudinal) axis of simetry en each flower, that can be take as a sort of local "cartesian coordinates system". In such system, we observe a symmetric ordering of the rotation numbers of flowers, like the ordering of rational numbers in the unitary circle. Showing of this form that the inner of each flower is isomorphic to the unitary circle. As we aproximate to the isoperiodic transition zones (of complexto realorbits),wefounded a rotationof the transversallocalaxis of each flower toward the longitudinal axis, until both axis stay aligned, at the accumulation limito This rotation does not occur inside the Mandelbrot set circles, where both axis remain perpendicular until they reach a null size at the root point. This seems to show that, in spite of Mandelbrot and Mandelbrot-like sets to share several metric properties, the lack of local conectivity in the latest modifies significantly their internal structure.
83

Über die Austauschbarkeit von Universalität und Effizienz bei Instanzennetzsimulatoren, insbesondere für digitale Hardware

Wagner, Flavio Rech January 1983 (has links)
Ziel der vorliegenden Arbeit ist es, den Kompromiss zwischen Universalität und Effizienz bei Instanzennetzsimulatoren zu untersuchen, insbesondere für die Simulation von digitaler Hardware. Ein Instanzennetzsimulator wird definiert mit Hinsicht auf maximale Universalität. Dieser Simulator muss für die Simulation beliebiger Instanzennetze anwendbar sein. Hardware auf der Gatter- und auf der Register-Transferebene wird modelliert für Simulation mit dem definierten Instanzennetzsimulator. Ebenso werden spezifische Hardware- Simulatoren definiert, wobei repräsentative Modelle der Gatter- und der Register-Transferebene ausgewählt werden. Da diese Hardware-Simulatoren nur für bestimmte Systemklassen geeignet sind, die Unterklassen von Instanzennetzen darstellen, bringen sie einen gewissen Effizienzgewinn gegenüber dem allgemeinen Instanzennetzsimulator. Die Messung dieses Gewinns und seine Zurückführung auf bestimmte Eigenschaften der Instanzennetze und der digitalen Systeme sind konkrete Ziele dieser Arbeit. Um diese Messung zu ermöglichen, werden digitale Systeme durch Parametersätze dargestellt. Diese Parameter erlauben uns, exakte Ausdrücke fir den Simulationszeitverbrauch aller definierten Simulatoren abzuleiten. Durch Variierung der Parameterwerte wird das ganze Spektrum der digitalen Systeme erfasst.
84

Índices de dano aplicáveis a materiais quasi-frágeis avaliados utilizando o método dos elementos discretos formado por barras

Rodrigues, Rodolfo da Silva January 2015 (has links)
O processo de dano em materiais quasi-frágeis pode ser caracterizado pela perda de isotropia para certos níveis de carga. A localização de deformações, o efeito cooperativo entre regiões danificadas e a avalanche de rupturas são características particulares na medição do dano neste tipo de material. As características mencionadas criam diferentes formas de dissipação de energia, que não são fáceis de representar utilizando métodos baseados na hipótese dos meios contínuos. No presente trabalho uma versão do Método dos Elementos Discretos Formado por Barras é empregado. Neste método a massa do contínuo é concentrada nos nós, os quais são interconectados por barras sem massa. Essas barras possuem uma lei constitutiva bilinear, que é usada para simular a ruptura da estrutura em estudo. A distribuição dos nós permite formar uma treliça tridimensional regular, e a partir dessa discretização espacial é possível chegar a um sistema de equações de movimento, que é resolvido com um esquema explícito de integração numérica (diferenças finitas centrais). Neste método a fratura e a fragmentação são levadas em conta de forma natural, já que as barras que rompem durante o processo são desativadas, respeitando o balanço energético. É possível introduzir heterogeneidade no modelo considerando as propriedades do material como campos espaciais aleatórios com distribuição de probabilidades de Weibull e comprimento de correlação conhecido. Nessa dissertação, é analisado o processo de dano que aparece em estruturas de geometria simples quando solicitadas até o colapso. Diferentes índices são apresentados para realizar a medição do dano. O desempenho desses índices, e a maneira com que eles ajudam na interpretação da evolução do dano, são discutidos nesse trabalho. / The process of damage in quasi-fragile materials is characterized by loss of isotropy for certain load levels. The strain localization, the cooperative effect between damaged regions and the avalanche of ruptures are particular features in measuring the damage in this kind of material. The mentioned features create different forms of energy dissipation, which are not easy to represent with a continuous approach. In the present work a version of the Lattice Discrete Element Method is employed. In this method the mass of the solid is concentrated on node points, which are interconnected by uniaxial elements. These elements have a bilinear constitutive law, which is used to simulate the rupture of the structure under study. The node distribution allows the formation of a regular three-dimensional lattice, and from this spatial discretization it is possible to arrive at a system of equations of motion, which is solved by an explicit numerical integration scheme (central difference). In this method the fracture and fragmentation are taken into account in a natural manner, since the bars that reached their limit strength during the process are disabled of the system, respecting the energy balance. It is possible to introduce heterogeneity in the model considering the material properties as random fields with spatial Weibull probability distribution and known correlation length. In this dissertation, the damage process, which appears in structures of simple geometry, when they are loaded until collapse, is analysed. Different indexes are presented to perform the measurement of the damage. The performance of those indexes, and the way they help in the interpretation of the damage evolution, are discussed in this paper.
85

[en] NUMERICAL ANALYSIS OF FLUID MECHANICAL COUPLING IN POROUS MEDIA USING THE DISCRETE ELEMENT METHOD / [pt] SIMULAÇÃO NUMÉRICA DE PROBLEMAS DE ACOPLAMENTO FLUIDOMECÂNICO EM MEIOS POROSOS UTILIZANDO O MÉTODO DOS ELEMENTOS DISCRETOS

RAQUEL QUADROS VELLOSO 26 January 2011 (has links)
[pt] Esta pesquisa é motivada, principalmente, por problemas da geomecânica do petróleo como produção de sólidos em poços produtores e dano mecânico de formação. Produção de sólidos é o fenômeno onde partículas sólidas são produzidas juntamente com os fluidos de um reservatório de formação geralmente pouco ou não consolidada, podendo também ocorrer em formações mais resistentes. Dano de formação é o termo usado para identificar a redução da permeabilidade por diversos processos que ocorrem nas formações geológicas, e que reduzem a produtividade e injetividade de poços de sistemas de produção de óleo e gás. Neste trabalho desenvolveu-se uma ferramenta numérica com acoplamento fluidomecânico (mono e bifásico) para ser utilizada em análises destes problemas na microescala (poro e grão). Utilizou-se o método dos elementos discretos (DEM) para a simulação do movimento e interação das partículas sólidas e o método de lattice-Boltzmann (LBM) para a simulação do fluxo nos poros do meio geológico. A principal diferença desta ferramenta numérica em relação a trabalhos anteriores que acoplam o DEM com o LBM (DEM-LBM) está na implementação da formulação do LBM incompressível sugerida por (He e Luo, 1997) permitindo a aplicação de gradientes de pressão sensivelmente maiores do que na formulação convencional, o que é importante para as simulações de produção de sólidos. A ferramenta desenvolvida pode ser vista como um laboratório virtual para testar/verificar leis constitutivas, e que aliada a dados experimentais poderá melhorar o entendimento de mecanismos básicos envolvidos nos processos de dano mecânico de formação e de produção de sólidos. O programa computacional implementado foi verificado através de comparações com soluções analíticas ou resultados publicados na literatura. Simulações relacionadas às aplicações de interesse foram realizadas. / [en] The present research was mainly motivated by petroleum geomechanics problems such as solids production and formation damage. Solids production is related to phenomena whereby solid particles are produced together with fluids from reservoir rocks having little or no consolidation although it is reported that those phenomena have already happened to more resistant materials. Formation damage is the term used in order to identify permeability reduction occurring for various processes and which reduce productivity and injectivity of wells in oil and gas production systems. In the present work, a numerical tool considering fluidmechanical coupling (one and two phase flow) was developed for analyses in the microscale (pores and grains). The DEM (Discrete Element Method) was used for the simulation of motion and interaction of solid particles and the lattice Boltzmann method (LBM) for the simulation of flow inside pores of the geological media. The main difference between the developed tool and the ones developed in previous works that couple DEM with LBM is the introduction of incompressible LBM as suggested by (He e Luo, 1997), one that allows the application of pressure gradients considerably larger than the conventional formulation which is important for the simulation of solids production. The developed tool can be viewed as a virtual laboratory for testing and verification of constitutive laws which together with experimental data may improve the understanding of basic phenomena involved in formation damage and solids production. The numerical implementation was verified through comparisons with analytical solutions and other results from the literature. Simulations related to practical applications were carried out and discussed.
86

[en] WEAK STABILITY FOR INFINITE DIMENSIONAL LINEAR SYSTEMS / [pt] ESTABILIDADE FRACA DE SISTEMAS LINEARES DE DIMENSÃO INFINITA

DENISE DE OLIVEIRA 13 December 2006 (has links)
[pt] O objetivo deste trabalho é o estudo das condições para a estabilidade de sistemas lineares discretos de dimensão infinita invariantes no tempo, evoluindo em um espaço de Hilbert. Apresentaremos uma vasta coleção de resultados sobre estabilidade assintótica uniforme, incluindo uma condição espectral equivalente. Em relação à estabilidade assintótica fraca, analisaremos tanto a dificuldade de se estabelecer uma condição necessária e suficiente sobre o espectro do operador, como também sua relação com similaridade a contração. Por último, apresentaremos alguns resultados disponíveis sobre estabilidade assintótica forte para algumas classes específicas de operadores. / [en] The purpose of this work is to analyse stability conditions for infinity-dimensional linear discrete systems operating in a Hilbert space. Whe shall present a wide collections of results on uniform asymptotic stability, incluiding an equivalent spectral condition. Concerning the weak asymptotic stability, we shall analyse the dificulty associated to the problem of attempting to establish a necessary and sufficient condition involving the spectral of the system operator. The relation between weak asymptotic stability and similarity to a contraction will be analysed as well. Finally, we shall present some of the available results concerning strong asymptotic stability for particular classes of operators.
87

Propriedades métricas de sistemas multiparamétricos discretos

Torrico Chávez, César Abraham January 2008 (has links)
Neste trabalho estudamos propriedades métricas de certas estruturas recentemente descobertas em diagramas de fase, chamadas de conjuntos tipo de Mandelbrot. Tais estruturas (conjuntos) são importantes pois aparecem repetidamente em sistemas dinâmicos, em particular, em equações diferenciais que descrevem lasers e outros modelos físicos. De particular interesse, são escalonamentos (scalings) de codimensão 2, i.e. que dependem da variação simultânea de dois parâmetros físicos para serem observados. Através da obtenção de expressões exatas dos pontos de nascimento de domínios de estabilidade {"fiores de cactus'?, conseguimos demonstrar analiticamente que a velocidade de acumulação dos domínios convergepara um valor limite constante igual à unidade. Outras taxas de convergência tais como, por exemplo, a orientação do eixo dos domínios com respeito à horizontal, a diminuição das alturas e das áreas dos domínios, também convergem para a unidade. Tal convergência foi também por nós encontrada no conjunto de Mandelbrot. Em ambos casos as convergências obedecem uma lei de potência com expoentes inteiros, em forte contraste com a convergência típica de Feigenbaum, que também segue uma lei de potências, porém com expoente fracionário. Por razões discutidas em detalhe dentro do trabalho, conjecturamos ser o escalonamento unitário de carácter geral sempre que se tenham fam{lias de fases periódicas participando de um processo de acumulação com adição de períodos. Observamos que os conjuntos de números racionais (números de rotação) que rotulam as infinitas fam{lias de fiores, (fases periódicas) nos conjuntos tipo-Mandelbrot, também exibem a mesma convergência unitária. Tal fato nos leva a crer que, dum ponto de vista teórico, este "scaling"parece originar-se de propriedades métricas dos racwna%s. Além disto, complementamos o estudo das propriedades métricas dos conjuntos tipo-Mandelbrot com um estudo detalhado da sua estrutura interna, via multiplicadores das órbitas periódicas estáveis, reais e complexas. Observamos que a parte real (imaginária) dos multiplicadores define certos eixos de simetria transversal (longitudinal) em cada fior, que podem ser tomados como uma espécie de "sistema de coordenadas cartesiano". Em tal sistema, observamos um ordenamento simétrico dos números de rotação das fiores, de maneira similar ao ordenamento dos números racionais no círculo unitário. Mostrando desta forma que o interior de cada fior é isomorfo ao círculo unitário. A medida que nos aproximamos das zonas de transição isoperiódica (de órbitas complexas para reais), observamos uma rotação dos eixos transversais locais de cadafior em direção aos eixos longitudinais, até ambosficarem alinhados, no limite da acumulação. Esta mudança não ocorre nos círculos do conjunto de Mandelbrot, onde ambos eixos permanecem perpendiculares até alcançar um tamanho nulo no ponto raiz. Isto parece mostrar que, apesar dos conjuntos Mandelbrot e tipo-Mandelbrot compartilharem várias propriedades métricas, a ausência de conectividade local nestes últimos modifica significativamente sua estrutura interna. / In this work we study scaling proprerties of certain structures recently found in phase diagrams, called as Mandelbrot-like sets. Such structures (sets) are important becausethey appear repeatedly in dinamical systems, particularly, in differentials equations that describe lasers and others physical models. Df particular interest, are scalings of codimension-2, i.e., that depend on the simultaneous variation of two physical parameters to be observed. Through the obtention of exact expressions for the birth points of stability domains ("cactus flowers''), we proved analitically that the accumulation rate of the domains converges to a constant limit value equal to unity. Another convergence rates such as, for example, orientation of the domain axis with respect to the horizontal, the decrease of domains heights and areas, also converge to unity. We also founded this convergence in the Mandelbrot set. In both cases, the convergences obey a power law with integer exponents, in contrast with the typical Feigenbaum convergence, that also follows a power law but with fraccionary exponent. For the reasons discuted in detail along the work, we conjecture this unitary scaling to have a general caracter always that one have families of periodic fases participating in a process of accumulation with period adding. We observed that the rational numbers sets that label the infinity flower's families (periodic phases), in the Mandelbrot-like sets, also exhibit the same rate of convergence. This fact lead us to believe, from a theoretical point of view, that this scaling seems to arise from the metrical properties of rationals. Besides this, we complemented the study of scalings in the Mandelbrot-like sets with a detailed study of their internal structure, via multipliers of the stable periodic orbits, both real and complexo We observed that the real (imaginary) part of multipliers define certain transversal (longitudinal) axis of simetry en each flower, that can be take as a sort of local "cartesian coordinates system". In such system, we observe a symmetric ordering of the rotation numbers of flowers, like the ordering of rational numbers in the unitary circle. Showing of this form that the inner of each flower is isomorphic to the unitary circle. As we aproximate to the isoperiodic transition zones (of complexto realorbits),wefounded a rotationof the transversallocalaxis of each flower toward the longitudinal axis, until both axis stay aligned, at the accumulation limito This rotation does not occur inside the Mandelbrot set circles, where both axis remain perpendicular until they reach a null size at the root point. This seems to show that, in spite of Mandelbrot and Mandelbrot-like sets to share several metric properties, the lack of local conectivity in the latest modifies significantly their internal structure.
88

Über die Austauschbarkeit von Universalität und Effizienz bei Instanzennetzsimulatoren, insbesondere für digitale Hardware

Wagner, Flavio Rech January 1983 (has links)
Ziel der vorliegenden Arbeit ist es, den Kompromiss zwischen Universalität und Effizienz bei Instanzennetzsimulatoren zu untersuchen, insbesondere für die Simulation von digitaler Hardware. Ein Instanzennetzsimulator wird definiert mit Hinsicht auf maximale Universalität. Dieser Simulator muss für die Simulation beliebiger Instanzennetze anwendbar sein. Hardware auf der Gatter- und auf der Register-Transferebene wird modelliert für Simulation mit dem definierten Instanzennetzsimulator. Ebenso werden spezifische Hardware- Simulatoren definiert, wobei repräsentative Modelle der Gatter- und der Register-Transferebene ausgewählt werden. Da diese Hardware-Simulatoren nur für bestimmte Systemklassen geeignet sind, die Unterklassen von Instanzennetzen darstellen, bringen sie einen gewissen Effizienzgewinn gegenüber dem allgemeinen Instanzennetzsimulator. Die Messung dieses Gewinns und seine Zurückführung auf bestimmte Eigenschaften der Instanzennetze und der digitalen Systeme sind konkrete Ziele dieser Arbeit. Um diese Messung zu ermöglichen, werden digitale Systeme durch Parametersätze dargestellt. Diese Parameter erlauben uns, exakte Ausdrücke fir den Simulationszeitverbrauch aller definierten Simulatoren abzuleiten. Durch Variierung der Parameterwerte wird das ganze Spektrum der digitalen Systeme erfasst.
89

Controle de radiação sonora numa placa retangular através de atuadores piezelétricos discretos

Pergher, Rejane January 2003 (has links)
Neste trabalho, é estudado o controle da transmissão do som numa placa retangular e fina. Para tanto, é encontrada a resposta dinâmica da placa, excitada por forças harmônicas pontuais e piezomomentos, obtida usando uma base não-clássica e uma análise modal. A radiação sonora emitida pela vibração da placa é encontrada. A potência sonora radiada pode ser calculada aplicando controle ativo diretamente na estrutura, na forma de uma entrada vibratória, uma vez conhecida a resposta na superfície da placa, obtendo-se uma signicativa redução analitica. Os piezocerâmicos, modelados como quatro momentos pontuais, são unidos a superfície da placa como atuadores. A potência sonora transmitida antes e depois do controle é comparada, usando diferentes número de atuadores. Uma estratégia clássica de controle linear quadrático (LQR) e empregada no contexto de um procedimento de otimização da posição dos atuadores do sistema.
90

Modelagem e simulação de uma solução de integração para identificação de gargalos de desempenho baseadas em formalismo matemático: uma abordagem orientada à Cadeias De Markov

Horn, Márcia Maria 26 August 2016 (has links)
É de senso comum que, para auxiliar seus processos de negócios, as empresas utilizam heterogêneas aplicações de software, em sua maioria, compostas de sistemas legados, pacotes de softwares adquiridos de terceiros ou sistemas desenvolvidos por sua própria equipe de programadores como solução para um problema específico. Neste aspecto, percebe-se que no momento que surge a demanda pela comunicação e interação entre tais aplicações, as soluções tornam-se adaptações, acarretando mais complexidade ao problema, insegurança, além de elevados custos de implantação e manutenção. Neste cenário, a área de integração de aplicações empresárias tornou-se fundamental para a gestão da informação, pois proporciona metodologias e ferramentas para projetar e implementar soluções de integração, sem afetar a estrutura de dados e aplicações existentes. Seu desenvolvimento seguem processos da área da engenharia de software, tipicamente incluem as fazes de especificação, projeto, implementação, teste e evolução. A tecnologia Guaraná é ferramenta que proporciona o desenvolvimento de soluções de integração possibilitando projetar soluções em um alto nível de abstração, utilizando uma sintaxe concreta gráfica e muito intuitiva. Este trabalho propõe analisar o comportamento e identificar gargalos de desempenho em soluções de integração de aplicações por meio do desenvolvimento de um modelo formal de simulação baseado em Cadeias de Markov. Utiliza-se, como estudo de caso, um sistema de gerenciamento de telefonemas pessoais implementado na Unijuí e desenvolvido pela tecnologia Guaraná. Os resultados experimentais demonstraram que é possível avaliar a qualidade de uma solução de integração ainda na fase de projeto, sem a necessidade de implementa-la. O modelo de simulação proposto foi validado por meio de técnicas de verificação formal. / 163 f.

Page generated in 0.0783 seconds