Digital Commons Network^™

The Missouri Miner, November 17, 1993

The Missouri Miner Newspaper

No abstract provided.

The Missouri Miner, November 09, 1993

The Missouri Miner Newspaper

No abstract provided.

The Missouri Miner, November 03, 1993

The Missouri Miner Newspaper

No abstract provided.

Asynchronous Parallel Schemes: A Survey, Eric Jui-Lin Lu, Michael Gene Hilgers, Bruce M. Mcmillin

Computer Science Technical Reports

It is well known that synchronization and communication delays are the major sources of performance degradation of synchronous parallel algorithms. It has been shown that asynchronous implementations have the potential to reduce the overhead to minimum. This paper surveys the existing asynchronous schemes and the sufficient conditions for the convergence of the surveyed schemes. Some comparisons among these schemes are also presented.

Periodic Pn Sequence Delay Estimation Using Phase Spectrum Data, Kurt Louis Kosbar, Jorge J. Zaninovich

Electrical and Computer Engineering Faculty Research & Creative Works

An algorithm for estimating the delay of a periodic pseudonoise (PN) sequence is presented. It is a rapid, block-based estimator that can be used for both linear and nonlinear codes. The algorithm exploits the periodicity of the difference between the phase spectra of the received sequence and a local reference. The estimator takes the Fourier transform of the phase spectrum difference data, and searches for the fundamental frequency. Unlike previously described methods, phase unwrapping is not required. The performance in the presence of additive white Gaussian noise (AWGN) and a continuous wave (CW) jammer is investigated using computer simulation. Comparisons …

Missouri S&T Magazine, November 1993, Miner Alumni Association

Missouri S&T Magazine

No abstract provided.

An Integrated Surface And Borehole Seismic Case Study: Fort St. John Graben Area, Alberta, Canada, Ronald C. Hinds, Richard Kuzmiski, Neil Lennart Anderson, Barry R. Richards

Geosciences and Geological and Petroleum Engineering Faculty Research & Creative Works

The deltaic sandstones of the basal Kiskatinaw Formation (Stoddard Group, upper Mississippian) were preferentially deposited within structural lows in a regime characterized by faulting and structural subsidence. In the Fort St. John Graben area, northwest Alberta, Canada, these sandstone facies can form reservoirs where they are laterally sealed against the flanks of upthrown fault blocks. Exploration for basal Kiskatinaw reservoirs generally entails the acquisition and interpretation of surface seismic data prior to drilling. These data are used to map the grabens in which these sandstones were deposited, and the horst blocks which act as lateral seals. Subsequent to drilling, vertical …

An Integrated Surface Seismic/Seismic Profile Case Study: Simonette Area, Alberta, Ronald C. Hinds, Neil Lennart Anderson, Richard Kuzmiski

Geosciences and Geological and Petroleum Engineering Faculty Research & Creative Works

On the basis of conventional surface seismic data, the 13-15-63-25W5M exploratory well was drilled into a low-relief Leduc Formation reef (Devonian Wood-bend Group) in the Simonette area, west-central Alberta, Canada. The well was expected to intersect the crest of the reef and encounter about 50-60 m of pay; unfortunately it was drilled into a flank position and abandoned. The decision to abandon the well, as opposed to whipstocking in the direction of the reef crest, was made after the acquisition and interpretive processing of both near-and far-offset (252 and 524 m, respectively) vertical seismic profile (VSP) data, and after the …

A Kinematically Intelligent Blackboard For Computer Aided Instruction, J. Keith Nisbett, D. Watkins, Clark R. Barker

Mechanical and Aerospace Engineering Faculty Research & Creative Works

A CAI (computer-aided instruction) package is being developed to be used as a classroom tool for the instruction of undergraduate mechanical engineering students in an introductory kinematics of mechanisms course. This graphical environment allows the instructor to emulate on the projected graphics screen everything that is currently done on the blackboard for planar mechansims. Unlike the blackboard, the software will have the intelligence to interpret the drawings in a kinematic sense so that the drawing of the linkage will behave as a linkage. The software environment involves three principal components: (1) a sketching method for defining the linkage, (2) the …

Simulation Of Bulk Silicon Crystals And Si(111) Surfaces With Application To A Study Of Fluorine Coverage Of The Surfaces, Chen K. Lutrus, T. Oshiro, Donald E. Hagen, Sung-Ho Suck Salk

Physics Faculty Research & Creative Works

Computational efficiency for the simulation of bulk crystals and surfaces is highly desirable. In an effort to study semiconductor crystals, we present a self-consistent treatment for the simulation of silicon crystals and surfaces based on the combination of a siligen model and a semiempirical Hamiltonian method. An artificial atom called siligen is introduced for the application of the semiempirical method to finite-size silicon clusters. The calculated average bond energies for the saturated silicon clusters are between 2.045 and 2.568 eV, compared to the measured value of 2.31 eV. A simulated bulk silicon surface using siligens is introduced in order to …

