Digital Commons Network^™

Comparison Of Three Axiomatic Systems For Csp, Hanan Lutfiyya, Bruce M. Mcmillin

Computer Science Technical Reports

Currently software engineering practices use relatively few formal methods. However, formal methods can be used to find errors earlier in the software cycle and hence reduce software cost. One useful formal method is program verification. The axiomatic approach to program verification uses assertions to characterize properties of program variables and relationships between them at various stages of program execution. In order to verify these assertions, axioms or inference rules are needed for each statement as well as some statement-independent inference rules. The message passing and nondeterminism of a distributed programming language present special difficulties. This paper examines and compares three …

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 …

Comparison Of Three Axiomatic Systems For Csp, Hanan Lutfiyya, Bruce M. Mcmillin

Computer Science Technical Reports

Currently software engineering practices use relatively few formal methods. However, formal methods can be used to find errors earlier in the software cycle and hence reduce software cost. One useful formal method is program verification. The axiomatic approach to program verification uses assertions to characterize properties of program variables and relationships between them at various stages of program execution. In order to verify these assertions, axioms or inference rules are needed for each statement as well as some statement-independent inference rules. The message passing and nondeterminism of a distributed programming language present special difficulties. This paper examines and compares three …

Tensile Strength Of Welded Connections, Wei-Wen Yu, Roger A. Laboube

CCFSS Library (1939 - present)

PREFACE The tensile strength of an arc spot weld is given only limited attention in the current edition of the AISI Specification for the Design of Cold-Formed Steel Structural Members. To broaden the design engineer's understanding of the behavior of arc spot welds, and to expand the specification's application for arc spot welds, the American Iron and Steel Institute, in 1989, initiated a research study at the University of Missouri-Rolla. The UMR research consisted of a comprehensive literature review, and experimental study which comprised of over 260 individual connection test specimens. The test specimen selection enabled the investigation of the …

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

CCFSS Library (1939 - present)

INTRODUCTION The purpose of this phase of the research has been to investigate the flexural behavior of C-shaped members with web openings. Three common industry standard C-sections were tested as outlined in the first progress report. The web openings were located at 24 inches on center as illustrated in Fig. 1. Each test specimen was subjected to two point loads until the ultimate flexural strength of the member was obtained. This report summarizes the test procedure and results of the research to date.

A Visualization Model For Massively Parallel Algorithms, R. Khanna, Bruce M. Mcmillin

Computer Science Technical Reports

