Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “conditional shift”

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 919 records · Page 51

Aerodynamic Assessment of Surface-Normal Active Flow Control for Lift Enhancement on the High-Lift Common Research Model

This study explores aerodynamic feasibility of small surface-normal pneumatic jets (micro-jets) for lift enhancement on the high-lift Common Research Model. To date, lift enhancement studies using microjets have been conducted at wind tunnel Reynolds numbers less than three and half million. This paper computationally investigates microjet effects at a flight Reynolds number of24.6million. Prior to microjet activation, it is shown that flow features such as trailing edge (TE) flow separation on both inboard and outboard flaps have noticeable sensitivity to Reynolds number. At the flight Reynolds number, the onset of TE flow separation shifts downstream resulting in less flow separation compared to at the wind tunnel Reynolds numberof3.26million. The effects are insignificant for lift enhancement due to microjet on the inboard flap. However, the effects are significant for lift enhancement on the outboard flap. Microjets are shown to be more effective in circulation control on the outboard flap at the higher Reynolds number. For a microjet with velocity ratio of one, lift enhancement is increased by17%at the flight Reynolds number. This highlights the sensitivity of microjet performance to the flow features of the configuration it is implemented on. Microjet lift enhancement trends at both Reynolds numbers are found to be consistent in their ability to move the lift curve upwards in the linear regime, with the lift enhancement related to microjet momentum coefficient throughΔ𝐶𝐿=𝐾√︁𝐶𝜇. Analysis of the impact microjets have on drag shows that microjets improve the configuration’s Oswald efficiency by5.4%and2.5%at the wind tunnel and flight Reynolds numbers respectively, while providing lift enhancement. Microjet effects on the trim drag are found to be less than one percent of the total drag. The results of this study highlight the potential of small surface-normal pneumatic jets for improved performance at high-lift conditions.

ARMD↗

Spectro-Photometer for the History of the Universe, Epoch of Reionization, and Ices Explorer, One Quarter Scale Prototype Thermal Testing

The Spectro-Photometer for the History of the Universe, Epoch of Reionization, and Ices Explorer (SPHEREx) instrument has been proposed as NASA Small Explorer (SMEX) and Medium Explorer (MIDEX) missions designed to perform an all-sky near-infrared survey. The primary science objective of the SPHEREx instrument is the mapping and cataloging of data on galaxy red shifts and absorption spectra. The SPHEREx instrument utilizes a linear variable band pass filter to provide discrete spectral coverage of the 0.75 to 5.0 μm range. The nominal on-orbit mission lifetime for the instrument is two years with continuous primary science imaging. The SPHEREx instrument will be placed in a near-circular LEO sun-synchronous terminator orbit with a mean altitude of 600 km, and solar beta angles ranging from 59° to 90°. A passive V-groove radiator cooling system was selected for the SPHEREx instrument. This design was chosen for its simplicity and lack of vibration. It includes five radiator stages with the coldest two stages providing temperatures below 80K and 55K for the 2.5μm and 5.3μm detectors respectively. A one quarter scale thermal prototype was constructed to characterize the performance of the SPHEREx thermal control subsystem. This prototype was directly derived and scaled from the current flight design, and accurately replicates all heat flow paths at scale. The prototype was tested in two bounding hot flight-like environments in the Cryogenic Systems Engineering, Advanced Thermal Technology Lab at NASA’s Jet Propulsion Laboratory. Following testing, a previously developed one quarter scale thermal model was correlated to the two conditions seen in test. The resultant correlated model is able to predict the prototype test temperatures to within 1K for all critical radiator stages. An overview of the thermal control design approach, the test configuration, and test and correlation results are presented.

Bolton, Douglas A.↗

Summary of Technical Interchange Meetings (TIMs) Designed to Enable Earth Independent Medical Operations (EIMO)

