Universidade Federal do Cearà / O atual estÃgio de desenvolvimento de tÃcnicas experimentais permite a sÃntese de partÃculas coloidais complexas, cuja superfÃcie pode ser precisamente "decorada" com propriedades fÃsicas e/ou quÃmicas diferentes. Tais coloides sÃo usualmente definidos como partÃculas patchy. Como resultado da modificaÃÃo de partes da superfÃcie de tais partÃculas, a interaÃÃo entre as mesmas à geralmente caracterizada por um potencial anisotrÃpico. Estudar e compreender o processo de auto-organizaÃÃo desse sistema particular à de grande interesse tanto do ponto de vista cientÃfico como tecnolÃgico devido sua utilizaÃÃo em materiais funcionais. Nessa dissertaÃÃo, estuda-se o comportamento de um sistema bidimensional de partÃculas patchy carregadas, nas quais a superfÃcie à decorada pontualmente com uma carga de sinal contrÃrio do centro da mesma de modo que cada coloide possua uma carga total C responsÃvel pelo potencial de interaÃÃo. Neste trabalho foi utilizada a tÃcnica de simulaÃÃo DinÃmica Molecular para estudar o processo de auto-organizaÃÃo dessas partÃculas para diversas densidades e temperaturas. Contudo, antes de apresentar resultados numÃricos apresenta-se o modelo de partÃcula patchy e verifica-se o comportamento da energia de interaÃÃo com dependÃncia na carga efetiva da partÃcula e com o nÃmero de sÃtios ativos (p) que decoram as superfÃcies dos coloides, chamados de patches. Nota-se que o estudo de tais parÃmetros à fundamental na previsÃo de estruturas que o sistema se estabiliza. Apresentam-se as estruturas de mÃnima energia estÃveis, de um sistema com p=2 e carga total neutra, em um diagrama de fases com dependÃncia na temperatura e densidade para p=2. Esse diagrama apresenta claramente duas fases bem definidas que foram distinguidas atravÃs de cÃlculos de propriedades termodinÃmicas durante a simulaÃÃo. Resultados para diferente p e carga total tambÃm sÃo apresentados a fim de mostrar a influencia do nÃmero de patches, e da carga total, na configuraÃÃo do sistema. Em geral, observa-se que para altos valores da carga total e/ou nÃmero de patches de cada partÃcula, o potencial repulsivo prevalece fazendo com que o sistema se estabilize em uma configuraÃÃo cristalina. Por outro lado, um sistema composto de partÃculas com baixo valor de carga total ou numero de patches as partÃculas apresentam um potencial atrativo induzindo diferentes tipos de configuraÃÃes no sistema, como, por exemplo, estruturas na forma de anÃis e linhas de partÃculas. / The current stage of development of experimental techniques allow the synthesis of particles complex colloidal, whose surface can be precisely "decorated" with physical properties and/or chemical combinations. Such colloids are usually defined as patchy particles. As result of the modification of parts of the surface of such particles, the interaction between them is generally characterized by an anisotropic potential. Study and understand the process of self-organization of this particular system is of great interest both from the scientific point of view as technology, because of its use in functional materials. In this dissertation, we study. The behavior of a two-dimensional system patchy charged particles, in which the surface is decorated with a timely charge sign opposite that located in the particle center. Thus, patchy each particle has a net charge C, which is result of the difference between the point charges on the surface and that in the particle center patchy. This study uses the technique of computer simulation of molecular dynamics to study the process of self-organization of particles patchy depending on the density and temperature. Initially, we present the model of patchy particles studied here and there is the behavior of the interaction energy between two particles and its dependence on load effective particle (liquid charge) and the number of active sites (p) that decorate the surfaces of colloids, called patches . The study of these parameters is important for understanding the self-organized structures obtained. Presents the stable structures of minimum energy a system with p=2 and C=0 as a function of temperature and density. In general, we observe two well defined phases were distinguished by calculation of thermodynamic properties during the simulation. Results for different values of p and C are also presented order to show the influence of this parameter in the system configuration. In general, it is observed that for large values of the charge and/or number of patches, the repulsive potential prevails causing the system to stabilize in a crystalline configuration. On the other hand, for a system composed of particles with a low value of charge and/or the number od patches interaction potential is attractive inducing predominantly resulting composite structures in the form of clusters of ring and lines particles.

