Com a popularização de equipamentos tradicionais de captura de imagens, como câmeras digitais, e o avanço tecnológico dos dispositivos não invasivos, como tomografia e ressonância, cresce também a necessidade e consequente uso de métodos numéricos para simulação de fenômenos físicos em domínios definidos por imagens. Um dos pré-requisitos para a aplicação de tais métodos numéricos consiste na discretização do domínio em questão, num processo denominado geração de malhas. Embora diversos métodos de geração de malha tenham sido propostos para discretizar domínios definidos por primitivas geométricas, pouco tem sido feito no sentido de gerar uma decomposição diretamente a partir de imagens. Neste trabalho, apresentamos uma abordagem de geração de malhas de qualidade a partir de domínios definidos por imagens com textura. Mais especificamente, a pesquisa descrita nesta tese contribui com a melhoria do algoritmo Imesh, ao sanar três de suas principais limitações: tratamento de imagens com texturas; controle do nível de refinamento da malha e suporte a outros tipos de elementos. Estas contribuições flexibilizam o processo de geração da malha, e ainda ampliam o domínio de aplicações do algoritmo Imesh, à medida que são considerados domínios definidos por imagens com textura e o uso de métodos numéricos para elementos não simpliciais torna-se possível. O algoritmo de melhoria da malha gerada utiliza uma abordagem inovadora de remalhamento baseada em templates e guiada por retalhos de Bézier / With the spreading of traditional image capturing devices, such as digital cameras, and the technological advancement of more specific imaging devices such as CT and MRI, also increased the need and the following use of numerical methods for simulation of physical phenomena in domains defined by images. One of the prerequisites for the application of such numerical methods is the discretization of the corresponding domain, in a process called mesh generation. Although several methods of mesh generation have been proposed to discretize domains defined by geometric primitives, little has been done to generate a decomposition directly from images. We present an approach to generate quality meshes from domains defined by images with texture. More specifically, the research described in this thesis contributes to the improvement of the Imesh algorithm, removing three of its main limitations: treatment textured images, control of the level of the mesh refinement and support for other types of non-simplicial elements. These contributions provide flexibility to the mesh generation process, and extend the range of applications of Imesh by both handling textured images and considering the use of numerical methods for non-simplicial elements. The mesh quality improvement algorithm uses a new approach based on mesh templates and it is guided by Bezier patches

[pt] Algoritmos para visualização interativa de terrenos são complexos e, ao mesmo tempo, de grande importância para muitas aplicações como jogos e planejamento de atividades sobre terrenos. Em função desta complexidade e importância, o tema merecido, na última década, muita atenção da comunidade de pesquisadores em Computação Gráfica e, conseqüentemente, muitas estratégias têm sido desenvolvidas. Entre as mais bem sucedidas estratégias, destacam-se os recentes trabalhos de Lindstrom e Pascucci. O algoritmo proposto por estes autores possui diversas implementações disponíveis na Internet e merece ser reavaliado. Esta dissertação faz esta re-avaliação através de uma implementação independente feita pela autora e testada sobre uma base de terrenos reais. Com o objetivo de tornar esta análise mais completa e dar suporte a algumas conclusões, resultados comparativos de outros algoritmos da área também são apresentados. / [en] Algorithms for the interactive visualization of terrains are very complex and, at the same time, of great importance to many applications, such as games and activity-planning over terrains. Due to such complexity and importance, in the past decade this subject has received great attention by researchers on Computer Graphics. As a consequence, a number of strategies have been developed. Among the most successful strategies, one can highlight recent works by Lindstrom and Pascucci. The algorithm proposed by these authors has various implementations available in the Internet and deserves to be reevaluated. The present work makes such reevaluation by means of an independent implementation developed by the author and tested over a base or real terrains. With the purpose of making this analysis more complete and to support some conclusions, comparative results with other algorithms in the area are also presented.