The Exploration Medical Capability Element (ExMC) in NASA’s Human Research Program hosted a series of TIMs in 2023-2024 designed to stimulate discussion around specific topics with the goal of enabling EIMO. In context of the thematic constituent elements of EIMO, namely pre-mission planning, acute/emergent/prolonged medical decision making, supply/resource management and task load management, subject matter experts from industry, academia and government (NASA and other Agencies) provided valuable and actionable guidance and recommendations. Earth-based medical experts will remain indispensable for pre-mission planning, however, management of acute/emergent medical contingencies will require a gradual transition of medical care and decision making from terrestrial to space-based assets to enable support of astronaut health and performance and reduce overall mission risk. Key to achieving these enhancements is providing an integrated data system platform capable of utilizing multiple data streams in concert with a variety of on-board databases and passive monitoring of video and wearable sensors to enable a multi-modal, agentic AI-based clinical decision support system (CDSS) to support crew medical officer (CMO) medical decision-making. The EIMO series of TIMs (I-V) have proven to be instructive and portend a significant paradigm shift will be necessary to maintain crew health and performance on exploration class missions. Importantly, since the expected paradigm shift will be significantly different from the methods of operation that have been employed for the majority of missions from the inception of human spaceflight to date, any proposed methods must be deployed in the setting of ongoing operations early and be “tested, reviewed and practiced” while reliable back-up is available to facilitate an Enterprise-wide level of comfort and acceptance. Serious constraints on data transmission coupled with a large and expanding universe of on-board medical informatics data streams will necessitate implementation of a CDSS to supplant the current reliance on support provided by ground-based SMEs. Establishment of trust in the system by CMO/crew and the ground-based medical support team will be essential. Co-development of a CDSS with industry partners will assure that state of the art tools can be employed, and industry efficiencies can be leveraged. Training regimens, materials and tools must evolve to be responsive (just-in-time training) and facilitate autonomous execution of procedures. Proficiency metrics should be established and be based on validated competencies or milestones as opposed to a prescribed number of training hours. Training should be prioritized for broad, translatable skills that have universal application across a variety of medical conditions. Repetition was deemed to be the key to achieving proficiency and emphasis should lie in procedural training which is known to extinguish more rapidly than diagnostic skills. Advanced tools, e.g., extended reality, can provide more realistic and effective training. Use of advanced probabilistic risk assessment tools will be essential to optimize the medical system capability while carefully balancing risk relative to mass/power/volume limitations. Importance of factoring use-life of medical supplies and maintaining awareness of redundancy and opportunity to re-purpose under off nominal situations was emphasized. Consideration of adopting optimized performance standards vs. “good-enough” performance thresholds is warranted. The use of legacy systems as opposed to creating new systems may be preferable. Managing task load and associated cognitive load will be essential to maintain operational safety and behavioral health. ExMC aspires to create a shared EIMO paradigm and strategic vision for advancing medical system design through novel technologies, training, protocols, and support capabilities, built upon the spirit of successful strategies and innovations over the past six decades of space medicine operations.

Jay Lemery↗

A LIS Validation Study at the KSC-ER using LDAR and Field Mill Data

The chance of having the TRMM satellite pass over east central Florida when there is lightning over the NASA Kennedy Space Center (KSC) and USAF Eastern Range (ER) is small; however, such a condition did occur on September 21, 1998 (Day 264). Starting at about 20:40 GMT, the Lightning Imaging Sensor (LIS) reported 5 flashes during a 90 second interval that the KSC-ER was within the sensor field of view. Ground-based instrumentation, the Lightning Detection and Ranging (LDAR) system and a network of electric field mills (FM), detected 6 flashes in the same interval. In this paper, we will compare the times and locations of the optical pulses that were detected by LIS with the times and locations of RF sources (LDAR) and the charges that were deposited by the flash (FM network). We will show that LIS responded to all flashes that the LDAR and FM network detected; however, two discharges that were separated by less than 1 second in time and by about 10 km in space were grouped as one flash by the LIS data processing algorithm. In spite of the fact that all flashes occurred near the edge of the LIS field of view, the locations of the LIS events were consistent with both the LDAR and FM locations (the latter are usually within 1-2 kilometers of each other and often are co-located). Two of the 5 flashes reported by LIS were shifted north by about 8 km from the corresponding LDAR and FM locations. The LIS flash times tended to be after the first LDAR pulse was detected and before the last, and the integrated light signal (per LIS event) was surprisingly constant over the 5 flashes that were detected by LIS. In the future, we plan to study more correlated events and will try to determine whether and how the LIS light signal is related to the charge transfer in the flash and/or the number and spatial extent of RF sources.

Koshak, William J.↗

Comprehensive Astronaut Immune Assessment Following a Short-Duration Space Flight

