Elétrons em bandas estreitas de energia são fortemente afetados pela interação coulombiana como também por desordem na rede. Ambos os efeitos podem levar à localização, mas de naturezas diferentes: estado isolante de Mott, induzido por correlação, e localização de Anderson, induzida por desordem. A existência da fase de Mott ´e também significativamente dependente do preenchimento da banda. Abordagens teóricas para lidar com esse tipo de sistema são usualmente baseadas no hamiltoniano de Hubbard ou modelos relacionados, incluindo desordem como uma distribuição de energias locais. Neste trabalho, utilizando a Teoria de Campo Médio Dinâmico (DMFT), estudamos o modelo de Anderson-Falicov-Kimball e sua versão de três bandas, obtida como uma simplificação do modelo de Hubbard de três bandas associado aos planos de CuO2 dos cupratos supercondutores de alta temperatura crítica, realizando nossa análise para os casos magnético e não magnético. A densidade de estados de uma partícula é obtida por medias aritmética e geométrica sobre a desordem, já que somente a última pode detectar a localização na ausência de um gap de energia. Variando as intensidades de interação coulombiana e desordem, construímos diagramas de fases para esse modelo, onde identificamos transições metal-isolante mediadas por correlação e desordem, bem como a inter-relação entre esses efeitos. Isso é feito para vários preenchimentos de banda, já que nosso principal interesse aqui é estudar como a variação da densidade de elétrons (dopagem) afeta os diagramas de fases previamente obtidos na ausência de dopagem. Para o modelo de uma banda no caso paramagnético, as informações reveladas pela densidade de estados são confirmadas pela análise das condutividades estática e dinâmica, incluindo efeitos de temperatura. Quando consideramos a solução magnética, observamos o comportamento da temperatura de Néel e podemos apresentar um diagrama de fases mais completo. Além de uma análise bastante extensa do modelo de uma banda, fazemos um estudo inicial do modelo de três bandas, focalizando comportamentos que possam vir a ser comparados ao que se observa nos óxidos supercondutores. / Electrons in narrow-band solids are strongly affected by the Coulomb interaction as well as lattice disorder. Both effects can lead to localization, but of different nature: correlation-induced Mott insulating state, and disorder-induced Anderson localization. The existence of the Mott phase is also significantly dependent on the band filling. Theoretical approaches to deal with this kind of system are usually based on the Hubbard Hamiltonian or related models, including disorder as a distribution of the on-site energies. In this work, utilizing Dynamic Mean Field Theory (DMFT), we study the Anderson- Falicov-Kimball and its three-band version, obtained as a simplification of the three-band Hubbard model associated to the CuO2 planes of high-critical-temperature cuprate superconductors, performing our analysis for the magnetic and non-magnetic cases. The one-particle density of states is obtained by both arithmetic and geometrical averages over disorder, since only the latter can detect localization in the absence of an energy gap. Varying the strengths of Coulomb interaction and disorder, we construct phase diagrams for these models, where we identify metal-insulator transitions driven by correlation and disorder, as well as the interplay between these effects. This is done for various band fillings, since our main interest here is to study how the variation of the electron density affects the phase diagrams previously obtained in the absence of doping. For the one-band model in the paramagnetic case, the picture revealed by the density of states is further checked by evaluating the static and dynamic conductivities, including temperature effects. When we consider the magnetic solution, we observe the N´eel temperature behavior, and we are able to present a more complete phase diagram. Besides a quite extensive analysis of the one-band model, we develop an initial study of the threeband model, focusing on behaviors that might be linked with what is observed on the superconducting oxides.

