Made available in DSpace on 2014-06-12T15:52:59Z (GMT). No. of bitstreams: 2 arquivo4837_1.pdf: 1490840 bytes, checksum: 1e2239b5952d87633b8a93c565229e3e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / A reestruturação de programas no contexto da orientação a objeto é também conhecida como refactoring e consiste em mudanças na estrutura interna de um software, sem modificar seu com portamento externo, a ¯m de melhorar sua legibilidade e torn¶a-lo mais f¶acil de passar por futuras mudan»cas. Na pr¶atica, refactoring baseia-se em compila»c~ao e testes para assegurar a preserva»c~ao do comportamento. Trabalhos como os de Opdyke e Roberts foram realizados com vistas µa formaliza»c~ao de refac- torings por meio da identi¯ca»c~ao de condi»c~oes que devem ser satisfeitas para assegurar que uma mudan»ca num programa preserva o comportamento do mesmo. As condi»c~oes, geralmente escritas na linguagem do c¶alculo de predicados, s~ao introduzidas como pr¶e e p¶os-condi»c~oes dos refactor- ings. Outras abordagens para a prova de preserva»c~ao do comportamento de refactorings usam formalismos como an¶alise conceitual e reescritura de grafos. Contudo, n~ao h¶a t¶ecnica alg¶ebrica que apresente refactorings como transforma»c~oes que preservam o comportamento, com prova deste fato. Nossa principal contribui»c~ao constitui-se na apresenta»c~ao de refactorings como transforma»c~oes de programas escritos em rool (Re¯nement object-oriented Language), uma linguagem baseada em Java, com classes, controle de visibilidade, liga»c~ao din^amica, e recurs~ao. A linguagem rool permite que raciocinemos sobre programas orientados a objetos e especi¯ca»c~oes, pois a mesma une estas constru»c~oes como no c¶alculo de re¯namentos de Morgan. A sem^antica de rool ¶e baseada em weakest preconditions. Um conjunto de leis de programa»c~ao est¶a dispon¶³vel tanto para os comandos imperativos de rool quanto para construtores relacionados µa orienta»c~ao a objetos. A prova, na sem^antica de rool, de que tais leis s~ao corretas, ¶e tamb¶em uma contribui»c~ao do presente trabalho. Apresentamos refactorings como regras alg¶ebricas de re¯namento envolvendo programas. A prova da preserva»c~ao do comportamento ¶e realizada pela aplica»c~ao de leis de programa»c~ao a um lado da regra a ¯m de obtermos o lado oposto. N¶os generalizamos a t¶ecnica padr~ao de re¯namento de dados a ¯m de lidar com hierarquia de classes. Neste trabalho tamb¶em apresentamos como obter um sistema estruturado segundo um padr~ao de projeto, por meio da aplica»c~ao de regras de refactoring. Padr~oes de projeto constituem-se num objetivo natural para a realiza»c~ao de transforma»c~oes por meio da aplica»c~ao de refactorings. Trabalhos presentes na literatura sobre padr~oes de projeto que prop~oem a formaliza»c~ao dos mesmos, em geral, concentram-se em suas descri»c~oes formais, n~ao na transforma»c~ao de um sistema com vistas a estrutur¶a-lo de acordo com padr~oes de projeto. Tamb¶em apresentamos a transforma»c~ao de uma aplica»c~ao monol¶³tica para uma aplica»c~ao estruturada segundo um padr~ao arquitetural.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2014. / Submitted by Larissa Stefane Vieira Rodrigues (larissarodrigues@bce.unb.br) on 2015-02-02T14:33:48Z No. of bitstreams: 1 2014_GelsondeSousaAlves.pdf: 3157421 bytes, checksum: eeab3b2a19a7016154bca4fa5dc72938 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2015-02-03T19:23:47Z (GMT) No. of bitstreams: 1 2014_GelsondeSousaAlves.pdf: 3157421 bytes, checksum: eeab3b2a19a7016154bca4fa5dc72938 (MD5) / Made available in DSpace on 2015-02-03T19:23:47Z (GMT). No. of bitstreams: 1 2014_GelsondeSousaAlves.pdf: 3157421 bytes, checksum: eeab3b2a19a7016154bca4fa5dc72938 (MD5) / Esta pesquisa teve o objetivo de implementar formulações não convencionais do método dos elementos finitos (MEF) aplicado a análise estrutural em regime elástico linear. Especificamente, o método dos elementos finitos generalizados (MEFG) foi desenvolvido para simulações em domínios bidimensionais. Várias funções de enriquecimento, como as funções polinomiais, singulares e de interface, foram implementadas a fim de melhorar a aproximação dos problemas de valor de contorno com soluções suaves, singulares e descontínuas devido a diferentes interfaces de materiais. Uma técnica especial foi formulada e implementada levando em consideração a interface do material em compósitos sem a correspondência da malha de elementos finitos com o contorno dos diferentes materiais nos membros estruturais: vigas laminadas, placa com dois materiais e compósitos heterogêneos (matriz e inclusões). Assim, os resultados foram comparados com soluções analíticas e soluções pelo MEF. Os resultados mostram que melhores aproximações foram alcançadas usando o modelo proposto. A estratégia demonstrou potencial para resolver problemas com gradiente descontínuo causado pela interface material. Além disso, o método proposto atribuiu nós fictícios somente na interface, eliminando problemas comuns do MEFG convencional no momento da atribuição das condições de contorno e de mapeamento da continuidade de contorno dos elementos. __________________________________________________________________________________ ABSTRACT / This research aimed to implement non-conventional formulations of the finite element method (FEM) applied to structural analysis in linear elastic regime. Specifically, the framework of the generalized finite element method (GFEM) was developed for simulations in two-dimensional domains. Several enrichment functions such as polynomials, singular and interface functions were implemented in order to enhance the approximation of boundary values problems with smooth, singular, and discontinuous gradient solutions due interface of materials. A special technique was formulated and implemented to account the material interface in composite materials without matching the finite element mesh to the boundaries of different materials in structural members: layered beams, bi-material plates and heterogeneous composites (matrix and inclusions). Thereafter, the results were compared with analytical solutions or FEM solutions. As a result, more efficient approximations were achieved using the proposed framework. The strategy demonstrated potential for solving problems with discontinuous gradient caused by the material interface. Furthermore, the proposed method assigned only enrichment fictitious nodes at the interfaces which eliminate common issues in conventional GFEM when assigning boundary conditions and mapping boundary continuity through the elements.