Made available in DSpace on 2014-12-17T15:47:59Z (GMT). No. of bitstreams: 1 MadielSCF_DISSERT.pdf: 1874479 bytes, checksum: dc22e7d8884791a523682f62c1e8c32c (MD5) Previous issue date: 2011-10-07 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy / A utiliza??o de aplica??es de software cada vez mais complexas est? exigindo um maior investimento no desenvolvimento de sistemas, garantindo uma melhor qualidade das aplica??es. Diante desse contexto, novas t?cnicas est?o sendo utilizadas na ?rea de Engenharia de Software, tornado o processo de desenvolvimento mais eficaz. Destacam- se, como exemplo dessas novas abordagens, os M?todos Formais. Estes m?todos utilizam linguagens formais que t?m sua base fundamentada na matem?tica, apresentando uma sem?ntica e sintaxe bem definidas. Uma dessas linguagens ? Circus, que possibilita a mo- delagem de sistemas concorrentes. Esta linguagem foi desenvolvida a partir da uni?o dos conceitos das linguagens formais Z (que permitem a modelagem de dados complexos) e CSP Communicating Sequential Processes (que permitem a modelagem de sistemas con- correntes). Adicionalmente, Circus tamb?m possui um c?lculo de refinamento associado, que pode ser utilizado para desenvolver software de forma precisa e gradual. Cada etapa deste c?lculo ? justificada pela aplica??o de uma lei de refinamento (possivelmente com a prova de certas condi??es chamadas de obriga??es de prova). Algumas vezes, as mesmas leis podem ser aplicadas da mesma forma em diferentes desenvolvimentos ou mesmo em partes diferentes de um ?nico desenvolvimento. Uma estrat?gia para otimizar esse c?l- culo ? formalizar estas aplica??es como t?ticas de refinamento, que podem ser utilizadas como uma simples regra de transforma??o. A ferramenta CRefine foi desenvolvida para realizar o suporte a este c?lculo de refinamento de Circus. Entretanto, antes deste traba- lho, essa ferramenta n?o fornecia suporte para as t?ticas. A proposta desta disserta??o ? oferecer um suporte ferramental para a utiliza??o das t?ticas no c?lculo de refinamento de programas Circus. Para tanto, foi desenvolvido um novo m?dulo em CRefine, que auto- matiza o processo de defini??o e aplica??o das t?ticas de refinamento. Nesta extens?o as t?ticas s?o formalizadas na linguagem de t?ticas para sistemas concorrentes, ArcAngelC. Por fim, validamos a extens?o, aplicando o novo m?dulo a um estudo de caso, que utiliza as t?ticas em uma estrat?gia de refinamento para verifica??o de implementa??es SPARK Ada de sistemas de controle. Nesta disserta??o, aplicamos o novo modulo ?s duas fases iniciais desta estrat?gia.

This work introduces a time adaptive strategy that uses a refinement estimator based on the geometric indicator of curvature. The developed methodology is suitable for problems of numerical time integration present, for example, in the study of bodies subjected to dynamical loads. The refinement estimator demands low computational resources, being easily applied to several direct integration methods. Trying to interact these methods, an object oriented library that uses the developed scheme of adaptation is built. The main idea of this tool is to incorporate this scheme, in an easy way, in existing computational codes that employ direct integration methods. Examples of dynamic solid bodies are presented, ilustrating the technique and library usage in existing applications. / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este trabalho introduz uma estratégia de adaptação no tempo que utiliza um estimador de refinamento baseado no indicador geométrico curvatura. A metodologia desenvolvida é aplicada ao problema de integração numérica temporal, presente, por exemplo, no estudo do comportamento de corpos submetidos a cargas dinâmicas. O estimador de refinamento formulado demanda pouco esforço computacional, sendo facilmente aplicado aos diversos métodos de integração direta existentes. Visando a interação com esses métodos, constrói-se uma biblioteca orientada a objetos que incorpora a técnica de adaptação desenvolvida. A idéia principal desta ferramenta é prover, de forma fácil, a técnica de adaptação concebida a códigos computacionais existentes e que fazem uso dos referidos métodos de integração. Apresentam-se exemplos de dinâmica de corpos sólidos que ilustram o potencial de utilização da técnica e o uso da biblioteca em aplicações existentes.

