Search NASA⌕ Search

SEARCH · Search NASA

Results for “select agent designation”

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.

112 records · Page 7
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

National serosurvey and risk mapping reveal widespread distribution of Coxiella burnetii in Kenya

Coxiella burnetii, the causative agent of Q fever, is an emerging pathogen that has the potential to cause severe chronic infections in animals and humans worldwide. The detrimental impact on public health is projected to be higher in the low- and middle-income countries given their lower capacity to sustain effective surveillance and response measures. We implemented a national serosurvey of cattle in Kenya to map the spatial distribution of the pathogen. The study used serum samples that were collected from randomly selected cattle in different ago-ecological zones across the country. These samples were screened for the pathogen using PrioCHECK Ruminant Q Fever AB Plate ELISA kit. The laboratory findings were analyzed using INLA package to identify risk factors for C. burnetii exposure from herd- and animal-level factors, area, and bioclimatic datasets accessed from online databases. A total of 6,593 cattle were recruited for the study; of these, 7.9% (95% CI; 7.2–8.5) were seropositive. Outputs from the multivariable analysis revealed that the animal age and some of the geographical variables including wind speed, area under shrubs and “petric calcisols” type of soil were significantly associated with C. burnetii seropositivity. Being a calf, weaner or subadult was associated with lower odds of exposure compared to being an adult by 0.24 (credibility interval: 2.5% and 97.5%), 0.41 (0.30–0.55) and 0.51 (0.38–0.69), respectively. In addition, a unit increase in the wind speed increased the odds of C. burnetii seropositivity by 1.27 (1.05–1.52) while an increase on the land area under shrubs was associated with lower odds of exposure (0.67 [0.47–0.69]). The effect of petric calcisols was non-linear; an increase of the land area with this soil type was associated with an exponential increase in C. burnetii seropositivity. This study provides new data on C. burnetii seroprevalence, information of its risk factors and a prevalence map that can be used for C. burnetii risk surveillance and control. The identification of environmental risk factors for C. burnetii exposure, and the increasing awareness of the zoonotic potential of the pathogen, calls for the need to enhance the existing collaborations for the surveillance and control of C. burnetii in line with the One Health framework. The evidence generated on the potential role of environmental factors can also be used to design nature-based interventions, such as replacement of vegetation in denuded areas, to reduce potential for the aerosolization of the pathogen. Livestock vaccination in the hotspots would also reduce animal infections and hence the contamination of the environment.

60 APPLIED LIFE SCIENCES↗
NASA NTRS1999

Radiation: microbial evolution, ecology, and relevance to mars missions

Ultraviolet (UV) radiation has been an important environmental parameter during the evolution of life on Earth, both in its role as a mutagen and as a selective agent. This was probably especially true during the time from 3.8 to 2.5 billion years ago, when atmospheric ozone levels were less than 1% of present levels. Early Mars may not have had an "ozone shield" either, and it never developed a significant one. Even though Mars is farther away from the Sun than the Earth, a substantial surficial UV flux is present on Mars today. But organisms respond to dose rate, and on Mars, like on Earth, organisms would be exposed to diurnal variations in UV flux. Here we present data on the effect of diurnal patterns of UV flux on microbial ecosystems in nature, with an emphasis on photosynthesis and DNA synthesis effects. These results indicate that diurnal patterns of metabolism occur in nature with a dip in photosynthesis and DNA synthesis in the afternoon, in part regulated by UV flux. Thus, diurnal patterns must be studied in order to understand the effect of UV radiation in nature. The results of this work are significant to the success of human missions to Mars for several reasons. For example, human missions must include photosynthetic organisms for food production and likely oxygen production. An evolutionary approach suggests which organisms might be best suited for high UV fluxes. The diurnal aspect of these studies is critical. Terraforming is a potential goal of Mars exploration, and it will require studies of the effect of Martian UV fluxes, including their diurnal changes, on terrestrial organisms. Such studies may suggest that diurnal changes in UV only require mitigation at some times of day or year.

Review, Tutorial↗
NASA NTRS2004

A Survey of Formal Methods for Intelligent Swarms