Dissertação (mestrado)—Universidade de Brasília, Departamento de engenharia civil e ambiental, 2010. / Submitted by wiliam de oliveira aguiar (wiliam@bce.unb.br) on 2011-06-20T18:30:40Z No. of bitstreams: 1 2010_AlberHerbertRodriguesVasconcelos.pdf: 4344236 bytes, checksum: 04b5e7ba9dc9b57da7c2e0f08e9ae213 (MD5) / Approved for entry into archive by Guilherme Lourenço Machado(gui.admin@gmail.com) on 2011-06-22T14:52:18Z (GMT) No. of bitstreams: 1 2010_AlberHerbertRodriguesVasconcelos.pdf: 4344236 bytes, checksum: 04b5e7ba9dc9b57da7c2e0f08e9ae213 (MD5) / Made available in DSpace on 2011-06-22T14:52:18Z (GMT). No. of bitstreams: 1 2010_AlberHerbertRodriguesVasconcelos.pdf: 4344236 bytes, checksum: 04b5e7ba9dc9b57da7c2e0f08e9ae213 (MD5) / Rampas helicoidais são estruturas muito apreciadas na arquitetura. Devido à grande procura por estruturas deste tipo os engenheiros devem analisá-las de forma cuidadosa, avaliando corretamente o desenvolvimento dos esforços envolvidos e as deformações que podem ocorrer. Neste trabalho as rampas de formato helicoidal foram analisadas por meio de diferentes métodos, de forma a avaliá-los e entender as suas diferenças quando submetidas a cargas estáticas. Foram utilizados os métodos propostos por Fuchssteiner, Scordelis, Bergman e Prudon. Também foram desenvolvidos modelos em elementos finitos de barras e de cascas por meio do programa SAP 2000. Para tal objetivo foram desenvolvidos os cálculos dos esforços internos de oito rampas idealizadas. Foram feitos também comentários a respeito do comportamento de cada esforço nas estruturas analisadas. Constatou-se por meio dos resultados que os métodos de Bergman e Prudon distanciaram-se bastante dos demais por não considerarem todos os efeitos da interação dos esforços internos que ocorrem em uma estrutura helicoidal. Os métodos propostos por Fuchssteiner e Scordelis apresentam resultados muito semelhantes aos obtidos pelo programa SAP 2000 simulando elementos de barras. Os modelos de cascas desenvolvidos também apresentaram resultados coerentes com os obtidos pelos métodos citados. _______________________________________________________________________________ ABSTRACT / Helical ramps are structures highly prized in architecture. Due to the high demand for such structures engineers must analyze them carefully, measuring correctly the forces involved and strains that can occur. In this paper helical ramps were analyzed by different methods in order to evaluate them and understand their differences. The methods proposed by Fuchssteiner, Scordelis, Bergman and Prudon were used. Models were also developed in finite element bars and shells using the program SAP 2000. For this purpose were developed the calculations of the internal forces of eight idealized ramps. There were made comments about the behavior of each individual force in the analyzed structures. It was verified by the results for the methods of Bergman and Prudon distanced themselves enough from the others because they do not consider rightly the effects of the interaction of the internal forces that occur in a helical structure. The proposed methods by Fuchssteiner Scordelis show very similar results to those obtained by SAP 2000 program simulating bar elements. The models developed with shells finite elements also showed results consistent with those obtained by the previous methods cited.

