Toward a quantifiable definition of software faults
As part of our on-going work in modeling software faults, we have developed a method of unambiguously identifying and counting faults.
software reliability risk assessment software fail↗
SEARCH · Search NASA
Results for “Model Counting”
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Non-Equilibrium Properties from Equilibrium Free Energy Calculations
Calculating free energy in computer simulations is of central importance in statistical mechanics of condensed media and its applications to chemistry and biology not only because it is the most comprehensive and informative quantity that characterizes the eqUilibrium state, but also because it often provides an efficient route to access dynamic and kinetic properties of a system. Most of applications of equilibrium free energy calculations to non-equilibrium processes rely on a description in which a molecule or an ion diffuses in the potential of mean force. In general case this description is a simplification, but it might be satisfactorily accurate in many instances of practical interest. This hypothesis has been tested in the example of the electrodiffusion equation . Conductance of model ion channels has been calculated directly through counting the number of ion crossing events observed during long molecular dynamics simulations and has been compared with the conductance obtained from solving the generalized Nernst-Plank equation. It has been shown that under relatively modest conditions the agreement between these two approaches is excellent, thus demonstrating the assumptions underlying the diffusion equation are fulfilled. Under these conditions the electrodiffusion equation provides an efficient approach to calculating the full voltage-current dependence routinely measured in electrophysiological experiments.
Pohorille, Andrew↗
Mach Stability Improvements Using an Existing Second Throat Capability at the National Transonic Facility
Recent data quality improvements at the National Transonic Facility (NTF) have an intended goal of reducing the Mach number variation in a data point to within unit vector A plus or minus 0.0005, with the ultimate goal of reducing the data repeatability of the drag coefficient for full-span subsonic transport models at transonic speeds to within half of a drag count. This paper will discuss the Mach stability improvements achieved through the use of an existing second throat capability at the NTF to create a minimum area at the end of the test section. These improvements were demonstrated using both the NASA Common Research Model and the NTF Pathfinder-I model in recent experiments. Sonic conditions at the throat were verified using sidewall static pressure data. The Mach variation levels from both experiments in the baseline tunnel configuration and the choked tunnel configuration will be presented. Finally, a brief discussion is given on the consequences of using the second throat in its location at the end of the test section.
Chan, David T.↗
MARIE Measurements and Model Predictions of Solar Modulation of Galactic Cosmic Rays at Mars
Recent data from the MARIE (Martian Radiation Environment Experiment) instrument on board the 2001 Mars Odyssey spacecraft currently in Mars orbit are presented. It is shown that the short-term modulations of galactic cosmic rays (GCR) are well described by correlating the so lar modulation parameter, <1>, with Earth-based neutron monitor counts using a 85-day time lag and the NASA Models - HZETRN (High Z and Energy Transport) and QMSFRG (Quantum Multiple Scattering theory of nuclear Fragmentation). The dose rates observed by the MARIE instrument are within 10% of the model calculations.
Saganti, P. B.↗
Seed classification with random forest models
Premise: To improve forest conservation monitoring, we developed a protocol to automatically count and identify the seeds of plant species with minimal resource requirements, making the process more efficient and less dependent on human operators. Methods and Results: Seeds from six North American conifer tree species were separated from leaf litter and imaged on a flatbed scanner. In the most successful species-classification approach, an ImageJ macro automatically extracted measurements for random forest classification in the software R. The method allows for good classification accuracy, and the same process can be used to train the model on other species. Conclusions: This protocol is an adaptable tool for efficient and consistent identification of seed species or potentially other objects. Automated seed classification is efficient and inexpensive, making it a practical solution that enhances the feasibility of large-scale monitoring projects in conservation biology.
59 BASIC BIOLOGICAL SCIENCES↗
Guidance on EPAct section 707 Emergency Repair and Restoration Vehicle Exclusions: EPAct State and Alternative Fuel Provider Fleet Program Guidance Document
Section 707 of the Energy Policy Act of 2005 (EPAct 2005) amended section 301(9)(E) of EPAct 1992 by adding to the list of vehicles excluded from the definition of "fleet" a new subcategory of emergency motor vehicles, i.e., "vehicles directly used in the emergency repair of transmission lines and in the restoration of electricity service following power outages, as determined by the Secretary." Like other excluded vehicles, these light-duty vehicles (LDVs) do not count (1) when determining whether a fleet is covered under the U.S. Department of Energy's (DOE) State and Alternative Fuel Provider Fleet Program (Program), and (2) for fleets that are covered under the Program, when calculating annual alternative fuel vehicle (AFV)-acquisition requirements. If AFV models of excluded vehicles are acquired, however, a fleet may count them toward their acquisition requirement by including them in the calculation of the number of AFVs acquired. Exclusion Process.
ADVANCED PROPULSION SYSTEMS,ENERGY PLANNING, POLIC↗
Using Technology to Better Characterize the Apollo Sample Suite: A Retroactive PET Analysis and Potential Model for Future Sample Return Missions
From 1969-1972 the Apollo missions collected 382 kg of lunar samples from six distinct locations on the Moon. Studies of the Apollo sample suite have shaped our understanding of the formation and early evolution of the Earth-Moon system, and have had important implications for studies of the other terrestrial planets (e.g., through the calibration of the crater counting record) and even the outer planets (e.g., the Nice model of the dynamical evolution of the Solar System). Despite nearly 50 years of detailed research on Apollo samples, scientists are still developing new theories about the origin and evolution of the Moon. Three areas of active research are: (1) the abundance of water (and other volatiles) in the lunar mantle, (2) the timing of the formation of the Moon and the duration of lunar magma ocean crystallization, (3) the formation of evolved lunar lithologies (e.g., granites) and implications for tertiary crustal processes on the Moon. In order to fully understand these (and many other) theories about the Moon, scientists need access to "new" lunar samples, particularly new plutonic samples. Over 100 lunar meteorites have been identified over the past 30 years, and the study of these samples has greatly aided in our understanding of the Moon. However, terrestrial alteration and the lack of geologic context limit what can be learned from the lunar meteorites. Although no "new" large plutonic samples (i.e., hand-samples) remain to be discovered in the Apollo sample collection, there are many large polymict breccias in the Apollo collection containing relatively large (approximately 1 cm or larger) previously identified plutonic clasts, as well as a large number of unclassified lithic clasts. In addition, new, previously unidentified plutonic clasts are potentially discoverable within these breccias. The question becomes how to non-destructively locate and identify new lithic clasts of interest while minimizing the contamination and physical degradation of the samples.
Zeigler, R. A.↗
Investigation Of Prandtl-Ishlinskii Hysteresis Compensation for Deep Space Optical Communications Pointing Control
This paper studies the simulated performance of the Deep Space Optical Communication (DSOC) laser downlink pointing control system that has a pointing requirement at the sub-microradian scale. To achieve the required pointing precision, the DSOC Flight Laser Transceiver (FLT) point-ahead mirror (PAM) employs piezoelectric actuators, which are widely used in precision applications due to their high motion resolution, rapid response, and high output forces. However, a piezoelectric actuator's performance is often limited by nonlinearities in their response, most significantly hysteresis. To study the effect of hysteresis on our simulated pointing performance, an invertible hysteresis model is developed using the Classical Prantdl-Ishlinskii (CPI) method. The simulation includes models of DSOC hardware and electronic system components based on key parameters (bias, frequency response, noise), with the hysteresis modeled in the PAM piezo actuator dynamics. A Proportional-Integral controller provides feedback with measurements from two potential sources: strain gauge sensors or a photon-counting camera. To compensate for hysteresis behavior, a feedforward inverse CPI hysteresis model is implemented in the control system. Two CPI models are built using different sampling methods (uniform sampling and cosine spacing) and controller performance is compared. For the maximum command range of ±400 μrad at 1 mHz, results show that the feedforward combined with feedback control reduces output tracking error by 50% or 58% (to 0.20 or 0.38 μrad) compared to feedback control alone (from 0.40 or 0.90 μrad), corresponding to the uniform-sampled and cosine-sampled CPI models, respectively.
Marinello, Lindsey A.↗
Spectra-to-exposure conversion using polynomial response models for gamma-ray field characterization
Accurate measurement of exposure rate from gamma-ray spectral data remains a critical challenge during radiological emergency response operations. Conventional methods rely on pre-defined static conversion factors derived from fixed geometries and isotopic compositions, which often fail to capture real-world environmental variability. This study presents a generalized approach as a "next-step" for converting gamma-ray spectral data into exposure rate using polynomial response models. The method introduces a flexible weighting scheme based on the in-situ detector response to distributed sources, enabling a pathway towards improved correspondence between measured spectra and "ground-truth" exposure rates. Experimental data from sodium iodide NaI(Tl) detectors were used to validate the approach as, at least equivalent to the current count-to-exposure method employed in emergency response CONOPS. Results show that the polynomial weighting model is sufficiently equal to the count-to-exposure method and may help improve accuracy given its adaptability to real-world conditions.
61 RADIATION PROTECTION AND DOSIMETRY↗
South Atlantic Anomaly Entry and Exit as Measured by the X-Ray Timing Explorer
The Rossi X-ray Timing Explorer (RXTE) carries instruments that must switch off high voltages (HV) when passing through the South Atlantic Anomaly (SAA). The High Energy X-ray Timing Experiment (HEXTE) contains a particle monitor that detects the increased particle flux associated with the SAA and autonomously reduces its voltage. The Proportional Counter Array (PCA) relies on uplinked predictions of SAA entry/exit times based on ephemeris data provided by the Flight Dynamics Facility. A third instrument, the All-Sky Monitor (ASM) also uses a predicted SAA model to reduce voltage when passing through the SAA. Data collected from the HEXTE particle monitor, as well as other instrument readings near the times of SAA entry/exit offer the potential for refining models of the boundaries of the SAA. The SAA has an increased particle flux which causes high rates of detection in the RXTE instruments designed to observe x-rays. The high counting rates could degrade the PCA if HV is not reduced during SAA passages. On the other hand, PCA downtime can be minimized and the science return can be optimized by having the best possible model of the SAA boundary. Thus, the PCA team planned an extensive effort during in-orbit checkout to utilize both the HEXTE particle monitor data and instrument counting rates to refine the model of the SAA boundary. The times of SAA entry and exit are compared with the definitive epemeris to determine the precise location (latitude and longitude) of the SAA boundary. Over time, the SAA and its perimeter were mapped. The RXTE Science Operations Center is continuously working to feed back the results of this effort into the science scheduling process, improving the SAA model as it affects the RXTE instruments, thus obtaining more accurate estimates of the SAA entry/exit times.
Smith, Evan↗
Validating NASA's Airborne Multikilohertz Microlaser Altimeter (Microaltimeter) by Direct Comparison of Data Taken Over Ocean City, Maryland Against an Existing Digital Elevation Model
NASA's Airborne Multikilohertz Microlaser Altimeter (Microaltimeter) is a scanning, photon-counting laser altimeter, which uses a low energy (less than 10 microJuoles), high repetition rate (approximately 10 kHz) laser, transmitting at 532 nm. A 14 cm diameter telescope images the ground return onto a segmented anode photomultiplier, which provides up to 16 range returns for each fire. Multiple engineering flights were made during 2001 and 2002 over the Maryland and Virginia coastal area, all during daylight hours. Post-processing of the data to geolocate the laser footprint and determine the terrain height requires post- detection Poisson filtering techniques to extract the actual ground returns from the noise. Validation of the instrument's ability to produce accurate terrain heights will be accomplished by direct comparison of data taken over Ocean City, Maryland with a Digital Elevation Model (DEM) of the region produced at Ohio State University (OSU) from other laser altimeter and photographic sources. The techniques employed to produce terrain heights from the Microaltimeter ranges will be shown, along with some preliminary comparisons with the OSU DEM.
Abel, Peter↗
Comparison of CFD Predictions of the TCA Baseline
The computational fluid dynamics (CFD) comparisons being presented are compared to each other and to wind tunnel (WT) data on the baseline TCA. Some of the CFD computations were done prior to the tests and others later. Only force data (CL vs CD) from CFD will be presented as part of this report. The WT data presented comes from the testing of the baseline TCA in the Langley Unitary Plan Wind Tunnel (UPWT), Test Section #2. There are 2 sets of wind tunnel data being presented: one from test 1671 of model 2a (flapped wing) and the other from test 1679 of model 2b (solid wing). Most of the plots show only one run from each of the WT tests per configuration. But many repeat runs were taken during the tests. The WT repeat runs showed an uncertainty in the drag of +/- 0.5 count. There were times when the uncertainty in drag was better, +/- 0.25 count. Test 1671 data was of forces and pressures measured from model 2a. The wing had cutouts for installing various leading and trailing edge flaps at lower Mach numbers. The internal duct of the nacelles are not designed and fabricated as defined in the outer mold lines (OML) iges file. The internal duct was fabricated such that a linear transition occurs from the inlet to exhaust. Whereas, the iges definition has a constant area internal duct that quickly transitions from the inlet to exhaust cross sectional shape. The nacelle internal duct was fabricated, the way described, to save time and money. The variation in the cross sectional area is less than 1% from the iges definition. The nacelles were also installed with and without fairings. Fairings are defined as the build up of the nacelles on the upper wing surface so that the nacelles poke through the upper surface as defined in the OML iges file. Test 1679 data was of forces measured from model 2a and 2b. The wing for model 2b was a solid wing. The nacelles were built the same way as for model 2a, except for the nacelle base pressure installation. The nacelles were only tested with the fairings for model 2a and 2b during test 1679.
Cappuccio, Gelsomina↗
Development of a Photon Counting System for Differential Lidar Signal Detection
Photon counting has been chosen as a means to extend the detection range of current airborne DIAL ozone measurements. Lidar backscattered return signals from the on and off-line lasers experience a significant exponential decay. To extract further data from the decaying ozone return signals, photon counting will be used to measure the low light levels, thus extending the detection range. In this application, photon counting will extend signal measurement where the analog return signal is too weak. The current analog measurement range is limited to approximately 25 kilometers from an aircraft flying at 12 kilometers. Photon counting will be able to exceed the current measurement range so as to follow the mid-latitude model of ozone density as a function of height. This report describes the development of a photon counting system. The initial development phase begins with detailed evaluation of individual photomultiplier tubes. The PMT qualities investigated are noise count rates, single electron response peaks, voltage versus gain values, saturation effects, and output signal linearity. These evaluations are followed by analysis of two distinctive tube base gating schemes. The next phase is to construct and operate a photon counting system in a laboratory environment. The laboratory counting simulations are used to determine optimum discriminator setpoints and to continue further evaluations of PMT properties. The final step in the photon counting system evaluation process is the compiling of photon counting measurements on the existing ozone DIAL laser system.
Elsayed-Ali, Hani↗
Microbial structural diversity estimated by dilution-extinction of phenotypic traits and T-RFLP analysis along a land-use intensification gradient
The present work tested whether the relationship between functional traits and inoculum density reflected structural diversity in bacterial communities from a land-use intensification gradient applying a mathematical model. Terminal restriction fragment length polymorphism (T-RFLP) analysis was also performed to provide an independent assessment of species richness. Successive 10-fold dilutions of a soil suspension were inoculated onto Biolog GN(R) microplates. Soil bacterial density was determined by total cell and plate counts. The relationship between phenotypic traits and inoculum density fit the model, allowing the estimation of maximal phenotypic potential (Rmax) and inoculum density (KI) at which Rmax will be half-reduced. Though Rmax decreased with time elapsed since clearing of native vegetation, KI remained high in two of the disturbed sites. The genetic pool of bacterial community did not experience a significant reduction, but the active fraction responding in the Biolog assay was adversely affected, suggesting a reduction in the functional potential. c2004 Federation of European Microbiological Societies. Published by Elsevier B.V. All rights reserved.
NASA Center KSC↗
The Radio luminosity Function of Radio-Loud Quasars from the 7C Redshift Survey
We present a complete sample of 24 radio-loud quasars (RLQs) from the new 7C Redshift Survey. Every quasar with a low-frequency (151 MHz) radio flux-density S(sub 151) > 0.5 Jy in two regions of the sky covering 0.013 sr is included; 23 of these have sufficient extended flux to meet the selection criteria, 18 of these have steep radio spectra (hereafter denoted as SSQs). The key advantage of this sample over most samples of RLQs is the lack of an optical magnitude limit. By combining the 7C and 3CRR samples, we have investigated the properties of RLQs as a function of redshift z and radio luminosity L(sub 151). We derive the radio luminosity function (RLF) of RLQs and find that the data are well fitted by a single power-law with slope alpha(sub 1) = 1.9 +/- 0.1 (for H(sub 0) = 50 km/s.Mpc, OMEGA(sub M) = 1, OMEGA(sub DELTA) = 0). We find that there must be a break in the RLQ RLF at log(sub 10)(L(sub 151)/W Hz.sr) approximately < or = 27, in order for the models to be consistent with the 7C and 6C source counts. The z-dependence of the RLF follows a one-tailed gaussian which peaks at z = 1.7 +/- 0.2. We find no evidence for a decline in the co-moving space density of RLQs at higher redshifts. A positive correlation between the radio and optical luminosities of SSQs is observed, confirming a result of Serjeant. We are able to rule out this correlation being due to selection effects or biases in our combined sample. The radio-optical correlation and best-fit model RLF enable us to estimate the distribution of optical magnitudes of quasars in samples selected at low radio frequencies, We con- clude that for samples with S(sub 151) approximately < or = 1 Jy one must use optical data significantly deeper than the POSS-I limit (R approximately equal 20), in order to avoid severe incompleteness.
Willott, Chris J.↗
AMAROK: A Radio Frequency Development Platform for High-Power, Full-Scale Positive Ion Sources for DIII-D Neutral Beam Injectors
Next-generation neutral beam injection (NBI) systems demand RF ion sources capable of efficiently coupling >120 kW at 2–4-MHz frequencies, yet existing designs face voltage standoff and impedance-matching challenges. To address this, the advanced multicoil antenna for RF operations at kilowatts (AMAROK) was developed as a high-power RF inductively coupled plasma (ICP) source delivering up to 200 kW in the 2–4-MHz range via four phase-controlled generators for flexible power sharing. Two antenna designs—a single-strap multiturn (MT) and a multistrap single-turn (ST) design—were evaluated to optimize resonance, impedance matching, and power coupling across plasma loads. Here, a semi-analytical self-resonant frequency (SRF) model, validated experimentally, predicts resonance trends for arbitrary turn counts and tubing diameters, enabling rapid antenna optimization. Strap-to-strap mutual inductance in the ST configuration showed strong spatial dependence, guiding generator operation and total load inductance. These insights informed a custom π -topology matching network, achieving stable impedance matching over a wide range of plasma-driven loads. Collectively, these results position AMAROK as a versatile testbed for advancing high-power RF source technology in fusion NBI applications.
DIII-D↗
Evaluation of corn/soybeans separability using Thematic Mapper and Thematic Mapper Simulator data
Multitemporal Thematic Mapper, Thematic Mapper Simulator, and detailed ground truth data were collected for a 9- by 11-km sample segment in Webster County, IA, in the summer of 1982. Three dates were acquired each with Thematic Mapper Simulator (June 7, June 23, and July 31) and Thematic Mapper (August 2, September 3, and October 21). The Thematic Mapper Simulator data were converted to equivalent TM count values using TM and TMS calibration data and model based estimates of atmospheric effects. The July 31, TMS image was compared to the August 2, TM image to verify the conversion process. A quantitative measure of proportion estimation variance (Fisher information) was used to evaluate the corn/soybeans separability for each TM band as a function of time during the growing season. The additional bands in the middle infrared allowed corn and soybeans to be separated much earlier than was possible with the visible and near-infrared bands alone. Using the TM and TMS data, temporal profiles of the TM principal components were developed. The greenness and brightness exhibited behavior similar to MSS greenness and brightness for corn and soybeans.
Pitts, D. E.↗
An integral equation solution for multistage turbomachinery design calculations
A method was developed to calculate flows in multistage turbomachinery. The method is an extension of quasi-three-dimensional blade-to-blade solution methods. Governing equations for steady compressible inviscid flow are linearized by introducing approximations. The linearized flow equations are solved using integral equation techniques. The flows through both stationary and rotating blade rows are determined in a single calculation. Multiple bodies can be modelled for each blade row, so that arbitrary blade counts can be analyzed. The method's benefits are its speed and versatility.
Mcfarland, Eric R.↗