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. …

Stratigraphic And Paleontologic Studies Of Paleocene And Oligocene Carbonate Facies Of The Eastern Gulf Coastal Plain, Jonathan Russel Bryan

Doctoral Dissertations

Shallow marine Paleogene carbonates of the Eastern Gulf Coastal Plain contain a variety of unique and largely undocumented facies. The Late Paleocene Salt Mountain Limestone of southwestern Alabama is a coral-algal-sponge buildup composed of large foram-algal packstone, algal bindstone, and sponge-coral bafflestone. Abundant coralline algae and a low diversity coral fauna are characteristic of Paleocene reefs, but sponges are rare in earliest Tertiary sediments. Their abundance in the Salt Mountain could indicate an opportunistic response of sponges as reef constructors after the extinction of rudist-coral communities in the Late Cretaceous.

The Bridgeboro Limestone, a rhodolith and coral-bearing limestone in southwestern …

Convection In The Melt, John Bryant Drake

Doctoral Dissertations

A physical problem involving the melting/freezing of a phase-change material (PCM) is the applied setting of this research. The development of models that couple the partial differential equations for energy transport and fluid motion with phases of differing densities is a primary goal of the research. In Chapter 2, a general framework is developed for the formulation of conservation laws that admit interfaces. A notion of weak solution is developed and its relation with classical and other weak formulations is discussed. Conditions that hold across various kinds of interfaces are also developed. The formulation is examined for the conservation of …

Lcm-Stability Of Power Series Extensions Characterizes Dedekind Domains, John T. Condo

Doctoral Dissertations

In this dissertation, we prove the following main result in Chapter 3. A (communicative integral) domain R is a Dedekind domain if and only if R[[X]] ⊂ T[[X]] is LCM-stable of each domain T containing R as a subring. Analogous results on flatness are given in Chapter 4. Complete statements of results cited from the literature appear in Chapter 2, while Chapter 1 places the above stated main result in historical context, as extending work of F. Richman and H. Uda.

New Bio-Analytical Separations Utilizing Chiral Mobile Phase Additives In Thin Layer Chromatography And Chiral Stationary Phases In High Performance Liquid Chromatography, Jo Dee Duncan

Doctoral Dissertations

"The problem addressed by this dissertation is the separation of optical isomers in commercial as well as biological samples. The chromatographic separation of enantiomers is an important and rapidly developing field of study. Chiral separations of pharmaceutical compounds and important organic intermediates in high performance liquid chromatography (HPLC) and thin layer chromatography (TLC) were achieved. Two methods were employed for the direct liquid chromatographic resolution of chiral analytes: chiral stationary phases (CSPs) and chiral mobile phase additives (CMAs). Native and derivatized ß-cyclodextrins (ß-CD) were used as chiral stationary phases in reverse phase and normal phase HPLC, respectively. This study marked …

The Sedimentology And Stratigraphy Of The Chilhowee Group (Uppermost Proterozoic To Lower Cambrian) Of Eastern Tennessee And Western North Carolina: The Evolution Of The Laurentian - Iapetos Margin, James Daniel Walker

Doctoral Dissertations

The Blue Ridge and Piedmont provinces of the southern Appalachians possess Upper Proterozoic and Lower Paleozoic age sedimentary, metasedimentary, volcanic, and metavolcanic rock thought to represent sedimentation and igneous activity related to the formation of the Iapetos (Proto-Atlantic) ocean. These sequences of strata can be related to the development of the Laurentian - Iapetos margin as seen in the Southern Appalachians. "Rift" phase sequences of the western Blue Ridge, include the Late Proterozoic age Mount Rogers, Catoctin, Grandfather Mountain formations, and the Ocoee Supergroup, which have been interpreted by other workers as representing volcanism and sedimentation in regionally discontinuous, fault-bounded …

Graph Coloring Algorithms On Random Graphs, Shi-Jen Lin

Doctoral Dissertations

"The graph coloring problem, which is to color the vertices of a simple undirected graph with the minimum number of colors such that no adjacent vertices are assigned the same color, arises in a variety of scheduling problems. This dissertation focuses attention on vertex sequential coloring. Two basic approaches, backtracking and branch-and-bound, serve as a foundation for the developed algorithms. The various algorithms have been programmed and applied to random graphs. This dissertation will present several variations of the Korman algorithm, Korw2, Pactual, and Pactmaxw2, which produce exact colorings quicker than the Korman algorithm in the average for some classes …