Submitted by Aline Santiago da Silva Santos (aline.santos@fgv.br) on 2010-05-17T18:39:00Z No. of bitstreams: 1 CPDOC2010RenatoLannaFernandez.pdf: 6432291 bytes, checksum: 21ba1a50f5971ef250587ee48960f4be (MD5) / Approved for entry into archive by Suemi Higuchi(suemi.higuchi@fgv.br) on 2010-05-17T20:12:55Z (GMT) No. of bitstreams: 1 CPDOC2010RenatoLannaFernandez.pdf: 6432291 bytes, checksum: 21ba1a50f5971ef250587ee48960f4be (MD5) / Made available in DSpace on 2010-05-18T12:40:43Z (GMT). No. of bitstreams: 1 CPDOC2010RenatoLannaFernandez.pdf: 6432291 bytes, checksum: 21ba1a50f5971ef250587ee48960f4be (MD5) Previous issue date: 2010-03-29 / The purpose of this dissertation is to explain the formation of the identity of Fluminense F.C. as a club marked by elitism, which is grounded on distinction and refinement. An attempt was made to analyze the history of this club during the earliest years of the soccer development in Rio de Janeiro city, and its relation with other clubs. Several peculiar aspects of its history that were essential for the construction of the image of the club are also discussed. As theoretical basis, this dissertation shows Bourdieu’s ideas about distinction and Hobsbawm & Ranger’s ideas about invention of traditions. These ideas are necessary in order to demonstrate how writers as Mario Filho and Paulo Coelho Netto were responsible for the construction of a series of symbolic values and traditions, which associated the 'Fluminense' club with a space of distinction and refinement that perpetuated historically. / Este trabalho tem por objetivo levantar explicações sobre a formação da identidade do Fluminense F. C. como clube que tem como marca principal a elitização calcada na distinção e no refinamento. Pretendemos analisar a história do clube durante os anos iniciais do desenvolvimento do futebol na cidade do Rio de Janeiro e sua relação com as outras agremiações futebolísticas, levantando aspectos peculiares de sua história que foram fundamentais na construção dessa imagem. Tendo como pressupostos teóricos os trabalhos de Bourdieu sobre a distinção e de Hobsbawm e Ranger sobre a invenção das tradições, procuramos demonstrar como escritores como Mario Filho e Paulo Coelho Netto foram responsáveis pela consolidação de uma série de valores simbólicos e tradições que associaram o Fluminense a um espaço de distinção e refinamento que se perpetuou historicamente.

HORTÊNCIO FILHO, Fernando Wagner Brito. Uma Abordagem Semi-automática para Geração Incremental de Correspondências entre Ontologias. 2011. 81 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2011. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-27T19:11:59Z No. of bitstreams: 1 2011_dis_fwbhortênciofilho.pdf: 2807164 bytes, checksum: f2d22503112321ee69d172f0ac56d4c8 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-27T19:14:07Z (GMT) No. of bitstreams: 1 2011_dis_fwbhortênciofilho.pdf: 2807164 bytes, checksum: f2d22503112321ee69d172f0ac56d4c8 (MD5) / Made available in DSpace on 2016-06-27T19:14:07Z (GMT). No. of bitstreams: 1 2011_dis_fwbhortênciofilho.pdf: 2807164 bytes, checksum: f2d22503112321ee69d172f0ac56d4c8 (MD5) Previous issue date: 2011 / The discovery of semantic correspondences between schemas is an important task for different fields of applications such as data integration, data warehousing and data mashup. In most cases, the data sources involved are heterogeneous and dynamic, making it even harder the performance of that task. Ontologies are being used in order to define common vocabulary used to describe the elements of the schemas involved in a particular application. The problem of matching between ontologies, or ontology matching, consists in the discovery of correspondences between terms of vocabularies (represented by ontologies) used between the various applications. The solutions proposed in the literature, despite being fully automatic have heuristic nature, and may produce non-satisfactory results. The problem intensifies when dealing with large data sources. The purpose of this paper is to propose a method for generation and incremental refinement of correspondences between ontologies. The proposed approach makes use of filtering techniques of ontologies, as well as user feedback to support the generation and refining these matches. For validation purposes, a tool was developed and experiments were conducted / A descoberta de correspondências semânticas entre esquemas é uma importante tarefa para diversos domínios de aplicações, tais como integração de dados, data warehouse e mashup de dados. Na maioria dos casos, as fontes de dados envolvidas são heterogêneas e dinâmicas, dificultando ainda mais a realização dessa tarefa. Ontologias vêm sendo utilizadas no intuito de definir vocabulários comuns usados para descrever os elementos dos esquemas envolvidos em uma determinada aplicação. O problema de matching entre ontologias, ou ontology matching, consiste na descoberta de correspondências entre os termos dos vocabulários (representados por ontologias) usados entre as diversas aplicações. As soluções propostas na literatura, apesar de serem totalmente automáticas possuem natureza heurística, podendo produzir resultados não-satisfatórios. O problema se intensifica quando se lida com grandes fontes de dados. O objetivo deste trabalho é propor um método para geração e refinamento incremental de correspondências entre ontologias. A abordagem proposta faz uso de técnicas de filtragem de ontologias, bem como do feedback do usuário para dar suporte à geração e ao refinamento dessas correspondências. Para fins de validação, uma ferramenta foi desenvolvida e experimentos foram realizados.

