Search NASA⌕ Search

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.

At least 613 records · Page 34

Comparative Performance Analysis of Coarse Solvers for Algebraic Multigrid on Multicore and Manycore Architectures

In this paper, we study the performance of a two-level algebraic-multigrid algorithm, with a focus on the impact of the coarse-grid solver on performance. We consider two algorithms for solving the coarse-space systems: the preconditioned conjugate gradient method and a new robust HSS-embedded low-rank sparse-factorization algorithm. Our test data comes from the SPE Comparative Solution Project for oil-reservoir simulations. We contrast the performance of our code on one 12-core socket of a Cray XC30 machine with performance on a 60-core Intel Xeon Phi coprocessor. To obtain top performance, we optimized the code to take full advantage of fine-grained parallelism and made it thread-friendly for high thread count. We also developed a bounds-and-bottlenecks performance model of the solver which we used to guide us through the optimization effort, and also carried out performance tuning in the solver’s large parameter space. Finally, as a result, significant speedups were obtained on both machines.

97 MATHEMATICS AND COMPUTING↗

New risk metrics and mathematical tools for risk analysis: Current and future challenges

The current status of the food safety supply world wide, has led Food and Agriculture Organization (FAO) and World Health Organization (WHO) to establishing Risk Analysis as the single framework for building food safety control programs. A series of guidelines and reports that detail out the various steps in Risk Analysis, namely Risk Management, Risk Assessment and Risk Communication is available. The Risk Analysis approach enables integration between operational food management systems, such as Hazard Analysis Critical Control Points, public health and governmental decisions. To do that, a series of new Risk Metrics has been established as follows: i) the Appropriate Level of Protection (ALOP), which indicates the maximum numbers of illnesses in a population per annum, defined by quantitative risk assessments, and used to establish; ii) Food Safety Objective (FSO), which sets the maximum frequency and/or concentration of a hazard in a food at the time of consumption that provides or contributes to the ALOP. Given that ALOP is rather a metric of the public health tolerable burden (it addresses the total ‘failure’ that may be handled at a national level), it is difficult to be interpreted into control measures applied at the manufacturing level. Thus, a series of specific objectives and criteria for performance of individual processes and products have been established, all of them assisting in the achievement of FSO and hence, ALOP. In order to achieve FSO, tools quantifying the effect of processes and intrinsic properties of foods on survival and growth of pathogens are essential. In this context, predictive microbiology and risk assessment have offered an important assistance to Food Safety Management. Predictive modelling is the basis of exposure assessment and the development of stochastic and kinetic models, which are also available in the form of Web-based applications, e.g., COMBASE and Microbial Responses Viewer), or introduced into user-friendly softwares, (e.g., Seafood Spoilage Predictor) have evolved the use of information systems in the food safety management. Such tools are updateable with new food-pathogen specific models containing cardinal parameters and multiple dependent variables, including plate counts, concentration of metabolic products, or even expression levels of certain genes. Then, these tools may further serve as decision-support tools which may assist in product logistics, based on their scientifically-based and “momentary” expressed spoilage and safety level.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Newton-based optimization for Kullback-Leibler nonnegative tensor factorizations

Tensor factorizations with nonnegativity constraints have found application in analysing data from cyber traffic, social networks, and other areas. We consider application data best described as being generated by a Poisson process (e.g. count data), which leads to sparse tensors that can be modelled by sparse factor matrices. In this paper, we investigate efficient techniques for computing an appropriate canonical polyadic tensor factorization based on the Kullback–Leibler divergence function. We propose novel subproblem solvers within the standard alternating block variable approach. Our new methods exploit structure and reformulate the optimization problem as small independent subproblems. We employ bound-constrained Newton and quasi-Newton methods. Finally, we compare our algorithms against other codes, demonstrating superior speed for high accuracy results and the ability to quickly find sparse solutions.

97 MATHEMATICS AND COMPUTING↗

HERSCHEL-ATLAS: TOWARD A SAMPLE OF {approx}1000 STRONGLY LENSED GALAXIES

