Magíster en Gestión de Operaciones / Ingeniero Civil Industrial / Debido a la alta volatilidad en el precio del cobre y lo sensible que es la planificación minera al precio del metal, se ha propuesto un modelo de optimización estocástica que considere incertidumbre en el precio del cobre, representada en árboles de precios, y que en consecuencia entregue como solución un árbol de planes mineros, cada uno asociado a su serie de precio correspondiente. El gran problema que conlleva este nuevo enfoque es que, debido a la gran cantidad de escenarios, y por consiguiente de planes mineros, en la práctica es muy difícil de auditar, en término mineros, la solucion entregada, y que aumenta su dificultad de verificar y comprender a medida que crece el número de escenarios considerados. Se propone una metodología para la comparación entre planes mineros estocásticos y determinísticos que cumple con los siguientes requisitos: (i) Tome poco tiempo en comparar los resultados estocástocos con los deterministas, (ii) Se explique la mayor parte de la diferencia en VAN entre ambas soluciones. Esta metodología consiste principalmente en agrupar los planes mineros que sean similares y luego escoger un plan representativo de cada grupo, dicho plan representativo se compara con el plan determinístico para explicar las diferencias en VAN entre los planes del grupo correspondiente con el plan determinista. El porcentaje de la diferencia que se explica con la metodología depende principalmente de qué tan bien agrupados se encuentren los planes mineros estocásticos. Se proponen y evalúan tres algoritmos de agrupamiento: (1) k-means, (2) k-medoids, (3) Modelo de optimización basado en k-medoids. Los tres algoritmos de agrupación tienen ventajas y desventajas, donde se destaca que los dos primeros algoritmos son de rápida ejecución, mientras que el tercero es considerablemente más lento; y que los algortimos 2 y 3 logran explicar una mayor parte de la diferencia en VAN, sobre el 82% con sólo 5 grupos de planes mineros, mientras que el primero presenta un peor desempeño. Los resultados obtenidos son muy satisfactorios, en particular para el algoritmo 2, que presenta bajos tiempos de ejecución y logra explicar gran parte de la diferencia en VAN entre los planes mineros estocásticos y determinísticos considerados. Además, el algoritmo 2 mantiene su alto rendimiento al realizar variaciones en todos los parámetros del modelo, lo que indica que es un algoritmo robusto. Finalmente, se tiene que la metodología propuesta es adaptable a cualquier problema que presente la misma estructura que el problema considerado, es decir, que la incertidumbre sea representada en árboles de escenarios, ya que la metodología propuesta está exclusivamente sujeta a la estructura de las soluciones entregadas por el modelo de optimización estocástico, y no al problema en particular que éste modela.