SAMPAIO, Artur Pereira. Uso de Refinamento Adaptativo em Escultura Virtual para Criação Livre de Detalhes em Malhas Triangulares. 2011. 58 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2012. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-02T19:35:28Z No. of bitstreams: 1 2011_dis_apsampaio.txt: 25433 bytes, checksum: 9015898966f69dfce3b6faa62e988c32 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-02T19:42:44Z (GMT) No. of bitstreams: 1 2011_dis_apsampaio.txt: 25433 bytes, checksum: 9015898966f69dfce3b6faa62e988c32 (MD5) / Made available in DSpace on 2016-06-02T19:42:44Z (GMT). No. of bitstreams: 1 2011_dis_apsampaio.txt: 25433 bytes, checksum: 9015898966f69dfce3b6faa62e988c32 (MD5) Previous issue date: 2011 / Modeling of virtual objects and characters can be tedious and difficult in many situations. A modeling system should be capable of representing any change or feature desired by the user as quickly and transparently as possible, allowing the modeler to focus on the act of creating, as opposed to having to specify the position of each vertex manually. Such a system, if on the one hand offers less control in determining the position of each vertex, being computationally more expensive in some situations, on the other hand greatly simplifies the work of the artist, allowing character modeling to be accessible to any user. This work addressed the problem of traditional sculpting techniques to add details on triangular meshes with adaptive resolution, in regions with low vertex density. The proposed algorithm splits faces and edges in the region of interest of the artist to ensure the existence of a sufficient number of vertices to represent the desired detail, without any additional input requested. The resulting system is capable of bridging the gap between traditional and virtual modeling, improving some of the main methods proposed in the literature regarding the location of the subdivisions. Moreover, it also helps to maintain a good mesh topology and geometric quality, with few vertices of high valence, even if the original mesh is poorly refined, allowing the incorporation of new details. / Modelar objetos e personagens virtuais pode ser uma tarefa tediosa e difícil em várias situações. Um sistema de modelagem ideal deve ser capaz de representar qualquer mudança ou característica desejada pelo usuário da forma mais rápida e transparente possível, abstraindo toda a complexidade topológica e matemática, permitindo ao modelador concentrar-se exclusivamente no ato de criar, em oposição a ter de especificar a posição de cada elemento de forma manual. Tal sistema, se por um lado pode oferecer menor controle na determinação da posição de cada vértice, além de poder ser mais caro computacionalmente em algumas situações, por outro simplifica enormemente o trabalho do artista, tornando a modelagem acessível a qualquer usuário. O presente trabalho abordou o problema das técnicas de sculpting tradicionais de adicionar detalhes em malhas triangulares, com resolução adaptativa e de forma interativa, em regiões com baixa densidade de vértices. O algoritmo proposto busca subdividir faces e arestas na região de interesse do artista de modo a garantir uma quantidade de vértices suficiente para representar o detalhe pretendido, sem necessidade de qualquer informação adicional por parte do usuário. O sistema resultante é capaz de encurtar a distância entre a modelagem tradicional e a virtual, superando alguns dos principais métodos propostos no meio acadêmico no que tange à localidade das subdivisões e a manutenção de uma malha de boa topologia e de boa qualidade geométrica, com poucos vértices de alta valência, ainda que o modelo original seja fracamente refinado, tornando possível a incorporação de novos detalhes.

