Digital Commons Network^™

The Missouri Miner, October 23, 1991

The Missouri Miner Newspaper

No abstract provided.

The Missouri Miner, October 16, 1991

The Missouri Miner Newspaper

No abstract provided.

Formal Generation Of Executable Assertions For A Fault-Tolerant Parallel Matrix Relaxation, Hanan Lutfiyya, Bruce M. Mcmillin

Computer Science Technical Reports

No abstract provided.

The Missouri Miner, October 09, 1991

The Missouri Miner Newspaper

No abstract provided.

The Missouri Miner, October 02, 1991

The Missouri Miner Newspaper

No abstract provided.

Flexural Behavior Of Web Elements With Openings, Roger A. Laboube, Wei-Wen Yu, Ming-Yang Shan, K. D. Batson

CCFSS Library (1939 - present)

INTRODUCTION The purpose of this research project has been to investigate the flexural behavior of C-shaped members with web openings. Three common industry standard C-sections have been studied as summarized in the First and Second Progress Reports. To date two testing sequences have been completed. Test sequence No.1 investigated sections with web openings fabricated from nominally low yield strength material. Test sequence No.2 examined sections both with and without web openings. Specimens in test sequence No. 2 have nominally higher yield strengths. This report summarizes the test procedure and results of the research to date.

The Missouri Miner, September 25, 1991

The Missouri Miner Newspaper

No abstract provided.

Sol-Gel Derived, Air-Baked Indium And Tin Oxide Films, Douglas M. Mattox

Materials Science and Engineering Faculty Research & Creative Works

A sol-gel derived, transparent, electrically conducting tin-doped In₂O₃ film system has been developed which only requires air baking. The films approximate the properties of sputtered and hot-sprayed films but are simpler and less expensive to apply by dipping and spinning procedures. Substrate sodium interference was seen to be minimal. © 1991.

The Missouri Miner, September 18, 1991

The Missouri Miner Newspaper

No abstract provided.

Composite Stock Cutting Through Simulated Annealing, Pipatpong Poshyanonda, Cihan H. Dagli

Computer Science Technical Reports

This paper explores the use of Simulated Annealing as an optimization technique for the problem Composite Material Stock Cutting. The shapes are not constrained to be convex polygons or even regular shapes. However, due to the composite nature of the material, the orientation of the shapes on the stock is restricted. For placements of various shapes, we show how to determine a cost function, annealing parameters, and performance.

Fault-Tolerant Parallel Matrix Multiplication With One Iteration Fault Detection Latency, Chul-Eui Hong, Bruce M. Mcmillin

Computer Science Technical Reports

The checksum technique is a low cost method to detect errors in matrix operations performed by processor arrays. The fault detection of this method is done only at problem termination, so this method is not an effective fault tolerance technique for large scale matrix multiplication.

This paper presents a new algorithm, the ID algorithm, which minimizes the fault-detection latency, In the ID algorithm, a fault is detected as soon a5 the fault occurs instead of at problem termination. For 112 processors, the fault-latency time of the ID algorithm is l/11 of that of checksum algorithm with a run-time penalty of …

Fault-Tolerant Parallel Matrix Multiplication With One Iteration Fault Detection Latency, Chul-Eui Hong, Bruce M. Mcmillin

Computer Science Technical Reports

The checksum technique is a low cost method to detect errors in matrix operations performed by processor arrays. The fault detection of this method is done only at problem termination, so this method is not an effective fault tolerance technique for large scale matrix multiplication.

This paper presents a new algorithm, the ID algorithm, which minimizes the fault-detection latency, In the ID algorithm, a fault is detected as soon a5 the fault occurs instead of at problem termination. For 112 processors, the fault-latency time of the ID algorithm is l/11 of that of checksum algorithm with a run-time penalty of …

Composite Stock Cutting Through Simulated Annealing, Pipatpong Poshyanonda, Cihan H. Dagli

Computer Science Technical Reports

This paper explores the use of Simulated Annealing as an optimization technique for the problem Composite Material Stock Cutting. The shapes are not constrained to be convex polygons or even regular shapes. However, due to the composite nature of the material, the orientation of the shapes on the stock is restricted. For placements of various shapes, we show how to determine a cost function, annealing parameters, and performance.

The Missouri Miner, September 11, 1991

The Missouri Miner Newspaper

No abstract provided.

The Missouri Miner, September 04, 1991

The Missouri Miner Newspaper

No abstract provided.

