Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Generation limits”

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 739 records · Page 41
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Elevating the Quality of Space Omics Sequencing Data: Innovations and Methodologies from NASA GeneLab Sample Processing Laboratory

NASA’s GeneLab, part of the NASA Open Science Data Repository, is a space-related database that hosts a diverse range of transcriptomics, proteomics, epigenomics and genomics data. The NASA GeneLab Sample Processing Laboratory (SPL) generates omics data from biological experiments conducted aboard the International Space Station, Space Shuttle and space related ground experiments, this omics data then hosted on the GeneLab repository. Samples generated such experiments pose numerous technical challenges such as small experimental sample size, variance in dissection times, limited tissue preservation methods, prolonged storage time, and more. GeneLab SPL team had developed specialized expertise in nucleic acid extraction, library preparation and sequencing of such biological samples via extensive training and years of experience. In order to ensure data accuracy and consistency across experiments, SPL has developed standardized protocols for each species and tissue type. These protocols in conjunction with quality control metrics and data standards are crucial in generating of high-quality data. SPL protocols and standards have been developed in collaboration with the scientific community and had been made publicly available on the GeneLab portal, guaranteeing comparability of datasets across spaceflight experiments. To ensure reliability of data generation, SPL leverages cutting-edge innovations in laboratory automation for sample processing. By leveraging these state-of-the-art platforms, SPL achieves high levels of data reproducibility while significantly minimizing sources of bias and variability, especially across experiments with large numbers of samples. Over the past few years, the space biology investigator community has accessed SPL-generated data from the Open Science Data Repository for a myriad of data re-analysis and re-use studies. We observe a trend that in-house SPL-generated data consistently outperforms outsourced sequencing data in terms of technical standards, quality control metrics, timeliness of data delivery, and sequencing and reagent efficiency. Superior data generation has and will continue to enable discoveries in disease, diagnostic tools, and the biological effects of long duration spaceflight.

GeneLab↗
NASA NTRS1976

Numerical Studies of Three-dimensional Breakdown in Trailing Vortex Wakes

Finite element, three dimensional relaxation methods are used to calculate the development of vortex wakes behind aircraft for a considerable downstream distance. The inclusion of a self-induction term in the solution, dependent upon local curvature and vortex core radius, permits calculation of finite lifetimes for systems for which infinite life would be predicted two dimensionally. The associated computer program is described together with single-pair, twin-pair, and multiple-pair studies carried out using it. It is found, in single-pair studies, that there is a lower limit to the wavelengths at which the Crow-type of instability can occur. Below this limit, self-induction effects cause the plane of the disturbance waves to rotate counter to the vortex direction. Self induction in two dimensionally generated twin spiral waves causes an increase in axial length which becomes more marked with decreasing initial wavelength. The time taken for vortex convergence toward the center plane is correspondingly increased. The limited parametric twin-pair study performed suggests that time-to-converge increases with increasing flap span. Limited studies of Boeing 747 configurations show correct qualitative response to removal of the outer flap and to gear deployment, as compared with wind tunnel and flight test experience.

Evans, P. F.↗
NASA NTRS1994

New Developments and Research Findings: NASA Hydrazine Arcjets

In 1984, the market for commercial geosynchronous communications satellites (comsats) was expanding and there was strong competition between spacecraft builders for market share. The propellant required for the north-south stationkeeping (NSSK) function was a major mission limiter, and the small chemical and resistojet systems then in use were at or near their physical limits. Thus, conditions were right for the development of a high performance NSSK system, and after an extensive survey of both propulsion technologies and the aerospace community, the NASA program chose hydrazine arcjets for development. A joint government/industry development program ensued which culminated in the acceptance of arcjet technology. NASA efforts included fundamental feasibility assessments, hardware development and verification, and multiple efforts aimed at the demonstration of critical operational characteristics of arcjet systems. Throughout the program, constant contact with the user community was maintained to determine system requirements. Both contracted and cooperative programs with industry were supported. First generation, kW-class arcjets are now operational for NSSK on the Telstar 401 satellite launched in December of 1993 and are baselined for use on multiple future satellite series (Intelsat 8, AsiaSat, Echostar). Arcjet development efforts are now focusing on the development of both high performance (600 s), 2 kW thrusters for application on next generation comsats and low power (Pe approximately 0.5 kW) for a variety of applications on power limited satellites. This paper presents a review of the NASA's role in the development of hydrazine arcjets with a focus on approaches, lessons learned, and the future.