[pt] Como um novo e poderoso paradigma para modelagem e implementação de sistemas de software, os sistemas multiagentes necessitam de metodologias, linguagens de modelagem, plataformas de desenvolvimento e linguagens de programação que explorem seus benefícios e características particulares. Contudo, diferentes metodologias, linguagens e plataformas para sistemas multiagentes propõem abstrações variadas e com definições muito diferentes. Nesse contexto, é necessário criar frameworks conceituais que definam as abstrações, seus relacionamentos e seus comportamentos. Como em qualquer novo paradigma para engenharia de software, o sucesso e a difusão de sistemas multiagentes requerem, entre outras tecnologias de software baseadas em agentes, linguagens de modelagem que explorem o uso de abstrações relacionadas a agentes e promovam o refinamento dos modelos de design para código. Esta tese contempla a definição de um framework conceitual para sistemas multiagentes chamado TAO e uma linguagem de modelagem para sistemas multiagentes chamada MAS-ML. Os objetivos desta tese são descrever os aspectos estáticos e dinâmicos das abstrações freqüentemente utilizadas em sistemas multiagentes definindo um framework conceitual, propor uma linguagem de modelagem que descreva diagramas estáticos e dinâmicos para modelar esses aspectos e descrever o refinamento dos modelos estáticos para código. / [en] As a powerful and new paradigm for designing and implementing software systems, multi-agent systems require methodologies, modeling languages, development platforms and programming languages that explore their benefits and their peculiar characteristics. However, different methodologies, languages and platforms for multi-agent systems propose very distinct and varied sets of abstraction. In this context, there is a need for creating a conceptual framework that defines the frequently used multi-agent system abstractions, their relationships and their behavior. As it is the case with any new software engineering paradigm, the successful and widespread deployment of multi-agent systems require modeling languages, among other agent-based software technologies, that explore the use of agentrelated abstractions and promote the traceability from the design models to code. This thesis contemplates the definition of a multi-agent system conceptual framework called TAO and of a multi-agent system modeling language called MAS-ML. Our goals are to describe the structural and dynamic aspects of the abstractions commonly used in multi-agent systems by defining a conceptual framework, to propose a modeling language that describes structural and dynamic diagrams to model such aspects and to present the traceability from the structural models into code.