The Directed Steiner Problem On Graphs: A Simulated Annealing Approach, Lawrence Joseph Osborne

Doctoral Dissertations

"The well-known Steiner Problem on Graphs is an NP-complete problem for which there are many heuristic and exact algorithms that are deterministic. In this dissertation a new approach to the directed version of this problem is made by applying the ideas of statistical mechanics through the use of the method of simulated annealing. A version of annealing is developed for the Directed Steiner Problem and compared with one of the best general annealing schemes. Then a comparison is made between simulated annealing and the traditional branch and bound technique. The dual ascent algorithm of Richard T. Wong is used to …

Paleoenvironmental Analysis And Test Of Stratigraphic Cyclicity In The Nolichucky Shale And Maynardville Limestone (Upper Cambrian) In Central East Tennessee, Lawrence James Weber Jr.

Doctoral Dissertations

The Upper Cambrian Nolichucky Shale and Maynardville Limestone (upper Conasauga Group) crop out along a succession of southeastward dipping imbricate thrust sheets, which trend northeast-southwest in the Valley and Ridge of eastern Tennessee. In the vicinity of Oak Ridge and Knoxville, Nolichucky and Maynardville outcrop and drill core have been examined at six localities. The Nolichucky contains an abundance of thick shale and thinly bedded shale and limestone, whereas the Maynardville is composed of very thick-bedded carbonate, predominantly limestone. In central east Tennessee fourteen major lithofacies are identified in the upper Conasauga Group. The Nolichucky/Maynardville sequence is subdivided into three …

On A Multiple Stochastic Integral With Respect To A Strictly Semistable Random Measure, P. Xavier Raja Retnam

Doctoral Dissertations

The concept of multiple stochastic integration with respect to Brownian motion was introduced by Wiener (1938). Ito (1951) gave a more general construction of multiple stochastic integrals with regard to Brownian motion. Later the study of multiple stochastic integrals with respect to non-Gaussian processes were considered by some authors (e.g., Lin (1981), Surgailis (1981), Engel (1982)). Multiple stochastic integrals have found their applications in areas such as statistics and quantum mechanics. Recently, several authors (e.g., Szulga and Woyczynski (1983), Krakowiak and Szulga (1985), Rosinski and Woyczynski (1986), and Surgailis (1985)), using different approaches, have constructed multiple stochastic integrals with respect …

The Role Of Term Symmetry In E-Unification And E-Completion, Blayne E. Mayfield

Doctoral Dissertations

“A major portion of the work and time involved in completing an incomplete set of reductions using an E-completion procedure such as the one described by Knuth and Bendix [KB70] or its extension to associative-commutative equational theories as described by Peterson and Stickel [PS81] is spent calculating critical pairs and subsequently testing them for coherence. A pruning technique which removes from consideration those critical pairs that represent redundant or superfluous information, either before, during, or after their calculation, can therefore make a marked difference in the run time and efficiency of an E-completion procedure to which it is applied.

The …

Symbolic Automation And Numerical Synthesis For Robot Kinematics, Jen Sriwattanathamma

Doctoral Dissertations

"This research analyzes three topics in robot arm kinematics. First, the direct kinematics which determines the Cartesian position and orientation of the end effector for the specified values of joint parameters is analyzed. Second, the differential motions concerning the differential relationships between the command variables in position and orientation of the end effector and the joint-controlled variables are studied. Finally, the inverse kinematics which determines the joint variables for a specified Cartesian position and orientation of the end effector is considered.

This dissertation presents a methodology for incorporating the artificial intelligence types of knowledge into automating solutions for the direct …

An Integrated Programming Environment For Pseudo-Code Development, Ipe-Pc, Nurcan Coskun

Doctoral Dissertations