Tese de mestrado integrado. Engenharia Civil - Especialização em Estruturas. Faculdade de Engenharia. Universidade do Porto. 2012

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-16T14:32:16Z No. of bitstreams: 1 ANNE CAROLINE OLIVEIRA ROCHA - DISSERTAÇÃO PPGCC 2010..pdf: 10304516 bytes, checksum: cbf8cbf8a7183317a894c05b4019777e (MD5) / Made available in DSpace on 2018-08-16T14:32:16Z (GMT). No. of bitstreams: 1 ANNE CAROLINE OLIVEIRA ROCHA - DISSERTAÇÃO PPGCC 2010..pdf: 10304516 bytes, checksum: cbf8cbf8a7183317a894c05b4019777e (MD5) Previous issue date: 2010-04-30 / CNPq / Em um processo de desenvolvimento de software, artefatos de uma etapa são utilizados como fonte para criação de novos artefatos para outras etapas. Então, defeitos podem ser inseridos durante a transição de uma etapa para outra: artefatos podem ficar inconsistentes, levando à construção de um software com defeitos. Neste contexto, uma técnica de inspeção pode ser utilizada para verificar esses artefatos, que são produzidos desde as primeiras etapas do desenvolvimento. Este trabalho apresenta uma forma de automação da técnica de inspeção guiada. Esta técnica tem o objetivo de verificar a conformidade entre artefatos de diferentes níveis de abstração (por exemplo, uma especificação de requisitos com relação a um diagrama de seqüência). Esta inspeção é realizada através de casos de teste, que representam cada cenário de caso de uso da especificação de requisitos. Como os passos de um caso de teste contêm o comportamento de um sistema, então a inspeção guiada permite encontrar defeitos semânticos para aquele sistema. Além disso, por ser uma técnica automática, é possível detectar também inconsistências entre as sintaxes dos artefatos de software. Para dar suporte à automação, serão utilizados conceitos de MDA (Model DrivenArchitecture) para transformação entre modelos e a ferramenta USE para simulação de modelos. / In a software development process, artifacts from a stage are used as input to create new artifacts on another. The transition between different artifacts may not be precise; inconsistencies may occur. These inconsistent artifacts may produce software with defects. In this context, a software inspection technique is needed to validate these artifacts. This paper presents a method to automate a guided inspection technique, which evaluates the conformity between artifacts of distinct abstraction levels. The inspection uses test cases, that represent each use case scenario of the requirement specification. Since test case steps have the system behavior, so the guided inspection allows to detect semantic defects. Moreover, how it’s an automated techinique it’s also possible to detect inconsistences about the artefact syntaxes. As support for the automation, we are using MDA (Model Driven Architecture) to perform model-to-model transformations and the USE tool for model simulation.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-02T14:02:19Z No. of bitstreams: 1 SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2011..pdf: 13091249 bytes, checksum: 1cb0178385eb3bd7c5eb2d8c16dd72ac (MD5) / Made available in DSpace on 2018-09-02T14:02:19Z (GMT). No. of bitstreams: 1 SEBASTIÃO ESTEFÂNIO PINTO RABELO JÚNIOR - DISSERTAÇÃO PPGCC 2011..pdf: 13091249 bytes, checksum: 1cb0178385eb3bd7c5eb2d8c16dd72ac (MD5) Previous issue date: 2012-11-11 / Capes / Atualmente, quando se fala em UML, temos os diagramas de sequência como o mais popular entre os diagramas usados para descrever aspectos comportamentais de um software. Por outro lado, temos Java como uma das linguagens orientadas a objetos mais usada no mundo. Entretanto, não encontramos em nossas pesquisas um meio sistêmico para a verificação automática de conformidade entre modelos comportamentais e o código desenvolvido para atender esse modelo. Nesta dissertação, nós desenvolvemos uma abordagem capaz de verificar- esse tipo de conformidade. O uso dessa abordagem permitirá ajudai- desenvolvedores, analistas, e gerentes de projeto a manter a documentação do software atualizada, além de possibilitar a existência de um novo ponto de vista a respeito de defeitos na implementação de um sistema. Para dar suporte a essa verificação de conformidade nós desenvolvemos uma ferramenta baseada em Model Driven Architecture (MDA) capaz de gerar os testes de conformidade aqui apresentados. Além disso, esta dissertação traz uma avaliação da abordagem desenvolvida, a qual apresenta os principais resultados obtidos. / Currently, sequence diagrams are the most popular UML diagrams used to describe behavioral aspects of software systems. On the other hand, Java as one of the most popular object-oriented language used in lhe world. Despite that. there is no systematic approach to support verification between the behavioral design and the implemented source code. In this work, we propose an approach to verify this conformity. The use of this approach vvill help developers, architects, and engineers to maintain the software documentation updated. Its usage allows that the development team and managers to detect behavioral design implementation defects. We also present the tool support built for our approach using Model Driven Architecture (MDA) and a preliminary evaluation about this work.

