Search NASA⌕ Search

SEARCH · Search NASA

Results for “Upper bounds”

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 487 records · Page 27

Development of a Test Facility for Air Revitalization Technology Evaluation

An active fault tolerant control (FTC) law is generally sensitive to false identification since the control gain is reconfigured for fault occurrence. In the conventional FTC law design procedure, dynamic variations due to false identification are not considered. In this paper, an FTC synthesis method is developed in order to consider possible variations of closed-loop dynamics under false identification into the control design procedure. An active FTC synthesis problem is formulated into an LMI optimization problem to minimize the upper bound of the induced-L2 norm which can represent the worst-case performance degradation due to false identification. The developed synthesis method is applied for control of the longitudinal motions of FASER (Free-flying Airplane for Subscale Experimental Research). The designed FTC law of the airplane is simulated for pitch angle command tracking under a false identification case.

Lu, Sao-Dung↗

Considerations for Isochronous Data Services over the Proximity-1 Space Link

Future mission concepts for robotic and human explorations will involve a high level of real time control/monitoring operations such as tele-operation for spacecraft rendezvous and surface mobile platforms carrying life-support equipments. The timely dissemination of voice, command, and real-time telemetry for monitoring and coordination purposes is critical for mission success. It is envisioned that future missions will require a network infrastructure capable of supporting isochronous data services. The CCSDS Proximity-1 Space Link Protocol1 could be used to provide isochronous service over the surface-to-Earth relay as well as "beyond-the-horizon" communications between distant Lunar or Mars surface elements. This paper will analyze the latency, jitter, and throughput performance of the Proximity-1 protocol for isochronous applications. In particular we will focus on constrained scenarios where the protocol operates in full-duplex mode, carrying isochronous traffic in one direction and error-controlled traffic in the other direction. We analyze the impact of the strict priority scheme in Proximity-1 on delay jitter and the impact of the isochronous traffic on the efficiency of the reliable data transfer in the other direction, and discuss methods for performance optimization. In general, jitter performance is driving by relative loading of isochronous traffic on the forward link compared to the acknowledgement traffic. Under light loading condition, the upper-bound of the delay jitter is the transmission duration of an acknowledgement frame on the forward link; for higher loading scenarios, the maximum jitter is scaled up by the inverse of the residual bandwidth, i.e., the spare capacity available in the forward link to carry isochronous traffic.

isochronous communications↗

Optimal Binarization of Gray-Scaled Digital Images via Fuzzy Reasoning

A technique for finding an optimal threshold for binarization of a gray scale image employs fuzzy reasoning. A triangular membership function is employed which is dependent on the degree to which the pixels in the image belong to either the foreground class or the background class. Use of a simplified linear fuzzy entropy factor function facilitates short execution times and use of membership values between 0.0 and 1.0 for improved accuracy. To improve accuracy further, the membership function employs lower and upper bound gray level limits that can vary from image to image and are selected to be equal to the minimum and the maximum gray levels, respectively, that are present in the image to be converted. To identify the optimal binarization threshold, an iterative process is employed in which different possible thresholds are tested and the one providing the minimum fuzzy entropy measure is selected.

Dominguez, Jesus A.↗

Comparing Consider-Covariance Analysis with Sigma-Point Consider Filter and Linear-Theory Consider Filter Formulations

Recent literature in applied estimation theory reflects growing interest in the sigma-point (also called unscented ) formulation for optimal sequential state estimation, often describing performance comparisons with extended Kalman filters as applied to specific dynamical problems [c.f. 1, 2, 3]. Favorable attributes of sigma-point filters are described as including a lower expected error for nonlinear even non-differentiable dynamical systems, and a straightforward formulation not requiring derivation or implementation of any partial derivative Jacobian matrices. These attributes are particularly attractive, e.g. in terms of enabling simplified code architecture and streamlined testing, in the formulation of estimators for nonlinear spaceflight mechanics systems, such as filter software onboard deep-space robotic spacecraft. As presented in [4], the Sigma-Point Consider Filter (SPCF) algorithm extends the sigma-point filter algorithm to the problem of consider covariance analysis. Considering parameters in a dynamical system, while estimating its state, provides an upper bound on the estimated state covariance, which is viewed as a conservative approach to designing estimators for problems of general guidance, navigation and control. This is because, whether a parameter in the system model is observable or not, error in the knowledge of the value of a non-estimated parameter will increase the actual uncertainty of the estimated state of the system beyond the level formally indicated by the covariance of an estimator that neglects errors or uncertainty in that parameter. The equations for SPCF covariance evolution are obtained in a fashion similar to the derivation approach taken with standard (i.e. linearized or extended) consider parameterized Kalman filters (c.f. [5]). While in [4] the SPCF and linear-theory consider filter (LTCF) were applied to an illustrative linear dynamics/linear measurement problem, in the present work examines the SPCF as applied to nonlinear sequential consider covariance analysis, i.e. in the presence of nonlinear dynamics and nonlinear measurements. A simple SPCF for orbit determination, exemplifying an algorithm hosted in the guidance, navigation and control (GN&C) computer processor of a hypothetical robotic spacecraft, was implemented, and compared with an identically-parameterized (standard) extended, consider-parameterized Kalman filter. The onboard filtering scenario examined is a hypothetical spacecraft orbit about a small natural body with imperfectly-known mass. The formulations, relative complexities, and performances of the filters are compared and discussed.

