Results for “Level Set Method” — Page 33

NASA NTRS2004

A Method of Estimating Low Turbulence Levels in Near Real Time Using Laser Anemometry

Laser anemometry was used to make two independent measurements of the flow velocity by capturing individual Doppler signals with high-speed digitizing boards. The two independent measurements were cross-correlated to reduce the contribution of photo detector shot noise on the frequency determination and subsequently on the turbulence estimate. In addition, criteria were developed to eliminate "bad" Doppler bursts from the data set, which then allowed reasonable low turbulence estimates to be made. The laser anemometer measurements were obtained at the inlet of an annular cascade and at the exit of a flow calibration nozzle and were compared with hot-wire data.

Goldman, Louis J.↗

NASA NTRSDate not supplied

Cislunar Trajectory Design and Maneuver Autonomy for NASA's Moon to Mars Architecture

NASA’s Moon to Mars architecture is an ambitious roadmap of manned cislunar and deep space exploration. The extensive amount of orbital assets required will place a significant burden on ground-based resources, such as communication networks and operations facilities. Spacecraft autonomy is essential for maintaining a vast number of complex missions beyond Earth orbit. To achieve full autonomy, spacecraft must be able to employ methods of robust maneuver design without an explicit dependence on commands sent from the ground. This level of autonomy is needed not only for stationkeeping, but also for outbound transfers. To address the need of spacecraft maneuver design autonomy, this work investigates the use of neural networks (NNs) in a supervised learning environment. A supervised learning approach for NNs allows for a curated training data set, consisting exclusively of perturbations applied to a desired mission concept of operations (ConOps). The proposed approach allows humans on the ground to design a specific mission ConOps before flight, then employ NNs to fly the mission robustly and autonomously. This investigation numerically tests maneuver autonomy in four highly sensitive regions of flight: orbit raising, translunar injection burns, powered lunar flybys, and invariant manifold insertion burns. These straining cases are contextualized by testing them in a demonstration mission, targeting an Earth-Moon L3 orbit. The study first establishes feasibility by automating impulsive burn maneuvers. However, some guidance algorithms will need more intensive commands, such as inertial pointing and angular rates. To validate this method, NN maneuver autonomy is applied to a finite burn model of the demonstration mission. The use of sequential, mission specific maneuvers provide an appropriate testbed to demonstrate the robustness of a NN trained on feasible perturbed states. Moreover, these scenarios provide preliminary proof-of-concept for fully autonomous missions that execute maneuvers without dependence upon explicit command uplinks. As a result, the technological advancement proposed in this work may significantly ease the strain on ground-based mission operations. This would enable complex and autonomous mission execution in cislunar and deep space regimes, filling a technology gap required to support future manned missions.

NASA↗

DOE OSTI2025

A Novel Protection Scheme for Unbalanced Faults in Inverter Dominated Networks: A Computationally Efficient Algorithm for Entry-Level Relays

Microgrids are now a common practice in distribution systems to increase resilience and reliability. However, microgrid protection remains a critical challenge, considering its requirement to operate in both grid connected and islanded, and the variability in fault characteristics under each mode of operation. This paper presents unbalanced power (S unb ) based fault detection algorithm, which considers local voltage and current unbalances to determine faults in the system. S unb is a computationally efficient fault detection algorithm that is suitable for implementation in the programmable logic of entry level protective relays. In addition, the difference in current and voltage unbalance (D n ) is used to determine the fault type. The proposed method demonstrates high sensitivity and selectivity for line-to-ground (LG), line-to-line (LL), and double line-to-ground (LLG) faults, representing the most common faults in distribution systems. It also allows relay coordination with upstream and downstream protection devices in both island and grid connected operation, while preserving grading margins. The same pickup and time multiplier settings of a particular relay for both modes of operation eliminates the need for adaptive settings, which rely on communication networks. Validation was performed with a hardware-in-the-loop (HIL) setup using Typhoon HIL real time simulator interfaced with three entry-level, SEL 751 relays. Results confirmed the algorithm’s ability to discriminate fault conditions, and determine the fault type under both operating modes, maintain fast detection times, and ensure proper protection coordination.