Submitted by Reginaldo Soares de Freitas (reginaldo.freitas@ufv.br) on 2017-03-07T19:02:09Z No. of bitstreams: 1 texto completo.pdf: 16647940 bytes, checksum: 0e29a39eb3ed8c7d1853f75d5180d624 (MD5) / Made available in DSpace on 2017-03-07T19:02:09Z (GMT). No. of bitstreams: 1 texto completo.pdf: 16647940 bytes, checksum: 0e29a39eb3ed8c7d1853f75d5180d624 (MD5) Previous issue date: 1996-03-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nos últimos anos, muito se tem discutido a respeito do desenvolvimento de novas técnicas da Engenharia Civil, em especial no que concerne as analises probabilísticas. Considerando-se a exigência do mercado, que cada vez mais impõe soluções de engenharia que garantam a segurança e diminuam os custos das obras civis, novos métodos e novas técnicas são continuamente pesquisados. Esta questão é clara quando se trata de projetos de estabilidade de taludes que, tradicionalmente, empregam métodos determinísticos em suas analises. As ferramentas e técnicas habitualmente usadas no dimensionamento de taludes, quer sejam analíticas, quer sejam gráficas e a duas ou trés dimensões, gera!mente não levam em conta a variabilidade e a dispersão dos parâmetros em questão. E possível estabelecer modelos estatísticos para todos os parâmetros geológico-geotécnicos envolvidos em uma analise de estabilidade e, por meio de métodos específicos, definir probabilidades de ruptura. Em um enfoque probabilístico, o profissional de Geotecnia pode incorporar a sua analise o grau de confiabilidade que ele possui a respeito dos dados de cada estudo em particular. E com base nessas premissas que este trabalho foi desenvolvido, tomando-se como caso de estudo o deslizamento ocorrido na Mina de Águas Claras, pertencente a Minerações Brasileiras Reunidas SIA, em 29 de abril de 1992. Para 0 estudo determinístico realizado, chegou-se a um fator de segurança de 1,12, valor atualmente aceito dentro de determinados limites de risco para a mineração. Para 0 mesmo caso, foi acrescentada uma análise probabilística que forneceu resultado igual a 42,9% como probabilidade de ruptura, valor esse inaceitável dentro dos limites estabelecidos como referência. Mediante a análise dos resultados alcançados, foi demonstrada a clara vantagem em se procederem as análises conjuntas dos métodos determinístico e probabilístico, obtendo-se informações adicionais importantes acerca das decisões a serem tomadas para a resolução do problema em questão. / Developments in research mettodology applied to Civil Engineering, particulary probability analysis, have been discussed. Methods and techniques are continuously analysed for engineering solutions increasing safety and decreasing costs of civil works. This question becomes clear as one deals with slope stability projects. Traditionally, these projects apply deterministic procedures. Most common tools and techniques used in slope measurement usually do not take into account parameter variability. However, it is possible to fit statistical models for all geologic-geotechnic parameters involved in a stability analysis. Using specific procedures is thus feasible to define fracture probabilistics. Under a probabilistic framework, geotechnics professionals may include confidence limits concerning the data of each specific study. The present research was based on those arguments. The slinding ocurred in April 29, 1992 at the Aguas Claras Mine was used as a case study. Results obtained show the advantages of employing both deterministic and probabilistic procedures. Further import information is additionally provided on the specufic problem.