Swarms of intelligent autonomous spacecraft, involving complex behaviors and interactions, are being proposed for future space exploration missions. Such missions provide greater flexibility and offer the possibility of gathering more science data than traditional single spacecraft missions. The emergent properties of swarms make these missions powerful, but simultaneously far more difficult to design, and to assure that the proper behaviors will emerge. These missions are also considerably more complex than previous types of missions, and NASA, like other organizations, has little experience in developing or in verifying and validating these types of missions. A significant challenge when verifying and validating swarms of intelligent interacting agents is how to determine that the possible exponential interactions and emergent behaviors are producing the desired results. Assuring correct behavior and interactions of swarms will be critical to mission success. The Autonomous Nano Technology Swarm (ANTS) mission is an example of one of the swarm types of missions NASA is considering. The ANTS mission will use a swarm of picospacecraft that will fly from Earth orbit to the Asteroid Belt. Using an insect colony analogy, ANTS will be composed of specialized workers for asteroid exploration. Exploration would consist of cataloguing the mass, density, morphology, and chemical composition of the asteroids, including any anomalous concentrations of specific minerals. To perform this task, ANTS would carry miniaturized instruments, such as imagers, spectrometers, and detectors. Since ANTS and other similar missions are going to consist of autonomous spacecraft that may be out of contact with the earth for extended periods of time, and have low bandwidths due to weight constraints, it will be difficult to observe improper behavior and to correct any errors after launch. Providing V&V (verification and validation) for this type of mission is new to NASA, and represents the cutting edge in system correctness, and requires higher levels of assurance than other (traditional) missions that use a single or small number of spacecraft that are deterministic in nature and have near continuous communication access. One of the highest possible levels of assurance comes from the application of formal methods. Formal methods are mathematics-based tools and techniques for specifying and verifying (software and hardware) systems. They are particularly useful for specifying complex parallel systems, such as exemplified by the ANTS mission, where the entire system is difficult for a single person to fully understand, a problem that is multiplied with multiple developers. Once written, a formal specification can be used to prove properties of a system (e.g., the underlying system will go from one state to another or not into a specific state) and check for particular types of errors (e.g., race or livelock conditions). A formal specification can also be used as input to a model checker for further validation. This report gives the results of a survey of formal methods techniques for verification and validation of space missions that use swarm technology. Multiple formal methods were evaluated to determine their effectiveness in modeling and assuring the behavior of swarms of spacecraft using the ANTS mission as an example system. This report is the first result of the project to determine formal approaches that are promising for formally specifying swarm-based systems. From this survey, the most promising approaches were selected and are discussed relative to their possible application to the ANTS mission. Future work will include the application of an integrated approach, based on the selected approaches identified in this report, to the formal specification of the ANTS mission.

Truszkowski, Walt↗
DOE OSTI2024

Innovating the next generation of commercial smart building software

Nearly 30% of commercial building energy use is wasted due to equipment faults and HVAC controls problems. The result is increased emissions, compromised comfort and productivity, and less reliable coordination of building power needs with a clean grid. The energy impact alone represents $17 billion in potential savings. Today’s smart building software provides a robust solution to address these operational deficiencies. Energy management and information systems (EMIS) are saving up to 9% on average, with two-year paybacks. They are being incorporated into energy management processes, commissioning services, and utility programs. As effective as they are, two barriers prevent even deeper benefits; limited personnel to fix problems once they are identified, and the expense and time to manually implement changes in control systems. In partnership with the research community, the EMIS industry is developing new capabilities to overcome these barriers. Moving beyond siloed products for either fault detection and diagnostics, or optimal control, these new capabilities empower users to not only automatically identify faults, but also to push corrective action, and control improvements to their buildings. In this paper, several areas for enhancements are documented: ‘one-time’ correction of faults such as setpoints, schedules, and economizer lockouts; short-term active testing for automated proportional integral derivative (PID) loop tuning and functional testing; and continuous supervisory control for demand flexibility and year-round efficiency. Results are presented from a pair of partner implementations out of a dozen providers integrating these enhancements into their products, including field tests from across the country, and insights into operator acceptance and integration into operations and maintenance practices.

Casillas, Armando↗