fault classification↗

DOE OSTI2024

Rovibrationally resolved Rayleigh and Raman scattering cross sections for molecular hydrogen

Accurate Rayleigh and Raman scattering cross sections, tensor components, depolarization ratios, and reversal coefficients for all rovibrational transitions within the X1Σg+ ground electronic state of H2 have been calculated. Raman spectra have been generated using these data. A method for calculating Raman scattering cross sections is formulated that is valid below the ionization threshold and in the region containing resonances, which explicitly accounts for all bound and dissociative vibrational levels of the bound intermediate electronic states and approximately accounts for the ionization continuum. A representative set of cross sections is presented for incident photon energies below 15 eV and compared with existing results in the literature where possible. Convergence of our results with an increasing number of bound intermediate electronic states is demonstrated. The accuracy of the Placzek–Teller approximation is discussed. The effect of accounting for the intermediate ionization continuum is investigated. Local thermal equilibrium cross sections are calculated for Rayleigh and Raman scattering. This work represents the most accurate and complete treatment of Raman scattering for molecular hydrogen to date. A total of 9582 Rayleigh and Raman scattering cross sections have been generated and are openly available on Zenodo under an open-source Creative Commons Attribution license at https://zenodo.org/doi/10.5281/zenodo.13441471.

74 ATOMIC AND MOLECULAR PHYSICS↗

NASA NTRS1986

Measurements of lower stratospheric/upper tropospheric water vapor by the SAGE II instrument

Preliminary, unvalidated data are discussed from early measurements of water vapor profiles in the upper troposphere/lower stratosphere by means of SAGE II satellite sensors. Zonal means for April 1985 are discussed and compared with previous, separate data sets for water vapor profiles for the 100 mbar and 300 mbar levels determined from space-based IR and rawinsonde data. Techniques employed to correct for noisy measurements due to the presence of clouds in the SAGE II scenes are described, noting the slant path transmission methods applied to generate the water vapor profiles.

Larsen, J. C.↗

NASA NTRS2012

Monitoring of International Space Station Telemetry Using Shewhart Control Charts

Shewhart control charts have been established as an expedient method for analyzing dynamic, trending data in order to identify anomalous subsystem performance as soon as such performance would exceed a statistically established baseline. Additionally, this leading indicator tool integrates a selection methodology that reduces false positive indications, optimizes true leading indicator events, minimizes computer processor unit duty cycles, and addresses human factor concerns (i.e., the potential for flight-controller data overload). This innovation leverages statistical process control, and provides a relatively simple way to allow flight controllers to focus their attention on subtle system changes that could lead to dramatic off-nominal system performance. Finally, this capability improves response time to potential hardware damage and/or crew injury, thereby improving space flight safety. Shewhart control charts require normalized data. However, the telemetry from the ISS Early External Thermal Control System (EETCS) was not normally distributed. A method for normalizing the data was implemented, as was a means of selecting data windows, the number of standard deviations (Sigma Level), the number of consecutive points out of limits (Sequence), and direction (increasing or decreasing trend data). By varying these options, and treating them like dial settings, the number of nuisance alerts and leading indicators were optimized. The goal was to capture all leading indicators while minimizing the number of nuisances. Lean Six Sigma (L6S) design of experiment methodologies were employed. To optimize the results, Perl programming language was used to automate the massive amounts of telemetry data, control chart plots, and the data analysis.

Fitch, Jeffery T.↗

NASA NTRS2014

Automated Testcase Generation for Numerical Support Functions in Embedded Systems

We present a tool for the automatic generation of test stimuli for small numerical support functions, e.g., code for trigonometric functions, quaternions, filters, or table lookup. Our tool is based on KLEE to produce a set of test stimuli for full path coverage. We use a method of iterative deepening over abstractions to deal with floating-point values. During actual testing the stimuli exercise the code against a reference implementation. We illustrate our approach with results of experiments with low-level trigonometric functions, interpolation routines, and mathematical support functions from an open source UAS autopilot.

Metrics↗

NASA NTRS2011