The present thesis is focused on the development of a thorough mathematical modelling and computational solution framework aimed at the numerical simulation of journal and sliding bearing systems operating under a wide range of lubrication regimes (mixed, elastohydrodynamic and full film lubrication regimes) and working conditions (static, quasi-static and transient conditions). The fluid flow effects have been considered in terms of the Isothermal Generalized Equation of the Mechanics of the Viscous Thin Films (Reynolds equation), along with the massconserving p-Ø Elrod-Adams cavitation model that accordingly ensures the so-called JFO complementary boundary conditions for fluid film rupture. The variation of the lubricant rheological properties due to the viscous-pressure (Barus and Roelands equations), viscous-shear-thinning (Eyring and Carreau-Yasuda equations) and density-pressure (Dowson-Higginson equation) relationships have also been taken into account in the overall modelling. Generic models have been derived for the aforementioned bearing components in order to enable their applications in general multibody dynamic systems (MDS), and by including the effects of angular misalignments, superficial geometric defects (form/waviness deviations, EHL deformations, etc.) and axial motion. The bearing exibility (conformal EHL) has been incorporated by means of FEM model reduction (or condensation) techniques. The macroscopic in fluence of the mixedlubrication phenomena have been included into the modelling by the stochastic Patir and Cheng average ow model and the Greenwood-Williamson/Greenwood-Tripp formulations for rough contacts. Furthermore, a deterministic mixed-lubrication model with inter-asperity cavitation has also been proposed for full-scale simulations in the microscopic (roughness) level. According to the extensive mathematical modelling background established, three significant contributions have been accomplished. Firstly, a general numerical solution for the Reynolds lubrication equation with the mass-conserving p - Ø cavitation model has been developed based on the hybridtype Element-Based Finite Volume Method (EbFVM). This new solution scheme allows solving lubrication problems with complex geometries to be discretized by unstructured grids. The numerical method was validated in agreement with several example cases from the literature, and further used in numerical experiments to explore its exibility in coping with irregular meshes for reducing the number of nodes required in the solution of textured sliding bearings. Secondly, novel robust partitioned techniques, namely: Fixed Point Gauss-Seidel Method (PGMF), Point Gauss-Seidel Method with Aitken Acceleration (PGMA) and Interface Quasi-Newton Method with Inverse Jacobian from Least-Squares approximation (IQN-ILS), commonly adopted for solving uid-structure interaction problems have been introduced in the context of tribological simulations, particularly for the coupled calculation of dynamic conformal EHL contacts. The performance of such partitioned methods was evaluated according to simulations of dynamically loaded connecting-rod big-end bearings of both heavy-duty and high-speed engines. Finally, the proposed deterministic mixed-lubrication modelling was applied to investigate the in fluence of the cylinder liner wear after a 100h dynamometer engine test on the hydrodynamic pressure generation and friction of Twin-Land Oil Control Rings. / O presente trabalho é focado no desenvolvimento de uma modelagem matemática abrangente e um conjunto de ferramentas computacionais destinadas à simulação numérica de mancais hidrodinâmicos sujeitos a diferentes regimes de lubrificação (misto, elastohidrodin^amico e completamente hidrodinâmico) e condições operacionais (estático, quasi-estático e transiente). O escoamento do fluido lubrificante é descrito matematicamente através da Equação Generalizada da Mecânica dos Filmes Finos Viscosos (equação de Reynolds), juntamente com o modelo de cavitação p - Ø proposto por Elrod-Adams que incorpora automaticamente as condições de contorno complementares de JFO para a completa conservação dos fluxos mássicos na presença de ruptura de filme lubricante (cavitação). As variações das propriedades reológicas do lubrificante devido aos efeitos de piezo-viscosidade (equação de Barus e Roelands), \\shear-thinning\" (equações de Eyring e Carreau-Yasuda) e piezo-densidade (equação de Dowson-Higginson) são também contempladas na modelagem. Modelos genéricos de mancais de deslizamento s~ao propostos de forma a possibilitar suas aplicações em problemas de dinâmica multicorpos, assim como a consideração dos efeitos de desalinhamento angular, defeitos de superfícies (forma/ondulação, deformações EHL, etc.) e movimento axial. A flexibilidade dos mancais em situações envolvendo elastohidrodinâmica é incorporada por meio de técnicas de condensação de sistemas empregadas no MEF. A in fluência na escala macroscópica dos fenômenos de lubrificação mista é incluída na modelagem através das formulações estatísticas de Patir & Cheng para a perturbação do escoamento devido à rugosidade das superfícies, e Greenwood-Williamson/Greenwood-Tripp para o contato rugoso. Adicionalmente, um modelo determinístico é também proposto no trabalho de forma a possibilitar simulações do regime misto de lubrificação diretamente na escala (microscópica) de rugosidade. A partir da extensa modelagem matemática desenvolvida, três principais contribuições são propostas. Inicialmente, uma formulação genérica para a solução da equação de Reynolds com o modelo de cavitação p - Ø foi desenvolvida de acordo com o Método dos Volumes Finitos Baseado em Elementos (MVFbE). Este novo método permite a solução de problemas de lubrificação com geometrias complexas e discretizados por malhas não estruturadas.O método foi validado a partir da comparação com diversos exemplos da literatura, e posteriormente utilizado para a simulação de mancais texturizados. A segunda contribuição da pesquisa diz respeito à proposição de técnicas mais robustas e estáveis para a solução particionada do problema fluido-estrutura estabelecido em contatos EHL conformes. As técnicas de acoplamento apresentadas são: Método de Gauss-Seidel com Ponto Fixo (PGMF), Método de Gauss-Seidel com Aceleração de Aitken (PGMA) e Método de Quasi-Newton de Interface (IQN-ILS). O desempenho de tais métodos foi avaliado por meio de simulações dinâmicas de dois mancais de biela, o primeiro utilizado em motores de combustão interna (MCI) de alta velocidade (high-speed engine), e o segundo em motores sujeitos a elevado carregamento (heavy-duty diesel engine). Finalmente, a modelagem determinística proposta para o regime misto de lubri- ficação foi aplicada na investigação da influência do desgaste superficial de cilindros de motores de combustão interna, obtidos após 100h de teste em dinamômetro, na geração de sustentação hidrodinâmica e atrito em anéis de controle de óleo (TLOCRs).