Curren, Francis M.↗
NASA NTRS2011

Numerical Simulations of Single and Multiple Scattering by Fractal Ice Clusters

We consider the scattering model in the form of a vertically and horizontally homogeneous particulate slab of an arbitrary optical thickness composed of widely separated fractal aggregates built of small spherical ice monomers. The aggregates are generated by applying three different approaches, including simulated cluster-cluster aggregation (CCA) and diffusion-limited aggregation (DLA) procedures. Having in mind radar remote-sensing applications, we report and analyze the results of computations of the backscattering circular polarization ratio obtained using efficient superposition T-matrix and vector radiative-transfer codes. The computations have been performed at a wavelength of 12.6 cm for fractal aggregates with the following characteristics: monomer refractive index m=1.78+i0.003, monomer radius r=1 cm, monomer packing density p=0.2, overall aggregate radii R in the range 4<=R<=10 cm and fractal dimensions D(sub f) 2.5 and 3. We show that for aggregates generated with simulated CCA and DLA procedures, the respective values of the backscattering circular polarization ratio differ weakly for D(sub f) 2.5, but the differences can increase somewhat for D(sub f)3, especially in case of an optically semi-infinite medium. For aggregates with a spheroidal overall shape, the dependence of the circular polarization ratio on the cluster morphology can be quite significant and increases with increasing the aspect ratio of the circumscribing spheroid.

Dlugach, Janna M.↗
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 NTRS1998

Numerical Examination of Silicon Avalanche Photodiodes Operated in Charge Storage Mode

