U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Search Publications

NIST Authors in Bold

Displaying 42626 - 42650 of 73829

Testing with Model Checkers: Insuring Fault Visibility

October 23, 2002
Author(s)
Vadim Okun, Paul E. Black, Y Yesha
To detect a fault in software, a test case execution must be chosen so intermediate errors propagate to the output. We describe two modeling methods for specification-based mutation testing using model checkers that guarantee this propagation. We evaluate

Development of High Throughput Methods for Polymer Nanocomposite Research

October 22, 2002
Author(s)
Jeffrey W. Gilman, Rick D. Davis, Marc R. Nyden, Takashi Kashiwagi, John R. Shields, W -. Demory
This chapter will present an overview of the development of two high throughput (HT) methods: 1) preparation of formulated polymer libraries using extrusion, 2) screening of flammability properties using flame spread measurements.

Defect Generation in Ultra-thin Oxide Over Large Fluence Range

October 21, 2002
Author(s)
Da-Wei Heh, Eric M. Vogel, J B. Bernstein
The defect generation rate (P g) during constant voltage stress is investigated by using short-time voltage pulses over large fluence range. It is found that P g is not constant as a function of injected charge and the voltage acceleration of P g in the

Round Robin Assessment of the Single Fiber Fragmentation Test

October 21, 2002
Author(s)
M J. Rich, L T. Drzal, Donald L. Hunston, Gale A. Holmes, Walter G. McDonough
The Versailles Project on Advanced Materials and Standards (VAMAS) was established following an economic summit meeting in 1982 held at Versailles by the Heads of State of the seven leading industrial nations and representatives from the Commission of the

Stiffness and Failure Behavior of Model Hybrid Composites

October 21, 2002
Author(s)
Donald L. Hunston, Walter G. McDonough
Many applications are exploring the use of hybrid composites; i.e., polymers reinforced with two different types of fibers, because such systems can have a superior balance of properties and/or a better balance of properties and cost. Unfortunately, the

Embedded Real-Time Linux for Cable Robot Control

October 2, 2002
Author(s)
Frederick M. Proctor, William P. Shackleford
Linux is a version of the Unix operating system distributed according to the open source model. Programmers are free to adapt the source code for their purposes, but are required to make their modifications or enhancements available as open source software

A Core Product Model for Representing Design Information

October 1, 2002
Author(s)
Steven J. Fenves
The report presents a core model for representing design information, motivated by the perceived needs of next-generation product development systems and drawing content-level requirements from a related study of design information flows. The core model

A Glyph Toolbox for Immersive Scientific Visualization

October 1, 2002
Author(s)
H W. Bullen, J S. Chang, A V. Harn, Steven G. Satterfield, Peter M. Ketcham, J E. Devaney
We describe a set of software, the Glyph ToolBox (GTB), for creating three dimensional (3D) glyphs. This software defines a single, general format for describing glyphs; it includes color and opacity parameters as well as location information.GTB is

A Representation of Acoustic Waves in Unbounded Domains

October 1, 2002
Author(s)
Bradley K. Alpert, Yu-Hsuan Chen
Compact, time-harmonic, acoustic sources produce waves that decay too slowly to be square-integrable on a line away from the sources. We introduce an inner product, arising directly from Green's second theorem, to form a Hilbert space of these waves, and

A Spline Algorithm for Modeling Cutting Errors on Turning Centers

October 1, 2002
Author(s)
David E. Gilsinn, Herbert T. Bandy, Alice V. Ling
Turned parts on turning centers are made up of features with profiles defined by arcs and lines. An error model for turned parts must take into account not only individual feature errors but also how errors carry over from one feature to another. In the

A Thermodynamic Study of the Reactions: 2-Dehydro-3Deoxy-D-Arabino-Heptanoate 7-Phosphate(aq) = {3-Dehydroquinate (ag) + Phosphate (aq)} and {3-Dehydroquinate(aq) =3-Dehydroshikimate(aq) + H 2 O(l)}

October 1, 2002
Author(s)
Yadu D. Tewari, Robert N. Goldberg, A R. Hawkins, H K. Lamb
Microcalorimetry and high-performance liquid chromatography (h.p.l.c.) have been used to conduct a thermodynamic investigation of reactions catalyzed by 3-dehydroquinate synthase and by 3-dehydroquinate dehydratase. These are the second and third reactions

Advanced Question Answering for Intelligence AQUAINT Website

October 1, 2002
Author(s)
Ellen M. Voorhees
This paper demonstrates that, for large-scale tests, the match and non-match similarity scores have no specific underlying distribution function. The forms of these distribution functions require a nonparametric approach for the analysis of the fingerprint

An Analytical Approach to Shared Backup Path Provisioning in GMPLS Networks

October 1, 2002
Author(s)
Sanghun Lee, David W. Griffith, N-O Song
As GMPLS and its supporting set of protocols develop into a viable control plane for optical networks, an important function that they will need to support will be the restoration and protection function that has been a major feature of legacy optical

An Architecture for a Generic Data-Driven Machine Shop Simulator

October 1, 2002
Author(s)
Charles R. McLean, Albert T. Jones, Yung-Tsun Lee, Frank H. Riddick
In most cases, the effort required to develop a meaningful simulation for a small machine shop exceeds the resources available. Small shops typically do not have staff with appropriate technical qualifications required to develop custom simulations of

An IDEF1X Information Model for a Supply Chain Simulation

October 1, 2002
Author(s)
Yung-Tsun Lee, Shigeki Umeda
This paper describes the scope and configuration of the simulation model that is under development for a manufacturing supply chain. An information model that serves as a neutral interface specification is also presented in the paper. The supply chain
Displaying 42626 - 42650 of 73829
Was this page helpful?