Month

Dynamic Stability of Maglev Systems (open access)

Dynamic Stability of Maglev Systems

Because dynamic instability is not acceptable for any commercial maglev systems, it is important to consider this phenomenon in the development of all maglev systems. This study considers the stability of maglev systems based on experimental data, scoping calculations, and simple mathematical models. Divergence and flutter are obtained for coupled vibration of a three-degree-of-freedom maglev vehicle on a guideway consisting of double L-shaped aluminum segments attached to a rotating wheel. The theory and analysis developed in this study identifies basic stability characteristics and future research needs of maglev systems.
Date: April 1992
Creator: Cai, Y.; Chen, Shoei-Sheng; Mulcahy, T. M. & Rote, D. M.
System: The UNT Digital Library
A Formal Model for Verification of Abstract Properties (open access)

A Formal Model for Verification of Abstract Properties

This report is given a specification "s" that states the requirements of a problem in terms of data dependencies. There are also given some assumptions about the input domain and to define a formal model that can be used to verify that a program written according to the specification "s" does indeed have the data dependencies specified by "s."
Date: April 1992
Creator: Winter, Victor L.; Chisholm, G. H.; Smith, Brian Thomas & Wojcik, Anthony J.
System: The UNT Digital Library
GenoGraphics for OpenWindows (open access)

GenoGraphics for OpenWindows

GenoGraphics is a generic utility for constructing and querying one-dimensional linear plots. The outgrowth of a request from Dr. Cassandra Smith for a tool to facilitate her genome mapping research. GenoGraphics development has benefited from a continued collaboration with her. Written in Sun Microsystem's OpenWindows environment and the BTOL toolkit developed at Argonne National Laboratory. GenoGraphics provides an interactive, intuitive, graphical interface. Its features include: viewing multiple maps simultaneously, zooming, and querying by mouse clicking. By expediting plot generation, GenoGraphics gives the scientist more time to analyze data and a novel means for deducing conclusions.
Date: April 1992
Creator: Hagstrom, Ray; Michaels, George S.; Taylor, Ronald; Price, Morgan; Overbeek, Ross; Zawada, Dave et al.
System: The UNT Digital Library