Conselho Nacional de Desenvolvimento Científico e Tecnológico / The processes of erosion and sedimentation in a watershed cause numerous problems. Knowledge of the amount of sediment transported by rivers is really important to planning and using water resources, since the damage caused by sediments depend on the amount and nature of them, which depend on the processes of erosion, transport and deposition. This study aimed to evaluate the sediment transport in the Vacacaí-Mirim River, through measured data in the cross-section in Restinga Sêca. Thus, it was possible to quantify the average of the sediment discharge in cross-section of the river; to characterize the particle size of the transported materials; to relate the sediment discharge (Qs) and liquid discharge (Q) to the hydraulic and geometric characteristics of the section; and to indicate the sediment discharge calculation method most suitable to estimate sediment transport. To calibrate the quality of collected data, it was used the Pearson correlation coefficient (r), and the index of dispersion (ID) presented by Aguirre et al. (2004), which is the average of the deviations between the calculated and measured values in the field. When it was related the Qs and Q to the hydraulic and geometric parameters of the section, it was found that Q had very strong correlation (r> 0.90) with the wet area, cross-sectional width, wetted perimeter, hydraulic radius and the stage of the section. The best fit to the Qs were using the stream stage and average depth of the flow.The sediment discharge of the river was almost all wash load. The wash load particle size distribution was 57.05% of silt, 39.81% of coarse clay and 3.14% fine sand. The greater coefficient of variation was found to diameter D90 (64.31% to bed material and 73.21% to drag material. Related to particle size analysis of the bed material, it was found a predominance of sand (97.21%) and silt (2.79%), which does not differ significantly from the drag material, 97.06% sand and 2.94 % silt. After determining the rating curve of sediments, it was possible to estimate the total average of sediments discharge for the considered period, which resulted in more than 182 tons of sediment per year for the considered section. Related to procedures used to evaluate the sediment discharge, Einstein modified method was which best fit the QST measure (ID = 0.07), followed by Colby (1957), Toffaleti (1969) with ID equal to 2.04 and 3.53, respectively. To estimate the bed load discharge, the best method was Meyer-Peter & Müller (1948), resulting in a ID equal to 7.02 followed by methods of Karim (1998), Van Rijn (1984) and Cheng (2002). The methods of Modified Einstein and Colby (1957), which incorporate measured data of suspended sediment concentration (SSC), resulted in better evaluations related to sediment discharge calculated and measured. Thus, it is recommended to measure SSC and subsequently applying these two methods to determine the sediment discharge in the Vacacaí-Mirim River. / Os processos de erosão e sedimentação em uma bacia hidrográfica trazem inúmeros problemas. O conhecimento da quantidade de sedimentos transportado pelos rios é de fundamental importância para o planejamento e aproveitamento dos recursos hídricos, uma vez que os danos causados pelos sedimentos dependem da sua quantidade e natureza, os quais por sua vez, dependem dos processos de erosão, transporte e deposição. O presente trabalho teve como objetivo principal avaliar o transporte de sedimentos no rio Vacacaí-Mirim, mediante coletas realizadas na seção transversal em Restinga Sêca. Com isso, foi possível quantificar a descarga sólida média na seção transversal do rio; caracterizar a granulometria dos materiais transportados; relacionar a descarga sólida (Qs) e líquida (Q) com as características hidráulicas e geométricas da seção; e indicar os métodos de cálculo de descarga sólida mais adequados para estimar o transporte de sedimentos. Para aferir a qualidade dos dados coletados, foi utilizado o índice de correlação de Pearson (r) e o Índice de Dispersão (ID) apresentado por Aguirre et al. (2004) que representa a média dos desvios entre os valores calculados e medidos a campo. Relacionando a Qs e Q com os parâmetros hidráulicos e geométricos da seção, verificou-se que a Q teve correlação muito forte (r>0,90) com a área molhada, largura da seção transversal, perímetro molhado, raio hidráulico e a cota da seção. Os melhores ajustes da Qs foram com a cota da régua e profundidade média do escoamento. O material em suspensão correspondeu quase que a totalidade da descarga sólida no rio. A composição granulométrica deste material foi de 57,05% silte, 39,81% de argila muito grossa e 3,14% de areia muito fina. Já para o material de leito e de arraste, o maior coeficiente de variação foi encontrado para diâmetro D90, 64,31% e 73,21%, respectivamente. Da análise granulométrica do material de leito, constatou-se a predominância de areia (97,21 %) e silte (2,79 %), o que não difere significativamente do material de arraste, 97,06% de areia e 2,94 % de silte. Após a determinação da curva-chave de sedimentos, foi possível estimar a descarga sólida total média para o período considerado, que resultou em mais de 182 mil toneladas de sedimentos ano para a seção considerada. Dos procedimentos empregados para avaliar a descarga sólida, o método Einstein modificado foi o que melhor se ajustou a QST medida (ID=0,07), seguido por Colby (1957), Toffaleti (1969) com ID igual a 2,04 e 3,53 respectivamente. Já para estimar a descarga sólida de fundo, o melhor método foi o de Meyer- Peter & Müller (1948), com ID igual a 7,02 seguido dos métodos de Karim (1998), Van Rijn (1984) e Cheng (2002). Os métodos de Einstein Modificado e Colby (1957), que incorporam dados medidos de concentração de sedimentos em suspensão (Css), resultaram em melhores avaliações com relação da descarga sólida calculada e medida. Assim, recomenda-se a realização de medidas de Css e posteriormente a aplicação destes dois métodos a fim de determinar a descarga sólida no rio Vacacaí-Mirim.

[EN] Despite their recognized economic, social, cultural and environmental value, European lakes and wetlands are under severe pressures that threaten its conservation. Given that water withdrawals are among their most common pressures, the fact of ensure an adequate flood regime is considered a key factor in maintaining its rich biodiversity and associated ecosystem services. The objective of this thesis is to develop a methodology to meet the water needs of these ecosystems, based on sound scientist foundations and in compliance with legal requirements. This thesis first performs a synthesis of the legal framework for the protection of wetlands, both Spanish and EU level. The legal analysis was oriented to answer relevant questions around the concept of wetland, legal terminology, protection levels, etc. This analysis has been complemented with a review and synthesis of scientific and technical fundamentals that explain the role of the flood regime in the composition and distribution of species and the interactions between them, the natural processes involved and the abiotic environment. There has also been a review of the calculation methods of the water needs of lakes and wetlands, both in Spain and internationally. These three aspects (legal, scientific and technical) have served as a basis for designing the methodology for calculating the water needs of lakes and wetlands made in this thesis. The theoretical development of this calculation method is complemented with the application in five emblematic Spanish wetlands. These case studies allow assess the applicability of the methodology in very different types of wetlands, including a high mountain lake, endorheic inland wetlands and wetlands linked to river systems. Based on the available information, you carried out biological tests to validate the proposed water needs based on the flood regime with their environmental objectives, primarily for the good ecological status and favorable conservation status of selected habitats and species. Finally, the results from the methodology proposed in the thesis are discussed in the context of the scientific principles of ecosystem management and other methodologies used for that purpose. The case studies have allowed analyzing their applicability and the particularities of each one. You have also evaluated the benefits that could be obtained by applying the methodology at the national, European and international level, including its overall contribution to a more sustainable use of water. / [ES] Pese a su reconocido valor económico, social, cultural y ambiental, los lagos y humedales europeos están sometidos a fuertes presiones que amenazan su conservación. Teniendo en cuenta que las extracciones de agua figura entre sus afecciones más comunes, garantizar un régimen de inundación adecuado se considera un factor clave para mantener su rica biodiversidad y los servicios ambientales asociados. El objetivo de esta tesis es el desarrollo de una metodología para conocer las necesidades hídricas de estos ecosistemas, sobre la base de sólidos fundamentos científicos y en cumplimiento de las exigencias legales. En la tesis se realiza en primer lugar una síntesis del marco jurídico de protección de los humedales, tanto a nivel español como comunitario. El análisis legal se ha orientado a responder preguntas relevantes que han girado en torno al concepto de humedal, terminología legal, niveles de protección, etc. Este análisis se ha complementado con una revisión y síntesis de los fundamentos científicos y técnicos que explican el papel del régimen de inundación en la composición y distribución de las especies, así como las interacciones entre ellas, los procesos naturales que intervienen y el medio abiótico. También se ha realizado una revisión de los métodos de cálculo de las necesidades hídricas de lagos y humedales, tanto en España como a nivel internacional. Estos tres aspectos (legal, científico y técnico) han servido de base para diseñar la metodología para el cálculo de las necesidades hídricas de lagos y humedales formulada en esta tesis. El desarrollo teórico de esta metodología de cálculo se complementa con la aplicación a 5 humedales emblemáticos españoles. Estos casos de estudio permiten en primer lugar valorar la aplicabilidad de la metodología en tipos de humedales muy diferentes, incluyendo un lago de alta montaña, humedales endorreicos interiores y humedales ligados a sistemas fluviales. En función de la información disponible, se llevan a cabo análisis biológicos para validar las propuestas de necesidades hídricas basadas en el régimen de inundación con sus respectivos objetivos ambientales, fundamentalmente con el buen estado ecológico y el estado de conservación favorable de hábitats y especies seleccionadas. Finalmente, con los resultados obtenidos se discute el enfoque y diseño de la metodología propuesta en la tesis en el contexto de los principios científicos de la gestión ecosistémica y otras metodologías empleadas al efecto. Los casos de estudio han permitido valorar su aplicabilidad y las particularidades de cada uno de ellos. También se han valorado los beneficios que se podrían obtener con la aplicación de la metodología en el ámbito nacional, europeo e internacional, incluyendo su contribución general para un uso más sostenible del agua. / [CAT] Malgrat el seu reconegut valor econòmic, social, cultural i ambiental, els llacs i zones humides d'Europa estan sotmesos a fortes pressions que amenacen la seva conservació. Tenint en compte que les extraccions d'aigua figura entre les afeccions més comuns, garantir un règim d'inundació adequat es considera un factor clau per mantenir la seva rica biodiversitat i els serveis ambientals associats. L'objectiu d'aquesta tesi és el desenvolupament d'una metodologia per conèixer les necessitats hídriques d'aquests ecosistemes, sobre la base de sòlids fonaments científics i en compliment de les exigències legals. A la tesi es realitza en primer lloc una síntesi del marc jurídic de protecció de les zones humides, tant a nivell espanyol com comunitari. L'anàlisi legal s'ha orientat a respondre preguntes rellevants que han girat al voltant del concepte de zona humida, terminologia legal, nivells de protecció, etc. Aquesta anàlisi s'ha complementat amb una revisió i síntesi dels fonaments científics i tècnics que expliquen el paper del règim d'inundació en la composició i distribució de les espècies, així com les interaccions entre elles, els processos naturals que intervenen i el medi abiòtic. També s'ha realitzat una revisió dels mètodes de càlcul de les necessitats hídriques de llacs i zones humides, tant a Espanya com a nivell internacional. Aquests tres aspectes (legal, científic i tècnic) han servit de base per dissenyar la metodologia per al càlcul de les necessitats hídriques de llacs i aiguamolls formulada en aquesta tesi. El desenvolupament teòric d'aquesta metodologia de càlcul es complementa amb l'aplicació a cinc aiguamolls emblemàtics espanyols. Aquests casos d'estudi permeten en primer lloc valorar l'aplicabilitat de la metodologia en tipus d'ecosistemes molt diferents, incloent un llac d'alta muntanya, zones humides endorreiques interiors i aiguamolls lligats a sistemes fluvials. En funció de la informació disponible es duen a terme anàlisis biològiques per validar les propostes de necessitats hídriques basades en el règim d'inundació amb els seus respectius objectius ambientals, fonamentalment amb el bon estat ecològic i l'estat de conservació favorable d'hàbitats i espècies seleccionades. Finalment, amb els resultats obtinguts es discuteix l'enfocament i disseny de la metodologia proposada en la tesi en el context dels principis científics de la gestió ecosistèmica i altres metodologies emprades a l'efecte. Els casos d'estudi han permès valorar la seva aplicabilitat i les particularitats de cada un d'ells. També s'han valorat els beneficis que es podrien obtenir amb l'aplicació de la metodologia en l'àmbit nacional, europeu i internacional, incloent la seva contribució general per a un ús més sostenible de l'aigua. / Sánchez Navarro, R. (2016). Estudio de las necesidades hídricas de humedales españoles: condicionantes legales y posibilidades metodológicas [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/62197 / TESIS

Submitted by Liliane Ferreira (ljuvencia30@gmail.com) on 2018-11-26T13:24:36Z No. of bitstreams: 2 Dissertação - Gabriel da Silva Vieira - 2018.pdf: 13740412 bytes, checksum: ddb7d4353e4f2d7650b087dd0d4bd796 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-11-26T13:43:18Z (GMT) No. of bitstreams: 2 Dissertação - Gabriel da Silva Vieira - 2018.pdf: 13740412 bytes, checksum: ddb7d4353e4f2d7650b087dd0d4bd796 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-11-26T13:43:18Z (GMT). No. of bitstreams: 2 Dissertação - Gabriel da Silva Vieira - 2018.pdf: 13740412 bytes, checksum: ddb7d4353e4f2d7650b087dd0d4bd796 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-10-05 / Outro / Disparity maps are key components of a stereo vision system. Autonomous navigation, 3D reconstruction, and mobility are examples of areas of research which use disparity maps as an important element. Although a lot of work has been done in the stereo vision field, it is not easy to build stereo systems with concepts such as reuse and extensible scope. In this study, we explore this gap and it presents a software architecture that can accommodate different stereo methods through a standard structure. Firstly, it introduces some scenarios that illustrate use cases of disparity maps and it shows a novel architecture that foments code reuse. A Disparity Computation Framework (DCF) is presented and we discuss how its components are structured. Then we developed a prototype which closely follows the proposal architecture and we prepared some test cases to be performed. Furthermore, we have implemented disparity methods for validation purposes and to evaluate our disparity refinement method. This refinement method, named as Segmented Consistency Check (SCC), was designed to increase the robustness of stereo matching algorithms. It consists of a segmentation process, statistical analysis of grouping areas and a support weighted function to find and to fill in unknown disparities. The experimental results show that the DCF can satisfy different scenarios on-demand. Besides, they show that SCC method is an efficient approach that can make some enhancements in disparity maps, as reducing the disparity error measure. / Mapas de disparidade são elementos cruciais em sistemas de visão estéreo. Navegação autônoma, reconstrução 3D e mobilidade são exemplos de área de pesquisa que utilizam mapas de disparidade como elementos-chave. Embora muitos trabalhos têm sido feitos na área de visão estéreo, ainda assim, não é trivial construir sistemas estéreos com aplicação de conceitos como reutilização e escopo extensível. Neste estudo, exploramos essa lacuna e apresentamos uma arquitetura de software capaz de acomodar diferentes métodos de visão estéreo através de uma estrutura bem definida. Inicialmente, cenários que ilustram usos de mapa de disparidade são introduzidos e uma arquitetura que fomenta reutilização de código é apresentada. Dessa forma, um Framework de Cálculo de Disparidade (FCD) é apresentado e seus componentes são discutidos a fim de especificar a sua estrutura. Em seguida, um protótipo que segue a arquitetura proposta é apresentado e alguns casos de teste são preparados e executados. Além disso, métodos de cálculo de disparidade foram implementados para propostas de validação e para avaliar o método de refinamento de disparidade proposto pelos autores. Esse método de refinamento, chamado de Checagem de Consistência de Segmento (CCS), foi projetado para aumentar a robustez de algoritmos de combinação estéreo. Trata-se de um método que utiliza um processo de segmentação preliminar, análise estatística de áreas definidas e função ponderada de suporte para encontrar e preencher disparidades marcadas como desconhecidas. Os resultados dos experimentos realizados apontam que o FCD pode satisfazer diferentes cenários sob demanda. Além disso, os resultados mostram que o método CCS é uma abordagem eficiente que pode trazer certos melhoramentos em mapas de disparidade, como reduzir a medida de erro no cálculo de correspondências estéreo.