Large-Cell Renormalization-Group Approach To Long-Range Hopping On Energetically Disordered Lattices, B. D. Bookout, Paul Ernest Parris

Physics Faculty Research & Creative Works

We describe an approach for computing the conductivity associated with long-range hopping on energetically disordered lattices. Using a numerically exact supercell procedure we compute the distribution ρL(γ) of block conductances γL associated with conducting cubes of edge length L that are randomly chosen from the disordered system of interest. This distribution of block conductances is then used in a self-consistent numerical calculation to obtain the renormalized bulk conductivity. The approach displays a surprisingly fast approach to the infinite-system limit, allowing finite-size effects to be minimized. In this paper we use this approach to study transport in a series of binary …

Spatially Resolved Transitions To Autoionizing States, J. Greg Story, D. I. Duncan, Thomas F. Gallagher

Physics Faculty Research & Creative Works

We have observed transitions to autoionizing states in Mg using two short optical pulses. Mg atoms are initially prepared in a high lying Rydberg wave packet with the first ps laser. A second ps laser is then used to excite the inner electron, producing an autoionizing state. The dependence of the transition probability on the delay between the two lasers shows that when the second laser is tuned away from the ionic resonance, the inner electron can make a transition only when the Rydberg wave packet is near the core.

Neutron-Diffraction And Mössbauer Effect Study Of The Preferential Silicon Site Occupation And Magnetic Structure Of Nd₂Fe₁₄₋ₓsiₓb, Gaya Kanishka Marasinghe, Oran Allan Pringle, Gary J. Long, William Joseph James, Dianne J. Xiao, J. L. Li, William B. Yelon, Fernande Grandjean

Physics Faculty Research & Creative Works

A neutron-diffraction study of Nd₂Fe_14-xSi_xB has shown that silicon preferentially occupies the 4c site in the transition-metal sublattice in Nd₂Fe₁₄B. Silicon also exhibits a moderate preference for the 8j₁ site, is almost excluded from the 16k₂ site, and avoids the 16k₁, 8j₂, and 4e sites. The silicon site occupancy is correlated with a preference for a silicon atom to have rare-earth atoms in its coordination environment. The Mössbauer spectra of Nd₂Fe_14-xSi_xB have been fit with a model which …

The Missouri Miner, October 27, 1993

The Missouri Miner Newspaper

No abstract provided.

Using Temporal Subsumption For Developing Efficient Error-Detecting Distributed Algorithms, Martina Schollmeyer, Bruce M. Mcmillin

Computer Science Technical Reports

Distributed algorithms can use executable assertions derived from program verification to detect errors at run-time. However, a complete verification proof outline contains a large number of assertions, and embedding all of them into the program to be checked at run-time would make error-detection very inefficient.

The technique of temporal subsumption examines the dependencies between the individual assertions along program execution paths. In contrast to classical subsumption, where all logical expressions to be examined are true simultaneously, an assertion need only be true when the corresponding statement in the distributed program has been executed. Thus, temporal subsumption based on the set …

A Run-Time Decision Procedure For Responsive Computing Systems, Grace Tsai, Matt Insall, Bruce M. Mcmillin

Computer Science Technical Reports

A responsive computing system is a hybrid of real-time, distributed and fault-tolerant systems. In such a system, severe consequences will occur if the logical and physical specifications of the system are not met. In this paper, we present a logic, Interval Temporal Logic (ITL), to specify responsive systems and give decision procedures to verify properties of the system at run-time as follows. First, we collect, during execution, events occurring in the system to represent a distributed computation. Next, we specify properties of the system using ITL formulas. Finally, we apply the decision procedures to determine satisfaction of the formulas. Thus, …

The Missouri Miner, October 20, 1993

The Missouri Miner Newspaper

No abstract provided.

Method Of Stemming A Blast Hole, Paul Nicholas Worsey

Mining Engineering Faculty Research & Creative Works

A method of stemming a blast hole loaded with an explosive charge. The blast hole has side walls, an outwardly opening mouth and a central axis extending longitudinally of the blast hole. The method comprises inserting a conduit having a discharge end inwardly through the mouth of the blast hole and positioning the discharge end of the conduit within the blast hole generally adjacent the explosive charge. Particulate stemming material is forced under pressure through the conduit for exit from its discharge end into the blast hole toward the explosive charge thereby to pack stemming material in the blast hole …

Differential Cross Sections For Single And Double Ionization Of Helium By Protons And Antiprotons, L. Meng, Ronald E. Olson, R. Dömer, J. Ullrich, H. Schmidt-Bocking

Physics Faculty Research & Creative Works

Theoretical and experimental cross sections are presented for single and double ionization of He differential in the projectile scattering angle and the transverse energy of the outgoing recoil ion. A dynamical four-body classical trajectory Monte Carlo method that includes radial electron correlation is utilized to calculate total and differential cross sections for 300 and 500 keV protons and antiprotons in impact collisions with He. The azimuthal emission characteristics of electrons, recoil ion and projectile relative to each other are analyzed to provide detailed information on the dynamical differences between single and double ionization and between proton and antiproton impact. © …