Immune system dysregulation has been demonstrated to occur during spaceflight and has the potential to cause serious health risks to crewmembers participating in exploration class missions. As a part of an ongoing NASA flight experiment assessing viral immunity (DSO-500), a generalized immune assessment was performed on 3 crewmembers who participated in the recent STS-114 Space Shuttle mission. The following assays were performed: (1) comprehensive immunophenotype analysis; (2) T cell function/intracellular cytokine profiles; (4) secreted Th1/Th2 cytokine profiles via cytometric bead array. Immunophenotype analysis included a leukocyte differential, lymphocyte subsets, T cell subsets, cytotoxic/effector CD8+ T cells, memory/naive T cell subsets and constitutively activated T cells. Study timepoints were L-180, L-65, L-10, R+0, R+3 and R+14. Detailed data are presented in the poster text. As expected from a limited number of human subjects, data tended to vary with respect to most parameters. Specific post-flight alterations were as follows (subject number in parentheses): Granulocytosis (2/3), reduced NK cells (3/3), elevated CD4/CD8 ratio (3/3), general CD8+ phenotype shift to a less differentiated phenotype (3/3), elevated levels of memory CD4+ T cells (3/3), loss of L-selectin on T cell subsets (3/3), increased levels of activated T cells (2/3), reduced IL-2 producing T cell subsets (3/3), levels of IFNg producing T cells were unchanged. CD8+ T cell expression of the CD69 activation markers following whole blood stimulation with SEA+SEB were dramatically reduced postflight (3/3), whereas other T cell function assessments were largely unchanged. Cytometric bead array assessment of secreted T cell cytokines was performed, following whole blood stimulation with either CD3/CD28 antibodies or PMA+ionomycin for 48 hours. Specific cytokines assessed were IFNg, TNFa, IL-2, IL-4, IL-5, IL-10. Following CD3/CD28 stimulation, all three crewmembers had a mission-associated reduction in the levels of secreted IFNg. One crewmember had a post-flight inversion in the IFNg/IL-10 ratio postflight, which trended back to baseline by R+14. Detailed cytokine data are presented in the poster text. This testing regimen was designed to correlate immunophenotype changes (thought to correspond to specific in-vivo immune responses or pathogenesis), against altered leukocyte function and cytokine profiles. In-flight studies are required to determine if post-flight alterations are reflective of the in-flight condition, or are a response to landing and readaptation.

Crucian, Brian↗

Evolution of Martian Volcanism and Lithosphere: Geochemical Insights from Noachian to Amazonian Volcanic Terrains

The lithosphere of Mars has played a crucial role in shaping its geological features, influencing volcanic activity, climate shifts, and the planet's early habitability. Understanding the evolution of Mars' litho-sphere through different geological eons has been challenging due to weathering and resurfacing affecting the study of early Noachian volcanic chemistry. Therefore, in our study we have focused on recently discovered Noachian volcanic terranes [1-2], along with Hesperian and Amazonian volcanic terranes [3], to trace the evolution of the Martian lithosphere and thermal flux. The composition of igneous rock formed from the eruption of magma tends to preserve the record of thermal properties viz. pressure, temperature, or degree of partial melting at which it forms. Therefore, Martian volcanic provinces are of great geologic interest; they have been active throughout its history, from Noachian (>3.7 Ga) to the Late Amazonian (<500 Ma) [4]. Earlier studies focused on the evolved magmatism from Hesperian to Amazonian [4], but the type and style of Noachian-aged volcanism remain to be understood. We have investigated the geochemical compositions of Noachian volcanic provinces and compared them with relatively younger volcanic provinces on Mars using remote sensing (Mars Odyssey Gamma Ray and Neutron Spectrometer suite-GRS) and in-situ observations. Furthermore, petrologic modeling is performed to understand magmatic processes and thermal evolution. Our findings reveal distinct Pressure-Temperature (P-T) conditions across different Martian geological eras. In the Noachian terranes, we model P-T conditions ranging from 1.3-1.6 GPa and temperatures between 1350-1390°C. Conversely, the Hesperian volcanic terrane exhibits variations between 1.6-1.7 GPa and temperatures spanning 1370-1395°C. For the Amazonian volcanic terrane, P-T conditions ranged notably higher, from 1.9-2.8 GPa with temperatures between 1380-1415°C. Based on our modeling, we estimated the corresponding litho-spheric thicknesses and depths of melting for each eon. In the Noachian, the lithospheric thickness ranged from 110-135 km. Meanwhile, for the Hesperian terranes, it varied between 120-235 km, and for the Amazonian, it extended from 160-235 km. We also calculated partial melting percentages (F), observing a range of 8-12% for the Noachian, 10-11% for the Hesperian, and 10-12% for the Amazonian. Mantle potential temperatures (Tp) were calculated to illustrate variations across these geological eons. Our estimates of heat flux depicted temporal changes, showing ranges from 51-65 mW/m 2 for the Noachian, 38-45 mW/m 2 for the Hesperian, and 27-39 mW/m 2 for the Amazonian. Our study implies that the lithosphere remained consistently uniform until the Hesperian eon, indicating sustained weaker volcanic systems from mid-Noachian to Hesperian. This contrasts with fewer deep-seated plumes observed in the Amazonian era. These variations suggest potential implications for Martian climatic conditions which show a milder climate prevailed until the Hesperian, differing from Mars' current cold, arid conditions.

