389,987 research outputs found
Checking experiment design methods
Tento dokument obsahuje pĹ™ehled testovacĂch metod koneÄŤnÄ›-stavovĂ˝ch automatĹŻ. TestovacĂ metoda kontroluje zda se nÄ›jakĂ˝ automat shoduje s danĂ˝m automatem. Nová metoda je pĹ™edstavena a následnÄ› experimentálnÄ› prokázána, Ĺľe je korektnĂ testovacĂ metodou. Dokument dále obsahuje klasifikaci koneÄŤnÄ›-stavovĂ˝ch automatĹŻ, algoritmy konstruujĂcĂ separujĂcĂ sekvence a novĂ˝ pĹ™Ăstup kontrolovánĂ, zda je metoda korektnĂ testovacĂ metodou. SeparujĂcĂ sekvence rozlišuje dva stavy automatu, se kterĂ˝mi souvisĂ.This document is an overview of testing methods of finite-state machines. Testing methods verifies whether a machine coincides with given one. A new method is proposed and it is demonstrated to be correct testing method of finite-state machines experimentally. The document further comprises classification of finite-state machines, algorithms for creating separating sequences and a new approach to checking testing methods to be correct. A separating sequence relates to a pair of states. Such two states are distinguished by the separating sequence
Acoustic emission frequency discrimination
In acoustic emission nondestructive testing, broadband frequency noise is distinguished from narrow banded acoustic emission signals, since the latter are valid events indicative of structural flaws in the material being examined. This is accomplished by separating out those signals which contain frequency components both within and beyond (either above or below) the range of valid acoustic emission events. Application to acoustic emission monitoring during nondestructive bond verification and proof loading of undensified tiles on the Space Shuttle Orbiter is considered
Functional Testing Approaches for "BIFST-able" tlm_fifo
Evolution of Electronic System Level design methodologies, allows a wider use of Transaction-Level Modeling (TLM). TLM is a high-level approach to modeling digital systems that emphasizes on separating communications among modules from the details of functional units. This paper explores different functional testing approaches for the implementation of Built-in Functional Self Test facilities in the TLM primitive channel tlm_fifo. In particular, it focuses on three different test approaches based on a finite state machine model of tlm_fifo, functional fault models, and march tests respectivel
Preprototype nitrogen supply subsystem development
The design and development of a test stand for the Nitrogen Generation Module (NGM) and a series of tests which verified its operation and performance capability are described. Over 900 hours of parametric testing were achieved. The results from this testing were then used to design an advanced NGM and a self contained, preprototype Nitrogen Supply Subsystem. The NGM consists of three major components: nitrogen generation module, pressure controller and hydrazine storage tank and ancillary components. The most important improvement is the elimination of all sealing surfaces, achieved with a total welded or brazed construction. Additionally, performance was improved by increasing hydrogen separating capability by 20% with no increase in overall packaging size
Time-of-flight discrimination between gamma-rays and neutrons by neural networks
In gamma-ray spectroscopy, a number of neutrons are emitted from the nuclei
together with the gamma-rays and these neutrons influence gamma-ray spectra. An
obvious method of separating between neutrons and gamma-rays is based on the
time-of-flight (tof) technique. This work aims obtaining tof distributions of
gamma-rays and neutrons by using feed-forward artificial neural network (ANN).
It was shown that, ANN can correctly classify gamma-ray and neutron events.
Testing of trained networks on experimental data clearly shows up tof
discrimination of gamma-rays and neutrons.Comment: 10 pages, 8 figure
Fabrication of fuel pin assemblies, phase 3
Five full size and eight reduced length fuel pins were fabricated for irradiation testing to evaluate design concepts for a fast spectrum lithium cooled compact space power reactor. These assemblies consisted of uranium mononitride fuel pellets encased in a T-111 (Ta-8W-2Hf) clad with a tungsten barrier separating fuel and clad. Fabrication procedures were fully qualified by process development and assembly qualification tests. Detailed specifications and procedures were written for the fabrication and assembly of prototype fuel pins
- …