Neste trabalho estudamos modelos teóricos que descrevem sistemas eletrônicos fortemente correlacionados, em especial o modelo t-J, e suas aplicações a compostos de óxidos de cobre, notadamente os compostos que apresentam supercondutividade de alta temperatura crítica e o composto Sr2CuO2Cl2. No primeiro capítulo do trabalho, fazemos uma exposição de três modelos que envolvem o tratamento das interações elétron-elétron, que são os modelos de Hubbard de uma banda, o modelo de Heisenberg e o modelo t-J. Na dedução deste último fazemos uma expansão canônica do hamiltoniano de Hubbard, no limite de acoplamento forte, levando-nos a obter um novo hamiltoniano que pode ser utilizado para descrever um sistema antiferromagnético bidimensional na presen- ça de lacunas, que é exatamente o que caracteriza os compostos supercondutores de alta temperatura crítica na sua fase de baixa dopagem.Após termos obtido o hamiltoniano que descreve o modelo t-J, aplicamos à este uma descrição de polarons de spin, numa representação de holons, que são férmions sem spin, e spinons, que são bósons que carregam somente os graus de liberdade de spin. Utilizando uma função de Green para descrever a propagação do polaron pela rede, obtemos uma equação para a sua autoenergia somando uma série de diagramas de Feynman, sendo que para este cálculo utilizamos a aproxima ção de Born autoconsistente[1]. Do ponto de vista numérico demonstramos que a equação integral de Dyson resultante do tratamento anterior não requer um procedimento iterativo para sua solução, e com isto conseguimos trabalhar com sistemas com grande número de partículas. Os resultados mostram, como um aspecto novo, que o tempo de vida média do holon tem um valor bastante grande no ponto (π,0 ) da rede recíproca, perto da singularidade de Van Hove mencionada na literatura[2]. Este aspecto, e suas implicações, é amplamente discutido neste capítulo. No capítulo 3 estudamos o modelo estendido t-t'-J, com tunelamento à segundos vizinhos e a incorporação dos termos de três sítios[3]. Fazemos a mesma formulação do capítulo anterior, e discutimos as aplicações dos nossos resultados ao óxido mencionado anteriormente. Finalmente, no último capítulo apresentamos uma aplicação original do modelo t-J à uma rede retangular, levemente distorcida, e demonstramos que os resultados do capítulo 3 são reproduzidos sem necessidade de introduzir termos de tunelamento adicionais no hamiltoniano. Esta aplicação pode se tornar relevante para o estudo das fases de tiras encontradas recentemente nesses materiais de óxidos de cobre.