Mars↗

Interaction of the Local Interstellar Medium with the Heliosphere: Role of the Interior and Exterior Magnetic Fields

A complete model of the global interaction between the solar wind and the local interstellar medium must take account of interstellar neutral atoms, interstellar ionized gas, solar and galactic magnetic fields, galactic and anomalous cosmic rays. For now, however, in view of the many uncertainties about conditions in the interstellar medium, etc., all models must be regarded as highly idealized and incomplete. In the present review I concentrate on the role of magnetic fields of solar and interstellar origin. The former, the interior field, has negligible influence on the unshocked solar wind; the immediate post-shock solar wind is probably low-beta, so that the interior magnetic field is still unimportant, but this situation changes as the plasma flows through the heliosheath, and a ridge of strong magnetic field may form to separate materials of polar and equatorial origin. The exterior (interstellar) field is likely to play an important role in determining the global morphology of the system outside the termination shock. If the exterior field is strong enough, it can compress the heliosphere (although exterior neutral and/or ionized hydrogen may play the dominant role). Even if the interstellar magnetic field does not provide the dominant pressure, its orientation can substantially affect the configuration of the heliosphere, especially the location and orientation of the heliospheric discontinuities. The configurations can be quite different for the situations in which the field and flow are (a) aligned or (b) transverse. Obliquity of the field produces asymmetry in the geometry of the system; in particular the noses of heliopause and interstellar bow shock are shifted away from the interstellar flow direction, and in opposite directions, due to the asymmetric draping of the magnetic field.

Barnes, Aaron↗

Low potassium enhances sodium uptake in red-beet under moderate saline conditions

Due to the discrepancy in metabolic sodium (Na) requirements between plants and animals, cycling of Na between humans and plants is limited and critical to the proper functioning of bio-regenerative life support systems, being considered for long-term human habitats in space (e.g., Martian bases). This study was conducted to determine the effects of limited potassium (K) on growth, Na uptake, photosynthesis, ionic partitioning, and water relations of red-beet (Beta vulgaris L. ssp. vulgaris) under moderate Na-saline conditions. Two cultivars, Klein Bol, and Ruby Queen were grown for 42 days in a growth chamber using a re-circulating nutrient film technique where the supplied K levels were 5.0, 1.25, 0.25, and 0.10 mM in a modified half-strength Hoagland solution salinized with 50 mM NaCl. Reducing K levels from 5.0 to 0.10 mM quadrupled the Na uptake, and lamina Na levels reached -20 g kg-1 dwt. Lamina K levels decreased from -60 g kg-1 dwt at 5.0 mM K to -4.0 g kg-1 dwt at 0.10 mM K. Ruby Queen and Klein Bol responded differently to these changes in Na and K status. Klein Bol showed a linear decline in dry matter production with a decrease in available K, whereas for cv. Ruby Queen, growth was stimulated at 1.25 mM K and relatively insensitive to a further decreases of K down to 0.10 mM. Leaf glycinebetaine levels showed no significant response to the changing K treatments. Leaf relative water content and osmotic potential were significantly higher for both cultivars at low-K treatments. Leaf chlorophyll levels were significantly decreased at low-K treatments, but leaf photosynthetic rates showed no significant difference. No substantial changes were observed in the total cation concentration of plant tissues despite major shifts in the relative Na and K uptake at various K levels. Sodium accounted for 90% of the total cation uptake at the low K levels, and thus Na was likely replacing K in osmotic functions without negatively affecting the plant water status, or growth. Our results also suggest that cv. Ruby Queen can tolerate a much higher Na tissue concentration than cv. Klein Bol before there is any growth reduction. Grant numbers: 12180.