Metric Learning for Hyperspectral Image Segmentation

We present a metric learning approach to improve the performance of unsupervised hyperspectral image segmentation. Unsupervised spatial segmentation can assist both user visualization and automatic recognition of surface features. Analysts can use spatially-continuous segments to decrease noise levels and/or localize feature boundaries. However, existing segmentation methods use tasks-agnostic measures of similarity. Here we learn task-specific similarity measures from training data, improving segment fidelity to classes of interest. Multiclass Linear Discriminate Analysis produces a linear transform that optimally separates a labeled set of training classes. The defines a distance metric that generalized to a new scenes, enabling graph-based segmentation that emphasizes key spectral features. We describe tests based on data from the Compact Reconnaissance Imaging Spectrometer (CRISM) in which learned metrics improve segment homogeneity with respect to mineralogical classes.

Compact Reconnaissance Imaging Spectrometer (CRISM↗

NASA NTRS2011

NASA Instrument Cost/Schedule Model

NASA's Office of Independent Program and Cost Evaluation (IPCE) has established a number of initiatives to improve its cost and schedule estimating capabilities. 12One of these initiatives has resulted in the JPL developed NASA Instrument Cost Model. NICM is a cost and schedule estimator that contains: A system level cost estimation tool; a subsystem level cost estimation tool; a database of cost and technical parameters of over 140 previously flown remote sensing and in-situ instruments; a schedule estimator; a set of rules to estimate cost and schedule by life cycle phases (B/C/D); and a novel tool for developing joint probability distributions for cost and schedule risk (Joint Confidence Level (JCL)). This paper describes the development and use of NICM, including the data normalization processes, data mining methods (cluster analysis, principal components analysis, regression analysis and bootstrap cross validation), the estimating equations themselves and a demonstration of the NICM tool suite.

JCL↗

NASA NTRS2022

SKYSURF: Constraints on Zodiacal Light and Extragalactic Background Light through Panchromatic HST All-sky Surface-brightness Measurements. I. Survey Overview and Methods

We give an overview and describe the rationale, methods, and testing of the Hubble Space Telescope (HST) Archival Legacy project "SKYSURF." SKYSURF uses HST's unique capability as an absolute photometer to measure the ∼0.2–1.7 μm sky-surface brightness (sky-SB) from 249,861 WFPC2, ACS, and WFC3 exposures in ∼1400 independent HST fields. SKYSURF's panchromatic data set is designed to constrain the discrete and diffuse UV to near-IR sky components: Zodiacal Light (ZL), Kuiper Belt Objects (KBOs), Diffuse Galactic Light (DGL), and the discrete plus diffuse Extragalactic Background Light (EBL). We outline SKYSURF's methods to: (1) measure sky-SB levels between detected objects; (2) measure the discrete EBL, most of which comes from AB≃17–22 mag galaxies; and (3) estimate how much truly diffuse light may exist. Simulations of HST WFC3/IR images with known sky values and gradients, realistic cosmic ray (CR) distributions, and star plus galaxy counts were processed with nine different algorithms to measure the "Lowest Estimated Sky-SB" (LES) in each image between the discrete objects. The best algorithms recover the LES values within 0.2% when there are no image gradients, and within 0.2%–0.4% when there are 5%–10% gradients. We provide a proof of concept of our methods from the WFC3/IR F125W images, where any residual diffuse light that HST sees in excess of zodiacal model predictions does not depend on the total object flux that each image contains. This enables us to present our first SKYSURF results on diffuse light in Carleton et al.

Hubble Space Telescope↗

NASA NTRSDate not supplied

A Daily Surface Melt Product From Passive Microwave Swath Observations for Arctic Sea Ice Studies

Most passive microwave sea ice data products are produced with daily gridded brightness temperatures. However, a single polar-orbiting passive microwave instrument makes many measurements per day where swaths overlap in the polar regions. These level 1 swath brightness temperature observations can be used to derive information on sub-daily sea ice processes. One such process is the rapid transition of snow and ice between freezing and melting due to diurnal freeze-thaw cycling or brief warming events in the pre-melt season. Here, a new method utilizing the sub-daily variability in swath-to-swath observations is used to produce daily, binary maps of the melting status on Arctic Sea ice using Level 1C brightness temperatures from the Special Sensor Microwave Imager and Sounder (SSM/I-SSMIS) data record. The resulting data set will enable investigations of the frequency, inter-annual variability, and spatial extent of brief surface melting events occurring in the winter and shoulder seasons outside of the traditional summer melt season.

Angela C. Bliss↗

DOE OSTI2021

Quantum simulation of $\phi^4$ theories in qudit systems

We discuss the implementation of quantum algorithms for lattice $\Phi^4$ theory on circuit quantum electrodynamics (cQED) system. The field is represented on qudits in a discretized field amplitude basis. The main advantage of qudit systems is that its multi-level characteristic allows the field interaction to be implemented only with diagonal single-qudit gates. Considering the set of universal gates formed by the single-qudit phase gate and the displacement gate, we address initial state preparation and single-qudit gate synthesis with variational methods.

Kurkcuoglu, Doga Murat↗

DOE OSTI2024

Circular Economy for Photovoltaics in Service of Energy Transition

The challenge of energy transition is immediate and immense; current projections target 75 TW of photovoltaics (PV) capacity by 2050. While any transition to renewable energy technology is preferable to the current fossil-based system, it is ideal to improve the sustainability of PV to minimize negative environmental and social impacts. Circular economy (CE) has been proposed as a method to improve the sustainability of PV, especially for emerging materials like perovskites. CE is a set of actions, principles, and systems which aim to design out waste and keep products and materials in use, to reduce environmental impacts and enable sustainable development. At the most basic level, CE is "reduce, reuse, recycle", the R-actions, in ranked order. CE of a PV technology can be metricized in a variety of ways, such as the Material Circularity Indicator (Smith and Jones, Ellen MacArthur Foundation, 2019) or recycling rates. Unfortunately, standard CE metrics have several shortcomings for measuring renewable energy technologies in the context of deployment for energy transition (Figge 2018, Saidani 2019): 1) Only measure mass flows; 2) De-prioritization of the use phase in favor of mass circularity when scoring; and 3) Tight focus on a single product scale The use phase and energy flows of PV are key to energy transition, and therefore need to be quantified. Additionally, correlating product-scale to system-scale is necessary for quantifying the environmental impacts of energy transition. Life Cycle Assessment (LCA) can address some of these concerns, but also focuses on a single product scale and has trouble capturing the dynamics of system-scale energy transition, such as the interaction of module lifetime with manufacturing demands for energy transition deployment schedules. Therefore, we developed an open-source Python-based system dynamics model to quantify the mass, energy and carbon impacts of CE R-actions for PV technologies in the energy transition; PV in the CE (PV ICE) (Ovaitt & Mirletz 2021). The tool captures supply chains from material extraction through end of life, incorporating 5 circular end of life pathways. PV ICE takes in any evolving bill of materials, module properties and deployment schedule to support researchers and decision makers with data-backed insights. In this work, we quantify and compare proposed CE sustainable PV module designs and lifecycle management strategies, spanning currently commercialized technologies, government and industry technology targets, and several low Technology Readiness Level (TRL) emerging PV technologies, including perovskites. Our analyses capture the projected evolutions of lifetime, efficiency and material circularity of these PV technologies, as well as their material supply chains. Our analyses emphasize the importance of examining a suite of metrics to identify priorities and tradeoffs, and inform design or lifecycle management decisions holistically. Previous analyses have demonstrated the central importance of PV module lifetime to support energy transition while minimizing impacts. High levels of material circularity (>90%) enable minimizing lifecycle wastes, can reduce virgin material demands if paired with improving efficiency, but demonstrate tradeoffs in energy return on investment. In the fervor of new material and technology development, it is important to remember that CE is not the end goal; decarbonization and energy transition are the end goal. CE should be used in service to improve the sustainability of PV, and R-actions evaluated for their usefulness and efficacy to this end.