Neste trabalho utiliza-se como sistema dinâmico o circuito eletrônico que simula o conjunto de equações acopladas do sistema de Rössler modificado. Este sistema possui uma nâo-linearidade dada por uma função linear por partes e apresenta comportamento caótico para certos valores dos seus parâmetros. A caracterização experimental da dinâmica do sistema de Rössler modificado é realizada através do diagrama de bifurcações. Apresenta-se uma fundamentação teórica de sistemas dinâmicos introduzindo conceitos importantes tais como atratores estranhos, variedades invariantes e também uma análise da estabilidade de comportamentos assintóticos como pontos fixos e ciclos limites. Para uma caracterização métrica do caos, apresenta-se a definição dos expoentes de Lyapunov. São introduzidos também os expoentes de Lyapunov condicionais e transversais, que estão relacionados com a teoria de sincronização de sistemas caóticos. Apresenta-se também a conceituação da sincronização de sistemas caóticos, introduzindo-se a definição de sincronização idêntica, sincronização de fase e variedade de sincronização. As principais propriedades da intermitência modulacional, obtidas a partir de aplicações discretas (mapas), são apresentadas, dando-se ênfase à obtenção das leis de escala. Relatamos a nossa contribuição mais importante: a análise experimental da intermitência modulacional em dois circuitos de Rössler (osciladores eletrônicos) acoplados em uma configuração do tipo mestre-escravo. Atenção particular é devotada às leis estatísticas associadas com a intermitência modulacional. / In this work it is used as a dynamical system the electronic circuit that integrates the modified system of Rössler coupled equations. This system has a nonlinearity given by a piecewise linear function and shows chaotic behavior for certain values of the system parameters. The experimental characterization of the modified Rössler system dynamics is realized through a bifurcation diagram. It is presented a theoretical fundamentation of dynamical systems introducing important concepts like strange attractors, invariant manifolds and also a stability analysis of asymptotic behaviors like fixed points and limit cycles. For a metric characterization of chaos, the definition of the Lyapunov exponents is presented. Also introduced are the conditional and transversal Lyapunov exponents, that are related with the synchronization theory of chaotic systems. It is also presented the conceptual ideas of chaotic synchronization introducing the definitions of identical synchronization, phase synchronization and synchronization manifold. The main properties of modulational sychronization are obtained from discrete systems (maps), giving special attention to the scaling laws. We report our chief contribution: the experimental analysis of modulational intermittency in two coupled Rössler circuits (electronic oscillators) in a master-slave configuration. Particular attention is devoted to the statistical laws associated with modulational intermittency.