While the selection of strongly lensed galaxies (SLGs) with 500 {mu}m flux density S{sub 500} > 100 mJy has proven to be rather straightforward, for many applications it is important to analyze samples larger than the ones obtained when confining ourselves to such a bright limit. Moreover, only by probing to fainter flux densities is it possible to exploit strong lensing to investigate the bulk of the high-z star-forming galaxy population. We describe HALOS (the Herschel-ATLAS Lensed Objects Selection), a method for efficiently selecting fainter candidate SLGs, reaching a surface density of {approx_equal} 1.5-2 deg{sup -2}, i.e., a factor of about 4-6 higher than that at the 100 mJy flux limit. HALOS will allow the selection of up to {approx}1000 candidate SLGs (with amplifications {mu} {approx}> 2) over the full H-ATLAS survey area. Applying HALOS to the H-ATLAS Science Demonstration Phase field ({approx_equal} 14.4 deg{sup 2}) we find 31 candidate SLGs, whose candidate lenses are identified in the VIKING near-infrared catalog. Using the available information on candidate sources and candidate lenses we tentatively estimate a {approx_equal} 72% purity of the sample. As expected, the purity decreases with decreasing flux density of the sources and with increasing angular separation between candidate sources and lenses. The redshift distribution of the candidate lensed sources is close to that reported for most previous surveys for lensed galaxies, while that of candidate lenses extends to redshifts substantially higher than found in the other surveys. The counts of candidate SLGs are also in good agreement with model predictions. Even though a key ingredient of the method is the deep near-infrared VIKING photometry, we show that H-ATLAS data alone allow the selection of a similarly deep sample of candidate SLGs with an efficiency close to 50%; a slightly lower surface density ({approx_equal} 1.45 deg{sup -2}) can be reached with a {approx}70% efficiency.

79 ASTRONOMY AND ASTROPHYSICS↗

Diabetes and hypertension are related to amyloid-beta burden in the population-based Rotterdam Study

Abstract Higher vascular disease burden increases the likelihood of developing dementia, including Alzheimer’s disease. Better understanding the association between vascular risk factors and Alzheimer’s disease pathology at the predementia stage is critical for developing effective strategies to delay cognitive decline. In this work, we estimated the impact of six vascular risk factors on the presence and severity of in vivo measured brain amyloid-beta (Aβ) plaques in participants from the population-based Rotterdam Study. Vascular risk factors (hypertension, hypercholesterolaemia, diabetes, obesity, physical inactivity and smoking) were assessed 13 (2004–2008) and 7 years (2009–2014) prior to 18F-florbetaben PET (2018–2021) in 635 dementia-free participants. Vascular risk factors were associated with binary amyloid PET status or continuous PET readouts (standard uptake value ratios, SUVrs) using logistic and linear regression models, respectively, adjusted for age, sex, education, APOE4 risk allele count and time between vascular risk and PET assessment. Participants’ mean age at time of amyloid PET was 69 years (range: 60–90), 325 (51.2%) were women and 190 (29.9%) carried at least one APOE4 risk allele. The adjusted prevalence estimates of an amyloid-positive PET status markedly increased with age [12.8% (95% CI 11.6; 14) in 60–69 years versus 35% (36; 40.8) in 80–89 years age groups] and APOE4 allele count [9.7% (8.8; 10.6) in non-carriers versus 38.4% (36; 40.8) to 60.4% (54; 66.8) in carriers of one or two risk allele(s)]. Diabetes 7 years prior to PET assessment was associated with a higher risk of a positive amyloid status [odds ratio (95% CI) = 3.68 (1.76; 7.61), P < 0.001] and higher standard uptake value ratios, indicating more severe Aβ pathology [standardized beta = 0.40 (0.17; 0.64), P = 0.001]. Hypertension was associated with higher SUVr values in APOE4 carriers (mean SUVr difference of 0.09), but not in non-carriers (mean SUVr difference 0.02; P = 0.005). In contrast, hypercholesterolaemia was related to lower SUVr values in APOE4 carriers (mean SUVr difference −0.06), but not in non-carriers (mean SUVr difference 0.02). Obesity, physical inactivity and smoking were not related to amyloid PET measures. The current findings suggest a contribution of diabetes, hypertension and hypercholesterolaemia to the pathophysiology of Alzheimer’s disease in a general population of older non-demented adults. As these conditions respond well to lifestyle modification and drug treatment, further research should focus on the preventative effect of early risk management on the development of Alzheimer’s disease neuropathology.

van Arendonk, Joyce (ORCID:0000000172941633)↗

Validation of selection function, sample contamination and mass calibration in galaxy cluster samples