The present thesis is focused on the development of a thorough mathematical modelling and computational solution framework aimed at the numerical simulation of journal and sliding bearing systems operating under a wide range of lubrication regimes (mixed, elastohydrodynamic and full film lubrication regimes) and working conditions (static, quasi-static and transient conditions). The fluid flow effects have been considered in terms of the Isothermal Generalized Equation of the Mechanics of the Viscous Thin Films (Reynolds equation), along with the massconserving p-Ø Elrod-Adams cavitation model that accordingly ensures the so-called JFO complementary boundary conditions for fluid film rupture. The variation of the lubricant rheological properties due to the viscous-pressure (Barus and Roelands equations), viscous-shear-thinning (Eyring and Carreau-Yasuda equations) and density-pressure (Dowson-Higginson equation) relationships have also been taken into account in the overall modelling. Generic models have been derived for the aforementioned bearing components in order to enable their applications in general multibody dynamic systems (MDS), and by including the effects of angular misalignments, superficial geometric defects (form/waviness deviations, EHL deformations, etc.) and axial motion. The bearing exibility (conformal EHL) has been incorporated by means of FEM model reduction (or condensation) techniques. The macroscopic in fluence of the mixedlubrication phenomena have been included into the modelling by the stochastic Patir and Cheng average ow model and the Greenwood-Williamson/Greenwood-Tripp formulations for rough contacts. Furthermore, a deterministic mixed-lubrication model with inter-asperity cavitation has also been proposed for full-scale simulations in the microscopic (roughness) level. According to the extensive mathematical modelling background established, three significant contributions have been accomplished. Firstly, a general numerical solution for the Reynolds lubrication equation with the mass-conserving p - Ø cavitation model has been developed based on the hybridtype Element-Based Finite Volume Method (EbFVM). This new solution scheme allows solving lubrication problems with complex geometries to be discretized by unstructured grids. The numerical method was validated in agreement with several example cases from the literature, and further used in numerical experiments to explore its exibility in coping with irregular meshes for reducing the number of nodes required in the solution of textured sliding bearings. Secondly, novel robust partitioned techniques, namely: Fixed Point Gauss-Seidel Method (PGMF), Point Gauss-Seidel Method with Aitken Acceleration (PGMA) and Interface Quasi-Newton Method with Inverse Jacobian from Least-Squares approximation (IQN-ILS), commonly adopted for solving uid-structure interaction problems have been introduced in the context of tribological simulations, particularly for the coupled calculation of dynamic conformal EHL contacts. The performance of such partitioned methods was evaluated according to simulations of dynamically loaded connecting-rod big-end bearings of both heavy-duty and high-speed engines. Finally, the proposed deterministic mixed-lubrication modelling was applied to investigate the in fluence of the cylinder liner wear after a 100h dynamometer engine test on the hydrodynamic pressure generation and friction of Twin-Land Oil Control Rings. / O presente trabalho é focado no desenvolvimento de uma modelagem matemática abrangente e um conjunto de ferramentas computacionais destinadas à simulação numérica de mancais hidrodinâmicos sujeitos a diferentes regimes de lubrificação (misto, elastohidrodin^amico e completamente hidrodinâmico) e condições operacionais (estático, quasi-estático e transiente). O escoamento do fluido lubrificante é descrito matematicamente através da Equação Generalizada da Mecânica dos Filmes Finos Viscosos (equação de Reynolds), juntamente com o modelo de cavitação p - Ø proposto por Elrod-Adams que incorpora automaticamente as condições de contorno complementares de JFO para a completa conservação dos fluxos mássicos na presença de ruptura de filme lubricante (cavitação). As variações das propriedades reológicas do lubrificante devido aos efeitos de piezo-viscosidade (equação de Barus e Roelands), \\shear-thinning\" (equações de Eyring e Carreau-Yasuda) e piezo-densidade (equação de Dowson-Higginson) são também contempladas na modelagem. Modelos genéricos de mancais de deslizamento s~ao propostos de forma a possibilitar suas aplicações em problemas de dinâmica multicorpos, assim como a consideração dos efeitos de desalinhamento angular, defeitos de superfícies (forma/ondulação, deformações EHL, etc.) e movimento axial. A flexibilidade dos mancais em situações envolvendo elastohidrodinâmica é incorporada por meio de técnicas de condensação de sistemas empregadas no MEF. A in fluência na escala macroscópica dos fenômenos de lubrificação mista é incluída na modelagem através das formulações estatísticas de Patir & Cheng para a perturbação do escoamento devido à rugosidade das superfícies, e Greenwood-Williamson/Greenwood-Tripp para o contato rugoso. Adicionalmente, um modelo determinístico é também proposto no trabalho de forma a possibilitar simulações do regime misto de lubrificação diretamente na escala (microscópica) de rugosidade. A partir da extensa modelagem matemática desenvolvida, três principais contribuições são propostas. Inicialmente, uma formulação genérica para a solução da equação de Reynolds com o modelo de cavitação p - Ø foi desenvolvida de acordo com o Método dos Volumes Finitos Baseado em Elementos (MVFbE). Este novo método permite a solução de problemas de lubrificação com geometrias complexas e discretizados por malhas não estruturadas.O método foi validado a partir da comparação com diversos exemplos da literatura, e posteriormente utilizado para a simulação de mancais texturizados. A segunda contribuição da pesquisa diz respeito à proposição de técnicas mais robustas e estáveis para a solução particionada do problema fluido-estrutura estabelecido em contatos EHL conformes. As técnicas de acoplamento apresentadas são: Método de Gauss-Seidel com Ponto Fixo (PGMF), Método de Gauss-Seidel com Aceleração de Aitken (PGMA) e Método de Quasi-Newton de Interface (IQN-ILS). O desempenho de tais métodos foi avaliado por meio de simulações dinâmicas de dois mancais de biela, o primeiro utilizado em motores de combustão interna (MCI) de alta velocidade (high-speed engine), e o segundo em motores sujeitos a elevado carregamento (heavy-duty diesel engine). Finalmente, a modelagem determinística proposta para o regime misto de lubri- ficação foi aplicada na investigação da influência do desgaste superficial de cilindros de motores de combustão interna, obtidos após 100h de teste em dinamômetro, na geração de sustentação hidrodinâmica e atrito em anéis de controle de óleo (TLOCRs).