carbon↗

NASA NTRS2005

Formal Safety Certification of Aerospace Software

In principle, formal methods offer many advantages for aerospace software development: they can help to achieve ultra-high reliability, and they can be used to provide evidence of the reliability claims which can then be subjected to external scrutiny. However, despite years of research and many advances in the underlying formalisms of specification, semantics, and logic, formal methods are not much used in practice. In our opinion this is related to three major shortcomings. First, the application of formal methods is still expensive because they are labor- and knowledge-intensive. Second, they are difficult to scale up to complex systems because they are based on deep mathematical insights about the behavior of the systems (t.e., they rely on the "heroic proof"). Third, the proofs can be difficult to interpret, and typically stand in isolation from the original code. In this paper, we describe a tool for formally demonstrating safety-relevant aspects of aerospace software, which largely circumvents these problems. We focus on safely properties because it has been observed that safety violations such as out-of-bounds memory accesses or use of uninitialized variables constitute the majority of the errors found in the aerospace domain. In our approach, safety means that the program will not violate a set of rules that can range for the simple memory access rules to high-level flight rules. These different safety properties are formalized as different safety policies in Hoare logic, which are then used by a verification condition generator along with the code and logical annotations in order to derive formal safety conditions; these are then proven using an automated theorem prover. Our certification system is currently integrated into a model-based code generation toolset that generates the annotations together with the code. However, this automated formal certification technology is not exclusively constrained to our code generator and could, in principle, also be integrated with other code generators such as RealTime Workshop or even applied to legacy code. Our approach circumvents the historical problems with formal methods by increasing the degree of automation on all levels. The restriction to safety policies (as opposed to arbitrary functional behavior) results in simpler proof problems that can generally be solved by fully automatic theorem proves. An automated linking mechanism between the safety conditions and the code provides some of the traceability mandated by process standards such as DO-178B. An automated explanation mechanism uses semantic markup added by the verification condition generator to produce natural-language explanations of the safety conditions and thus supports their interpretation in relation to the code. It shows an automatically generated certification browser that lets users inspect the (generated) code along with the safety conditions (including textual explanations), and uses hyperlinks to automate tracing between the two levels. Here, the explanations reflect the logical structure of the safety obligation but the mechanism can in principle be customized using different sets of domain concepts. The interface also provides some limited control over the certification process itself. Our long-term goal is a seamless integration of certification, code generation, and manual coding that results in a "certified pipeline" in which specifications are automatically transformed into executable code, together with the supporting artifacts necessary for achieving and demonstrating the high level of assurance needed in the aerospace domain.

