2,160 research outputs found
SAT Modulo Monotonic Theories
We define the concept of a monotonic theory and show how to build efficient
SMT (SAT Modulo Theory) solvers, including effective theory propagation and
clause learning, for such theories. We present examples showing that monotonic
theories arise from many common problems, e.g., graph properties such as
reachability, shortest paths, connected components, minimum spanning tree, and
max-flow/min-cut, and then demonstrate our framework by building SMT solvers
for each of these theories. We apply these solvers to procedural content
generation problems, demonstrating major speed-ups over state-of-the-art
approaches based on SAT or Answer Set Programming, and easily solving several
instances that were previously impractical to solve
Variable polarity arc welding
Technological advances generate within themselves dissatisfactions that lead to further advances in a process. A series of advances in welding technology which culminated in the Variable Polarity Plasma Arc (VPPA) Welding Process and an advance instituted to overcome the latest dissatisfactions with the process: automated VPPA welding are described briefly
Thick section aluminum weldments for SRB structures
The Space Shuttle Solid Rocket Booster (SRB) forward and aft skirts were designed with fracture control considerations used in the design data. Fracture control is based on reliance upon nondestructive evaluation (NDE) techniques to detect potentially critical flaws. In the aerospace industry, welds on aluminum in the thicknesses (0.500 to 1.375 in.) such as those encountered on the SRB skirts are normally welded from both sides to minimize distortion. This presents a problem with the potential presence of undefined areas of incomplete fusion and the inability to detect these potential flaws by NDE techniques. To eliminate the possibility of an undetectable defect, weld joint design was revised to eliminate blind root penetrations. Weld parameters and mechanical property data were developed to verify the adequacy of the new joint design
Arc termination cracks in Inconel 718 and Incoloy 903
The welding of the nickel base, heat resistant alloys that are used extensively for welded Shuttle engine components revealed solidification cracking characteristics at weld termination points. If not detected and removed, these crater cracks may cause costly component failure. To better understand this characteristic, welding termination techniques were studied and methods developed to eliminate crater cracks. It was determined that weld termination solidification cracking can be eliminated by controlled decrease of welding current, welding voltage, wire feed, and travel speed
High-temperature LM cathode ion thrusters Quarterly progress report, 5 Aug. - 4 Nov. 1968
Thermodynamic and operating characteristics of high temperature liquid mercury cathode ion thruster
Weld peaking on heavy aluminum structures
Weld peaking is usually undesirable in any welded structure. In heavy structures, the forces involved in the welding process become very large and difficult to handle. With the shuttle's solid rocket booster, the weld peaking resulted in two major problems: (1) reduced mechanical properties across the weld joint, and (2) fit-up difficulties in subsequent assembly operation. Peaking from the weld shrinkage forces can be fairly well predicted in simple structures; however, in welding complicated assemblies, the amount of peaking is unpredictable because of unknown stresses from machining and forming, stresses induced by the fixturing, and stresses from welds in other parts of the assembly. When excessive peaking is encountered, it can be corrected using the shrinkage forces resulting from the welding process. Application of these forces is discussed in this report
- …