ABSTRACT We construct and validate the selection function of the MARD-Y3 galaxy cluster sample. This sample was selected through optical follow-up of the 2nd ROSAT faint source catalogue with Dark Energy Survey year 3 data. The selection function is modelled by combining an empirically constructed X-ray selection function with an incompleteness model for the optical follow-up. We validate the joint selection function by testing the consistency of the constraints on the X-ray flux–mass and richness–mass scaling relation parameters derived from different sources of mass information: (1) cross-calibration using South Pole Telescope Sunyaev-Zel'dovich (SPT-SZ) clusters, (2) calibration using number counts in X-ray, in optical and in both X-ray and optical while marginalizing over cosmological parameters, and (3) other published analyses. We find that the constraints on the scaling relation from the number counts and SPT-SZ cross-calibration agree, indicating that our modelling of the selection function is adequate. Furthermore, we apply a largely cosmology independent method to validate selection functions via the computation of the probability of finding each cluster in the SPT-SZ sample in the MARD-Y3 sample and vice versa. This test reveals no clear evidence for MARD-Y3 contamination, SPT-SZ incompleteness or outlier fraction. Finally, we discuss the prospects of the techniques presented here to limit systematic selection effects in future cluster cosmological studies.

79 ASTRONOMY AND ASTROPHYSICS↗

Extended operating range of the 30-cm ion thruster with simplified power processor requirements

A two grid 30 cm diameter mercury ion thruster was operated with only six power supplies over the baseline J series thruster power throttle range with negligible impact on thruster performance. An analysis of the functional model power processor showed that the component mass and parts count could be reduced considerably and the electrical efficiency increased slightly by only replacing power supplies with relays. The input power, output thrust, and specific impulse of the thruster were then extended, still using six supplies, from 2660 watts, 0.13 newtons, and 2980 seconds to 9130 watts, 0.37 newtons, and 3820 seconds, respectively. Increases in thrust and power density enable reductions in the number of thrusters and power processors required for most missions. Preliminary assessments of the impact of thruster operation at increased thrust and power density on the discharge characteristics, performance, and lifetime of the thruster were also made.

Rawlin, V. K.↗

Extended operating range of the 30-cm ion thruster with simplified power processor requirements

A 30-cm-diameter Hg ion thruster similar in design to the J-series thruster was operated at fixed conditions with only five power supplies and was throttled over the baseline power range with six supplies. An analysis of the functional model power processor showed that the component mass and parts count would be reduced by about 14 and 35% respectively, and the electrical efficiency would be increased about 1.5% by replacing power supplies with relays. By introducing new circuit designs, additional reductions in the component mass and parts, as well as an increase in electrical efficiency would be expected. The impact on thruster performance of reducing the number of power supplies was to lower the propellant utilization efficiency about 1.0% and raise the electrical efficiency values from 0.2 to 1.3% over the throttle range.

Rawlin, V. K.↗

An emulator for minimizing finite element analysis implementation resources

A finite element analysis emulator providing a basis for efficiently establishing an optimum computer implementation strategy when many calculations are involved is described. The SCOPE emulator determines computer resources required as a function of the structural model, structural load-deflection equation characteristics, the storage allocation plan, and computer hardware capabilities. Thereby, it provides data for trading analysis implementation options to arrive at a best strategy. The models contained in SCOPE lead to micro-operation computer counts of each finite element operation as well as overall computer resource cost estimates. Application of SCOPE to the Memphis-Arkansas bridge analysis provides measures of the accuracy of resource assessments. Data indicate that predictions are within 17.3 percent for calculation times and within 3.2 percent for peripheral storage resources for the ELAS code.

Melosh, R. J.↗

Numerical simulation of the emission and motion of neutral and charged dust from P/Halley

The present numerical model for neutral or charged dust-particle distribution prediction in P/Halley encompasses the spatial and temporal variations of the plasma parameters and magnetic field. A significant difference is noted between results for neutral dust trajectories and the trajectories of charged dust particles with radii smaller than 0.1 micron. While most of the model and in situ mass spectra were in good agreement, there is a shortage of the lowest-mass model particles, as well as an offset of the total counting rate for two outbound mass spectra. A combination of two Lorentzian particle mass-density functions with a 100:1 ratio for the number of particles with the lower and higher density functions yielded the best agreement.

Ellis, Tracy A.↗

On the uncertainty in single molecule fluorescent lifetime and energy emission measurements