O ensino de Física, geralmente, está desvinculado não apenas de outras disciplinas, mas também, de qualquer contexto que lhe possa dar significado. No entanto, segue diretrizes estaduais e nacionais que apontam para necessidade de interdisciplinaridade e contextualização. Assim, enfatiza-se a importância da utilização de várias estratégias para atingir alunos que aprendem de diversas maneiras: cinestésica, visual e auditiva. Sob essa perspectiva, o presente trabalho tem por objetivo principal, a partir do desenvolvimento de vários recursos didáticos, promover a aprendizagem significativa nos alunos. Para tanto, utilizaram-se várias ferramentas, tais como texto de apoio, atividades experimentais, novas tecnologias, mapas conceituais, diagramas V de Gowin e situações-problemas. Tais ferramentas foram utilizadas em cursos para professores, futuros professores de Física do Ensino Médio e, também, para pessoas que utilizam radiações ionizantes para tecidos biológicos em seu trabalho, usando, para tal, conceitos de Eletromagnetismo, Óptica e Física Moderna e Contemporânea na área de Física aplicada à Medicina. Através de análise qualitativa e quantitativa, verificamos se tais recursos tiveram algum impacto positivo, no sentido de perceber se houve indícios de aprendizagem significativa junto aos alunos do curso. Para alcançar os objetivos propostos, na metodologia, foram seguidas as seguintes etapas: 1º) extensa revisão bibliográfica em periódicos CAPES A1, A2 e B1 de 2000 á 2009; 2º) estudo de materiais alternativos para a confecção dos recursos a serem utilizados ao longo do curso; 3º) elaboração de sugestões de atividades educacionais; 4º) organização de entrevistas semiestruturadas, pré-testes e pós-testes; 5º) aplicação do curso, 6º) aplicação das entrevistas, dos pré-testes e pós-testes; 7º) análise dos dados, 8º) melhoria do curso; 9º) reaplicação do curso, 10º) reaplicação das entrevistas, dos pré-testes e pós-testes e 11º) análise dos dados para verificar presença de indícios de aprendizagem significativa; 12º) comparação entre os grupos estudados para buscar indícios de qual seria a melhor forma de ensinar tais conteúdos. Em todas as etapas, foram utilizadas a Teoria de Aprendizagem Significativa de Ausubel (2002), a Teoria de Aprendizagem Significativa Crítica de Moreira (2005) e a Teoria dos Campos Conceituais de Vergnaud (1990). No texto de apoio e na análise de dados, além das teorias de aprendizagem mencionadas, também serviu de referencial teórico a epistemologia de Toulmin (1977). O curso foi aplicado em quatro oportunidades distintas. Dentre outros aspectos a pesquisa permite sugerir: o ensino de Física aplicado na Medicina constitui, ainda, uma área pouco investigada; poucas propostas didáticas têm sido implementadas e avaliadas; os conhecimentos prévios são pouco investigados na Física aplicada à Medicina; o fator tempo parece ser relevante na aprendizagem; é fundamental oferecer feedback aos alunos, em relação a seus erros e acertos; as metodologias diferenciadas facilitam o surgimento de indícios de aprendizagem significativa; o uso de simulações computacionais, juntamente com atividades experimentais facilita a aprendizagem significativa; mostra-se importante a existência de questões orientadoras para o desenvolvimento das simulações computacionais; o professor precisa explicar o conteúdo antes de realizar as leituras orientadas e os estudos em grupo; quanto mais detalhado é o material, maiores são os indícios de aprendizagem significativa. / The teaching of physics is, in general, not only disconnected from the teaching of other disciplines but also from any context that could make it meaningful. However, it complies with state and national guidelines that point to the need of being interdisciplinary and contextualized. Thus, we emphasize here the importance of using multiple strategies to reach all of the students with their different ways of learning: kinesthetically, visually and audibly. In this perspective, this research aims, mainly from the construction of many teaching resources, at promoting students’ meaningful learning. With this purpose, we used several tools, such as a supporting text, experimental activities, new technologies, concept maps, Gowin’s V diagrams, and problem-situations. Such tools were used in courses for teachers, future teachers, and for people who use ionizing radiation for biological tissues at their work, using concepts of Electromagnetism, Optics, Modern and Contemporary Physics, in the area of Physics Applied to Medicine. Through qualitative and quantitative analysis, we analyzed whether there was any evidence of meaningful learning among the participants of the courses. To achieve the proposed objectives, in our research methodology, we proceeded in accordance to the following steps: 1) an extensive literature review in periodicals CAPES A1, A2 and B1, from 2000 to 2009; 2) the study of alternative materials for the development of materials to be used in the course; 3) the suggestions of educational activities; 4) organization of interviews, pre-tests and post-tests; 5) application of the course; 6) application of the interviews, pre-tests and post-tests; 7) data analysis; 8) course improvement; 9) re-application of the course; 10) reapplication of the interviews, pre-tests and post-tests; 11) data analysis to look for evidence of meaningful learning; 12) comparison between groups to seek any evidence for what could be the best way to teach such content. At all stages of the experiment, we used the theory of Meaningful Learning of Ausubel (2002), the theory of Critical Meaningful Learning of Moreira (2005), the theory of Conceptual Fields of Vergnaud (1990). In the supporting text and data analysis, we also used Toulmin's epistemology (1977). The course was applied in four different moments. Research findings, among other things, suggest that: the teaching of physics applied to medicine is an area that has been scarcely researched; only a few didactic proposals have been implemented and evaluated; alternative conceptions have been poorly investigated in Physics Applied to Medicine; time seems to be an important element in learning; it has been essential to offer students some feedback related to their mistakes and successes; the use of different methodologies might facilitate the emergence of evidence for meaningful learning; the use of computer simulations, along with some experiments might facilitate meaningful learning; it seems to be relevant to have guiding questions when using computer simulations; the teacher should explain the content before making any guided readings and group studies; the more detailed the material, the more evidences we might have for meaningful learning.