As redes complexas têm recebido um crescente interesse nas mais diversas áreas do conhecimento. Esse crescimento se deve principalmente a sua flexibilidade em modelar e simular estruturas topológicas que aparecem em nosso cotidiano. Na maioria das vezes, a caracterização das redes complexas é baseada em medidas básicas, como média dos graus, graus hierárquicos, coeficiente de aglomeração, entre outras. Muitas das medidas propostas são correlacionadas, implicando em redundância. Este trabalho propõe o uso das caminhadas determinísticas do turista como uma medida de representação robusta e eficiente de redes complexas. Nesta medida, caminhadas são iniciadas por exploradores que partem de um dos vértices da rede e em seguida, informações são extraídas sobre essas caminhadas. Experimentos foram realizados em redes complexas artificiais e em redes modelando imagens de textura. No reconhecimento de redes artificiais, o método proposto foi aplicado em quatro modelos de redes complexas teóricos: redes aleatórias, pequenomundo, livre de escala e geográficas. No reconhecimento de textura, o método foi avaliado em bancos de texturas sintéticas e reais (texturas de folhas de plantas). Em ambas as aplicações, o método alcançou excelentes resultados comparados com o estado da arte / Complex networks have received a growing interest in several areas of knowledge. This growth is mainly due to its flexibility in modeling and simulating topological structures that appear in our daily life. In most cases, complex networks characterization are based on basic measurements such as average degree, hierarchical degree, clustering coefficient, among others. Many of the measures are correlated, resulting in redundancy. This dissertation proposes the use of deterministic walks as a robust and efficient complex network measurement. In this measurement, walks are initiated by explorers starting from each vertex and then, informations are extracted on these walks. Experiments were performed on artificial complex networks and network modeling texture images. In artificial network recognition, the proposed method was applied to four theoretical complex network models: random, small-world, free-scale and geographical networks. In texture recognition, the method was evaluated in synthetic and real (texture of leaves) databases. In both applications, the method achieved excellent results compared with the state of the art methods