Time-correlated single photon counting has recently been combined with mode-locked picosecond pulsed excitation to measure the fluorescent lifetimes and energy emissions of single molecules in a flow stream. Maximum likelihood (ML) and least square methods agree and are optimal when the number of detected photons is large however, in single molecule fluorescence experiments the number of detected photons can be less than 20, 67% of those can be noise and the detection time is restricted to 10 nanoseconds. Under the assumption that the photon signal and background noise are two independent inhomogeneous poisson processes, we derive the exact joint arrival time probably density of the photons collected in a single counting experiment performed in the presence of background noise. The model obviates the need to bin experimental data for analysis, and makes it possible to analyze formally the effect of background noise on the photon detection experiment using both ML or Bayesian methods. For both methods we derive the joint and marginal probability densities of the fluorescent lifetime and fluorescent emission. the ML and Bayesian methods are compared in an analysis of simulated single molecule fluorescence experiments of Rhodamine 110 using different combinations of expected background nose and expected fluorescence emission. While both the ML or Bayesian procedures perform well for analyzing fluorescence emissions, the Bayesian methods provide more realistic measures of uncertainty in the fluorescent lifetimes. The Bayesian methods would be especially useful for measuring uncertainty in fluorescent lifetime estimates in current single molecule flow stream experiments where the expected fluorescence emission is low. Both the ML and Bayesian algorithms can be automated for applications in molecular biology.

Brown, Emery N.↗

On the Uncertainty in Single Molecule Fluorescent Lifetime and Energy Emission Measurements

Time-correlated single photon counting has recently been combined with mode-locked picosecond pulsed excitation to measure the fluorescent lifetimes and energy emissions of single molecules in a flow stream. Maximum likelihood (ML) and least squares methods agree and are optimal when the number of detected photons is large, however, in single molecule fluorescence experiments the number of detected photons can be less than 20, 67 percent of those can be noise, and the detection time is restricted to 10 nanoseconds. Under the assumption that the photon signal and background noise are two independent inhomogeneous Poisson processes, we derive the exact joint arrival time probability density of the photons collected in a single counting experiment performed in the presence of background noise. The model obviates the need to bin experimental data for analysis, and makes it possible to analyze formally the effect of background noise on the photon detection experiment using both ML or Bayesian methods. For both methods we derive the joint and marginal probability densities of the fluorescent lifetime and fluorescent emission. The ML and Bayesian methods are compared in an analysis of simulated single molecule fluorescence experiments of Rhodamine 110 using different combinations of expected background noise and expected fluorescence emission. While both the ML or Bayesian procedures perform well for analyzing fluorescence emissions, the Bayesian methods provide more realistic measures of uncertainty in the fluorescent lifetimes. The Bayesian methods would be especially useful for measuring uncertainty in fluorescent lifetime estimates in current single molecule flow stream experiments where the expected fluorescence emission is low. Both the ML and Bayesian algorithms can be automated for applications in molecular biology.

Brown, Emery N.↗

Coronagraphic Methods for the Detection of Terrestrial Planets

I will contribute (i.e. join in writing the TPF-C Report) for the following workshop topics: 1) Science Topics (target list): I describe a new target list for the TPF-C based on General TPF target list maintained at the US Naval Observatory; 2) Science Topics (spectroscopy): I describe the need for optical, imaging, pulse-counting detectors for spectroscopy of terrestrial planets; 3) Simulation and Modeling Techniques: I describe work at Goddard Space Flight Center to simulate wide-band imagery and spectroscopic imagery that will be obtained by TPF-C.

Heap, Sally↗

Lessons from Immune 1-3: what did we learn and what do we need to do in the future?

Sprague-Dawley rats were subjected to three 8-to-10 day space flights on the Space Shuttle. Housed in NASA's Animal Enclosure Modules, rats were flown to test the hypotheses that therapy with pegylated interleukin-2 or insulin-like growth factor-1 would ameliorate some of the effects of space flight on the immune system. As part of these experiments, we measured body and organ weights, blood cell differentials, plasma corticosterone, macrophage colony forming units, lymphocyte mitogenic, super-antigenic and interferon-gamma responses, bone marrow cell and peritoneal macrophage cytokine secretion and bone strength and mass. This paper compares some of the immunophysiological parameters of the control animals used in the Immune1-3 flight series and presents data from an animal infection model for use during space flight.

short duration↗

InGaAsP Avalanche Photodetectors for Non-Gated 1.06 micrometer Photon-Counting Receivers