NASA Center KSC↗

Clinical aspects of the control of plasma volume at microgravity and during return to one gravity

Plasma volume is reduced by 10-20% within 24-48 h of exposure to simulated or actual microgravity. The clinical importance of microgravity induced hypovolemia is manifested by its relationship with orthostatic intolerance and reduced maximal oxygen uptake (VO2max) after return to one gravity (1G). Since there is no evidence to suggest that plasma volume reduction during microgravity is associated with thirst or renal dysfunctions, a diuresis induced by an immediate blood volume shift to the central circulation appears responsible for microgravity-induced hypovolemia. Since most astronauts choose to restrict their fluid intake before a space mission, absence of increased urine output during actual space flight may be explained by low central venous pressure (CVP) which accompanies dehydration. Compelling evidence suggests that prolonged reduction in CVP during exposure to microgravity reflects a "resetting" to a lower operating point, which acts to limit plasma volume expansion during attempts to increase fluid intake. In ground based and space flight experiments, successful restoration and maintenance of plasma volume prior to returning to an upright posture may depend upon development of treatments that can return CVP to its baseline IG operating point. Fluid-loading and lower body negative pressure (LBNP) have not proved completely effective in restoring plasma volume, suggesting that they may not provide the stimulus to elevate the CVP operating point. On the other hand, exercise, which can chronically increase CVP, has been effective in expanding plasma volume when combined with adequate dietary intake of fluid and electrolytes. The success of designing experiments to understand the physiological mechanisms of and development of effective counter measures for the control of plasma volume in microgravity and during return to IG will depend upon testing that can be conducted under standardized controlled baseline conditions during both ground-based and space flight investigations.

Review, Tutorial↗

Generating Global CH4 NASA GEOS Product by Assimilating TROPOMI

Radiative properties of methane (CH4) significantly contribute to climate change and the recent acceleration of global CH4 growth requires thorough investigation into its causes. Examination of temporal and spatial CH4 variability is crucial for better understanding the shifts that are currently taking place. Integrating different CH4 observations to create a reliable, easily to use global atmospheric CH4 product could contribute to assessment of emissions processes, but remains challenging due to the lack of long satellite data records. Here we present the NASA Goddard Earth Observing System (GEOS) based global CH4 product constrained by atmospheric transport from the Modern-Era Retrospective analysis for Research and Applications, Version 2 (MERRA-2) and assimilated CH4 from the TROPOspheric Monitoring Instrument (TROPOMI). This product uses the Constituent Data Assimilation System (CoDAS) component of the GEOS capability, which has been expanded and generalized to assimilate any satellite, ground-based, or in situ observation of atmospheric composition that can be expressed as a vertical sounding or point sample. The product is similar to the one generated by assimilating carbon dioxide (CO2) data into GEOS from Orbiting Carbon Observatory 2 (OCO-2): OCO-2 GEOS Level 3 daily and monthly, 0.5x0.625 assimilated CO2 V10r. The preliminary product is investigated using a variety of quality check approaches with the help of in situ observations to examine bias correction, error inflation, and performance of the assimilation system. Potential applications of this approach include support for interpretation of high-resolution point source detection approaches, climate and greenhouse gas reanalyses, and boundary conditions for regional modeling approaches.

Nikolay Balashov↗

Analysis of Crack Propagation Transients in Accelerated Fatigue Characterization of Adhesives