"An Integrated Programming Environment, IPE-PC, that supports pseudo-code development has been designed and implemented. This environment is based on a Pascal-like language which is designed according to the requirements of a language-based environment. The nucleus of IPE-PC is a language-based editor which represents programs as graphs internally. The same representation is used in every mode of the environment (i.e., editing, compilation, execution, debugging and translation). The system provides facilities to take advantage of both top-down and bottom-up programming. Stepwise refinement has been supported by providing comment structures that can be transformed into procedures. Bottom-up programming is supported because it is …

Microemulsions, Lyotropic Liquid Crystals, And Other Association Structures, Jiafu Fang

Doctoral Dissertations

"Phase diagrams have been determined showing the extent of the inverse micellar or microemulsion region for several ionic surfactants and some cosurfactants. Hexylamine has been found to be a very effective cosurfactant giving rise to very good water solubilizing capacity at extremely low surfactant concentrations and very low cosurfactant levels at rather high initial hydrocarbon levels.

A fairly extensive study of phase equilibria of the system composed of sodium dodecyl sulfate, hexylamine, heptane, and water has been carried out. The conductivity behavior of the inverse micellar or microemulsion phase of the system shows the percolation phenomenon. Low angle X-ray diffraction …

Amphiphile Association Structures, Yun Yang

Doctoral Dissertations

"The amphiphile association behavior of Aerosol OT (sodium di-w-ethylhexylsulfoccinate) and p-xylene in combination with mixtures of different ratios of glycerol/water systems was studied and compared to that in the corresponding water and glycerol systems. The presence of glycerol strongly destabilized the inverse hexagonal liquid crystal phase observed in the aqueous system. The glycerol showed more ability to penetrate into the amphiphile bilayer than water in the lamellar liquid crystal phase. The influences of water and glycerol on the organization of amphiphile in the lamellar liquid crystal phase are of the same order.

The gross diffusion coefficient of 1% 2,4-diamino-6-piperidinopyrimidine-3-oxide in …

Intensional Reasoning About Knowledge, Oliver B. Popov

Doctoral Dissertations

"As demands and ambitions increase in Artificial Intelligence, the need for formal systems that facilitate a study and a simulation of a machine cognition has become an inevitability. This paper explores and developes the foundations of a formal system for propositional reasoning about knowledge. The semantics of every meaningful expression in the system is fully determined by its intension, the set of complexes in which the expression is confirmed. The knowledge system is based on three zeroth-order theories of epistemic reasoning for consciousness, knowledge and entailed knowledge. The results presented in the paper determine the soundness and the completeness of …

Mappings Of Anr's Whose Images Are Anr's, Jung-In Kang Choi

Doctoral Dissertations

Recently, R.J. Daverman and J.J. Walsh modified an example due to J. Taylor to obtain an example of a cell-like map from a compactum with non-trivial shape onto the Hilbert cube Q such that the non-degeneracy set is contained in the countable union of finite dimensional closed subsets of Q. Previously, G. Kozlowski proved that a cell-like map f: X' → X from a compact ANR X' onto a metric space X is a hereditary shape equivalence if there exists a sequence {B_n}∞_n=1 of finite dimensional closed subsets of X such that the non-degeneracy set is contained …

Amphiphilic Association Structures And Some Aspects Of Foam Stability, Jia-Hwa Fang

Doctoral Dissertations

"This investigation was performed in order to study two interesting and important problems in foams.

Foam separation was studied in the model system of water - sodium octylsulfonate - decanol. The efficiency of foam separation as a function of surfactant concentration and decanol content were measured. The results were related to the association structures of amphiphiles in aqueous systems.

Foam polymerization was conducted in the amphiphilic system containing water, polymerizable surfactant and oleyl alcohol. Liquid foams were produced in one three - phase region. The location and optical pattern of liquid crystals on the foam surface were observed by photomicroscope …

A Semantic Basis For Parallel Algorithm Design, Roger E. Eggen

Doctoral Dissertations

"As computing demands increase, emphasis is being placed on parallel architectures- To efficiently use parallel machines, software must be designed to take advantage of these machines. This research concentrates on an abstraction of algorithm design to permit the expression of parallel programs. The abstraction emphasizes thought about algorithms at a high level as opposed to algorithm implementation at a statement level. A model based on data flow allows algorithm expression using flow diagrams. The model specifies operating system requirements that support parallel programming at a module level. Paths are used to carry data between modules. Data enter modules through ports. …