The efficient detection of single photons at 1.06 micron is of considerable interest for lidar/ladar systems designed for remote sensing an d ranging as well as for free-space optical transmission in photon-st arved applications. However, silicon-based single photon avalanche diodes (SPADs) used at shorter wavelengths have very low single photon d etection efficiency (approximately 1 - 2%) at 1.06 micron, and InP/In GaAs SPADs designed for telecommunications wavelengths near 1.5 micro n exhibit high dark count rates that generally inhibit non-gated (free-running) operation. To bridge this "single photon detection gap" for wavelengths just beyond 1 micron, we have developed high performance , large area (80 - 200 micron diameter) InP-based InGaAsP quaternary absorber SPADs optimized for operation at 1.06 micron and based on a highly reliable planar geometry avalanche photodiode structure. We wil l show that dark count rates are sufficiently low to allow for non-ga ted operation while achieving detection efficiencies far surpassing t hose found for Si SPADs. At a detection efficiency of 10%, 80 micron diameter devices exhibit dark count rates below 1000 Hz and count rate s of at least 3 MHz when operated at -40 C. Significantly higher dete ction efficiencies (30 - 50%) are achievable with acceptable tradeoff s in dark count rate. In this paper, we will also discuss performance modeling for these devices and compare their behavior with longer wav elength InP-based InGaAs ternary absorber SPADs fabricated on a relat ed device design platform.

Itzler, Mark A.↗

Clustering Days with Similar Airport Weather Conditions

On any given day, traffic flow managers must often rely on past experience and intuition when developing traffic flow management initiatives that mitigate imbalances between the aircraft demand and the weather impacted airport capacity. The goal of this study was to build on recent efforts to apply data mining classification and clustering algorithms to vast archives of historical weather and air traffic data to identify patterns and past decisions that can ultimately inform day-of-operations decision-making. More specifically, this study identified similar weather impacted days at select U.S. airports, and analyzed the traffic management initiatives implemented on these representative days. The identification of the similar days was accomplished by applying a decision tree algorithm to the hourly Localized Aviation Model Output Statistics Program observations and the arrival delays for Newark Liberty International Airport. The branches from the trained decision tree were subsequently pruned to identify four weather conditions that resulted in medium to high delays for the arrivals scheduled to Newark in 2012. Using these weather conditions, four, daily airport-level Weather Impacted Traffic Index values were calculated using the Localized Aviation Model Output Statistics Program observations and the 2012 scheduled arrival counts from the FAAs Aviation System Performance Metric system. The four, daily Weather Impacted Traffic Index values for 2012 were subsequently clustered using an Expectation Maximization clustering algorithm, and nine unique types of weather days at Newark were identified. By far the most prominent type of day at Newark was a day associated with relatively good weather conditions, where there was little convective activity, winds were low, ceilings and visibility were high and there was little precipitation. Moderate levels of convective activity characterized the next most prominent type of day. Days with persistently high winds or low ceiling and visibility levels were relatively rare in 2012. Lastly, the frequency at which Ground Delay Programs, Ground Stops and Miles-in-Trail restrictions were implemented on each of the typical types of days at Newark were analyzed. Based on the results, it does appear as if the usage of Miles-in-Trail, Ground Delay Program and Ground Stop restrictions correlates well with the severity of the weather associated with each unique type of weather impacted day at Newark. Furthermore, the results demonstrate that it is feasible to use historical weather and air traffic archives to provide guidance on the types of traffic management restrictions to implement in response to the weather conditions impacting an airport.

traffic flow management↗

WFIRST CGI Integral Field Spectrograph Performance and Post-Processing in the OS6 Observing Scenario

The WFIRST coronagraph instrument (CGI) will have an integral field spectrograph (IFS) backend to disperse the entire field of view at once and obtain spatially-resolved, low-resolution spectra of the speckles and science scene. The IFS will be key to understanding the spectral nature of the speckles, obtain science spectra of planets and disks, and will be used for broadband wavefront control. In order to characterize, predict, and optimize the performance of the instrument, we present a detailed model of the IFS in the context of the new OS6 observing scenario. The simulation includes spatial, spectral, and temporal variations of the speckle field on the IFS detector plane, which allows us to explore several post-processing methods and assess what gains can be expected. The simulator includes the latest models of the detector behavior when operating in photon-counting mode.

WFIRST coronagraph instrument (CGI)↗