The characterization of the rates of crack propagation by means of a Paris law is intended for steady-state fatigue conditions. While rates of crack propagation are primarily driven by 𝐽𝐽𝑚𝑚𝑚𝑚𝑚𝑚, in the presence of evolving process zones and fiber bridging they also depend on the crack propagation length: cracks with fully formed process zones propagate more slowly. Analyses of the rates of crack propagation in laminates secondarily bonded with AF163-2K film adhesive were conducted to identify the rate transients that occur during the formation of the process zone in the adhesive and during the evolution of bridging of the adhesive’s carrier knit across the crack faces. Dávila's CF22 cohesive fatigue damage model was used in finite element analyses of the double cantilever beam test to explain discrepancies in experimental rates of propagation obtained from tests conducted with either increasing or decreasing 𝐽max. The results indicate that the analyses accurately reproduce transient and steady-state rates of propagation observed in the experimental results, as well as the threshold of propagation. Transient rates of propagation always exceed those in steady state, which underscores the need to understand transients and account for them in fatigue characterization. The results also highlight that a Paris curve for steady-state propagation can be obtained most quickly using a decreasing load function, but that this curve consists of an unconservative bound to the rates of propagation. A lateral shift in the Paris curve is proposed for a conservative characterization that removes the effect of bridging and other R-curve effects.

fracture mechanics; delamination; J-integral↗

Analysis of Crack Propagation Transients in Accelerated Fatigue Characterization of Adhesives

The characterization of the rates of crack propagation by means of a Paris law is intended for steady-state fatigue conditions. While rates of crack propagation are primarily driven by 𝐽𝐽𝑚𝑚𝑚𝑚𝑚𝑚, in the presence of evolving process zones and fiber bridging they also depend on the crack propagation length: cracks with fully formed process zones propagate more slowly. Analyses of the rates of crack propagation in laminates secondarily bonded with AF163-2K film adhesive were conducted to identify the rate transients that occur during the formation of the process zone in the adhesive and during the evolution of bridging of the adhesive’s carrier knit across the crack faces. Dávila's CF22 cohesive fatigue damage model was used in finite element analyses of the double cantilever beam test to explain discrepancies in experimental rates of propagation obtained from tests conducted with either increasing or decreasing 𝐽max. The results indicate that the analyses accurately reproduce transient and steady-state rates of propagation observed in the experimental results, as well as the threshold of propagation. Transient rates of propagation always exceed those in steady state, which underscores the need to understand transients and account for them in fatigue characterization. The results also highlight that a Paris curve for steady-state propagation can be obtained most quickly using a decreasing load function, but that this curve consists of an unconservative bound to the rates of propagation. A lateral shift in the Paris curve is proposed for a conservative characterization that removes the effect of bridging and other R-curve effects.

fracture mechanics; delamination; J-integral↗

Progress of High Efficiency Centrifugal Compressor Simulations Using TURBO

Three-dimensional, time-accurate, and phase-lagged computational fluid dynamics (CFD) simulations of the High Efficiency Centrifugal Compressor (HECC) stage were generated using the TURBO solver. Changes to the TURBO Parallel Version 4 source code were made in order to properly model the no-slip boundary condition along the spinning hub region for centrifugal impellers. A startup procedure was developed to generate a converged flow field in TURBO. This procedure initialized computations on a coarsened mesh generated by the Turbomachinery Gridding System (TGS) and relied on a method of systematically increasing wheel speed and backpressure. Baseline design-speed TURBO results generally overpredicted total pressure ratio, adiabatic efficiency, and the choking flow rate of the HECC stage as compared with the design-intent CFD results of Code Leo. Including diffuser fillet geometry in the TURBO computation resulted in a 0.6 percent reduction in the choking flow rate and led to a better match with design-intent CFD. Diffuser fillets reduced annulus cross-sectional area but also reduced corner separation, and thus blockage, in the diffuser passage. It was found that the TURBO computations are somewhat insensitive to inlet total pressure changing from the TURBO default inlet pressure of 14.7 pounds per square inch (101.35 kilopascals) down to 11.0 pounds per square inch (75.83 kilopascals), the inlet pressure of the component test. Off-design tip clearance was modeled in TURBO in two computations: one in which the blade tip geometry was trimmed by 12 mils (0.3048 millimeters), and another in which the hub flow path was moved to reflect a 12-mil axial shift in the impeller hub, creating a step at the hub. The one-dimensional results of these two computations indicate non-negligible differences between the two modeling approaches.

turbomachinery↗

Assessing Requirements Quality through Requirements Coverage