Design Of Automotive Structural Components Using High Strength Sheet Steels Structural Strength Of Cold-Formed Steel Beams Under Dynamic Loads, Chi-Ling Pan, Wei-Wen Yu

CCFSS Library (1939 - present)

INTRODUCTION It has long been recognized that material properties and stress-strain relationships of sheet steels can be influenced by the strain rate. A considerable amount of theoretical and experimental research have been undertaken in the past to study material properties and the behavior of structures under dynamic loads and impact loads. In view of the fact that in the current AISI Automotive Steel Design Manual 1, the design criteria for effective design width are based on the test results under static loading condition, the objective of this investigation was to study the validity of these effective design width formulas for …

Binary Peak Enhancement And Structure In Partially Stripped Ion-Atom Collisions, D. R. Schultz, Ronald E. Olson

Physics Faculty Research & Creative Works

Recent experiments have found both an unexpected enhancement and structure of the binary peak in the spectrum of electrons ejected in partially stripped ion-atom collisions. Utilizing the theoretical approach which has been used to elucidate the origin of this behavior, a survey of their manifestation is presented over a broad range of nuclear and ionic charges (C, F, Fe, I and U ions) and impact energies (0.1 to 100 MeV u-1). For forward binary electron emission it is shown that the greatest enhancement occurs for the lowest projectile ion charge states (highly screened nuclei). The magnitude of the enhancement maximizes …

Composition And Method For Radiation Synovectomy Of Arthritic Joints, D. E. Day, Gary J. Ehrhardt

Materials Science and Engineering Faculty Research & Creative Works

A method for preparing nonradioactive microspheres adapted for radiation synovectomy of arthritic joints in a mammal involves forming the microspheres by doping a biodegradable glass material which may be lithium or potassium silicate, lithium or potassium aluminosilicate, lithium or potassium aluminoborate, lithium or potassium germanate or lithium or potassium alumino- germanate with an isotope which may be samarium, holmium, erbium, dysprosium, rhemium or yttrium so that the isotope is chemcially dissolved in and distributed uniformly throughout the glass material. The doped glass material is then treated with an acid wash to produce a thin layer on the surface thereof and …

Formal Methods Of Real-Time Systems, Su-Mei Tsai, Bruce M. Mcmillin

Computer Science Technical Reports

Formal aid in specification and verification techniques have become an accepted approach to achieving reliable software for life-critical real-time systems, in which testing may be impossible or too dangerous, since the real inputs to the systems come from the real world. Modelling, assertion languages, and proof systems are three major components that are employed to accomplish the confidence of safe real-time environments. This paper examines these currently available techniques that are used for safety analysis of real-time systems.

Application-Oriented Fault-Tolerant Parallel Branch & Bound, Aggie Sun, Bruce M. Mcmillin

Computer Science Technical Reports

An important aspect which is often overlooked in the software design cycle is the question of reliability. Many methodologies in the past have attempted to provide reliability efficiently but have never been successful at eliminating explicit time and space redundancy. The approach taken here is based on the Application-Oriented Fault Tolerance Paradigm which provides reliability by examining the behavior and properties of the application. This paper will demonstrate how fault detecting constraints are developed and incorporated using the Application-Oriented Fault Tolerance paradigm for the class of Branch and Bound algorithms. Branch and bound algorithms are a type of combinatorial search …

Integrated Neural Network And Machine Vision Approach For Intelligent State Identification, Cihan H. Dagli, Timothy Andrew Bauer

Engineering Management and Systems Engineering Faculty Research & Creative Works

An interfacing of neural networks (NNs) and machine vision to provide the next state of a system given an image of the present state of the system is presented. This interfacing is applied to a loading operation. First, a NN is trained for part recognition under conditions of rotation, location, object distortion, and background noise given an image of the part. Then, a second NN, given the output of the first NN and an image of a pallet being loaded, is trained for optimal part loading onto the pallet under conditions of noise in the image. The paradigm used is …

Ccfss News August 1991, Wei-Wen Yu Center For Cold-Formed Steel Structures

CCFSS Newsletters (1999 - 2008)

No abstract provided.

X-Ray Emission From Slow Highly Charged Ar Ions Interacting With A Ge Surface, Michael Schulz, C. Lewis Cocke, Siegbert Hagmann, Martin P. Stockli, Horst Schmidt-Bocking

Physics Faculty Research & Creative Works