Recentemente introduzida no mercado, a liga à base de titânio β-metaestável Ti-5Al-5V-5Mo3Cr-1Zr (Ti-55531) é um material estrutural para aplicações nos setores automotivo e aéreo, além de compor peças para centrífugas. A presente Dissertação de Mestrado tem como objetivo o estudo in situ das transformações de fase em estado sólido da liga Ti-55531 durante o envelhecimento a diferentes temperaturas e condições iniciais por meio de refinamento Rietveld. A ênfase do projeto será a análise qualitativa e quantitativa das principais fases presentes nesta liga, em especial aquelas β de estrutura cúbica de corpo centrado, alfa (α) e ômega (ω) de estrutura hexagonal e martensita (α\'\') de estrutura ortorrômbica. Os padrões de difração desta liga para os diferentes tempos de envelhecimento foram obtidas com o auxílio da técnica de difração de raio-X de alta energia in situ utilizando luz síncrotron, enquanto que as respectivas análises das imagens dos anéis de difração a partir destes experimentos foram realizadas com o auxílio do programa de integração e calibração instrumental FIT2D e do programa de análise de materiais usando difração (do inglês MAUD). / Recently introduced, the new Ti-55531 titanium based alloy has been developed aiming structural applications such as the automotive and aerospace ones. The present Thesis is focused on the assessment of Ti-55531 alloy in situ solid state transformations during ageing at diferente temperatures as well as initial conditions. In this sense, the study emphasis will deal with both quantitative and qualitative analysis of the main constitutive phases found in the alloy, namely the body-centered cubic β, both hexagonal α and ω and the martensitic α\'\', this one orthorhombic, by means of Rietveld refinement. Concerning the data, it was obtained by high energy X-ray diffraction (HEXRD) technique in a synchrotron light source facility. All the Debye-Scherrer rings resulting from these in situ experiments were analyzed by both FIT2D and MAUD software.

Made available in DSpace on 2014-12-17T14:25:23Z (GMT). No. of bitstreams: 1 MaraRWV_TESE.pdf: 3541177 bytes, checksum: 2415c9163a59f9b397912f22608eefbc (MD5) Previous issue date: 2014-05-29 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / This thesis aimed to assess the increase in solubility of simvastatin (SINV) with solid dispersions using techniques such as kneading (MA), co-solvent evaporation (ES), melting carrier (FC) and spray dryer (SD). Soluplus (SOL), PEG 6000 (PEG), PVP K-30 (PVP) e sodium lauryl sulphate (LSS) were used as carriers. The solid dispersions containing PEG [PEG-2(SD)], Soluplus [SOL-2(MA)] and sodium lauryl sulphate [LSS-2(ES)] were presented with a greater increase in solubility (5.02, 5.60 and 5.43 times respectively); analyses by ANOVA between the three groups did not present significant difference (p<0.05). In the phase solubility study, the calculation of the Gibbs free energy (&#916;G) revealed that the spontaneity of solubilisation of SINV occurred in the order SOL>PEG >PVP 75%>LSS, always 80%. The phase diagrams of PEG and LSS presented solubilization stoichiometry of type 1:1 (type AL). The diagrams with PVP and SOL tend to 1:2 stoichiometry (type AL + AP). The stability coefficients (Ks) of the phase diagrams revealed that the most stable reactions occurred with LSS and PVP. The solid dispersions were characterized by Fourier transform infrared (FTIR), differential scanning calorimetry (DSC), scanning electron microscopy (SEM), particle size distribution (PSD), near-infrared spectroscopy imaging (NIR-CI) and X-ray diffraction of the powder using the Topas software (PDRX-TOPAS). The solid dispersion PEG-2(SD) presented the greatest homogeneity and the lowest degree of crystallinity (18.2%). The accelerated stability study revealed that the solid dispersions are less stable than SINV, with PEG-2(SD) being the least stable, confirmed by FTIR and DSC. The analyses by PDRX-TOPAS revealed the amorphous character of the dispersions and the mechanism of increasing solubility / Esta tese teve como objetivo avaliar o aumento de solubilidade da sinvastatina (SINV) atrav?s de dispers?es s?lidas utilizando as t?cnicas de malaxagem (MA), evapora??o com co- solvente (ES), fus?o com carreador (FC) e secagem por spray dryer (SD). Foram utilizados os carreadores Soluplus (SOL), PEG 6000 (PEG), PVP K-30 (PVP) e lauril sulfato de s?dio (LSS). As dispers?es s?lidas contendo PEG [PEG-2(SD)], Soluplus [SOL-2(MA)] e lauril sulfato de s?dio [LSS-2(ES)] apresentaram maior aumento de solubilidade (5,02; 5,60 e 5,43 vezes, respectivamente); a an?lise por ANOVA entre os tr?s grupos n?o demonstrou diferen?a significativa (p<0,05). No estudo de solubilidade de fases, o c?lculo da energia livre de Gibbs (&#916;G) revelou que a espontaneidade de solubiliza??o da SINV ocorreu na ordem SOL>PEG >PVP 75%>LSS, sempre a 80%. Os diagramas de fases de PEG e LSS apresentaram estequiometria de solubiliza??o 1:1 (tipo AL). Os diagramas de PVP e SOL possuem uma tend?ncia a estequiometria 1:2 (tipo AL + AP). Os valores de coeficiente de estabilidade (Ks) dos diagramas de fases revelaram que as rea??es mais est?veis ocorreram com LSS e PVP. As dispers?es s?lidas foram caracterizadas atrav?s de infravermelho com transformada de Fourier (FTIR), calorimetria explorat?ria diferencial (DSC), microscopia eletr?nica de varredura (MEV), distribui??o de tamanho de part?cula (DTP), espectroscopia de imagem no infravermelho pr?ximo (NIR-CI) e difratometria de raios X do P? utilizando o software Topas (PDRX-TOPAS). A dispers?o s?lida PEG-2(SD) apresentou a maior homogeneidade e o menor grau de cristalinidade (18,2%). O estudo de estabilidade revelou que as dispers?es s?lidas s?o menos est?veis que SINV, sendo PEG-2(SD) a de menor estabilidade, confirmada por FTIR e DSC. As an?lises por PDRX-TOPAS revelaram a cristalinidade das dispers?es e o mecanismo de aumento de solubilidade