Confinement Of Electron Orbits And The Interaction Between The Electron Beam And Cavity Modes In The Orbitron Maser, Wlodzimierz Nakonieczny

Doctoral Dissertations

The Orbitron maser, developed over recent years in the University of Tennessee Plasma Laboratory, is an alternative microwave source, capable of producing microwave radiation up to the submillimeter range. It operates on the basis of interaction between an electrostatically confined electron cloud and electromagnetic field in the Orbitron resonator. Good confinement of the cloud is very important for an efficient operation of the Orbitron, and is directly related to the shape of electron orbits in the device. It appears that the radial confinement can be determined by two simple criteria concerning the electron's angular momentum L and energy E. The …

A Parallel Branch And Bound Algorithm For Integer Linear Programming Models, Rochelle L. Boehning

Doctoral Dissertations

"A parallel branch and bound algorithm is developed for use with MIMD computers to study the efficiency of parallel processors on general integer linear programming problems. The Haldi and IBM test problems and a System Design model are used in the implementation of the algorithm. Initially the algorithm solves the Haldi and IBM test problems on a single processor computer which simulates a multiple processor computer. The algorithm is then implemented on the Denelcor HEP multiprocessor using two of the IBM problems to compare the results of the simulation to the results using an MIMD computer. Finally the algorithm is …

The Precambrian Volcanic Stratigraphy And Petrology Of The Des Arc Ne 7 1/2 Minute Quadrangle, South Central St. Francois Mountains, Missouri, Vernon Max Brown

Doctoral Dissertations

"The Precambrian volcanics in the Des Arc NE 7½ minute quadrangle are composed predominantly of rhyolitic ash-flow tuffs with minor rhyolitic, trachytic, and andesitic lavas, and basaltic dikes. Thirty-seven volcanic units were identified, mapped, and informally named. A minimum of 1,000 meters of volcanic section is present. The rhyolites consist of phenocrysts of albitized alkali feldspar, albitic plagioclase, quartz, opaques, and ferromagnesium relicts set in a devitrified and locally recrystallized felsitic matrix. Pumice and lithophysal structures are common in the ash flows.

Chemically, the rhyolites are quite similar. The potassium to sodium ratio in individual units, however, tends to vary …

Theoretical Studies Of Water On Substrates, Sergio M. Terrazas

Doctoral Dissertations

"Model interaction potentials for H₂O on a basal f)-silver iodide substrate containing two types of defects, a potassium impurity and a four atomic layer ledge, are used to calculate optimal binding energy contours for the adsorbed H₂O molecule. (J. Phys. Chern. 84, 1473(1980)). The model substrate with the potassium impurity appears to increase the optimal binding energy at the preferred adsorption sites to 23 kcal/rnol -- a value approximately 40 % larger than the maximal binding energy sites on the defect-free model silver-exposed basal plane of AgI. The impurity also distorts the hexagonal symmetry of the …

Homogeneous Nucleation Of Nonane In Argon Using An Expansion Cloud Chamber, Gregg Wesley Adams

Doctoral Dissertations

"The homogeneous nucleation rate of nonane has been measured using an expansion cloud chamber. Data were obtained for pre-expansion temperatures of 45°C, 35°C, 25°C, 15°C, 5°C, and -5°C. The measured nucleation rate ranges from 10² to 10⁵ drops/cm³ -sec over a temperature range of 216 K to 270 K. The data set is sufficiently extensive to provide a detailed test for nucleation theories applied to nonane. The measured rates are compared with the "classical" nucleation theory and with a modified classical theory using the replacement factor of Reiss, Katz and Cohen (RKC). It is found that neither …

Extensions, Generalizations, Characterizations And Testing For Independence Through Infinite Divisibility, Edward Joul Danial

Doctoral Dissertations

This dissertation investigates various related topics around the exciting concept: "Infinite Divisibility." First, two intricate distributions, namely, the univariate generalized Waring and the hyper-Poisson are proved to be infinitely and noninfinitely divisible, respectively. Analysis and computer approaches are employed. This itself extends the use of some results introduced by Katti, Steutel and Warde. Secondly, generalizations to Warde, Katti and Steutel's sufficient conditions and related results are achieved. Then, numerical application is presented. Thirdly, characterizations through infinite and finite divisibility are obtained. The Poisson, negative binomial, geometric, Bernoulli and uniform c haracterizations in terms of infinite divisibility are deduced. Some of …