FREIRE, Cibele Matos. Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais. 2010. 54 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2010. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T12:35:52Z No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-15T12:43:24Z (GMT) No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Made available in DSpace on 2016-07-15T12:43:24Z (GMT). No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) Previous issue date: 2010 / In Descriptive Complexity, we investigate the use of logics to characterize computational classes os problems through complexity. Since 1974, when Fagin proved that the class NP is captured by existential second-order logic, considered the rst result in this area, other relations between logics and complexity classes have been established. Wellknown results usually involve rst-order logic and its extensions, and complexity classes in polynomial time or space. Some examples are that the rst-order logic extended by the least xed-point operator captures the class P and the second-order logic extended by the transitive closure operator captures the class PSPACE. In this dissertation, we will initially analyze the expressive power of some modal logics with respect to the decision problem REACH and see that is possible to express it with temporal logics CTL and CTL . We will also analyze the combined use of higher-order logics extended by the least xed-point operator and obtain as result that each level of this hierarchy captures each level of the deterministic exponential time hierarchy. As a corollary, we will prove that the hierarchy of HOi(LFP), for i 2, does not collapse, that is, HOi(LFP) HOi+1(LFP). / Em Complexidade Descritiva investigamos o uso de l ogicas para caracterizar classes problemas pelo vi es da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela l ogica existencial de segunda-ordem, considerado o primeiro resultado da area, outras rela c~oes entre l ogicas e classes de complexidade foram estabelecidas. Os resultados mais conhecidos normalmemte envolvem l ogica de primeira-ordem e suas extens~oes, e classes de complexidade polinomiais em tempo ou espa co. Alguns exemplos são que a l ogica de primeira-ordem estendida com o operador de menor ponto xo captura a clsse P e que a l ogica de segunda-ordem estendida com o operador de fecho transitivo captura a classe PSPACE. Nesta dissertação, analisaremos inicialmente a expressividade de algumas l ogicas modais com rela cão ao problema de decisão REACH e veremos que e poss vel express a-lo com as l ogicas temporais CTL e CTL . Analisaremos tamb em o uso combinado de l ogicas de ordem superior com o operador de menor ponto xo e obteremos como resultado que cada n vel dessa hierarquia captura cada n vel da hierarquia determin stica em tempo exponencial. Como corol ario, provamos que a hierarquia de HOi(LFP) não colapsa, ou seja, HOi(LFP) HOi+1(LFP).

As redes complexas têm recebido um crescente interesse nas mais diversas áreas do conhecimento. Esse crescimento se deve principalmente a sua flexibilidade em modelar e simular estruturas topológicas que aparecem em nosso cotidiano. Na maioria das vezes, a caracterização das redes complexas é baseada em medidas básicas, como média dos graus, graus hierárquicos, coeficiente de aglomeração, entre outras. Muitas das medidas propostas são correlacionadas, implicando em redundância. Este trabalho propõe o uso das caminhadas determinísticas do turista como uma medida de representação robusta e eficiente de redes complexas. Nesta medida, caminhadas são iniciadas por exploradores que partem de um dos vértices da rede e em seguida, informações são extraídas sobre essas caminhadas. Experimentos foram realizados em redes complexas artificiais e em redes modelando imagens de textura. No reconhecimento de redes artificiais, o método proposto foi aplicado em quatro modelos de redes complexas teóricos: redes aleatórias, pequenomundo, livre de escala e geográficas. No reconhecimento de textura, o método foi avaliado em bancos de texturas sintéticas e reais (texturas de folhas de plantas). Em ambas as aplicações, o método alcançou excelentes resultados comparados com o estado da arte / Complex networks have received a growing interest in several areas of knowledge. This growth is mainly due to its flexibility in modeling and simulating topological structures that appear in our daily life. In most cases, complex networks characterization are based on basic measurements such as average degree, hierarchical degree, clustering coefficient, among others. Many of the measures are correlated, resulting in redundancy. This dissertation proposes the use of deterministic walks as a robust and efficient complex network measurement. In this measurement, walks are initiated by explorers starting from each vertex and then, informations are extracted on these walks. Experiments were performed on artificial complex networks and network modeling texture images. In artificial network recognition, the proposed method was applied to four theoretical complex network models: random, small-world, free-scale and geographical networks. In texture recognition, the method was evaluated in synthetic and real (texture of leaves) databases. In both applications, the method achieved excellent results compared with the state of the art methods