The behavior of silicon-based avalanche photodiodes (APD's) operated in the charge storage mode is examined. In the charge storage mode, the diodes are periodically biased to a sub-breakdown voltage and then open-circuited. During this integration period, photo-excited and thermally generated carriers are accumulated within the structure. The dynamics of this accumulation and its effects upon the avalanching of the diode warrants a detailed, fully numerical analysis. The salient features of this investigation include device sensitivity to the input photo-current including the self-quenching effect of the diode and its limitations in sensing low light levels, the dependence of the response on the bulk lifetime and hence on the generation current within the device, the initial gain, transient response, dependence of the device uniformity upon performance, and the quantity of storable charge within the device. To achieve these tasks our device simulator, STEBS-2D, was utilized. A modified current-controlled boundary condition is employed which allows for the simulation of the isolated diode after the initial reset bias has been applied. With this boundary condition, it is possible to establish a steady-state voltage on the ohmic contact and then effectively remove the device from the external circuit while still including effects from surface recombination, trapped surface charge, and leakage current from the read-out electronics.

Parks, Joseph W., Jr.↗
NASA NTRS1972

Circuit performance of a parasitic-loading digital speed controller for a 400-hertz turbine-driven alternator

Parasitic speed controllers are used in space power electrical generating systems to maintain the speed of the turbine-driven alternators within specified limits. Selected subcircuits for a solid state parasitic-loading speed controller were assembled and tested. The test results as obtained to date consist of the performance evaluation of the frequency reference and the period counter subcircuits. These circuits performed as expected.

Ryan, J. P.↗
NASA NTRS1975

Transport processes in the upper atmosphere

Studies of transport mechanisms in the upper atmosphere (diffusion, turbulence, large-scale circulation) are reviewed. A normally turbulent state of the lower thermosphere is inferred from direct observations of tracers and from thermal and composition structure. Viscous dissipation in the thermosphere and energy dissipation in turbulence working against buoyancy are discussed in relation to a critical Richardson number for initiation of turbulence (0.25, as in the stratosphere). But the usefulness of the Richardson criterion is limited when static stability is low, as is the case when strong shear-generated turbulence prevails.

Johnson, F. S.↗
NASA NTRS1978

The generation of gravitational waves. IV - Bremsstrahlung

Previously derived waveforms for gravitational bremsstrahlung are discussed along with their spectra and their limiting structure at high and low relative velocities. Waveforms and spectra are presented for a low-velocity bremsstrahlung encounter, and waveforms are given for encounters of arbitrary relative velocity. Limiting forms for the gravitational-wave amplitudes in the 'forward', 'intermediate', and 'backward' regions are derived in the high-velocity limit. The energy spectra seen by observers in the three regions are computed for arbitrary and high velocities. Simpler methods for analyzing special cases of the bremsstrahlung problem are examined, and the results of those methods are compared with the present results. Those methods include the quadrupole-moment and post-Newtonian formalisms, linear perturbations of the Schwarzschild metric, the method of colliding plane waves, the method of virtual quanta, and the zero-frequency limit. Classical gravitational bremsstrahlung is then compared with classical electromagnetic bremsstrahlung.

Kovacs, S. J., Jr.↗
NASA NTRS1980

Aliasing and blurring in 2-D sampled imagery

The quality of image reconstructions from discrete data suffers not only from the blurring of spatial detail caused by limitations in the spatial frequency response of electrooptical systems, but also from the aliasing generated if spatial detail has been undersampled. Previous studies have observed that reasonable spot intensity profiles and photosensor aperture shapes of equivalent size result in about equal blurring but that some profiles and shapes suppress aliasing better than others. This paper presents quantitative results of the magnitude of aliasing and blurring as a function of random radiance fields typical for natural scenes and of spatial responses and sampling intervals typical for TV cameras and optical-mechanical scanners. These results indicate that aliasing may often be a larger source of degradation than either blurring or electronic noise.

Huck, F. O.↗
NASA NTRS1982

Recent applications of the transonic wing analysis computer code, TWING

An evaluation of the transonic-wing-analysis computer code TWING is given. TWING utilizes a fully implicit approximate factorization iteration scheme to solve the full potential equation in conservative form. A numerical elliptic-solver grid-generation scheme is used to generate the required finite-difference mesh. Several wing configurations were analyzed, and the limits of applicability of this code was evaluated. Comparisons of computed results were made with available experimental data. Results indicate that the code is robust, accurate (when significant viscous effects are not present), and efficient. TWING generally produces solutions an order of magnitude faster than other conservative full potential codes using successive-line overrelaxation. The present method is applicable to a wide range of isolated wing configurations including high-aspect-ratio transport wings and low-aspect-ratio, high-sweep, fighter configurations.

Subramanian, N. R.↗
NASA NTRS1985

Report of the Microbial Development Working Group

In formulating ideas on the relationship of gravity to the development, growth, and reproduction of microorganisms, a rather liberal definition of microorganisms is used which includes bacteria, yeasts, protists, filamentous fungi, and single cells in culture. A principal advantage of microorganisms as experimental subjects is the rigor with which they can be defined and controlled. As single cells, each cell may be regarded as identical to the others in the population. This property applies to the morphology, physiology, and genetic parameters of the cells. The growth and development of the population is subject to precise manipulation as the nutritional requirements are known and minimal media formulations have been developed. Growth and differentiation can be manipulated in a variety of ways, such as alteration of the culture temperature and food supply, or by use of mutants. Finally, the short generation times of microorganisms provide the opportunity to conduct multigenerational studies within practical time limits and, in a similar vein, cellular responses to various stimuli or stresses are conveniently monitored because of the rapid response times of single cells.

Nelson, G.↗
NASA NTRS1984

Time optimal control of manipulators with bounded accelerations

The linearity of the equations of motion of dynamical systems such as spacecraft or manipulators when controlled by acceleration commands is exploited in generating exact fast maneuvers. A simulated robot example thereof is examined, with advantages and limitations of the proposed design approach discussed in its context.

Dwyer, T. A. W., III↗
NASA NTRS1987

MHD energy fluxes for late type dwarfs

The efficiency of MHD wave generation by turbulent motions in stratified stellar atmospheres with embedded uniform magnetic fields is calculated. In contradiction with previous results, it is shown that there is no significant increase in the efficiency of wave generation because of the presence of magnetic fields, at least within the theory's limits of applicability. It is shown that MHD energy fluxes for late-type stars are less than those obtained for acoustic waves in a magnetic-field-free atmosphere, and do not vary enough for a given spectral type in order to explain observed UV and X-ray fluxes. Thus, the results show that MHD energy fluxes obtained if stellar surface magnetic fields are uniform cannot explain the observed stellar coronal emissions.

Rosner, R.↗
NASA NTRS1989

Preliminary results on noncollocated torque control of space robot actuators

In the Space Station era, more operations will be performed robotically in space in the areas of servicing, assembly, and experiment tending among others. These robots may have various sets of requirements for accuracy, speed, and force generation, but there will be design constraints such as size, mass, and power dissipation limits. For actuation, a leading motor candidate is a dc brushless type, and there are numerous potential drive trains each with its own advantages and disadvantages. This experiment uses a harmonic drive and addresses some inherent limitations, namely its backdriveability and low frequency structural resonances. These effects are controlled and diminished by instrumenting the actuator system with a torque transducer on the output shaft. This noncollocated loop is closed to ensure that the commanded torque is accurately delivered to the manipulator link. The actuator system is modelled and its essential parameters identified. The nonlinear model for simulations will include inertias, gearing, stiction, flexibility, and the effects of output load variations. A linear model is extracted and used for designing the noncollocated torque and position feedback loops. These loops are simulated with the structural frequency encountered in the testbed system. Simulation results are given for various commands in position. The use of torque feedback is demonstrated to yield superior performance in settling time and positioning accuracy. An experimental setup being finished consists of a bench mounted motor and harmonic drive actuator system. A torque transducer and two position encoders, each with sufficient resolution and bandwidth, will provide sensory information. Parameters of the physical system are being identified and matched to analytical predictions. Initial feedback control laws will be incorporated in the bench test equipment and various experiments run to validate the designs. The status of these experiments is given.

Tilley, Scott W.↗
NASA NTRS1989

The growth of density perturbations in radiative shocks

The paper presents a new investigation of the growth of thermal instabilities behind radiative shocks. The analytic and numerical results disagree with McCray, Stein, and Kafatos, who were attempting to explain the filamentary structure commonly seen in supernova remnants, and proposed that the growth of density perturbations would lead to gross condensations in the postshock cooling region. Hydrodynamical simulations are generated which corroborate arguments in favor of no growth in the long-wavelength limit. These simulations also agree with a renewed analytic approach in the short-wavelength limit, and show that the region of rapid growth will remain inconspicuous in the overall density rise toward the back of the shock. It is noted that these calculations are in accord with some recent observations of supernova remnants where the observed filaments do not seem to have been produced by any local thermal instability process.

Blondin, John M.↗
NASA NTRS1991

Software reliability report

There are many software reliability models which try to predict future performance of software based on data generated by the debugging process. Unfortunately, the models appear to be unable to account for the random nature of the data. If the same code is debugged multiple times and one of the models is used to make predictions, intolerable variance is observed in the resulting reliability predictions. It is believed that data replication can remove this variance in lab type situations and that it is less than scientific to talk about validating a software reliability model without considering replication. It is also believed that data replication may prove to be cost effective in the real world, thus the research centered on verification of the need for replication and on methodologies for generating replicated data in a cost effective manner. The context of the debugging graph was pursued by simulation and experimentation. Simulation was done for the Basic model and the Log-Poisson model. Reasonable values of the parameters were assigned and used to generate simulated data which is then processed by the models in order to determine limitations on their accuracy. These experiments exploit the existing software and program specimens which are in AIR-LAB to measure the performance of reliability models.

Wilson, Larry↗