Lisano, Michael E.↗

Considerations for Isochronous Data Services over the Proximity-1 Space Link

Future mission concepts for robotic and human explorations will involve a high level of real time control/monitoring operations such as tele-operation for spacecraft rendezvous and surface mobile platforms carrying life-support equipments. The timely dissemination of voice, command, and real-time telemetry for monitoring and coordination purposes is critical for mission success. It is envisioned that future missions will require a network infrastructure capable of supporting isochronous data services. The CCSDS Proximity-1 Space Link Protocol1 could be used to carry isochronous traffic. This paper we will focus on the data link layer portion of the Proximity-1 protocol specification and analyze its jitter and performance for supporting isochronous applications. In particular we will focus on constrained scenarios where the protocol operates in full-duplex mode, carrying isochronous traffic in one direction and error-controlled traffic in the other direction. We analyze the impact of the strict priority scheme in Proximity-1 used to arbitrate channel access on the latency jitter of the isochronous traffic and the efficiency of the reliable data transfer. In general, jitter performance is driven by the loading of the acknowledgement traffic on the forward link. Under light loading condition, the upper-bound of the delay jitter is the transmission duration of an acknowledgement frame on the forward link; for higher loading scenarios, the maximum jitter is scaled up by the inverse of the residual bandwidth, i.e., the spare capacity available in the forward link after accounting for the acknowledgement traffic. We derive analytical expression on the maximum jitter and discuss its performance.

space link↗

Addressing the Limit of Detectability of Residual Oxide Discontinuities in Friction Stir Butt Welds of Aluminum using Phased Array Ultrasound

This activity seeks to estimate a theoretical upper bound of detectability for a layer of oxide embedded in a friction stir weld in aluminum. The oxide is theoretically modeled as an ideal planar layer of aluminum oxide, oriented normal to an interrogating ultrasound beam. Experimentally-measured grain scattering level is used to represent the practical noise floor. Echoes from naturally-occurring oxides will necessarily fall below this theoretical limit, and must be above the measurement noise to be potentially detectable.

Johnston, P. H.↗

The CME Flare Arcade and the Width of the CME in the Outer Corona

