SEARCH · Search NASA
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.
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of their type refinement in COQ. Then the COQ proof assistant is used to prove the refinement correctness lemma. An example adapted from a protocol example illustrates our work.
Some refinements have been conceived for a proposed apparatus that would generate hydrogen (for use in a fuel cell) by means of chemical reactions among magnesium, magnesium hydride, and steam. The refinements lie in tailoring spatial and temporal distributions of steam and liquid water so as to obtain greater overall energy-storage or energy-generation efficiency than would otherwise be possible. A description of the prior art is prerequisite to a meaningful description of the present refinements. The hydrogen-generating apparatus in question is one of two versions of what was called the "advanced hydrogen generator" in "Fuel-Cell Power Systems Incorporating Mg-Based H2 Generators" (NPO-43554), NASA Tech Briefs, Vol. 33, No. 1 (January 2009), page 52. To recapitulate: The apparatus would include a reactor vessel that would be initially charged with magnesium hydride. The apparatus would exploit two reactions: The endothermic decomposition reaction MgH2-->Mg + H2, which occurs at a temperature greater than or equal to 300 C, and The exothermic oxidation reaction MgH2 + H2O MgO + 2H2, which occurs at a temperature greater than or equal to 330 C.
Grain refinement can significantly improve the mechanical properties of freeform-fabricated Ti-6Al-4V alloy, promoting increased strength and enhanced isotropy compared with coarser grained material. Large beta-grains can lead to a segregated microstructure, in regard to both alpha-phase morphology and alpha-lath orientation. Beam modulation, which has been used in conventional fusion welding to promote grain refinement, is explored in this study for use in additive manufacturing processes including electron beam freeform fabrication (EBF(sup 3)) and gas-tungsten arc (GTA) deposition to alter solidification behavior and produce a refined microstructure. The dynamic molten pool size induced by beam modulation causes rapid heat flow variance and results in a more competitive grain growth environment, reducing grain size. Consequently, improved isotropy and strength can be achieved with relatively small adjustments to deposition parameters.
An extension of the restricted Delaunay-refinement algorithm for three-dimensional tetrahedral mesh generation is described, in which an off-centre type point-placement scheme is utilised. It is shown that the use of generalised Steiner points, positioned along edges in the associated Voronoi complex, typically leads to improvements in the overall size, quality and grading of the resulting tetrahedral meshes. The new algorithm can be viewed as a Frontal-Delaunay approach - a hybridisation of conventional Delaunay-refinement and advancing-front techniques, in which new vertices are positioned to satisfy both element size- and shapeconstraints. The new method is shown to inherit many of the best features of classical Delaunay-refinement and advancing-front type algorithms, combining good practical performance with theoretical robustness. Experimental comparisons show that
A prior trade study established the effectiveness of using Active Flow Control (AFC) for reducing the mechanical complexities associated with a modern high-lift system without sacrificing aerodynamic performance at low-speed flight conditions representative of takeoff and landing. The current technical report expands on this prior work in two ways: (1) a refined conventional high-lift system based on the NASA Common Research Model (CRM) is presented that is more representative of modern commercial transport aircraft in terms of stall characteristics and maximum Lift/Drag (L/D) ratios at takeoff and landing-approach flight conditions; and (2) the design trade space for AFC-enabled high-lift systems is expanded to explore a wider range of options for improving their efficiency. The refined conventional high-lift CRM (HL-CRM) concept features leading edge slats and slotted trailing edge flaps with Fowler motion. For the current AFC-enhanced high lift system trade study, the refined conventional high-lift system is simplified by substituting simply-hinged trailing edge flaps for the slotted single-element flaps with Fowler motion. The high-lift performance of these two high-lift CRM variants is established using Computational Fluid Dynamics (CFD) solutions to the Reynolds-Averaged Navier-Stokes (RANS) equations. These CFD assessments identify the high-lift performance that needs to be recovered through AFC to have the CRM variant with the lighter and mechanically simpler high-lift system match the performance of the conventional high-lift system. In parallel to the conventional high-lift concept development, parametric studies using CFD guided the development of an effective and efficient AFC-enabled simplified high-lift system. This included parametric trailing edge flap geometry studies addressing the effects of flap chord length and flap deflection. As for the AFC implementation, scaling effects (i.e., wind-tunnel versus full-scale flight conditions) are addressed, as are AFC architecture aspects such as AFC unit placement, number AFC units, operating pressures, mass flow rates, and steady versus unsteady AFC applications. These efforts led to the development of a novel traversing AFC actuation concept which is efficient in that it reduces the AFC mass flow requirements by as much as an order of magnitude compared to previous AFC technologies, and it is predicted to be effective in driving the aerodynamic performance of a mechanical simplified high-lift system close to that of the reference conventional high-lift system. Conceptual system integration studies were conducted for the AFC-enhanced high-lift concept applied to a NASA Environmentally Responsible Aircraft (ERA) reference configuration, the so-called ERA-0003 concept. The results from these design integration assessments identify overall system performance improvement opportunities over conventional high-lift systems that suggest the viability of further technology maturation efforts for AFC-enabled high lift flap systems. To that end, technical challenges are identified associated with the application of AFC-enabled high-lift systems to modern transonic commercial transports for future technology maturation efforts.
This paper describes the recently developed point of departure design for a long duration, reusable Mars Transit Habitat, which was established during a 2016 NASA habitat design refinement activity supporting the definition of NASA's Evolvable Mars Campaign. As part of its development of sustainable human Mars mission concepts achievable in the 2030s, the Evolvable Mars Campaign has identified desired durations and mass/dimensional limits for long duration Mars habitat designs to enable the currently assumed solar electric and chemical transportation architectures. The Advanced Exploration Systems Mars Transit Habitat Refinement Activity brought together habitat subsystem design expertise from across NASA to develop an increased fidelity, consensus design for a transit habitat within these constraints. The resulting design and data (including a mass equipment list) contained in this paper are intended to help teams across the agency and potential commercial, academic, or international partners understand: 1) the current architecture/habitat guidelines and assumptions, 2) performance targets of such a habitat (particularly in mass, volume, and power), 3) the driving technology/capability developments and architectural solutions which are necessary for achieving these targets, and 4) mass reduction opportunities and research/design needs to inform the development of future research and proposals. Data presented includes: an overview of the habitat refinement activity including motivation and process when informative; full documentation of the baseline design guidelines and assumptions; detailed mass and volume breakdowns; a moderately detailed concept of operations; a preliminary interior layout design with rationale; a list of the required capabilities necessary to enable the desired mass; and identification of any worthwhile trades/analyses which could inform future habitat design efforts. As a whole, the data in the paper show that a transit habitat meeting the 43 metric tons launch mass/trans-Mars injection burn limits specified by the Evolvable Mars Campaign is achievable near the desired timeframe with moderate strategic investments including maintainable life support systems, repurposable structures and packaging, and lightweight exercise modalities. It also identifies operational and technological options to reduce this mass to less than 41 metric tons including staging of launch structure/packaging and alternate structural materials.
A systematic grid refinement study is presented for numerical simulations of a partially-dressed, cavity-closed (PDCC) nose landing gear configuration that was tested in the University of Florida's open-jet acoustic facility known as the UFAFF. The unstructured-grid flow solver FUN3D is used to compute the unsteady flow field for this configuration. Mixed-element grids generated using the Pointwise (Registered Trademark) grid generation software are used for numerical simulations. Particular care is taken to ensure quality cells and proper resolution in critical areas of interest in an effort to minimize errors introduced by numerical artifacts. A set of grids was generated in this manner to create a family of uniformly refined grids. The finest grid was then modified to coarsen the wall-normal spacing to create a grid suitable for the wall-function implementation in FUN3D code. A hybrid Reynolds-averaged Navier-Stokes/large eddy simulation (RANS/LES) turbulence modeling approach is used for these simulations. Time-averaged and instantaneous solutions obtained on these grids are compared with the measured data. These CFD solutions are used as input to a FfowcsWilliams-Hawkings (FW-H) noise propagation code to compute the farfield noise levels. The agreement of the computed results with the experimental data improves as the grid is refined.
This paper addresses three topics: 1) EOPP (EOP (Earth Orientation Prediction) Parameters) file modification, 2) Kalman filter parameter tuning regarding maneuvers and 3) off-pointing GPS (Global Positioning System) tracking capability. GOES-R (Geostationary Operational Environmental Satellite-R Series) is the first in a 4-part series of new weather satellites set to replace and upgrade the older GOES constellation. Two GOES-R series have been launched to date, GOES-S and GOES-R. GOES-R is operational over the Eastern United States and GOES-S over the West. The Global Positioning System Receiver (GPSR) on board this geostationary weather satellite is a mission critical enabling technology which has been both tested on the ground and evaluated on-orbit to verify its effectivity. Since becoming operational in November 2016, the GPSR onboard has performed extremely well under nominal circumstances. Further refinements regarding a variety of facets have taken place since the launch of GOES-R. One such refinement was the implementation of a modified EOP (Earth Orientation Prediction) parameter set to improve ECEF (Earth Centered Earth Fixed) to ECI (Earth Centered Inertial) transformation by restoring zonal tides removed from the EOP parameter fit per tech note 36. Another relevant refinement combined thermal consideration with Kalman filter tuning to improve orbit determination performance during maneuvers. Now with two years of data and two vehicles in orbit many capabilities of the GPSR have been identified and defined to a higher degree. For example, metrics on side-lobe tracking and off-Nadir tracking capabilities have been quantified to a high degree. This paper will seek to supplement the ESA (European Space Agency) GNC 2017 GOES-R GPSR performance paper as a deeper dive on specific tracking capabilities and performance improvements now implemented on the GOES-R and GOES-S vehicles.
The Plankton, Aerosol, Cloud, and ocean Ecosystem (PACE) mission is NASA’s next investment in ocean biology, clouds, and aerosol data records. A key feature of PACE is the inclusion of an advanced satellite radiometer, Ocean Color Instrument (OCI), a global mapping radiometer that combines multispectral and hyperspectral remote sensing. The geolocation processing is performed for OCI using spacecraft navigation data and an instrument geometry model. To evaluate the geolocation accuracy for OCI and develop refinements to the processing methods, control point matching using Landsat data has been implemented as a step in the operational processing of OCI data at the Science Data Segment. This processing provides between 200 and 300 high-quality matchups per day with good global and geometric distribution, allowing rapid evaluation of the OCI geolocation accuracy. The results provided an early indication of the overall quality of the geolocation processing and of specific aspects needing improvement. A standard set of granules was identified to support rapid implementation and testing of geolocation refinements, and this approach has been highly successful in improving the geolocation processing accuracy to meet the science requirements. The evaluation will continue throughout the mission to ensure the ongoing accuracy of geolocation. This paper describes the control point matching methodology, the approach to development of the geolocation processing refinements, and the recent results.
The Plankton, Aerosol, Cloud, and ocean Ecosystem (PACE) mission is NASA’s next investment in ocean biology, clouds, and aerosol data records. A key feature of PACE is the inclusion of an advanced satellite radiometer, Ocean Color Instrument (OCI), a global mapping radiometer that combines multispectral and hyperspectral remote sensing. The geolocation processing is performed for OCI using spacecraft navigation data and an instrument geometry model. To evaluate the geolocation accuracy for OCI and develop refinements to the processing methods, control point matching using Landsat data has been implemented as a step in the operational processing of OCI data at the Science Data Segment. This processing provides between 200 and 300 high-quality matchups per day with good global and geometric distribution, allowing rapid evaluation of the OCI geolocation accuracy. The results provided an early indication of the overall quality of the geolocation processing and of specific aspects needing improvement. A standard set of granules was identified to support rapid implementation and testing of geolocation refinements, and this approach has been highly successful in improving the geolocation processing accuracy to meet the science requirements. The evaluation will continue throughout the mission to ensure the ongoing accuracy of geolocation. This paper describes the control point matching methodology, the approach to development of the geolocation processing refinements, and the recent results.
The Multi-angle Imaging SpectroRadiometer (MISR) is one of five instruments on-board the EOSI Terra spacecraft, and has collected science data since March 2000. A multi-angle capability is provided by ninecameras, which view up to 70' forward and aft of the spacecraft track and enable unique geophysical retrievals. Throughout its mission, a calibration team has made periodic refinements to the process used to calibrate MISR. These have resulted in improved absolute, and band and camera-relative calibrations, as well as in derived geophysical data products. Data reprocessing is on-going, such that these refinements also improve previous data acquisitions. The calibration process is believed to be mature at this time, with no other changes anticipated. Bimonthly deployments of the on-board-calibrator continue to monitor instrument response degradations, and provide correction coefficients needed to maintain the accuracy of the radiance products.
A coordinated use of two finite-element models of different levels of refinement is presented to reduce the computer cost of the repetitive flutter analysis commonly encountered in structural resizing to meet flutter requirements. One model, termed a refined model (RM), represents a high degree of detail needed for strength-sizing and flutter analysis of an airframe. The other model, called a simplified model (SM), has a relatively much smaller number of elements and degrees-of-freedom. A systematic method of deriving an SM from a given RM is described. The method consists of judgmental and numerical operations to make the stiffness and mass of the SM elements equivalent to the corresponding substructures of RM. The structural data are automatically transferred between the two models. The bulk of analysis is performed on the SM with periodical verifications carried out by analysis of the RM. In a numerical example of a supersonic cruise aircraft with an arrow wing, this approach permitted substantial savings in computer costs and acceleration of the job turn-around.
Reflector directs intense, sharply focused heat precisely where it is needed for zone-refining semiconductor materials. Reflector is especially suited for compound semiconductors which must be sealed inside capsule to prevent vaporizing during zone refining. Device is flattened toroid with elliptical-cross-section, much like horizontal partly-inflated inner tube.
Over-the-highway fuel consumption and coastdown drag tests were performed on cab-over-engine, van type trailer trucks and modifications of these vehicles incorporating refinements in aerodynamic design. In addition, 1/25-scale models of these configurations, and derivatives of these configurations were tested in a wind tunnel to determine the effects of wind on the magnitude of the benefits that aerodynamic refinements can provide. The results of these tests are presented for a vehicle incorporating major redesign features and for a relatively simple add-on modification. These results include projected fuel savings on the basis of annual savings per vehicle year as well as probable nationwide fuel savings.
The relationship between fluid flow phenomena, nucleation, and grain refinement in solidifying metals both in the presence and in the absence of a gravitational field was investigated. The reduction of grain size in hard-to-process melts; the effects of undercooling on structure in solidification processes, including rapid solidification processing; and control of this undercooling to improve structures of solidified melts are considered. Grain refining and supercooling thermal modeling of the solidification process, and heat and fluid flow phenomena in the levitated metal droplets are described.
A method of adaptive grid refinement for the solution of the steady Euler equations for transonic flow is presented. Algorithm automatically decides where the coarse grid accuracy is insufficient, and creates locally uniform refined grids in these regions. This typically occurs at the leading and trailing edges. The solution is then integrated to steady state using the same integrator (FLO52) in the interior of each grid. The boundary conditions needed on the fine grids are examined and the importance of treating the fine/coarse grid inerface conservatively is discussed. Numerical results are presented.
The development of two high Reynolds number wind tunnels at NASA Langley Research Center which operate at cryogenic temperatures with high dynamic pressures has imposed severe requirements on materials for model construction. Existing commercial high strength steels lack sufficient toughness to permit their safe use at temperatures approaching that of liquid nitrogen (-320 F). Therefore, a program to improve the cryogenic toughness of commercial high strength steels was conducted. Significant improvement in the cryogenic toughness of commercial high strength martensitic and maraging steels was demonstrated through the use of grain refining heat treatments. Charpy impact strength at -320 F was increased by 50 to 180 percent for the various alloys without significant loss in tensile strength. The grain sizes of the 9 percent Ni-Co alloys and 200 grade maraging steels were reduced to 1/10 of the original size or smaller, with the added benefit of improved machinability. This grain refining technique should permit these alloys with ultimate strengths of 220 to 270 ksi to receive consideration for cryogenic service.
A method of adaptive grid refinement for the solution of the steady Euler equations for transonic flow is presented. Algorithm automatically decides where the coarse grid accuracy is insufficient, and creates locally uniform refined grids in these regions. This typically occurs at the leading and trailing edges. The solution is then integrated to steady state using the same integrator (FL052) in the interior of each grid. The boundary conditions needed on the fine grids are examined and the importance of treating the fine/coarse grid interface conservatively is discussed. Numerical results are presented.