Effective problem solving using SAT solvers

In this article we demonstrate how to solve a variety of problems and puzzles using the built-in SAT solver of the computer algebra system Maple. Once the problems have been encoded into Boolean logic, solutions can be found (or shown to not exist) automatically, without the need to implement any search algorithm. In particular, we describe how to solve the $n$-queens problem, how to generate and solve Sudoku puzzles, how to solve logic puzzles like the Einstein riddle, how to solve the 15-puzzle, how to solve the maximum clique problem, and finding Graeco-Latin squares.Comment: To appear in Proceedings of the Maple Conference 201

A comparison of the compositional, microstructural, and mechanical characteristics of Ni-Free and conventional stainless steel orthodontic wires

Ni-free orthodontic wires were introduced to mitigate concerns associated with the use of Ni-containing alloys in orthodontics. However, limited information is available on their properties and therefore, the aim of this study was to characterize the elemental composition, the microstructure, and the mechanical properties of Ni-free orthodontic wires and compare them with their stainless steel (SS) counterparts. Four Ni-free and four conventional SS wires were included in this study. All the wires were initially imaged with a Scanning Electron Microscopy (SEM) and their elemental compositions were determined by X-ray Energy Dispersive Spectroscopy (EDX). Then, their microstructure was assessed by X-ray Diffraction (XRD) and the indentation modulus, elastic index, Martens Hardness and Vickers Hardness by Instrumented Indentation Testing (IIT). All the wires demonstrated surface cracks and pores oriented parallel to their long axis. The elemental composition of Ni-free alloys showed an increased Mn and Cr content while both SS and Ni-free wires shared the same dominant austenite structure. In conclusion, despite the differences in elemental composition, Ni-free wires demonstrated a similar microstructure and comparable mechanical properties with their conventional SS counterparts and thus may be considered as a promising alternative for patients with Ni supersensitivity

A comparison of the compositional, microstructural, and mechanical characteristics of Ni-free and conventional stainless steel orthodontic wires

Ni-free orthodontic wires were introduced to mitigate concerns associated with the use of Ni-containing alloys in orthodontics. However, limited information is available on their properties and therefore, the aim of this study was to characterize the elemental composition, the microstructure, and the mechanical properties of Ni-free orthodontic wires and compare them with their stainless steel (SS) counterparts. Four Ni-free and four conventional SS wires were included in this study. All the wires were initially imaged with a Scanning Electron Microscopy (SEM) and their elemental compositions were determined by X-ray Energy Dispersive Spectroscopy (EDX). Then, their microstructure was assessed by X-ray Diffraction (XRD) and the indentation modulus, elastic index, Martens Hardness and Vickers Hardness by Instrumented Indentation Testing (IIT). All the wires demonstrated surface cracks and pores oriented parallel to their long axis. The elemental composition of Ni-free alloys showed an increased Mn and Cr content while both SS and Ni-free wires shared the same dominant austenite structure. In conclusion, despite the differences in elemental composition, Ni-free wires demonstrated a similar microstructure and comparable mechanical properties with their conventional SS counterparts and thus may be considered as a promising alternative for patients with Ni supersensitivity. © 2019 by the authors

A Comparison of the Compositional, Microstructural, and Mechanical Characteristics of Ni-Free and Conventional Stainless Steel Orthodontic Wires

Ni-free orthodontic wires were introduced to mitigate concerns associated with the use of Ni-containing alloys in orthodontics. However, limited information is available on their properties and therefore, the aim of this study was to characterize the elemental composition, the microstructure, and the mechanical properties of Ni-free orthodontic wires and compare them with their stainless steel (SS) counterparts. Four Ni-free and four conventional SS wires were included in this study. All the wires were initially imaged with a Scanning Electron Microscopy (SEM) and their elemental compositions were determined by X-ray Energy Dispersive Spectroscopy (EDX). Then, their microstructure was assessed by X-ray Diffraction (XRD) and the indentation modulus, elastic index, Martens Hardness and Vickers Hardness by Instrumented Indentation Testing (IIT). All the wires demonstrated surface cracks and pores oriented parallel to their long axis. The elemental composition of Ni-free alloys showed an increased Mn and Cr content while both SS and Ni-free wires shared the same dominant austenite structure. In conclusion, despite the differences in elemental composition, Ni-free wires demonstrated a similar microstructure and comparable mechanical properties with their conventional SS counterparts and thus may be considered as a promising alternative for patients with Ni supersensitivity

Brazed metal-ceramic components for space applications

Brazed metal-ceramic components play an important role in the manufacturing of specialized scientific instruments for space applications, where a compact, lightweight, and robust construction is always needed. Soldering and brazing are the best joining techniques if dissimilar materials are involved. For the current ESA mission JUICE, an optimized ion source main structure consisting of a stack of concentric metal electrodes and ceramic rings was to be brazed in vacuum. In the improved design one-piece electrodes manufactured from a molybdenum-copper composite were used having the same coefficient of thermal expansion as alumina. Different coating systems were evaluated for the composite material. The effectiveness of TiAlN as diffusion barrier for gold could be demonstrated in a first brazing test between the coated Mo85Cu15 and metallized Al₂O₃ parts joined with Incusil® ABATM. Several main structures satisfying all technical requirements were successfully brazed