Moore, Sterling, & Suess (2007, ApJ, 668, 1221) present evidence that (1) a CME is typically a magnetic bubble, a low-beta gplasmoid with legs h having roughly the 3D shape of a light bulb, and (2) in the outer corona the CME plasmoid is in lateral pressure equilibrium with the ambient magnetic field. They present three CMEs observed by SOHO/LASCO, each from a very different source located near the limb. One of these CMEs came from a compact ejective eruption from a small part of a sunspot active region, another came from a large quiet-region filament eruption, and the third CME, an extremely large and fast one, was produced in tandem with an X20 flare arcade that was centered on a huge delta sunspot. Each of these CMEs had more or less the classic lightbulb silhouette and attained a constant heliocentric angular width in the outer corona. This indicates that the CME plasmoid attained lateral magnetic pressure balance with the ambient radial magnetic field in the outer corona. This lateral pressure balance, together with the standard scenario for CME production by the eruption of a sheared-core magnetic arcade, yields the following simple estimate of the strength B(sub Flare) of the magnetic field in the flare arcade produced together with the CME: B(sub Flare) 1.4(theta CME/theta Flare)sup 2 G, where theta (sub CME) is the heliocentric angular width of the CME plasmoid in the outer corona and theta (sub Flare) is the heliocentric angular width of the full-grown flare arcade. Conversely, theta (sub CME) approximately equal to (R(sub Sun)sup -1(phi(sub Flare)/1.4)sup 1/2 radians, where Flare is the magnetic flux covered by the full-grown flare arcade. In addition to presenting the three CMEs of Moore, Sterling, & Suess (2007) and their agreement with this relation between CME and Flare, we present a further empirical test of this relation. For CMEs that erupt from active regions, the co-produced flare arcade seldom if ever covers the entire active region: if AR is the total magnetic flux of the active region, Flare . AR, and we predict that CME. (R(sub Sun))sup -1(theta AR/1.4)sup 1/2 radians. For a random sample of 31 CMEs that erupted from active regions within 30 of the limb, for each CME we have measured CME from LASCO/C3 and have measured AR from a SOHO/MDI magnetogram of the source active region when it was within 30 of disk center. We find that each CME obeys the above predicted inequality, none having width greater than half of the upper bound given by theta(sub AR). Thus, an active region's magnetic flux content, together with its location on the solar disk, largely determines whether the active region can possibly produce a CME that is wide enough to intercept the Earth.

Moore, Ron↗

The Flare/CME Connection

We present evidence supporting the view that, while many flares are produced by a confined magnetic explosion that does not produce a CME, every CME is produced by an ejective magnetic explosion that also produces a flare. The evidence is that the observed heliocentric angular width of the full-blown CME plasmoid in the outer corona (at 3 to 20 solar radii) is about that predicted by the standard model for CME production, from the amount of magnetic flux covered by the co-produced flare arcade. In the standard model, sheared and twisted sigmoidal field in the core of an initially closed magnetic arcade erupts. As it erupts, tether-cutting reconnection, starting between the legs of the erupting sigmoid and continuing between the merging stretched legs of the enveloping arcade, simultaneously produces a growing flare arcade and unleashes the erupting sigmoid and arcade to become the low-beta plasmoid (magnetic bubble) that becomes the CME. The flare arcade is the downward product of the reconnection and the CME plasmoid is the upward product. The unleashed, expanding CME plasmoid is propelled into the outer corona and solar wind by its own magnetic field pushing on the surrounding field in the inner and outer corona. This tether-cutting scenario predicts that the amount of magnetic flux in the full-blown CME plasmoid nearly equals that covered by the full-grown flare arcade. This equality predicts (1) the field strength in the flare region from the ratio of the angular width of the CME in the outer corona to angular width of the full-grown flare arcade, and (2) an upper bound on the angular width of the CME in the outer corona from the total magnetic flux in the active region from which the CME explodes. We show that these predictions are fulfilled by observed CMEs. This agreement validates the standard model. The model explains (1) why most CMEs have much greater angular widths than their co-produced flares, and (2) why the radial path of a CME in the outer corona can be laterally far offset from the co-produced flare.

Moore, Ron↗

Estimating Shock Spectra: Extensions beyond GEVS

Shock response spectra (SRS) are the standard description of some vibration environments on spacecraft for equipment qualification. For shock events produced by pyrotechnic devices, SRS can have significant frequency content as high as 10 kHz. It is difficult to construct and analyze finite element models that can resolve dynamic behavior at such high frequencies. GEVS provides simple, empirically based methods for approximating the SRS for a wide variety of shock events. It begins with a base SRS according to the type of pyrotechnic device, and then provides attenuation relations to adjust this SRS according to distance from the shock source, the type of structural frame and the properties of any structural joints between the source and equipment. In our paper we extend GEVS to include more detailed information about the spacecraft structure. To retain the general framework of GEVS, we begin with a base SRS and adjust this SRS using attenuation relations. We use modal and traveling wave concepts to derive the attenuation relations for simple canonical structures. Then we show how these concepts can be used to analyze more complex structures using finite element mode shapes to explicitly calculate the attenuation factors. Since the low- to mid-frequency finite element modal information is extrapolated to obtain the low- to high-frequency attenuation relations, the resulting attenuated SRS is formulated as an upper bound rather than as mean predicted values. We illustrate the extended GEVS approach by analyzing the impact response of composite tubes and the shock response of the STEREO spacecraft.

Igusa, Takeru↗

Model-Checking with Edge-Valued Decision Diagrams

We describe an algebra of Edge-Valued Decision Diagrams (EVMDDs) to encode arithmetic functions and its implementation in a model checking library along with state-of-the-art algorithms for building the transition relation and the state space of discrete state systems. We provide efficient algorithms for manipulating EVMDDs and give upper bounds of the theoretical time complexity of these algorithms for all basic arithmetic and relational operators. We also demonstrate that the time complexity of the generic recursive algorithm for applying a binary operator on EVMDDs is no worse than that of Multi-Terminal Decision Diagrams. We have implemented a new symbolic model checker with the intention to represent in one formalism the best techniques available at the moment across a spectrum of existing tools: EVMDDs for encoding arithmetic expressions, identity-reduced MDDs for representing the transition relation, and the saturation algorithm for reachability analysis. We compare our new symbolic model checking EVMDD library with the widely used CUDD package and show that, in many cases, our tool is several orders of magnitude faster than CUDD.

Roux, Pierre↗

The Limits of Coding with Joint Constraints on Detected and Undetected Error Rates

We develop a remarkably tight upper bound on the performance of a parameterized family of bounded angle maximum-likelihood (BA-ML) incomplete decoders. The new bound for this class of incomplete decoders is calculated from the code's weight enumerator, and is an extension of Poltyrev-type bounds developed for complete ML decoders. This bound can also be applied to bound the average performance of random code ensembles in terms of an ensemble average weight enumerator. We also formulate conditions defining a parameterized family of optimal incomplete decoders, defined to minimize both the total codeword error probability and the undetected error probability for any fixed capability of the decoder to detect errors. We illustrate the gap between optimal and BA-ML incomplete decoding via simulation of a small code.

Undetected Error Rate↗

Cancer Risk Map for the Surface of Mars

We discuss calculations of the median and 95th percentile cancer risks on the surface of Mars for different solar conditions. The NASA Space Radiation Cancer Risk 2010 model is used to estimate gender and age specific cancer incidence and mortality risks for astronauts exploring Mars. Organ specific fluence spectra and doses for large solar particle events (SPE) and galactic cosmic rays (GCR) at various levels of solar activity are simulated using the HZETRN/QMSFRG computer code, and the 2010 version of the Badhwar and O Neill GCR model. The NASA JSC propensity model of SPE fluence and occurrence is used to consider upper bounds on SPE fluence for increasing mission lengths. In the transport of particles through the Mars atmosphere, a vertical distribution of Mars atmospheric thickness is calculated from the temperature and pressure data of Mars Global Surveyor, and the directional cosine distribution is implemented to describe the spherically distributed atmospheric distance along the slant path at each elevation on Mars. The resultant directional shielding by Mars atmosphere at each elevation is coupled with vehicle and body shielding for organ dose estimates. Astronaut cancer risks are mapped on the global topography of Mars, which was measured by the Mars Orbiter Laser Altimeter. Variation of cancer risk on the surface of Mars is due to a 16-km elevation range, and the large difference is obtained between the Tharsis Montes (Ascraeus, Pavonis, and Arsia) and the Hellas impact basin. Cancer incidence risks are found to be about 2-fold higher than mortality risks with a disproportionate increase in skin and thyroid cancers for all astronauts and breast cancer risk for female astronauts. The number of safe days on Mars to be below radiation limits at the 95th percent confidence level is reported for several Mission design scenarios.

Kim, Myung-Hee Y.↗

Minimum Landing Error Powered-Descent Guidance for Planetary Missions

An algorithm improves the accuracy with which a lander can be delivered to the surface of Mars. The main idea behind this innovation is the use of a lossless convexification, which converts an otherwise non-convex constraint related to thruster throttling to a convex constraint, enabling convex optimization to be used. The convexification leads directly to an algorithm that guarantees finding the global optimum of the original nonconvex optimization problem with a deterministic upper bound on the number of iterations required for convergence. In this innovation, previous work in powered-descent guidance using convex optimization is extended to handle the case where the lander must get as close as possible to the target given the available fuel, but is not required to arrive exactly at the target. The new algorithm calculates the minimum-fuel trajectory to the target, if one exists, and calculates the trajectory that minimizes the distance to the target if no solution to the target exists. This approach poses the problem as two Second-Order Cone Programs, which can be solved to global optimality with deterministic bounds on the number of iterations required.

Blackmore, Lars↗

Availability Estimation for Facilities in Extreme Geographical Locations

A value added analysis for the Reliability. Availability and Maintainability of McMurdo Ground Station was developed, which will be a useful tool for system managers in sparing, maintenance planning and determining vital performance metrics needed for readiness assessment of the upgrades to the McMurdo System. Output of this study can also be used as inputs and recommendations for the application of Reliability Centered Maintenance (RCM) for the system. ReliaSoft's BlockSim. a commercial Reliability Analysis software package, has been used to model the availability of the system upgrade to the National Aeronautics and Space Administration (NASA) Near Earth Network (NEN) Ground Station at McMurdo Station in the Antarctica. The logistics challenges due to the closure of access to McMurdo Station during the Antarctic winter was modeled using a weighted composite of four Weibull distributions. one of the possible choices for statistical distributions throughout the software program and usually used to account for failure rates of components supplied by different manufacturers. The inaccessibility of the antenna site on a hill outside McMurdo Station throughout one year due to severe weather was modeled with a Weibull distribution for the repair crew availability. The Weibull distribution is based on an analysis of the available weather data for the antenna site for 2007 in combination with the rules for travel restrictions due to severe weather imposed by the administrating agency, the National Science Foundation (NSF). The simulations resulted in an upper bound for the system availability and allowed for identification of components that would improve availability based on a higher on-site spare count than initially planned.

Fischer, Gerd M.↗

Tunable architecture for aircraft fault detection

A method for detecting faults in an aircraft is disclosed. The method involves predicting at least one state of the aircraft and tuning at least one threshold value to tightly upper bound the size of a mismatch between the at least one predicted state and a corresponding actual state of the non-faulted aircraft. If the mismatch between the at least one predicted state and the corresponding actual state is greater than or equal to the at least one threshold value, the method indicates that at least one fault has been detected.

Ganguli, Subhabrata↗

Deep Space Habitat Configurations Based On International Space Station Systems

A Deep Space Habitat (DSH) is the crew habitation module designed for long duration missions. Although humans have lived in space for many years, there has never been a habitat beyond low-Earth-orbit. As part of the Advanced Exploration Systems (AES) Habitation Project, a study was conducted to develop weightless habitat configurations using systems based on International Space Station (ISS) designs. Two mission sizes are described for a 4-crew 60-day mission, and a 4-crew 500-day mission using standard Node, Lab, and Multi-Purpose Logistics Module (MPLM) sized elements, and ISS derived habitation systems. These durations were selected to explore the lower and upper bound for the exploration missions under consideration including a range of excursions within the Earth-Moon vicinity, near earth asteroids, and Mars orbit. Current methods for sizing the mass and volume for habitats are based on mathematical models that assume the construction of a new single volume habitat. In contrast to that approach, this study explored the use of ISS designs based on existing hardware where available and construction of new hardware based on ISS designs where appropriate. Findings included a very robust design that could be reused if the DSH were assembled and based at the ISS and a transportation system were provided for its return after each mission. Mass estimates were found to be higher than mathematical models due primarily to the use of multiple ISS modules instead of one new large module, but the maturity of the designs using flight qualified systems have potential for improved cost, schedule, and risk benefits.

Smitherman, David↗

Deep Space Habitat Configurations Based on International Space Station Systems

A Deep Space Habitat (DSH) is the crew habitation module designed for long duration missions. Although humans have lived in space for many years, there has never been a habitat beyond low-Earth-orbit. As part of the Advanced Exploration Systems (AES) Habitation Project, a study was conducted to develop weightless habitat configurations using systems based on International Space Station (ISS) designs. Two mission sizes are described for a 4-crew 60-day mission, and a 4-crew 500-day mission using standard Node, Lab, and Multi-Purpose Logistics Module (MPLM) sized elements, and ISS derived habitation systems. These durations were selected to explore the lower and upper bound for the exploration missions under consideration including a range of excursions within the Earth-Moon vicinity, near earth asteroids, and Mars orbit. Current methods for sizing the mass and volume for habitats are based on mathematical models that assume the construction of a new single volume habitat. In contrast to that approach, this study explored the use of ISS designs based on existing hardware where available and construction of new hardware based on ISS designs where appropriate. Findings included a very robust design that could be reused if the DSH were assembled and based at the ISS and a transportation system were provided for its return after each mission. Mass estimates were found to be higher than mathematical models due primarily to the use of multiple ISS modules instead of one new large module, but the maturity of the designs using flight qualified systems have potential for improved cost, schedule, and risk benefits.

Smitherman, David↗

NASA's Next Solar Sail: Lessons Learned from NanoSail - D2

NanoSail-D2 unfurled January 17th, 2011 and commenced a nine month Low Earth Orbit path to reentry to evaluate a sail's capacity to deploy in space and deorbit satellites. The orbit was strongly affected by variables including but not limited to: initial attitude, orbit lighting, solar radiation pressure, aerodynamic drag, gravity, and Center of Pressure offsets. The effects of these variables were evaluated through a 3-DOF rigid body simulation. The sail experienced stability in orbits which were continuously lit, i.e. did not orbit behind Earth. Probable drag area experienced by the sail for the mission is also estimated from orbital data and compared to the attitude simulation results. Analysis focuses on sail behavior in full lighting conditions to establish the limits of the sails stability in full lighting. Solar radiation pressure, aerodynamic drag, and gravity torque effects are described. Lastly, a reasonable upper bound on the variation of the Center of Pressure from the geometric center of the sail plane is established. Each of these results contributes to the design requirements for future solar sails.

Katan, Chelsea↗