Mineralogical, Textural, And Paragenetic Studies Of Selected Ore Deposits Of The Southeast Missouri Lead-Zinc-Copper District And Their Genetic Implications, Kenneth Bruce Horrall

Doctoral Dissertations

“A detailed paragenetic study of Pb-Zn-Cu ores from the Viburnum Number 28, Brushy Creek, and Goose Creek mines in the Southeast Missouri lead district indicates a complicated paragenesis characterized by repeated periods of mineral deposition. The sequence is composed of nineteen minerals including abundant galena, sphalerite, chalcopyrite, pyrite, marcasite, dolomite, calcite, and quartz and minor siegenite, bornite, bravoite, blaubleibender covellite, covellite, gersdorffite, digenite, enargite, tennantite, dickite, and malachite.

The paragenesis indicates that the ore solutions evolved in the following order: (1) Cu-rich, (2) Co-Ni-rich, (3) Pb-Zn-rich, and (4) Fe-rich. Subsequent repeated generations include cubic galena, later sphalerite, and minor crystalline …

Electrochemical And Spectroscopic Studies Of Some Less Stable Oxidation States Of Selected Lanthanide And Actinide Elements, David Edward Hobart

Doctoral Dissertations

The technique of simultaneous observation of electrochemical and spectroscopic properties (spectroelectrochemistry) at optically transparent electrodes (OTE's) has been applied to the generation and characterization of some less stable oxidation states of selected lanthanide and actinide elements (Ce, Pr, Sm, Eu, Tb, Yb, U, Np, Am, and Cm) in complexing and noncomplexing aqueous solutions. Optically transparent electrodes used in this study included reticulated vitreous carbon (RVC) and metal screen OTE's and a new OTE made from porous metal foam (PMF).

Cyclic voltammetry at microelectrodes was used in conjunction with spectroelectrochemistry for the study of oxidation-reduction (redox) couples. In some cases additional …

Applications Of Differential Inequalities To Persistence And Extinction Problems For Reaction-Diffusion Systems, Linda Joy Allen

Doctoral Dissertations

Systems of nonlinear reaction-diffusion equations representing models of competition, predation, and mutualism are presented and discussed. The models are divided into two categories, patch models and continuous models which can be represented by systems of ordinary differential equations or by systems of partial differential equations, respectively. Within each of these categories there are four types of diffusion mechanisms, random, biased, directed, and predator-prey diffusion. Conditions for system persistence and extinction are sought.

For the patch models, existence, uniqueness, positivity, and boundedness of solutions are discussed. Persistence of a nonnegative component u_i (t) means limsup/t→∞ u_i (t) > 0 versus …

Neutron Activation Analysis Of Nuclides From Stellar And Man-Induced Nuclear Reactions, Lawrence Lee Oliver

Doctoral Dissertations

"Neutron activation and γ-counting were used to determine the relative abundances of six stable tellurium isotopes in the acid-etched residues of the Allende meteorite. The results were correlated with the isotopic compositions of xenon and the elemental abundances of helium and neon in similarly prepared residues. Nucleosynthesis appears to be the only viable explanation for the anomalous isotopic and elemental compositions observed in these residues. Our results suggest that the solar system condensed from an isotopically and chemically zoned nebula that was produced by the explosion of a supernova, concentric with the present sun.

A combination of neutron activation and …

Boron Implanted Strontium Titanate, Connie Macdonald Cooper

Doctoral Dissertations

"Single crystals of strontium titanate implanted with boron were found to have highly conductive surface layers. The effects of varying dose from 10¹⁶ to 10¹⁷ ions/cm², implantation voltage from 50 to 75 keV, and annealing conditions on the room temperature surface resistance and Hall mobility are presented in this study. A major result is that, for the most part, variation of the implantation voltage did not have a major effect on the sheet resistances obtained by boron implantation of strontium titanate, while dose and annealing conditions have major effects.

Doses of 5 X 10¹⁶ ions/cm …