Denney, Ewen↗

NASA NTRS2016

Additive Manufacturing of Multifunctional Components Using High Density Carbon Nanotube Yarn Filaments

Additive manufacturing allows for design freedom and part complexity not currently attainable using traditional manufacturing technologies. Fused Filament Fabrication (FFF), for example, can yield novel component geometries and functionalities because the method provides a high level of control over material placement and processing conditions. This is achievable by extrusion of a preprocessed filament feedstock material along a predetermined path. However if fabrication of a multifunctional part relies only on conventional filament materials, it will require a different material for each unique functionality printed into the part. Carbon nanotubes (CNTs) are an attractive material for many applications due to their high specific strength as well as good electrical and thermal conductivity. The presence of this set of properties in a single material presents an opportunity to use one material to achieve multifunctionality in an additively manufactured part. This paper describes a recently developed method for processing continuous CNT yarn filaments into three-dimensional articles, and summarizes the mechanical, electrical, and sensing performance of the components fabricated in this way.

Gardner, John M.↗

NASA NTRSDate not supplied

CDC Bioreactor Configuration Method for Volume Level Control with Controlled Inlet and Outlet Flow

Environmental Control Life Support Systems and other microbiological biofilm studies often utilize small scale bioreactors. Among these options are the popular BioSurface CDC bioreactors, currently being utilized by Marshall Space Flight Center groups researching the impact of biofilms on life support systems. After a recent experimental regime, it was determined additional equipment could be added to augment the capabilities of the bioreactors. Previous research configurations such as ASTM E3161-21 relied on an outlet stream gravity draining from a side drain port located above sampling coupons. This limited applications to experimental conditions with a controlled inlet and uncontrolled outlet flow. With the introduction of a small single pole single throw (SPST) reed float switch and a peristaltic pump connected to the outlet drain and a chassis controller, the bioreactor is able to maintain a set level. The modification allows additional variables to be tested, including highly adjustable fill and flush cycles, bioreactor volume, draining and filling control. Once the configuration modifications were implemented through the installation of the new equipment, data was collected to ensure the stability of the level measurements. As the level control switch is a float switch, consideration was taken into account for effects of internal stirring speed, along with effects of inlet and outlet flow rate. Data presented in this study will illustrate the stability and effectiveness of the configuration changes in equipment made to the bioreactor. These configuration changes have demonstrated control method to conduct biofilm mitigation techniques for ECLSS hardware research. The controlled level capabilities allow for a constant drip feed flow rate into the bioreactors, a key aspect of the biofilm mitigation testing.

