Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “SPECIFICATIONS”

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 325 records · Page 18

Space Generic Open Avionics Architecture (SGOAA) standard specification

This standard establishes the Space Generic Open Avionics Architecture (SGOAA). The SGOAA includes a generic functional model, processing structural model, and an architecture interface model. This standard defines the requirements for applying these models to the development of spacecraft core avionics systems. The purpose of this standard is to provide an umbrella set of requirements for applying the generic architecture models to the design of a specific avionics hardware/software processing system. This standard defines a generic set of system interface points to facilitate identification of critical services and interfaces. It establishes the requirement for applying appropriate low level detailed implementation standards to those interfaces points. The generic core avionics functions and processing structural models provided herein are robustly tailorable to specific system applications and provide a platform upon which the interface model is to be applied.

Wray, Richard B.↗

Advanced computer architecture specification for automated weld systems

This report describes the requirements for an advanced automated weld system and the associated computer architecture, and defines the overall system specification from a broad perspective. According to the requirements of welding procedures as they relate to an integrated multiaxis motion control and sensor architecture, the computer system requirements are developed based on a proven multiple-processor architecture with an expandable, distributed-memory, single global bus architecture, containing individual processors which are assigned to specific tasks that support sensor or control processes. The specified architecture is sufficiently flexible to integrate previously developed equipment, be upgradable and allow on-site modifications.

Katsinis, Constantine↗

Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits

We present a mathematical definition of hardware description language (HDL) that admits a semantics-preserving translation to a subset of VHDL. Our HDL includes the basic VHDL propagation delay mechanisms and gate-level circuit descriptions. We also develop formal procedures for deriving and verifying concise behavioral specifications of combinational and sequential devices. The HDL and the specification procedures have been formally encoded in the computational logic of Boyer and Moore, which provides a LISP implementation as well as a facility for mechanical proof-checking. As an application, we design, specify, and verify a circuit that achieves asynchronous communication by means of the biphase mark protocol.

Russinoff, David M.↗

On the levels of enzymatic substrate specificity: Implications for the early evolution of metabolic pathways

The most frequently invoked explanation for the origin of metabolic pathways is the retrograde evolution hypothesis. In contrast, according to the so-called 'patchwork' theory, metabolism evolved by the recruitment of relatively inefficient small enzymes of broad specificity that could react with a wide range of chemically related substrates. In this paper it is argued that both sequence comparisons and experimental results on enzyme substrate specificity support the patchwork assembly theory. The available evidence supports previous suggestions that gene duplication events followed by a gradual neoDarwinian accumulation of mutations and other minute genetic changes lead to the narrowing and modification of enzyme function in at least some primordial metabolic pathways.

Lazcano, A.↗

Verification of force and acceleration specifications for random vibration tests of Cassini spacecraft equipment

The use of force limiting in the random vibration testing of the Cassini spacecraft's subsystems is reported on. A verification of the Cassini equipment random vibration test acceleration and force specifications is provided by interface acceleration and force data measured in acoustic tests of the Cassini spacecraft development test model (DTM). Acoustic tests were performed on the DTM structure with different structural and equipment configurations. The acceleration and force spectra at the interface between the equipment items and the spacecraft DTM structure were measured in the acoustic tests and compared with the equipment random vibration test specifications. The spacecraft's apparent masses were measured at the equipment mounting points and used in force limit predictions.

Chang, Kurng Y.↗

Protein Crystallization: Specific Phenomena and General Insights on Crystallization Kinetics

Experimental and simulation studies of the nucleation and growth kinetics of proteins have revealed phenomena that are specific for macromolecular crystallization, and others that provide a more detailed understanding of solution crystallization in general. The more specific phenomena, which include metastable liquid-liquid phase separations and gelation prior to solid nucleation, are due to the small ratio of the intermolecular interaction-range to the size of molecules involved. The apparently more generally applicable mechanisms include the cascade-like formation of macrosteps, as an intrinsic morphological instability that roots in the coupled bulk transport and nonlinear interface kinetics in systems with mixed growth rate control. Analyses of this nonlinear response provide (a) criteria for the choice of bulk transport conditions to minimize structural defect formation, and (b) indications that the "slow" protein crystallization kinetics stems from the mutual retardation of growth steps.

Rosenberger, F.↗

Design and Specification of Optical Bandpass Filters for Hubble Space Telescope (HST) Advanced Camera for Surveys (ACS)