We have measured K x-ray spectra and yields from Ar¹⁷⁺ ions slowly approaching a single-crystal Ge surface. The yields were measured as a function of the projectile velocity component perpendicular to the surface. From the data a characteristic time of approximately 1 psec was extracted for the in-flight filling above the surface of the Ar K vacancy.

Missouri S&T Magazine, August 1991, Miner Alumni Association

Missouri S&T Magazine

No abstract provided.

Multi Cast Routing In Unreliable Networks, Martina Schollmeyer, Bruce M. Mcmillin

Computer Science Technical Reports

The efficient routing of messages in a multicomputer interconnection network is the key to the performance of such a network. Multicast communication refers to the delivery of a message from a source node to several destination nodes. Although multicast is highly desirable for many applications, it is not directly supported in most multicomputer architectures. This paper examines existing algorithms for multicast routing in multicomputer networks and groups them into a number of categories such as multicast trees, multicast paths, multicast stars, etc. These algorithms are evaluated in terms of deadlock handling, adaptability and suitability for wormhole routing. Wormhole routing is …

Formal Generation Of Executable Assertions For A Fault-Tolerant Parallel Bitonic Sort, Hanan Lutfiyya, Bruce M. Mcmillin

Computer Science Technical Reports

No abstract provided.

Dielectronic Recombination On And Electron-Impact Excitation Of Heliumlike Argon, Rami M. Ali, Chander P. Bhalla, C. Lewis Cocke, Michael Schulz, Martin P. Stockli

Physics Faculty Research & Creative Works

We have measured cross sections for Δn=1 dielectronic recombination (DR) on He-like argon and found good agreement with theoretical calculations based on the Hartree-Fock atomic model. Experimental absolute cross sections were obtained by using the electron-energy dependence of yields of He-like and Li-like argon ions from the Kansas State University electron-beam ion source to measure the ratio of the DR cross section on He-like argon to the electron-impact-ionization cross section of Li-like argon and normalizing to the latter. The K x-ray emission spectra due to Δn=1,2 DR and n=1→2 electron-impact excitation of He-like argon were also observed with a Si(Li) …

Fast Symmetric Graph Drawing: Theory And Realization, R. T. Pacheco, J. B. Manning

Computer Science Technical Reports

This thesis explores the computational techniques necessary to efficiently realize certain optimal algorithms for the production of drawings which exhibit maximum axial and rotational symmetries of abstract graphs.

The problem of geometric symmetry detection for general graphs has been shown to be NP-complete. However, optimal algorithms have recently been established for the detection of symmetry in trees, outerplanar graphs, and embedded planar graphs. This thesis focuses on the utilization of these algorithms to efficiently produce maximally symmetric drawings of graphs from the classes of symmetric trees and outerplanar graphs.

The construction of symmetric tree drawings is presented first. Following a …

Interaction Of Sodium, Sulfur, And Silica During Coal Combustion, Thomas A. Erickson, Douglas K. Ludlow, Steven A. Benson

Chemical and Biochemical Engineering Faculty Research & Creative Works

The Interaction of Sodium, Sulfur, and Silica at Conditions Typical in a Pulverized Coal Furnace Was Investigated by using Both Model Mixtures and a Synthetic Coal. the Model Mixtures Consisted of Selected Inorganic Constituents that Were Well Mixed in Proportions Typically Found in Low-Rank Coal. the Synthetic Coal Consisted of a Furfuryl Alcohol Polymer with Appropriate Amounts of Sodium, Sulfur, and Silica to Duplicate the Characteristics of Low-Rank Coal. the Model Mixtures and Synthetic Coal Were Burned in a Laminar Flow (Drop-Tube) Furnace at 900, 1100, 1300, and 1500 °C and Residence Times of 0.1,0.5,1.5, and 2.4 S. the Resulting …

Smili-Visualization Of Asynchronous Massively Parallel Programs, Rashi Khanna, Bruce M. Mcmillin

Computer Science Technical Reports

A visualization model has been developed to analyse the performance of a massively parallel algorithm. Most visualization tools that have been developed so far for performance analysis are based generally on individual processor information and communication patterns (eg. processor load, message traffic etc.). These tools, however, are inadequate for massively parallel computations. It is difficult to comprehend the visual information for many processors. The model, SMil...l (Scientific visualization in Multicomputing for Interpretation of Large amounts of Information), addresses this problem by using abstract representations to attain a composite picture which gives better insight to the behavior of the algorithm. Chernoff's …