CDC Bioreactor↗

NASA NTRSDate not supplied

CDC Bioreactor Configuration Method for Volume Level Control with Controlled Inlet and Outlet Flow

Environmental Control Life Support Systems and other microbiological biofilm studies often utilize small scale bioreactors. Among these options are the popular BioSurface CDC bioreactors, currently being utilized by Marshall Space Flight Center groups researching the impact of biofilms on life support systems. After a recent experimental regime, it was determined additional equipment could be added to augment the capabilities of the bioreactors. Previous research configurations such as ASTM E3161-21 relied on an outlet stream gravity draining from a side drain port located above sampling coupons. This limited applications to experimental conditions with a controlled inlet and uncontrolled outlet flow. With the introduction of a small single pole single throw (SPST) reed float switch and a peristaltic pump connected to the outlet drain and a chassis controller, the bioreactor is able to maintain a set level. The modification allows additional variables to be tested, including highly adjustable fill and flush cycles, bioreactor volume, draining and filling control. Once the configuration modifications were implemented through the installation of the new equipment, data was collected to ensure the stability of the level measurements. As the level control switch is a float switch, consideration was taken into account for effects of internal stirring speed, along with effects of inlet and outlet flow rate. Data presented in this study will illustrate the stability and effectiveness of the configuration changes in equipment made to the bioreactor. These configuration changes have demonstrated control method to conduct biofilm mitigation techniques for ECLSS hardware research. The controlled level capabilities allow for a constant drip feed flow rate into the bioreactors, a key aspect of the biofilm mitigation testing.

CDC Bioreactor↗

NASA NTRSDate not supplied

CDC Bioreactor Configuration Method for Volume Level Control with Controlled Inlet and Outlet Flow

Environmental Control Life Support Systems and other microbiological biofilm studies often utilize small scale bioreactors. Among these options are the popular BioSurface CDC bioreactors, currently being utilized by Marshall Space Flight Center groups researching the impact of biofilms on life support systems. After a recent experimental regime, it was determined additional equipment could be added to augment the capabilities of the bioreactors. Previous research configurations such as ASTM E3161-21 relied on an outlet stream gravity draining from a side drain port located above sampling coupons. This limited applications to experimental conditions with a controlled inlet and uncontrolled outlet flow. With the introduction of a small single pole single throw (SPST) reed float switch and a peristaltic pump connected to the outlet drain and a chassis controller, the bioreactor is able to maintain a set level. The modification allows additional variables to be tested, including highly adjustable fill and flush cycles, bioreactor volume, draining and filling control. Once the configuration modifications were implemented through the installation of the new equipment, data was collected to ensure the stability of the level measurements. As the level control switch is a float switch, consideration was taken into account for effects of internal stirring speed, along with effects of inlet and outlet flow rate. Data presented in this study will illustrate the stability and effectiveness of the configuration changes in equipment made to the bioreactor. These configuration changes have demonstrated control method to conduct biofilm mitigation techniques for ECLSS hardware research. The controlled level capabilities allow for a constant drip feed flow rate into the bioreactors, a key aspect of the biofilm mitigation testing.

CDC Bioreactor↗