A análise de texturas dinâmicas tem se apresentado como uma área de pesquisa crescente e em potencial nos últimos anos em visão computacional. As texturas dinâmicas são sequências de imagens de textura (i.e. vídeo) que representam objetos dinâmicos. Exemplos de texturas dinâmicas são: evolução de colônia de bactérias, crescimento de tecidos do corpo humano, escada rolante em movimento, cachoeiras, fumaça, processo de corrosão de metal, entre outros. Apesar de existirem pesquisas relacionadas com o tema e de resultados promissores, a maioria dos métodos da literatura possui limitações. Além disso, em muitos casos as texturas dinâmicas são resultado de fenômenos complexos, tornando a tarefa de caracterização um desafio ainda maior. Esse cenário requer o desenvolvimento de um paradigma de métodos baseados em complexidade. A complexidade pode ser compreendida como uma medida de irregularidade das texturas dinâmicas, permitindo medir a estrutura dos pixels e quantificar os aspectos espaciais e temporais. Neste contexto, o objetivo deste mestrado é estudar e desenvolver métodos para caracterização de texturas dinâmicas baseado em metodologias de complexidade advindas da área de sistemas complexos. Em particular, duas metodologias já utilizadas em problemas de visão computacional são consideradas: redes complexas e caminhada determinística parcialmente auto-repulsiva. A partir dessas metodologias, três métodos de caracterização de texturas dinâmicas foram desenvolvidos: (i) baseado em difusão em redes - (ii) baseado em caminhada determinística parcialmente auto-repulsiva - (iii) baseado em redes geradas por caminhada determinística parcialmente auto-repulsiva. Os métodos desenvolvidos foram aplicados em problemas de nanotecnologia e tráfego de veículos, apresentando resultados potenciais e contribuindo para o desenvolvimento de ambas áreas. / Dynamic texture analysis has been an area of research increasing and in potential in recent years in computer vision. Dynamic textures are sequences of texture images (i.e. video) that represent dynamic objects. Examples of dynamic textures are: evolution of the colony of bacteria, growth of body tissues, moving escalator, waterfalls, smoke, process of metal corrosion, among others. Although there are researches related to the topic and promising results, most literature methods have limitations. Moreover, in many cases the dynamic textures are the result of complex phenomena, making a characterization task even more challenging. This scenario requires the development of a paradigm of methods based on complexity. The complexity can be understood as a measure of irregularity of the dynamic textures, allowing to measure the structure of the pixels and to quantify the spatial and temporal aspects. In this context, this masters aims to study and develop methods for the characterization of dynamic textures based on methodologies of complexity from the area of complex systems. In particular, two methodologies already used in computer vision problems are considered: complex networks and deterministic walk partially self-repulsive. Based on these methodologies, three methods of characterization of dynamic textures were developed: (i) based on diffusion in networks - (ii) based on deterministic walk partially self-repulsive - (iii) based on networks generated by deterministic walk partially self-repulsive. The developed methods were applied in problems of nanotechnology and vehicle traffic, presenting potencial results and contribuing to the development of both areas.

O teste de programas concorrentes é uma atividade custosa devido principalmente à quantidade de sequências de sincronização que devem ser testadas para validar tais programas. Uma das técnicas mais utilizadas para testar a comunicação e sincronização de programas concorrentes é a geração automática de diferentes pares de sincronização ou, em outras palavras, a geração de variantes de disputa (race variant). Nesta técnica as variantes de disputa são geradas a partir de arquivos de rastro de uma execução não-determinística e algoritmos de execução determinística são utilizados para forçar que diferentes sincronizações sejam cobertas. Este trabalho aborda de maneira abrangente este problema, cujo objetivo principal é reduzir o tempo de resposta da atividade de teste estrutural de programas concorrentes quando diferentes variantes de disputa são executadas. Há três principais contribuições neste trabalho: (1) geração de arquivos de rastro e execução determinística total/parcial, (2) geração automática de variantes e (3) paralelização da execução das variantes. Diferentemente de outros trabalhos disponíveis na literatura, os algoritmos propostos consideram programas concorrentes que interagem simultaneamente com passagem de mensagens e memória compartilhada. Foram consideradas seis primitivas com semânticas distintas: ponto-a-ponto bloqueante/não bloqueante, coletivas um-para-todos/todos-para-um/todos-para-todos e semáforos. Os algoritmos foram desenvolvidos no nível de aplicação em Java, são ortogonais à linguagem de programação utilizada e não requerem privilégios de sistema para serem executados. Estas três contribuições são descritas, detalhando seus algoritmos. Também são apresentados os resultados obtidos com os experimentos feitos durante as fases de validação e avaliação de cada contribuição. Os resultados demonstram que os objetivos propostos foram atingidos com sucesso para cada contribuição e, do ponto de vista do testador, o tempo de resposta da atividade de teste estrutural de programas concorrentes foi reduzido enquanto a cobertura de programas concorrentes com ambos os paradigmas aumentou com procedimentos automatizados e transparentes. Os experimentos mostram speedups próximos ao linear, quando comparadas as versões sequencial e paralela dos algoritmos. / The testing of concurrent programs is an expensive task, mainly because it needs to test a high number of synchronization sequences, in order to validate such programs. One of the most used techniques to test communication and synchronization of concurrent programs is the automatic generation of different synchronizations pairs (or generation of race variants). Race variants are generated from the trace files of a nondeterministic execution, and the deterministic executions force the coverage of different synchronizations. This work approaches this problem in a more general way. It reduces the response time of the structural testing of concurrent programs when different variants are required. There are three main contributions in this work: the generation of trace files and the total or partial deterministic execution, the automatic generation of race variants and the parallelization of execution of race variants. The proposed algorithms take into account concurrent programs that interact simultaneously with message passing and shared memory, including six primitives with distinct semantics: blocking and non-blocking point-to-point, all-to-all/one-to-all/all-toone collectives and shared memory. The algorithms have been implemented in Java in the application level, they are language independent and do not need system privileges to execute. Results obtained during the validation and evaluation phase are also presented and they show that the proposed objectives are reached with success. From the tester viewpoint, the response time of structural testing of concurrent programs was reduced, while the coverage of the concurrent programs with both paradigms increased with automatic and transparent procedures. The experiments showed speedups close to linear, when comparing the sequential and parallel versions.