Nesta tese estudamos um modelo de spins do tipo Ising, modelo J1 J2, com interações competitivas J1 ferromagnéticas entre primeiros vizinhos na rede quadrada e J2 antiferromagnética entre segundos vizinhos. O diagrama de fases do modelo e as correlações de pares foram analisadas com o Método do Aglomerado Variacional nos casos sem e com um campo magnético externo. A campo nulo, construímos o diagrama de fases no plano T=J1 onde = jJ2j=J1. A transição ferromagnética-paramagnética é de segunda ordem quando < 1=2 e a transição stripes-paramagnética de primeira ordem para 1=2 < < 1 e de segunda ordem para valores de 1. Nossos resultados concordam com prévios estudos. Ao aplicarmos um campo magnético externo ao sistema, em regiões onde a campo nulo se observa a fase de stripes ( = 0:6 e = 1), as filas (ou colunas) de spins paralelos ao campo externo ganham estabilidade dando lugar a uma fase de stripes mista com magnetizações nas filas e colunas com magnitudes diferentes. A campos maiores, o sistema se encontra numa fase homogênea com uma magnetização remanente, a fase paramagnética saturada. Na interfase entre a fase de stripes e a paramagnética saturada, encontramos uma fase intermediária nemática do tipo Ising. Esta fase possui uma magnetização homogênea e correlações de pares anisotrópicas nas direções x e y quantificadas por um parâmetro de ordem orientacional. A fase nemática tem sido observada principalmente em sistemas com interações competitivas de longo alcance. O uso do Método do Aglomerado Variacional na aproximação de quatro pontos permitiu detectá-la no modelo J1 J2 clássico. A presença da fase nemática intermediária foi confirmada em simulações de Monte Carlo. As transições stripes-paramagnética saturada e stripes-nemática são de primeira ordem e a transição nemática-paramagnética saturada é uma transição de segunda ordem de acordo com a análise da energia livre. Na segunda parte do nosso estudo, calculamos o fator de estrutura na aproximação de quatro pontos do Método do Aglomerado Variacional válido tanto nas fases desordenada como ordenadas no modelo sem e com campo magnético. A partir desta análise, determinamos as linhas de estabilidade para a fase paramagnética no modelo sem campo e também mostramos a existência destas linhas na solução de stripes. No modelo com campo, estudamos o fator de estrutura e a susceptibilidade reduzida para = 0:6 e diferentes temperaturas. A susceptibilidade é descontínua nas transições stripes-paramagnética saturada e stripes-nemática compatível com uma transição de primeira ordem. Por sua vez, na transição nemática-paramagnética saturada de segunda ordem se observa um máximo em uma das componentes da susceptibilidade no espaço recíproco e um câmbio da simetria Z2 para a Z4 no fator de estrutura. / In this thesis, we studied a Ising model, the J1 J2 model, with nearest neighbors ferromagnetic interactions J1 and next-nearest antiferromagnetic neighbors interactions J2. The phase diagram and the pair correlations were analyzed with the Cluster Variation Method, with and without an external magnetic field. At zero field, we build the phase diagram in the plane T=J1 where = jJ2j=J1. The ferromagnetic-paramagnetic phase transition is a second order one at < 1=2. The stripes-paramagnetic is a first order transition when 1=2 < < 1 and second order for values bigger than one. Our results are in agreement with previous works. Applying an external magnetic field to the system, in regions where the ground state is stripes ( = 0:6 e = 1), the columns (or rows) of parallel spins to the field gain stability given place to a mixed phase with columns (or rows) magnetization with different magnitudes. At higher fields, the systems enters in a homogeneous phase with a remanent magnetization, the saturated paramagnetic phase. In the interface between the stripes and saturated paramagnetic phase we found a intermediate phase, the Ising-nematic. This phase has a homogeneous magnetization and anisotropic nearest-neighbor correlations in the directions x and y quantified by a orientacional order parameter. The nematic phase has been observed in systems with long range interactions. The Cluster Variation Method (CVM) in the four site approximation detected the nematic phase in the classical J1 J2 model. These results were confirmed by Monte Carlo simulations. The stripes-saturated paramagnetic and stripes-nematic transitions are found to be first order transitions. The nematic-saturated paramagnetic is of second order according to free energy analysis. In the second part, we computed the structure factor in the four-site approximation of the CVM. This expression is valid for order and disorder phases, with or without a magnetic field. Through this analysis we found the paramagnetic stability lines in the model at zero magnetic field, we also showed the existence of spinodal temperature for stripes solutions. In the model with a magnetic field, we studied the structure factor and susceptibility for = 0:6 and different temperatures. A discontinuity in susceptibility was observed in the stripes-saturated paramagnetic and stripes-nematic transitions compatible with a first order transition. In the nematic-saturated paramagnetic second order transition we found a maximum in one of the susceptibility components and a change of the Z2 symmetry to the Z4 in the structure factor.