Advanced optical bandpass filters for the Hubble Space Telescope (HST) Advanced Camera for Surveys (ACS) have been developed on a filter-by-filter basis through detailed studies which take into account the instrument's science goals, available optical filter fabrication technology, and developments in ACS's charge-coupled-device (CCD) detector technology. These filters include a subset of filters for the Sloan Digital Sky Survey (SDSS) which are optimized for astronomical photometry using today's charge-coupled-devices (CCD's). In order for ACS to be truly advanced, these filters must push the state-of-the-art in performance in a number of key areas at the same time. Important requirements for these filters include outstanding transmitted wavefront, high transmittance, uniform transmittance across each filter, spectrally structure-free bandpasses, exceptionally high out of band rejection, a high degree of parfocality, and immunity to environmental degradation. These constitute a very stringent set of requirements indeed, especially for filters which are up to 90 mm in diameter. The highly successful paradigm in which final specifications for flight filters were derived through interaction amongst the ACS Science Team, the instrument designer, the lead optical engineer, and the filter designer and vendor is described. Examples of iterative design trade studies carried out in the context of science needs and budgetary and schedule constraints are presented. An overview of the final design specifications for the ACS bandpass and ramp filters is also presented.

Leviton, Douglas B.↗

Sensitivity of Force Specifications to the Errors in Measuring the Interface Force

Force-Limited Random Vibration Testing has been applied in the last several years at NASA/GSFC for various programs at the instrument and system level. Different techniques have been developed over the last few decades to estimate the dynamic forces that the test article under consideration will encounter in the operational environment. Some of these techniques are described in the handbook, NASA-HDBK-7004, and the monograph, NASA-RP-1403. A key element in the ability to perform force-limited testing is multi-component force gauges. This paper will show how some measurement and calibration errors in force gauges are compensated for w en tie force specification is calculated. The resulting notches in the acceleration spectrum, when a random vibration test is performed, are the same as the notches produced during an uncompensated test that has no measurement errors. The paper will also present the results of tests that were used to validate this compensation. Knowing that the force specification can compensate for some measurement errors allows tests to continue after force gauge failures or allows dummy gauges to be used in places that are inaccessible.

Worth, Daniel↗

FTP Extensions for Variable Protocol Specification

The specification for the File Transfer Protocol (FTP) assumes that the underlying network protocols use a 32-bit network address and a 16-bit transport address (specifically IP version 4 and TCP). With the deployment of version 6 of the Internet Protocol, network addresses will no longer be 32-bits. This paper species extensions to FTP that will allow the protocol to work over a variety of network and transport protocols.

Allman, Mark↗

MHD-Based Specification of Magnetotail Plasma and Fields: Possibilities and Limitations

Magnetohydrodynamics (MHD) constitutes the simplest comprehensive and self-consistent formulation of the properties of space plasmas. As such, it has been applied with large success to the dynamics of solar system plasmas. For the nightside region of the Earth, the magnetotail, MHD simulations have led to new understanding of the structure and dynamics of the plasmas, in response to both changes in boundary conditions as well as internal dynamical processes. As a result, substantial knowledge of the structure and dynamics of the nightside region have been accumulated. In basic MHD conservation laws on magnetospheric structure, as well as the role of non-MHD processes in the initiation and evolution of dynamical processes of the magnetotail. This presentation will consist of three parts, the first of which addresses the basic constraints on magnetotail structure as well as their consequences for magnetotail specification and forecasting. We will then review some examples of magnetotail structural changes brought about by solar-wind-like boundary conditions. Last, we consider the role of non-MHD processes in magnetotail specification and forecasting. The emphasis here will be on inclusion of these processes into MHD models, and their impact on the overall structure and dynamics.

Hesse, M.↗

Altered Cytokine Production By Specific Human Peripheral Blood Cell Subsets Immediately Following Spaceflight