In model-based development, the development effort is centered around a formal description of the proposed software system the model. This model is derived from some high-level requirements describing the expected behavior of the software. For validation and verification purposes, this model can then be subjected to various types of analysis, for example, completeness and consistency analysis [6], model checking [3], theorem proving [1], and test-case generation [4, 7]. This development paradigm is making rapid inroads in certain industries, e.g., automotive, avionics, space applications, and medical technology. This shift towards model-based development naturally leads to changes in the verification and validation (V&V) process. The model validation problem determining that the model accurately captures the customer's high-level requirements has received little attention and the sufficiency of the validation activities has been largely determined through ad-hoc methods. Since the model serves as the central artifact, its correctness with respect to the users needs is absolutely crucial. In our investigation, we attempt to answer the following two questions with respect to validation (1) Are the requirements sufficiently defined for the system? and (2) How well does the model implement the behaviors specified by the requirements? The second question can be addressed using formal verification. Nevertheless, the size and complexity of many industrial systems make formal verification infeasible even if we have a formal model and formalized requirements. Thus, presently, there is no objective way of answering these two questions. To this end, we propose an approach based on testing that, when given a set of formal requirements, explores the relationship between requirements-based structural test-adequacy coverage and model-based structural test-adequacy coverage. The proposed technique uses requirements coverage metrics defined in [9] on formal high-level software requirements and existing model coverage metrics such as the Modified Condition and Decision Coverage (MC/DC) used when testing highly critical software in the avionics industry [8]. Our work is related to Chockler et al. [2], but we base our work on traditional testing techniques as opposed to verification techniques.

Rajan, Ajitha↗

Linking Climate to Incidence of Zoonotic Cutaneous Leishmaniasis (L. major) in Pre-Saharan North Africa

Shifts in surface climate may have changed the dynamic of zoonotic cutaneous leishmaniasis (ZCL) in the pre-Saharan zones of North Africa. Caused by Leishmania major, this form multiplies in the body of rodents serving as reservoirs of the disease. The parasite is then transmitted to human hosts by the bite of a Phlebotomine sand fly (Diptera: Psychodidae) that was previously fed by biting an infected reservoir. We examine the seasonal and interannual dynamics of the incidence of this ZCL as a function of surface climate indicators in two regions covering a large area of the semi-arid Pre-Saharan North Africa. Results suggest that in this area, changes in climate may have initiated a trophic cascade that resulted in an increase in ZCL incidence. We find the correlation between the rainy season precipitation and the same year Normalized Difference Vegetation Index (NDVI) to be strong for both regions while the number of cases of ZCL incidence lags the precipitation and NDVI by 2 years. The zoonotic cutaneous leishmaniasis seasonal dynamic appears to be controlled by minimum temperatures and presents a 2-month lag between the reported infection date and the presumed date when the infection actually occurred. The decadal increase in the number of ZCL occurrence in the region suggests that changes in climate increased minimum temperatures sufficiently and created conditions suitable for endemicity that did not previously exist. We also find that temperatures above a critical range suppress ZCL incidence by limiting the vector's reproductive activity.

NDIV↗

Condition Assessment of Kevlar Composite Materials Using Raman Spectroscopy

This viewgraph presentation includes the following main concepts. Goal: To evaluate Raman spectroscopy as a potential NDE tool for the detection of stress rupture in Kevlar. Objective: Test a series of strand samples that have been aged under various conditions and evaluate differences and trends in the Raman response. Hypothesis: Reduction in strength associated with stress rupture may manifest from changes in the polymer at a molecular level. If so, than these changes may effect the vibrational characteristics of the material, and consequently the Raman spectra produced from the material. Problem Statement: Kevlar composite over-wrapped pressure vessels (COPVs) on the space shuttles are greater than 25 years old. Stress rupture phenomena is not well understood for COPVs. Other COPVs are planned for hydrogen-fueled vehicles using Carbon composite material. Raman spectroscopy is being explored as an non-destructive evaluation (NDE) technique to predict the onset of stress rupture in Kevlar composite materials. Test aged Kevlar strands to discover trends in the Raman response. Strength reduction in Kevlar polymer will manifest itself on the Raman spectra. Conclusions: Raman spectroscopy has shown relative changes in the intensity and FWHM of the ~1613 cm(exp -1) peak. Reduction in relative intensity for creep, fleet leader, and SIM specimens compared to the virgin strands. Increase in FWHM has been observed for the creep and fleet leader specimens compared to the virgin strands. Changes in the Raman spectra may result from redistributing loads within the material due to the disruption of hydrogen bonding between crystallites or defects in the crystallites from aging the Kevlar strands. Peak shifting has not been observed to date. Analysis is ongoing. Stress measurements may provide a tool in the short term.