Fundação Carlos Chagas Filho de Amparo a Pesquisa do Estado do Rio de Janeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Considerando-se um cenário econômico bastante favorável em conjunto com avanços tecnológicos da ciência dos materiais e processos construtivos, nos últimos trinta anos, as cidades brasileiras têm apresentado um crescimento substancial, no que diz respeito à construção de edifícios residenciais e comerciais de múltiplos andares. Nos dias de hoje, estes edifícios apresentam níveis de esbeltez elevados e têm sido construídos com estruturas cada vez mais arrojadas englobando a experiência e o conhecimento dos engenheiros civis. Deste modo, o principal objetivo dos projetistas está associado à concepção de estruturas mais leves, nas quais o projeto estrutural requer um conhecimento teórico substancial, objetivando tornar compatíveis os requisitos arquitetônicos com as condições necessárias para a estabilidade. Assim sendo, o objetivo deste trabalho de pesquisa é o de investigar o comportamento estrutural estático e dinâmico de um edifício misto (aço-concreto) de 20 pavimentos quando submetido às ações dinâmicas do vento não determinísticas. Deste modo, no desenvolvimento do modelo computacional são empregadas técnicas usuais de discretização, via método dos elementos finitos, por meio do programa ANSYS. Para tal, o estudo apresenta os resultados de uma análise não linear geométrica para ações de serviço. A resposta dinâmica não determinística do modelo estrutural investigado, em termos dos valores máximos médios dos deslocamentos e das acelerações, foi obtida e comparada com os valores limites propostos por normas e recomendações de projeto. / Considering the favourable economic scenario and technological advances of material sciences and construction processes, in the last thirty years, the Brazilian cities have presented a substantial growth, with respect to construction of residential and commercial multi-storey buildings. Nowadays, these buildings present greater slenderness and have been constructed with more challenging structures that encompass the experience and knowledge of structural designers by using newly developed materials and technologies boosted by the ever-growing investigations on this field. As the structural designer main objective is related to produce increasingly lighter structures its conception requires a substantial amount of theoretical knowledge associated to structural design and construction processes, in order to make compatible the requirements of architecture with the necessary conditions for stability. This way, this research work aims to investigate the static and dynamic structural behaviour of a 20 story steel-concrete composite building, when submitted to the non-deterministic wind dynamic actions. The developed computational model adopted the usual mesh refinement techniques present in finite element method simulations implemented in the ANSYS program. The present study has considered the results of a geometric nonlinear analysis for serviceability limit states. The investigated structural model non-deterministic dynamic response, in terms of displacements and peak accelerations, was obtained and compared to the limiting values proposed by several authors and design standards.