In this study, we have attempted to combine standard immunological assays with the cellular resolving power of the flow cytometer to positively identify the specific cell types involved in spaceflight-induced immune alterations. We have obtained whole blood samples from 27 astronauts collected at three timepoints (L-10, R+0 and R+3) surrounding four recent space shuttle missions. The duration of these missions ranged from 10 to 18 days. Assays performed included serum/urine cortisol, comprehensive subset phenotyping, assessment of cellular activation markers and intracellular cytokine production following mitogenic stimulation. Absolute levels of peripheral granulocytes were significantly elevated following spaceflight, but the levels of circulating lymphocytes and monocytes were unchanged. Lymphocyte subset analysis demonstrated trends towards a decreased percentage of T cells and an increased percentage of B cells. Nearly all of the astronauts exhibited an increased CD4:CD8 ratio, which was dramatic in some individuals. Assessment of memory (CD45RA+) vs. naive (CD45RO+) CD4+ T cell subsets was more ambiguous, with subjects tending to group more as a flight crew. All subjects from one mission demonstrated an increased CD45RA:CD45RO ratio, while all subjects from another Mission demonstrated a decreased ratio. While no significant trend was seen in the monocyte population as defined by scatter, a decreased percentage of the CD14+ CD16+ monocyte subset was seen following spaceflight in all subjects tested. In general, most of the cellular changes described above which were assessed at R+O and compared to L-10 trended to pre-flight levels by R+3. Although no significant differences were seen in the expression of the cellular activation markers CD69 and CD25 following exposure to microgravity, significant alterations were seen in cytokine production in response to mitogenic activation for specific subsets. T cell (CD3+) production of IL-2 was significantly decreased after at R+O as was IL-2 production by both CD4+ and CD8+ T cell subsets for most subjects. Production of IFN(sub gamma) did not appear to be affected by microgravity exposure in either T cells in general or in the CD8+ T cell subset. There was a spaceflight-induced decrease in IFN(sub gamma) production in the CD4+ T cell subset, however it did not reach statistical significance. Serum and urine stress-hormone analysis indicated significant physiologic stresses in astronauts following spaceflight. In summary, these results demonstrate alterations in the peripheral immune system of astronauts immediately after spaceflight of 10 to 18 days duration and support continued research regarding microgravity and immunology (including in-flight sampling) prior to routine long-term spaceflight for astronauts.

Crucian, Brian E.↗

Unsteady Flow in a Supersonic Turbine with Variable Specific Heats

Modern high-work turbines can be compact, transonic, supersonic, counter-rotating, or use a dense drive gas. The vast majority of modern rocket turbine designs fall into these Categories. These turbines usually have large temperature variations across a given stage, and are characterized by large amounts of flow unsteadiness. The flow unsteadiness can have a major impact on the turbine performance and durability. For example, the Space Transportation Main Engine (STME) fuel turbine, a high work, transonic design, was found to have an unsteady inter-row shock which reduced efficiency by 2 points and increased dynamic loading by 24 percent. The Revolutionary Reusable Technology Turbopump (RRTT), which uses full flow oxygen for its drive gas, was found to shed vortices with such energy as to raise serious blade durability concerns. In both cases, the sources of the problems were uncovered (before turbopump testing) with the application of validated, unsteady computational fluid dynamics (CFD) to the designs. In the case of the RRTT and the Alternate Turbopump Development (ATD) turbines, the unsteady CFD codes have been used not just to identify problems, but to guide designs which mitigate problems due to unsteadiness. Using unsteady flow analyses as a part of the design process has led to turbine designs with higher performance (which affects temperature and mass flow rate) and fewer dynamics problems. One of the many assumptions made during the design and analysis of supersonic turbine stages is that the values of the specific heats are constant. In some analyses the value is based on an average of the expected upstream and downstream temperatures. In stages where the temperature can vary by 300 to 500 K, however, the assumption of constant fluid properties may lead to erroneous performance and durability predictions. In this study the suitability of assuming constant specific heats has been investigated by performing three-dimensional unsteady Navier-Stokes simulations for a supersonic turbine stage.

Dorney, Daniel J.↗

Certifying Domain-Specific Policies

Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof-checking higher-level domain -specific properties for compliance to safety policies. The paper first describes a framework related to abstract interpretation in which compliance to a class of certification policies can be efficiently calculated Membership equational logic is shown to provide a rich logic for carrying out such calculations, including partiality, for certification. The architecture for a domain-specific certifier is described, followed by an implemented case study. The case study considers consistency of abstract variable attributes in code that performs geometric calculations in Aerospace systems.

Lowry, Michael↗

Mission Analysis for High Specific Impulse Deep Space Exploration

This paper describes trajectory calculations for high specific impulse engines. Specific impulses on the order of 10,000 to 100,000 sec are predicted in a variety of fusion powered propulsion systems. This paper and its companion paper seek to build on analyses in the literature to yield an analytical routine for determining time of flight and payload fraction to a predetermined destination. The companion paper will compare the results of this analysis to the trajectories determined by several trajectory codes. The major parameters that affect time of flight and payload fraction will be identified and their sensitivities quantified. A review of existing fusion propulsion concepts and their capabilities will also be tabulated.

