Physical Sciences and Mathematics Commons^™

Constrained Completion: Theory, Implementation, And Results, Daniel Patrick Murphy

Doctoral Dissertations

"The Knuth-Bendix completion procedure produces complete sets of reductions but can not handle certain rewrite rules such as commutativity. In order to handle such theories, completion procedure were created to find complete sets of reductions modulo an equational theory. The major problem with this method is that it requires a specialized unification algorithm for the equational theory. Although this method works well when such an algorithm exists, these algorithms are not always available and thus alternative methods are needed to attack problems. A way of doing this is to use a completion procedure which finds complete sets of constrained reductions. …

Atomic Collision Processes Of Interest In Controlled Thermonuclear Fusion Research, Victor Dewitt Irby

Doctoral Dissertations

"This thesis examines several atomic collisional processes involved in controlled thermonuclear fusion. Specifically, experimental studies have been made on the state- selective single capture reaction

³He²⁺ + He —> ³He⁺(n) + He⁺(n'), (1)

on the double capture reaction

³He²⁺ + H e—> ³He + He²⁺ , (2)

and on the single ionization of atomic targets X

A^q+ + X —> A^q+ + X⁺ + e^- (3)

by charged projectiles A^q+. Reactions (1) and (2) have an importance in plasma energy balance and in …