Submitted by João Arthur Martins (joao.arthur@ufpe.br) on 2015-03-12T18:23:58Z No. of bitstreams: 2 Tese Almir Guimaraes.pdf: 2829320 bytes, checksum: eb091480cddf819a75f703273675417b (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-12T18:23:58Z (GMT). No. of bitstreams: 2 Tese Almir Guimaraes.pdf: 2829320 bytes, checksum: eb091480cddf819a75f703273675417b (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-12-09 / Nos dias atuais, as redes convergentes têm se tornado uma ferramenta essencial para os indivíduos, empresas e governos e têm mudado significativamente a maneira como eles se relacionam. Além disso, estas redes proporcionam o meio de transporte para uma grande variedade de serviços e desta forma, desempenham uma importância considerável para as atividades diárias dos indivíduos e para as receitas das empresas. Questões relativas à prevenção e tratamento de falhas, bem como a garantia de desempenho satisfatório, são assim, de fundamental importância para a permanência nos negócios por parte das empresas. Desta maneira, o projeto da infraestrutura de redes convergentes deve considerar também os aspectos de negócios. A utilização de modelos formais vem sendo constantemente aplicada em diferentes abordagens para a descrição de sistemas computacionais. Este trabalho propõe conjuntamente modelos, métricas e uma metodologia para proporcionar suporte tanto para a escolha do melhor projeto com relação a uma infraestrutura em particular, quanto para uma análise comparativa e objetiva entre diferentes soluções, considerando-se formalmente aspectos de dependabilidade, desempenho e de negócios. Os modelos de infraestrutura consideraram as vantagens de redes de Petri estocásticas e de diagramas de blocos de confiabilidade em uma abordagem hierárquica. Foram ainda definidas métricas para o suporte à escolha do melhor projeto em conformidade com os negócios da empresa, assim como para proporcionar uma análise comparativa e objetiva entre as diferentes soluções de projetos. Por fim, os resultados mostraram a eficácia da aplicação desta metodologia ao reduzir significativamente o número de projetos analisados

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2017-04-11T12:47:20Z No. of bitstreams: 2 Dissertação - Paula Daniele Borges dos Santos - 2017.pdf: 1755533 bytes, checksum: 6efac4df89f983ce6e59731acd88d41a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-04-11T12:47:44Z (GMT) No. of bitstreams: 2 Dissertação - Paula Daniele Borges dos Santos - 2017.pdf: 1755533 bytes, checksum: 6efac4df89f983ce6e59731acd88d41a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-04-11T12:47:44Z (GMT). No. of bitstreams: 2 Dissertação - Paula Daniele Borges dos Santos - 2017.pdf: 1755533 bytes, checksum: 6efac4df89f983ce6e59731acd88d41a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-03-21 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / The present work intends to show an illustrative approach to calculate and understand Greater Common Divisor and Least Common Multiple, seeking a greater assimilation and concretization of the learning of this content. This methodology is presented in a chromological order following the evolution of mathematical concepts. Therefore, this text, aiming to produce a meaningful approach of the subject, seeks to expose in a simple way what comes to be the Prime Numbers according to Numbers Theory and Venn Diagram according to the Set Theory, in order to visualize and obtain the Relation between Greater Common Divisor, Least Common Multiple, and Venn Diagram. / O presente trabalho pretende mostrar uma abordagem ilustrativa para se calcular e entender Máximo Dividor Comum e Mínimo Múltiplo Comum, buscando uma maior assimilação e concretização da aprendizagem desse conteúdo. Esta metodologia é apresentada numa ordem cronológica seguindo a evolução dos conceitos matemáticos. Logo, este texto, visando produzir uma abordagem significativa do assunto, busca expor de forma simples o que vem a ser os Números Primos segundo a Teoria dos Números e Diagrama de Venn segundo a Teoria dos Conjuntos, para que assim se consiga visualizar e obter a Relação entre Máximo Divisor Comum, Mínimo Múltiplo Comum e o Diagrama de Venn.

O desenvolvimento de novos materiais com baixa densidade e propriedades mecânicas estáveis em altas temperaturas é necessário para reduzir o consumo de combustível e consequentemente a emissão de gases no setor aeroespacial. Uma nova classe de materiais chamada HEAs (Ligas de Alta Entropia), que combinam elementos refratários e alumínio podem ser candidatas para superar esse desafio. Ligas de Alta Entropia contendo Al-Zr-Nb-Ti-V estão sendo estudadas em nosso grupo de pesquisa. Os diagramas de fases são uma ferramenta necessária para o desenvolvimento e otimização dessas ligas. O objetivo do presente trabalho é a investigação experimental do sistema ternário Al-V-Zr a 1200°C. Ligas do sistema foram fundidas em um forno a arco com cadinho de cobre refrigerado a água e eletrodo não consumível de tungstênio sob atmosfera de argônio. Pedaços das amostras foram embrulhados em folhas de Zr e tratadas a 1200°C por 10 dias usando tubos de sílica em vácuo primário para alcançar o equilíbrio termodinâmico. Para a observação das microestruturas, as amostras foram preparadas pelo método metalográfico padrão. A composição e microestrutura das amostras foram analisadas por microscopia eletrônica de varredura (MEV) e espectroscopia por energia dispersiva (EDS). A caracterização microestrutural das amostras foi complementada por difratometria de raios X (DRX) utilizando pó e radiação de Cu-K?. No trabalho publicado por Guzei (1993) foi proposto a existência de duas fases ternárias com estequiometria Zr0,9V0,4Al2,7 e Zr13V2Al5. Entretanto neste trabalho, apenas a fase ternária Zr0,9V0,4Al2,7 foi observada. Em contrapartida, observou-se a estabilidade uma outra fase ternária com estequiometria aproximada (Zr,Al)2V e protótipo Ti2Ni. Uma nova seção isotérmica a 1200°C foi proposta baseada no equilíbrio termodinâmico determinado pelas medições das composições das fases. / The development of new materials with low density and stable mechanical properties at high temperature is necessary to reduce fuel consumption and consequently the emission of gases. A new class of material called HEA combining refractory elements and aluminum can be good candidate to overcome this challenge. High entropy alloys in the Al-Zr-Nb-Ti-V system are being investigated in our research group. The phase diagram data are a necessary tool for the design and optimization of the alloys. The objective of these study is an experimental research of the Al-V-Zr ternary system at 1200°C. Several alloys were melted in an arc furnace using non-consumable tungsten electrode in a water cooled copper crucible, under an inert atmosphere of argonium. Parts of the samples were treated at 1200 °C for 10 days using silica tubes sealed under primary vacuum in order to achieve the thermodynamic equilibrium. For the observation of microstructures, the specimens were prepared following conventional metallographic methods. The compositions and microstructures of the alloys were investigated by scanning electron microscopy (SEM) and electronic microanalysis (EDS). The microstructural characterization was complemented by X-ray diffractrometry (XRD) on powder using Cu-k? radiation. In the work published by Guzei (1993) the existence of two ternary phases with the stoichiometry Zr0,9V0,4Al2,7 and Zr13V2Al5 is indicated. However, in this work only the ternary phase Zr0,9V0,4Al2,7 was observed. In addition, another ternary phase with approximate stoichiometry (Zr,Al)2V and prototype Ti2Ni was observed. A new isothermal section at 1200°C is proposed based on the thermodynamic equilibria determined to measured compositions of the phases.

Quando um capital é alugado ou investido, uma parte age como o credor e o outro como o mutuário. O credor é o proprietário do capital e, como prêmio, o mutuário paga juros ao credor para o uso do capital do credor. Por exemplo, quando o dinheiro é depositado em uma conta poupança, o depositante é o credor e o banco é o mutuário. Este fenômeno gera uma dinâmica, este é o tema principal desta dissertação. Consideramos alguns modelos clássicos sob o ponto de vista das equações de diferenças, com ênfase no estudo da existência de um equilíbrio bem como as condições especiais para a sua estabilidade de soluções. / When capital is rented or invested, one part acts as the lender and the other one as the borrower. The lender is the owner of the capital, and, as prize, the borrower pays interest to the lender for the use of the lenders capital. For example, when money is deposited in a savings account, the depositor is the lender and the bank is the borrower. This phenomenon generates a dynamic, this is the main theme of this dissertation. We consider some classical models from the point of view of the difference equations, with emphasis on the study of the existence of an equilibrium as well the special conditions for its stability of solutions.

Representações computacionais de formas podem ser criadas em ferramentas CAD ou geradas a partir de um objeto físico já existente. Esta última abordagem oferece como vantagens rapidez e fidelidade ao objeto original, que são os aspectos fundamentais em muitas aplicações, como Simulações Numéricas de Equações Diferenciais Parciais e Imagens Médicas. A reconstrução (ou geração de malhas superficiais) a partir de pontos amostrados de uma superfície de um objeto é um problema clássico de representação de formas. Nesta dissertação apresentamos um vasto levantamento bibliográfico deste tipo de reconstrução, classificando e descrevendo os principais trabalhos presentes na literatura. A partir do levantamento bibliográfico, selecionamos um conjunto de algoritmos sobre os quais foram realizadas comparações teóricas e empíricas cujos resultados são apresentados. Para finalizar, apresentamos aplicações de nossas implementações em Simulação Numérica de Equações Diferenciais Parciais e processamento de Imagens / Computational representations of shapes can be developed using CAD applications or created from data acquired from a real physical object. This latter is advantageous with respect to time and fidelity to the original object which are essential to several applications, such as Numerical Simulation of Partial Differential Equations and Medical Imaging. A classical shape representation problem is that of reconstruction (or superficial mesh generation) from points sampled over the surface of an object. In this Master\'s thesis we describe a broad survey of these reconstruction methods. We focus in the classification and characterization of the main algorithms proposed in the literature. From this survey, we selected some algorithms and conducted some theoretical and practical comparisons. We conclude this work describing applications of the algorithms implemented in Numerical Simulations of Differential Partial Equations and Image Processing

O desenho planar para as células a Combustível de Óxido Sólido (SOFC) é melhor do que o tubular devido a sua maior densidade de corrente e menor custo de fabricação. No entanto, o projeto de SOFC planar requer selantes para evitar o vazamento de combustível e a mistura de gases em altas temperaturas. Os vidros e os vitrocerâmicos têm demonstrado serem os mais adequados por apresentarem boa compatibilidade com outros componentes da célula nas temperaturas de trabalho das SOFCs (700-1000°C). No presente estudo, uma série de composições pertencentes ao sistema BaO-Al2O3-SiO2 (BAS) com a adição de B2O3 foram sintetizados tomando as proporções apropriadas de cada óxido constituinte. Propôs-se melhorar este sistema utilizando-se formadores e teores relevantes de modificadores estruturais, de forma a compatibilizar tanto o desempenho térmico por meio do coeficiente de expansão térmica (CET) como a compatibilidade química com os demais componentes da célula. A originalidade deste estudo está na busca destas características em regiões de composições ainda não exploradas, localizadas dentro do triangulo de compatibilidade BS-B2S-BAS2 na região rica em bário do sistema ternário. Entre estes vidros sintetizados quatro composições (BAS-4, BAS-5, BAS-6 e BAS-7) foram escolhidas porque são as mais adequadas às solicitações termomecânicas exigidas para um material vítreo atuar como selante em SOFC. / The design for planar cells Fuel Solid Oxide (SOFC) is better than the tubular due to its higher current density and lower manufacturing cost. However, the design of planar SOFC requires sealant to prevent leakage of fuel and the mixture of gases at high temperatures. Glasses and glass-ceramics have proven to be the most suitable because they have good compatibility with the other components of the cell at working temperature (700-1000°C). In the present study, a series of compositions belonging to the BaO-Al2O3-SiO2 (BAS) system with the addition of B2O3 were synthesized having the appropriate proportions of each component oxide. It was proposed to improve this system using relevant levels of formers and structural modifiers oxides, in order to match both the thermal performance of thermal expansion coefficient (TEC) and chemical compatibility with other components of the cell. The originality of this study is to search for these characteristics in regions of compositions not yet explored, located inside the compatibility triangle BS-B2S-BAS2 at the barium rich part of the ternary diagram. Among the synthesized glasses four batch compositions (BAS-4, BAS-5, 6-BAS, BAS-7) were chosen because best matched the thermo-mechanical required for a glassy material to act as SOFCs sealant.

En los últimos años, se ha producido en el panorama internacional un acercamiento del campo de la seguridad de presas hacia las metodologías basadas en riesgo, en las que se combina la probabilidad de ocurrencia de eventos indeseados y sus consecuencias asociadas. Este acercamiento se comprueba por ejemplo en la publicación de un boletín de la Comisión Internacional de Grandes Presas (ICOLD) dedicado exclusivamente al tema y en que una de las sesiones del último Congreso Internacional de Grandes presas estuviese dedicada a ello. En cuanto a las realizaciones de análisis concretos, estas han variado desde las más simplificadas y cualitativas hasta aplicaciones cuantitativas completas. Ante este panorama, el principal objetivo del presente trabajo es desarrollar una herramienta completa que permita realizar análisis de riesgos sobre cualquier presa o sistema de presas. En base a ello, el trabajo está dividido en cinco partes, que se resumen a continuación. La primera parte presenta los fundamentos teóricos del Análisis de Riesgo y trata de manera sistemática cada una de las variables que forman parte de un modelo de riesgo y las relaciones existentes entre ellas. A cada una de ellas se dedica un capítulo en el que se revisa el estado del arte en cuanto a su modelación, aportando también los conocimientos y visiones que se han ganado a lo largo del desarrollo de este trabajo. Esta parte del trabajo tiene asimismo una vocación de guía para la realización de Análisis de Riesgo. Por ello, se propone también un procedimiento general para llevar a cabo Análisis de Riesgo y se incluye un capítulo en el que se repasan los principales criterios de tolerabilidad de riesgo existentes a nivel internacional. En la segunda parte se desarrolla una conceptualización de los modelos de riesgo suficientemente general como para poder representar cualquier tipo de modelo de riesgo que se pueda emplear en seguridad de presas, pero también suficientemente intuitiva y compacta como para s / Serrano Lombillo, AJ. (2011). Desarrollo de una herramienta completa de análisis y evaluación de riesgos en seguridad de presas [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11400 / Palancia

[pt] Diagramas de decisão são uma generalização de árvores de decisão, já propostos como um modelo de aprendizado de máquina para classificação supervisionada mas não largamente adotados. A razão é a dificuldade em treinar o modelo, já que o requerimento de decidir splits (partições) e merges (uniões de nós) em conjunto pode levar a problemas difíceis de otimização combinatória. Um diagrama de decisão tem importantes vantagens sobre árvores de decisão, pois melhor expressa conceitos binários disjuntos, evitando o problema de duplicação de subárvores e, portanto, apresentando menos fragmentação em nós internos. Por esse motivo, desenvolver algoritmos efetivos de construção é um esforço importante. Nesse contexto, o algoritmo Optimal Decision Diagram (ODD) foi recentemente proposto, formulando a construção do diagrama com programação inteira mista (MILP na sigla em inglês), com um warm start proveniente de uma heurística construtiva gulosa. Experimentos mostraram que essa heurística poderia ser aperfeiçoada, a fim de encontrar soluções próximas do ótimo de maneira mais efetiva, e por sua vez prover um warm start melhor. Nesse estudo, reportamos aperfeiçoamentos para essa heurística construtiva, sendo eles a randomização das decisões de split, a poda de fluxos puros (ou seja, fluxos de exemplos pertencentes a uma única classe), e aplicando uma poda bottom-up (de baixo para cima), que considera a complexidade do modelo além da sua acurácia. Todos os aperfeiçoamentos propostos têm efeitos positivos na acurácia e generalização, assim como no valor objetivo do algoritmo ODD. A poda bottom-up, em especial, tem impacto significativo no valor objetivo, e portanto na capacidade da formulação MILP de encontrar soluções ótimas. Ademais, provemos experimentos sobre a expressividade de diagramas de decisão em comparação a árvores no contexto de pequenas funções booleanas em Forma Normal Disjuntiva (DNF na sigla em inglês), assim como uma aplicação web para a exploração visual dos métodos construtivos propostos. / [en] Decision diagrams are a generalization of decision trees. They have been repeatedly proposed as a supervised classification model for machine learning but have not been widely adopted. The reason appears to be the difficulty of training the model, as the requirement of deciding splits and merging nodes can lead to difficult combinatorial optimization problems. A decision diagram has marked advantages over decision trees because it better models disjoint binary concepts, avoiding the replication of subtrees and thus has less sample fragmentation in internal nodes. Because of this, devising an effective construction algorithm is important. In this context, the Optimal Decision Diagram (ODD) algorithm was recently proposed, which formulates the problem of building a diagram as a mixed-integer linear program (MILP), with a warm start provided by a greedy constructive heuristic. Initial experiments have shown that this heuristic can be improved upon, in order to find close-to-optimal solutions more effectively and in turn provide the MILP with a better warm start. In this study, we report improvements to this constructive heuristic, by randomizing the split decisions, pruning pure flows (i.e. flows with samples from a single class), and applying bottom-up pruning, which considers the complexity of the model in addition to its accuracy. All proposed improvements have positive effects on accuracy and generalization, as well as the objective value of the ODD algorithm. The bottom-up pruning strategy, in particular, has a substantial impact on the objective value, and thus on the ability of the MILP solver to find optimal solutions. In addition, we provide experiments on the expressiveness of decision diagrams when compared to trees in the context of small boolean functions in Disjoint Normal Form (DNF), as well as a web application for the visual exploration of the proposed constructive approaches.