Embora em um sistema bidimensional com simetria contínua não haja ordem de longo alcance para temperaturas finitas, o modelo XY 2D exibe uma transição de fase de ordem infinita não usual, associada com a dissociação de defeitos topológicos chamados de vórtices-inteiros, e que pertence `a classe de universalidade de Kosterlitz-Thouless (KT). Generalizações do modelo XY, incluindo competição entre um termo ferromagnético e um nemático, foram introduzidas e largamente estudadas por diversos autores. Essas interações nemáticas criam novas transições de fases e novos defeitos topológicos, como vórtices semi-inteiros. Neste trabalho, para um caso particular desses modelos generalizados, exploramos as classes de universalidades e o diagrama de fases através de simulações de Monte Carlo, escalonamento de tamanhos finitos e análise da helicidade. Em particular, encontramos que a competição entre os termos ferromagnético e nemático d´a origem a uma nova linha de transição, neste caso na classe de universalidade do modelo Potts com 3 estados. / Although in a two-dimensional system with continuous symmetry there is no long-range order at finite temperature, the 2D XY model exhibits an unusual infinite order phase transition, associated with the unbinding of topological defects called integer-vortices, and which belongs to the Kosterlitz-Thouless (KT) universality class. Generalizations of the XY model, including competition between a ferromagnetic and a nematiclike term, have been introduced and widely studied by many autors. These nematic-like interactions create new phase transitions and new topologial defects, like half-integer-vortices. In this work, for a particular case of these generalized models, we explore the universality classes of the transitions and the phase diagram through Monte Carlo simulations, finite size scaling and helicity analysis. In particular, we find that the competition between the ferromagnetic and nematic terms gives origin to a new transition line belonging, in this case, to the 3 states Potts universality class.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Métodos de otimização que utilizam condições de otimalidade de primeira e/ou segunda ordem são conhecidos por serem eficientes. Comumente, esses métodos iterativos são desenvolvidos e analisados à luz da análise matemática do espaço euclidiano n-dimensional, cuja natureza é de caráter local. Consequentemente, esses métodos levam a algoritmos iterativos que executam apenas as buscas locais. Assim, a aplicação de tais algoritmos para o cálculo de minimizadores globais de uma função não linear,especialmente não-convexas e multimodais, depende fortemente da localização dos pontos de partida. O método de Otimização Global Topográfico é um algoritmo de agrupamento, que utiliza uma abordagem baseada em conceitos elementares da teoria dos grafos, a fim de gerar bons pontos de partida para os métodos de busca local, a partir de pontos distribuídos de modo uniforme no interior da região viável. Este trabalho tem dois objetivos. O primeiro é realizar uma nova abordagem sobre método de Otimização Global Topográfica, onde, pela primeira vez, seus fundamentos são formalmente descritos e suas propriedades básicas são matematicamente comprovadas. Neste contexto, propõe-se uma fórmula semi-empírica para calcular o parâmetro chave deste algoritmo de agrupamento, e, usando um método robusto e eficiente de direções viáveis por pontos-interiores, estendemos o uso do método de Otimização Global Topográfica a problemas com restrições de desigualdade. O segundo objetivo é a aplicação deste método para a análise de estabilidade de fase em misturas termodinâmicas,o qual consiste em determinar se uma dada mistura se apresenta em uma ou mais fases. A solução deste problema de otimização global é necessária para o cálculo do equilíbrio de fases, que é um problema de grande importância em processos da engenharia, como, por exemplo, na separação por destilação, em processos de extração e simulação da recuperação terciária de petróleo, entre outros. Além disso, afim de ter uma avaliação inicial do potencial dessa técnica, primeiro vamos resolver 70 problemas testes, e então comparar o desempenho do método proposto aqui com o solver MIDACO, um poderoso software recentemente introduzido no campo da otimização global. / Optimization methods that use optimality conditions of first and/or second order are known to be efficient. Commonly, such iterative methods are developed and analyzed in the light of knowledge concerning the mathematical analysis in n-dimensional Euclidean spaces, whose nature is of local character. Consequently, these methods lead to iterative algorithms that perform only local searches. Thus, the application of such algorithms to the calculation of global minimizers of a non-linear function, especially non-convex and multimodal, depends strongly on the location of the starting points. The Topographical Global Optimization method is a clustering algorithm, which uses an ingenious approach based on elementary concepts of graph theory, in order to generate good starting points for local search methods, from points distributed uniformly in the interior of the feasible set. The purpose of this work is two-fold. The first is a revisit to the Topographical Global Optimization method, where, for the first time, its foundations are formally described and its basic properties are mathematically proven. In this context, we propose a semi-empirical formula for computing the key parameter of this clustering algorithm, and, using a robustand efficient direction interior-point method, we extend the use of the Topographical Global Optimization method to problems with inequality constraints. The second objective is the application of this method to the phase stability analysis of mixtures, a difficult and important global optimization problem of the chemical engineering thermodynamics. Furthermore, in order to have an initial assessment of the power of this technique,first we solve 70 test problems, and then compare the performance of the method considered here with the MIDACO solver, a powerful software recently introduced in the field of global optimization.

Orientador: Prof. Dr. Francisco de Assis Zampirolli / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Ciência da Computação, 2014. / Métodos e Processos de Engenharia de Software têm se tornado foco de pesquisas científicas, onde a qualidade, estimativa de custos e prazos são trabalhadas como boas práticas em desenvolvimento. A construção de um produto de software envolve algumas etapas, e a mais complexa saber precisamente o que construir. A precisão nesta etapa do projeto é essencial, pois se houver falha na especificação, haverá maior prejuíz ao final doprojeto do sistema de software. A principal razão para as falhas de projeto de software é o gerenciamento inadequado dos requisitos do sistema, gerando custos elevados para serem corrigidos nas fases seguintes ao levantamento de requisitos e insatisfac~ao para todos os envolvidos. Deste modo, produzir software com qualidade é uma tarefa complexa, que demanda entender, planejar e atender, provendo soluc~oes necessárias. Este trabalho tem como objetivo, apresentar uma metodologia para o desenvolvimento de especifícação de requisitos, com uma abordagem orientada ao alinhamento entre TI e Negócio, por meio de um processo de engenharia de requisitos, [integrando diagramas de Caso de Uso como Business Process Modeling Notation (BPMN). Por meio de estudos de caso aplicados a uma empresa operadora de planos privados de assistência a saúde. A metodologia se mostrou ecaz, com melhoria de 69,68% na redução dos custos no orcamento acordado. Alem disso, este trabalho de pesquisa encontra-se em funcionamento na empresa citada,otimizando recursos e atingindo melhores resultados para a organização. / Requirement Engineering Methods and Processes have become a focus point for scientic research, in which quality, cost estimates and time frames are elaborated as good practices in development. Building a software product includes several phases, and the most complex is to know exactly what to build. Precision is essential during this phase of the project, because if the specication fails, there will be greater loss at the end of the software system project. The main reason for software project failures is inept management of system requirements, generating high costs that have to be corrected in the phases following requirement survey, and creating dissatisfaction for all those involved. Thus, producing quality software is a complex task, which demands understanding, planning, and compliance to provide the necessary solutions. This paper presents a methodology for developing requirement specifications, with an approach directed towards aligning IT and Business through a requirement engineering process integrating Use Case with Business Process Modeling Notation. Through case studies presented and applied at a private health care insurance company, the methodology proved to be eective, by reducing exceeding the agreed-upon budget by 69.68%. Additionally, this study is still on-going at the abovementioned company, optimizing resources and reaching better results for the organization.