A visualization model has been developed to analyze 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, SMILI (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 …

Network Model Investigation Of Gas Transport In Bidisperse Porous Adsorbents, John H. Petropoulos, John K. Petrou, Athanasios I. Liapis

Chemical and Biochemical Engineering Faculty Research & Creative Works

A capillary network model consisting of a micropore network permeated by one of macropores of randomly varying size has been constructed. Although simplified (to keep computer space and time requirements low) in relation to a real bidisperse porous adsorbent or catalyst, it embodies the salient pore structural features likely to determine the gas-transport behavior of such porous solids. Suitable model calculations of Knudsen gas-phase and surface diffusion enabled us to (i) validate useful approximate methods for the more economical evaluation of network permeability and (ii) demonstrate certain important characteristic effects of nonrandom bidisperse pore structure on transport behavior and their …

Abnormal Behaviour Of Zero Degree Δ-Electron Emission On The Projectile Ionic Charge, O. Jagutzkit, S. Hagtnanni, H. Schmidt-Bockingt, Ronald E. Olson, D. R. Schultz, R. Dornert, R. Kocht, A. Skutlartz, A. González, T. B. Quinterosi, C. Kelbcht, P. Richardt

Physics Faculty Research & Creative Works

The 0° δ-electron emission was investigated by an electron-projectile coincidence technique as a function of incoming and outgoing projectile charge state for 0.53 MeV u^-1Cu^q+ on He. The electron emission spectra vary strongly with initial and final projectile charge state. For pure ionization channels the cross sections follow for low electron energy the q²-scaling law whereas in the binary encounter regime the scaling is reversed. Ctmc calculations are in fair agreement with the experimental data. © 1991 IOP Publishing Ltd.

The Missouri Miner, May 01, 1991

The Missouri Miner Newspaper

No abstract provided.

Population Of Highly Excited Intermediate Resonance States By Electron Transfer And Excitation, Reinhold S. Schuch, Edson L B Justiniano, Michael Schulz, Sheldon Datz, Peter F. Dittner, J. P. Giese, Herbert F. Krause, Harald Schone, Charles Randy Vane, Stephen M. Shafroth

Physics Faculty Research & Creative Works

Coincidences between two sulfur K x rays were detected from collisions of hydrogenlike S ions with H₂ gas in the projectile energy range between 150 and 225 MeV. These K x rays are emitted in the decay of doubly excited states formed in the collisions via transfer and excitation. The excitation function for two coincident Kβ transitions peaks at about 175 MeV, slightly above the expected KMM resonance energy for resonant transfer and excitation (RTE). This demonstrates the occurrence of ΔN≥2 transitions (i.e., KMM and higher resonances) in the RTE process. The cross sections for the population of the …

Applying Parallel Bidirectional Search To A System For The Diagnosis Of Faults, J. E. Finlay, R. W. Wilkerson

Computer Science Technical Reports

Decreasing the time it takes an application to run is always an important concern. One of the ways to achieve this is through separating work in the application that need not be run sequentially onto two or more processors to be run in parallel. This work will take a look at an attempt to do this in one of the primary application areas of Artificial Intelligence, diagnosis.

Reiter's theory is presented for the diagnosis of faults from first principles, as well as a correction to the algorithm which defines the theory. An existing implementation of the theory is also discussed. …

An Implementation Of "Theorem Proving With Lemmas", C. J. Merz, R. W. Wilkerson

Computer Science Technical Reports

Two resolution proof strategies developed by Peterson [ Pe76j are implemented by modifying Otter, an existing automated theorem prover. The methods, Lock-T refutation and LNL-T refutation, are generalizations of unit refutation and input refutation, respectively, to non-Hom sets and represent independent, equivalent but opposite ways of searching. Thus, the two techniques can be run simultaneously, exchanging only important intermediate results known as lemmas.

The algorithms used in the implementation, which are based on a corrected version of the foundational work, are outlined in detail and justified. Next, the newly implemented strategies are tested individually and together on various non-Horn challenge …

Object Orientation In The Cim Environment, B. M. Higgins, J. B. Prater

Computer Science Technical Reports

Manufacturing industries are constantly looking for better ways to develop the software required to plan and control production processes. Experimental software is being developed using objectoriented program development techniques. There are many prototypes being used and tested at both academic and industrial institutions around the world.

The purpose of this paper is to examine a selection of these systems in order to highlight some of the main benefits which are being achieved by using object-oriented methods over the use of conventional approaches. Practical considerations are made concerning the long-term adoption of object-oriented methodologies in software development for Computer Integrated Manufacturing …

Incremental Learning Of Numeric Clusters In Classifier Systems, K. R. Hacke, D. C. St. Clair

Computer Science Technical Reports

Classifier systems are knowledge-based learning algorithms which take training instances as input and produce a set of rules as output Many classifier systems represent the knowledge they learn in the form of one or more decision trees. Accurate knowledgebase systems for a variety of domains have been constructed by generating decision trees using J. R. Quinlan's (1986) inductive algorithm ID3 and P. E. Utgoffs (1988) IDS. IDS is an incremental version of ID3.

Unfortunately, all these algorithms suffer from the inability to easily and effectively handle domains with numeric-valued attributes. Numeric attributes are those whose values are taken from a …

Modeling The Software Design Project, C. C. Dziedzic, D. C. St. Clair

Computer Science Technical Reports

The information content of the software design product as needed by various user communities is identified. Definitions of design in classical engineering disciplines are investigated and then applied specifically to the area of software design. The Entity-Relationship model is used to describe the information content of the software design product. All the relationship types and entity types that compose the design product are described in detail. The Military Standard: Defense System Software Development, DOD-STD-2167A, is analyzed to determine how it meets the relationship type requirements.

Applying Parallel Bidirectional Search To A System For The Diagnosis Of Faults, J. E. Finlay, R. W. Wilkerson

Computer Science Technical Reports

Decreasing the time it takes an application to run is always an important concern. One of the ways to achieve this is through separating work in the application that need not be run sequentially onto two or more processors to be run in parallel. This work will take a look at an attempt to do this in one of the primary application areas of Artificial Intelligence, diagnosis.

Reiter's theory is presented for the diagnosis of faults from first principles, as well as a correction to the algorithm which defines the theory. An existing implementation of the theory is also discussed. …

An Implementation Of "Theorem Proving With Lemmas", C. J. Merz, R. W. Wilkerson

Computer Science Technical Reports

Two resolution proof strategies developed by Peterson [ Pe76j are implemented by modifying Otter, an existing automated theorem prover. The methods, Lock-T refutation and LNL-T refutation, are generalizations of unit refutation and input refutation, respectively, to non-Hom sets and represent independent, equivalent but opposite ways of searching. Thus, the two techniques can be run simultaneously, exchanging only important intermediate results known as lemmas.

The algorithms used in the implementation, which are based on a corrected version of the foundational work, are outlined in detail and justified. Next, the newly implemented strategies are tested individually and together on various non-Horn challenge …

Object Orientation In The Cim Environment, B. M. Higgins, J. B. Prater

Computer Science Technical Reports

Manufacturing industries are constantly looking for better ways to develop the software required to plan and control production processes. Experimental software is being developed using objectoriented program development techniques. There are many prototypes being used and tested at both academic and industrial institutions around the world.

The purpose of this paper is to examine a selection of these systems in order to highlight some of the main benefits which are being achieved by using object-oriented methods over the use of conventional approaches. Practical considerations are made concerning the long-term adoption of object-oriented methodologies in software development for Computer Integrated Manufacturing …

Incremental Learning Of Numeric Clusters In Classifier Systems, K. R. Hacke, D. C. St. Clair

Computer Science Technical Reports

Classifier systems are knowledge-based learning algorithms which take training instances as input and produce a set of rules as output Many classifier systems represent the knowledge they learn in the form of one or more decision trees. Accurate knowledgebase systems for a variety of domains have been constructed by generating decision trees using J. R. Quinlan's (1986) inductive algorithm ID3 and P. E. Utgoffs (1988) IDS. IDS is an incremental version of ID3.

Unfortunately, all these algorithms suffer from the inability to easily and effectively handle domains with numeric-valued attributes. Numeric attributes are those whose values are taken from a …

Modeling The Software Design Project, C. C. Dziedzic, D. C. St. Clair

Computer Science Technical Reports

The information content of the software design product as needed by various user communities is identified. Definitions of design in classical engineering disciplines are investigated and then applied specifically to the area of software design. The Entity-Relationship model is used to describe the information content of the software design product. All the relationship types and entity types that compose the design product are described in detail. The Military Standard: Defense System Software Development, DOD-STD-2167A, is analyzed to determine how it meets the relationship type requirements.

Investigation Of Threaded Code, K. E. Graves, Paul D. Stigall

Computer Science Technical Reports

The design, structure and performance of threaded code are examined through the development of a threaded. code classification system and the modification of the threaded code technique used by a Forth programming language implementation. The classification system distinguishes threaded code designs by three elements: the interpreter, the code structure and the reference method to routines. Threaded code designs from the literature are described using the new classification scheme. The threaded code techniques of variable depth indirect threaded code and token indirect token threaded code are examined in a Forth programming language system on an INMOS IMS T222 transputer. Their design …

Investigation Of Threaded Code, K. E. Graves, Paul D. Stigall

Computer Science Technical Reports

The design, structure and performance of threaded code are examined through the development of a threaded. code classification system and the modification of the threaded code technique used by a Forth programming language implementation. The classification system distinguishes threaded code designs by three elements: the interpreter, the code structure and the reference method to routines. Threaded code designs from the literature are described using the new classification scheme. The threaded code techniques of variable depth indirect threaded code and token indirect token threaded code are examined in a Forth programming language system on an INMOS IMS T222 transputer. Their design …

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

Missouri S&T Magazine

No abstract provided.

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

Materials Science and Engineering Faculty Research & Creative Works

Radioactive microspheres for radiation synovectomy of arthritic joints in a mammal comprises a biodegradable glass material and a beta radiation emitting radioisotope chemically dissolved in and distributed substantially uniformly throughout the glass material. The biodegradable glass material may be lithium silicate, lithium aluminosilicate, lithium aluminoborate, lithium germa- nate, lithium aluminogermanate, potassium silicate, potassium aluminosilicate, potassium aluminoborate, potassium germanate or potassium aluminogermanate and the beta radiation emitting radioisotope may be samarium-153, holmium-166, erbium-169, dysprosium-165, rhenium-186, rhenium-188 or yttrium-90. Method for preparing such microspheres and for carrying out radiation synovectomy of arthritic joints utilizing such microspheres are also disclosed.

Radioactive Glass Microspheres, D. E. Day, Gary J. Ehrhardt

Materials Science and Engineering Faculty Research & Creative Works

A radioactive microsphere for radiation therapy of a mammal comprising a biologically compatible glass material containing a beta or gamma emitting radioisotope distributed substantially uniformly throughout the glass. Advantageously, the radioisotope is produced by irradiation of the microsphere.

The Missouri Miner, April 24, 1991

The Missouri Miner Newspaper

No abstract provided.

The Missouri Miner, April 17, 1991

The Missouri Miner Newspaper

No abstract provided.

The Missouri Miner, April 10, 1991

The Missouri Miner Newspaper

No abstract provided.

Study Of Joint Flexibility In Steel Frame Structures, Randy R. Frank

Opportunities for Undergraduate Research Experience Program (OURE)

Joint flexibility plays an important role in the distribution of strains and displacements in the frame structures of buildings, towers, automobiles, etc.. The objective of this project is to study the effect of flexibility (or rigidity) of two simple mechanical joints in frame structures on the stress and displacement distributions, using both experimental and analytical methods. Three welded and three bolted samples were fabricated using A-36 low carbon steel in a two column and horizontal crossmember (table) arrangement. This arrangement allows for both shear forces and axial forces in the joint. From a three element rectangular rosette strain gage attached …

1991 Oure Report, Including The 1st Annual Umr Undergraduate Research Symposium -- Entire Proceedings, University Of Missouri--Rolla

Opportunities for Undergraduate Research Experience Program (OURE)

The Opportunities for Undergraduate Research Experiences program began in 1990. The aims were to enrich the learning process and make it more active, encourage interaction between students and faculty members, raise the level of research on the campus, help recruit superior students to the graduate program, and support the notion that teaching and research are compatible and mutually reinforcing. Chancellor Jischke made available an annual budget of $50,000 to support the program.

As the papers herein attest, the OURE program is achieving its goals — UMR graduates have performed research on an enormous variety of topics, have worked closely with …