The Missouri Miner, October 13, 1993

The Missouri Miner Newspaper

No abstract provided.

The Missouri Miner, October 06, 1993

The Missouri Miner Newspaper

No abstract provided.

Two-Dimensional Simulation Of Switch-On Speeds In Hydrogenated Amorphous Silicon Thin-Film Transistors, J. S. Huang, Cheng-Hsiao Wu

Electrical and Computer Engineering Faculty Research & Creative Works

We report accurate two-dimensional simulations of switch-on speeds in hydrogenated amorphous silicon thin-film transistors. The trap charge density along, or transverse to, the direction of semiconductor channel is highly nonuniform and the trap filling time dominates the switching time as compared to the transit time, which is about four orders of magnitude smaller. Near both contacts, direction of the transverse current is always upwards toward the insulator-semiconductor interface due to the strong electric fields. However, at the central region of the channel, the transient current is quite complex and is discussed here. When the channel length varies from 2 to …

Separation And Characterization Of Components Of Catalytic Cracker Feed Using Centrifugal Partition Chromatography, Randy A. Menges, Daniel W. Armstrong, Larry A. Spino

Chemistry Faculty Research & Creative Works

Centrifugal partition chromatography (CPC) was used to fractionate a catalytic-cracking feedstock (i.e., catalytic cracker feed) into 16 separate fractions in the descending mode and 5 fractions in the inverse or ascending mode. Each fraction was analyzed by UV, fluorescence, and synchronous luminescence (SL) spectroscopy as well as by gas chromatography/mass spectrometry (GC/MS). It appeared that CPC can be used to fractionate larger samples of this type and with a greater degree of selectivity than previously reported preparative HPLC approaches. The SL spectra tended to be much more useful and information rich for these complex mixtures as compared to UV or …

Energy-Projected Effective-Medium Theory Of Long-Range Hopping On Energetically Disordered Lattices, Paul Ernest Parris, B. D. Bookout

Physics Faculty Research & Creative Works

We introduce energy-projected equations of motion to treat the diffusive transport of charge carriers that undergo long-range (i.e., greater than nearest-neighbor) hopping among the sites of an energetically disordered lattice. This approach leads naturally to an energy-projected effective-medium theory for treating such systems. Exact expressions for the diffusion constant associated with the energy-projected effective medium theory are obtained. Using the formalism in conjunction with what is normally a rather poor approximation, i.e., the virtual-crystal approximation, we are able to obtain the exact diffusion constant for the long-range symmetric-random-well problem. Effective-medium calculations and numerical simulations are presented for nearest-neighbor and long-range …

Comparative Study Of Louville And Symplectic Integrators, Daniel I. Okunbor

Computer Science Technical Reports

In this paper, we construct an integrator that conserves volume in phase space. We compare the results obtained using this method and a symplectic integrator. The results of our experiments do not reveal any superiority of the symplectic over strictly volume-preserving integrators. We also investigate the effect of numerically conserving energy in a numerical process by rescaling velocities to keep energy constant at every step. Our results for Henon-Heiles problem show that keeping energy constant in this way destroys ergodicity and forces the solution onto a periodic orbit.

The Missouri Miner, September 29, 1993

The Missouri Miner Newspaper

No abstract provided.

Quantal And Classical Correspondence Of Double Scattering, Jianyi Wang, Ronald E. Olson, Karoly Tokési

Physics Faculty Research & Creative Works

Electron emission from atom-atom collisions is analyzed within the framework, of both quantal and classical dynamics. We examine the effect of explicit electron-electron (e-e) interactions on the ejected electron spectra in hard collisions involving simultaneous excitation and ionization in the collision of two structured atoms. A double scattering sequence represented by a second order Bom approximation has been shown to give a dominant contribution over the single scattering to projectile ionization. A classical simulation confirms the double scattering process is analogous to the Thomas two-step capture mechanism. We find good agreement between quantal and classical calculations, showing the convergence of …

The Missouri Miner, September 22, 1993

The Missouri Miner Newspaper

No abstract provided.

Constructing An Interval Temporal Logic For Real-Time Systems, Grace Tsai, Matt Insall, Bruce M. Mcmillin

Computer Science Technical Reports

A real-time system is one that involves control of one or more physical devices with essential timing requirements. Examples of these systems are command and control systems, process control systems, flight control systems, and the space shuttle avionics systems. The characteristics of these systems are that severe consequences will occur if the logical and physical timing specifications of the systems are not met.

Formal specification and verification are among the techniques to achieve reliable software for real-time systems, in which testing may be impossible or too dangerous to perform. This paper presents a modal logic, Interval Temporal , built upon …

The Missouri Miner, September 15, 1993

The Missouri Miner Newspaper

No abstract provided.