Washer, Glenn↗

Earth-Independent Medical Operations (EIMO) Concept of Operations

In contrast to the current crew health paradigm for low-Earth orbit and Lunar missions, which depends on real-time communication with Mission Control, deep-space exploration missions will require a significant shift in medical operations. This shift is driven by the constraints of operating at a considerable distance from Earth, such as resource limitations—lack of resupply, restricted mass, power, volume, and data—as well as communication delays and the inability to evacuate back to Earth during emergencies. To move toward a more self-reliant medical model, a strategy is needed to gradually increase space-based crew autonomy and reduce risks to mission success in the challenging environment of deep space. This transformative change, known as "Earth-Independent Medical Operations" (EIMO), explores the gradual transfer of medical care and decision-making from Earth-based support to space-based systems. The goal of this transition is to enhance astronaut health and performance while minimizing mission risks. EIMO requires the development of a medical system that integrates seamlessly with mission planning, vehicle and spacesuit design, and data architecture. This integration is crucial for building a robust medical infrastructure that not only safeguards astronaut well-being but also ensures overall mission success. The Human Research Program (HRP) Exploration Medical Capability (ExMC) Element has revised the EIMO model-based Concept of Operations (ConOps) which outlines an initial vision for EIMO. The ConOps, which is built on the stakeholders’ need, system goals, and objectives (NGOs), presents an array of in-mission scenarios that span a wide range of medical conditions demonstrating the system’s capabilities from basic to complex events. Developed by a multidisciplinary team of systems engineers, scientists, and clinicians within ExMC, the ConOps revision includes two new scenarios(Barotrauma and Self-Medical Management and Behavioral Health and Chronic Medical Care), and implementation of findings from EIMO technical interchange meetings that focused on data and training. The envisioned EIMO Medical System (MS) operates as a system of systems, gathering data from various sources such as reference databases, real-time wearable sensors, point-of-care diagnostics, and environmental controls. The MS also incorporates advanced training tools to support autonomous medical care, assisting the Crew Medical Officer (CMO) during medical events where Ground Support is either unavailable or communication-delayed beyond practicality. Furthermore, MS functions and capabilities were decomposed from the scenarios to establish foundational requirements for EIMO and traced to the NASA Spaceflight Human-System Standard(NASA-STD-3001, Volumes 1 and 2). These traces were performed to gain insights on the alignment of EIMO requirements with the NASA standard. This work serves as an initial recommendation to increase crew autonomy gradually and safely for Mars missions and future deep-space exploration.

medical system↗

Maine Ecological Forecasting II: Identifying Forest Cover and Assessing Federally Endangered Atlantic Salmon Habitat in Maine Using Earth Observations

Major declines in Atlantic salmon (Salmo salar) populations have occurred alongside dam construction, shifting temperatures, and changing land use and land cover (LULC), restricting the last remaining wild population in the United States to Maine. In collaboration with the Maine Department of Marine Resources and the Downeast Salmon Federation, the NASA DEVELOP team utilized Earth observations to assess changes within critical salmon habitat. The team used the Landsat 5 Thematic Mapper (TM), Landsat 8 Operation Land Imager (OLI), Sentinel-2 MultiSpectral Instrument (MSI), and National Land Cover Database (NLCD) to refine historical LULC maps from 1985 to 2021. The team also used elevation data from the Shuttle Radar Topography Mission (SRTM) and IDRISI TerrSet Land Change Modeler to forecast LULC change to 2040. From Terra Moderate Resolution Imaging Spectroradiometer (MODIS) land surface temperature (LST) data, the team derived a time series, summer averages, and anomaly maps between 2000 and 2021. The team analyzed LST in relation to LULC classes, specifically forest cover type, and in-situ stream temperature from the Spatial Hydro-Ecological Decision System (EcoSHEDS). LULC trends from 1985 to 2021 revealed a net transition of coniferous forest to other classes, such as deciduous forest and developed land. The team found an association between warmer temperatures and a greater presence of developed and mixed forest classes per 10,000 acres across Maine. These visualizations and analyses will aid partners in identifying riparian locations with ideal or unfavorable habitat conditions to inform Atlantic salmon population recovery efforts.

Tony Bowman↗