Adams, Robert B.↗

Simulation of Trajectories for High Specific Impulse Deep Space Exploration

Difficulties in approximating flight times and deliverable masses for continuous thrust propulsion systems have complicated comparison and evaluation of proposed propulsion concepts. These continuous thrust propulsion systems are of interest to many groups, not the least of which are the electric propulsion and fusion communities. Several charts plotting the results of well-known trajectory simulation codes were developed and are contained in this paper. These charts illustrate the dependence of time of flight and payload ratio on jet power, initial mass, specific impulse and specific power. These charts are intended to be a tool by which people in the propulsion community can explore the possibilities of their propulsion system concepts. Trajectories were simulated using the tools VARITOP and IPOST. VARITOP is a well known trajectory optimization code that involves numerical integration based on calculus of variations. IPOST has several methods of trajectory simulation; the one used in this paper is Cowell's method for full integration of the equations of motion. The analytical method derived in the companion paper was also used to simulate the trajectory. The accuracy of this method is discussed in the paper.

Polsgrove, Tara↗

Flight Guidance System Requirements Specification

This report describes a requirements specification written in the RSML-e language for the mode logic of a Flight Guidance System of a typical regional jet aircraft. This model was created as one of the first steps in a five-year project sponsored by the NASA Langley Research Center, Rockwell Collins Inc., and the Critical Systems Research Group of the University of Minnesota to develop new methods and tools to improve the safety of avionics designs. This model will be used to demonstrate the application of a variety of methods and techniques, including safety analysis of system and subsystem requirements, verification of key properties using theorem provers and model checkers, identification of potential sources mode confusion in system designs, partitioning of applications based on the criticality of system hazards, and autogeneration of avionics quality code. While this model is representative of the mode logic of a typical regional jet aircraft, it does not describe an actual or planned product. Several aspects of a full Flight Guidance System, such as recovery from failed sensors, have been omitted, and no claims are made regarding the accuracy or completeness of this specification.

Miller, Steven P.↗

Studies of Nucleation and Growth, Specific Heat and Viscosity of Undercooled Melts of Quasicrystals and Polytetrehedral-Phase-Forming Alloys

By investigating the properties of quasicrystals and quasicrystal-forming liquid alloys, we may determine the role of ordering of the liquid phase in the formation of quasicrystals, leading to a better fundamental understanding of both the quasicrystal and the liquid. A quasicrystal is solid characterized by a symmetric but non-periodic arrangement of atoms, usually in the form of an icosahedron (12 atoms, 20 triangular faces). It is theorized that the short-range order in liquids takes this same form. The degree of ordering depends on the temperature of the liquid, and affects many of the liquid s properties, including specific heat, viscosity, and electrical resistivity. The MSFC role in this project includes solidification studies, phase diagram determination, and thermophysical property measurements on the liquid quasicrystal-forming alloys, all by electrostatic levitation (ESL). The viscosity of liquid quasicrystal-forming alloys is measured by the oscillating drop method, both in the stable and undercooled liquid state. The specific heat of solid, undercooled liquid, and stable liquid are measured by the radiative cooling rate of the droplets.

Source record↗

Cell output, cell cycle duration and neuronal specification: a model of integrated mechanisms of the neocortical proliferative process

The neurons of the neocortex are generated over a 6 day neuronogenetic interval that comprises 11 cell cycles. During these 11 cell cycles, the length of cell cycle increases and the proportion of cells that exits (Q) versus re-enters (P) the cell cycle changes systematically. At the same time, the fate of the neurons produced at each of the 11 cell cycles appears to be specified at least in terms of their laminar destination. As a first step towards determining the causal interrelationships of the proliferative process with the process of laminar specification, we present a two-pronged approach. This consists of (i) a mathematical model that integrates the output of the proliferative process with the laminar fate of the output and predicts the effects of induced changes in Q and P during the neuronogenetic interval on the developing and mature cortex and (ii) an experimental system that allows the manipulation of Q and P in vivo. Here we show that the predictions of the model and the results of the experiments agree. The results indicate that events affecting the output of the proliferative population affect both the number of neurons produced and their specification with regard to their laminar fate.

Evaluation Studies↗