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.
Single set of mathematical expressions describes system cost and probability of error of data transmission in terms of four basic parameters in the link equation. A Lagrange multiplier sets up equations whose solutions yield the optimum values for system design considerations and weight and cost values.
The EXpedite the processing of Experiments to Space Station or EXPRESS Rack System was developed to provide Space Station accommodations for subrack payloads. The EXPRESS Rack accepts Space Shuttle middeck locker type payloads and International Subrack Interface Standard (ISIS) Drawer payloads, allowing previously flown payloads an opportunity to transition to the International Space Station. The EXPRESS Rack provides power, data command and control, video, water cooling, air cooling, vacuum exhaust, and Nitrogen supply to payloads. The EXPRESS Rack system also includes transportation racks to transport payloads to and from the Space Station, Suitcase Simulators to allow a payload developer to verify data interfaces at the development site, Functional Checkout Units to allow payload checkout at KSC prior to launch, and trainer racks for the astronauts to learn how to operate the EXPRESS Racks prior to flight. Standard hardware and software interfaces provided by the EXPRESS Rack simplify the integration processes, and facilitate simpler ISS payload development. Whereas most ISS Payload facilities are designed to accommodate one specific type of science, the EXPRESS Rack is designed to accommodate multi-discipline research within the same rack allowing for the independent operation of each subrack payload. On-orbit operations began with the EXPRESS Rack Project on April 24, 2001, with one rack operating continuously to support long-running payloads. The other on-orbit EXPRESS Racks operate based on payload need and resource availability. Sustaining Engineering and Logistics and Maintenance functions are in place to maintain operations and to provide software upgrades.
The EXpedite the PRocessing of Experiments to Space Station or EXPRESS Rack System was developed to provide Space Station accommodations for subrack payloads. The EXPRESS Rack accepts Space Shuttle middeck locker type payloads and International Subrack Interface Standard (ISIS) Drawer payloads, allowing previously flown payloads an opportunity to transition to the International Space Station. The EXPRESS Rack provides power, data command and control, video, water cooling, air cooling, vacuum exhaust, and Nitrogen supply to payloads. The EXPRESS Rack system also includes transportation racks to transport payloads to and from the Space Station, Suitcase Simulators to allow a payload developer to verify data interfaces at the development site, Functional Checkout Units to allow payload checkout at KSC prior to launch, and trainer racks for the astronauts to learn how to operate the EXPRESS Racks prior to flight. Standard hardware and software interfaces provided by the EXPRESS Rack simplify the integration processes, and facilitate simpler ISS payload development. Whereas most ISS Payload facilities are designed to accommodate one specific type of science, the EXPRESS Rack is designed to accommodate multi-discipline research within the same rack allowing for the independent operation of each subrack payload. On-orbit operations began with the EXPRESS Rack Project on April 24, 2001, with one rack operating continuously to support long-running payloads. The other on-orbit EXPRESS Racks operate based on payload need and resource availability. Sustaining Engineering and Logistics and Maintenance functions are in place to maintain operations and to provide software upgrades.
The EXpedite the PRocessing of Experiments to Space Station or EXPRESS Rack System, was developed to provide Space Station accommodations for small, subrack payloads. The EXPRESS Rack accepts Space Shuttle middeck locker type payloads and International Subrack Interface Standard (ISIS) Drawer payloads, allowing previously flown payloads an opportunity to transition to the International Space Station. The EXPRESS Rack provides power, data, command and control, video, water cooling, air cooling, vacuum exhaust, and Nitrogen supply to payloads. The EXPRESS Rack system also includes transportation racks to transport payloads to and from the Space Station, Suitcase Simulators to allow a payload developer to verify power and data interfaces at the development site, Functional Checkout Units to allow Payload checkout at KSC prior to launch, and trainer racks for the astronauts to learn how to operate the EXPRESS Racks prior to flight. Standard hardware and software interfaces provided by the EXPRESS Rack simplify the analytical and physical integration processes, and facilitates simpler ISS payload development. The EXPRESS Rack has also formed the basis for the U.S. Life Sciences payload racks and the Window Observational Research Facility on Space Station.
The EXpedite the PRocessing of Experiments to Space Station or EXPRESS Rack System, was developed to provide Space Station accommodations for small, subrack payloads. The EXPRESS Rack accepts Space Shuttle middeck locker type payloads and International Subrack Interface Standard (ISIS) Drawer payloads, allowing previously flown payloads an opportunity to transition to the International Space Station. The EXPRESS Rack provides power, data, command and control, video, water cooling, air cooling, vacuum exhaust, and Nitrogen supply to payloads. The EXPRESS Rack system also includes transportation racks to transport payloads to and from the Space Station, Suitcase Simulators to allow a payload developer to verify power and data interfaces at the development site, Functional Checkout Units to allow Payload checkout at KSC prior to launch, and trainer racks for the astronauts to learn how to operate the EXPRESS Racks prior to flight. Standard hardware and software interfaces provided by the EXPRESS Rack simplify the analytical and physical integration processes, and facilitates simpler ISS payload development. The EXPRESS Rack has also formed the basis for the U.S. Life Sciences payload racks on Space Station.
An analytical simulation of the dynamics of a gear transmission system is presented and compared to experimental results from a gear noise test rig at the NASA Lewis Research Center. The analytical procedure developed couples the dynamic behaviors of the rotor-bearing-gear system with the response of the gearbox structure. The modal synthesis method is used in solving the overall dynamics of the system. Locally each rotor-gear stage is modeled as an individual rotor-bearing system using the matrix transfer technique. The dynamics of each individual rotor are coupled with other rotor stages through the nonlinear gear mesh forces and with the gearbox structure through bearing support systems. The modal characteristics of the gearbox structure are evaluated using the finite element procedure. A variable time steping integration routine is used to calculate the overall time transient behavior of the system in modal coordinates. The global dynamic behavior of the system is expressed in a generalized coordinate system. Transient and steady state vibrations of the gearbox system are presented in the time and frequency domains. The vibration characteristics of a simple single mesh gear noise test rig is modeled. The numerical simulations are compared to experimental data measured under typical operating conditions. The comparison of system natural frequencies, peak vibration amplitudes, and gear mesh frequencies are generally in good agreement.
Tightly regulated control of over-expression is often necessary to study one aspect or time point of gene function and, in transgenesis, may help to avoid lethal effects and complications caused by ubiquitous over-expression. We have utilized the benefits of an optimized tet-on system and a modified muscle creatine kinase (MCK) promoter to generate a skeletal muscle-specific, doxycycline (Dox) controlled over-expression system in transgenic mice. A DNA construct was generated in which the codon optimized reverse tetracycline transactivator (rtTA) was placed under control of a skeletal muscle-specific version of the mouse MCK promoter. Transgenic mice containing this construct expressed rtTA almost exclusively in skeletal muscles. These mice were crossed to a second transgenic line containing a bi-directional promoter centered on a tet responder element driving both a luciferase reporter gene and a tagged gene of interest; in this case the calpain inhibitor calpastatin. Compound hemizygous mice showed high level, Dox dependent muscle-specific luciferase activity often exceeding 10,000-fold over non-muscle tissues of the same mouse. Western and immunocytochemical analysis demonstrated similar Dox dependent muscle-specific induction of the tagged calpastatin protein. These findings demonstrate the effectiveness and flexibility of the tet-on system to provide a tightly regulated over-expression system in adult skeletal muscle. The MCKrtTA transgenic lines can be combined with other transgenic responder lines for skeletal muscle-specific over-expression of any target gene of interest.
The EXpedite the PRocessing of Experiments to Space Station or EXPRESS Rack System has provided accommodations and facilitated operations for microgravity-based research payloads for over 6 years on the International Space Station (ISS). The EXPRESS Rack accepts Space Shuttle middeck type lockers and International Subrack Interface Standard (ISIS) drawers, providing a modular-type interface on the ISS. The EXPRESS Rack provides 28Vdc power, Ethernet and RS-422 data interfaces, thermal conditioning, vacuum exhaust, and Nitrogen supply for payload use. The EXPRESS Rack system also includes payload checkout capability with a flight rack or flight rack emulator prior to launch, providing a high degree of confidence in successful operations once an-orbit. In addition, EXPRESS trainer racks are provided to support crew training of both rack systems and subrack operations. Standard hardware and software interfaces provided by the EXPRESS Rack simplify the integration processes for ISS payload development. The EXPRESS Rack is designed to accommodate multidiscipline research, allowing for the independent operation of each subrack payload within a single rack. On-orbit operations began for the EXPRESS Rack Project on April 24, 2001, with one rack operating continuously to support high-priority payloads. The other on-orbit EXPRESS Racks operate based on payload need and resource availability. Over 50 multi-discipline payloads have now been supported on-orbit by the EXPRESS Rack Program. Sustaining engineering, logistics, and maintenance functions are in place to maintain hardware, operations and provide software upgrades. Additional EXPRESS Racks are planned for launch prior to ISS completion in support of long-term operations and the planned transition of the U.S. Segment to a National Laboratory.
AA The initial operations concept expresses information about system objectives, and defines the system users, system interfaces, and operational performance constraints. We have developed a prototype expert system which has established the feasibility of automating a scenario-driven methodology for deriving top-level specifications and preliminary designs for user data systems. This scenario-driven methodology uses an initial design, an initial operations concept, and user scenarios as the starting point for system definition. The top-level initial design is a functional description of the system in the form of an annotated data flow diagram. The initial operations concept expresses informationabout system objectives, and defines the system users, system interfaces, and operational performance constraints. The user scenarios are detailed time-lined descriptions of user activities, developed by prospective end users. These scenarios, along with the initial design and operations concept, are analyzed and iterated by the expert system to form a consistent set. The resulting User Scenario-Operation Set plays a key role in the development of requirements and system tests.
EXPRESS Racks have been supporting payload science operations onboard the International Space Station (ISS) since April of 2001. EXPRESS is an acronym that stands for "EXpedite the PRocessing of Experiments to Space Station." This name reflects NASA's focus to simplify the process of manifesting experiments and maximizing scientific research capabilities by providing a robust, remotely operated payload support platform. The EXPRESS Rack System was developed by NASA's Marshall Space Flight Center (MSFC) and built by The Boeing Company in Huntsville, Alabama. Eight EXPRESS racks were built and five are currently onboard the ISS supporting science operations. The design and development of the EXPRESS Rack System is a long story that has been documented in previous publications. This paper briefly describes the facilities used to develop and verify flight software, test operational capabilities. It then traces the advancements made in the operational capabilities of the EXPRESS Racks from the time they were launched on STS-100 through the present. The paper concludes with a description of potential enhancements that will make the EXPRESS racks one of the most advanced and capable remote science platforms ever developed.
Previous studies on the combustion synthesis of advanced materials indicate that combustion and structure formation mechanisms involve several stages including melting of reactants and products, spreading of the melt, droplet coalescence, diffusion and convection, buoyancy of solid particles, and densification of the liquid product. Most of these processes are affected by gravity. Conducting the combustion synthesis under microgravity conditions is expected to help elucidate the reaction mechanisms. Two systems were examined. The first involves Ni/AI cladded particles, which is an ideal system to examine the individual particle and liquid flow before combustion occurs. For comparison, elemental Ni and Al powders with the same stoichiometry as that of the cladded particles were also used in some experiments. The second system was the Ni3AITiB2 composite in which the Ni3AI (-delta H(sub f) = 153.1 kJ/mol) phase melts during reaction enabling us to examine settling of the liquid phase. The amount of liquid phase was controlled by varying the TiB2 (-delta H(sub f) = 323.8 kJ/mol) content which generates the additional heat. The overall reactions for the two systems can be expressed as follows. System 1: 4Ni + 2AI yields Ni3AI + NiA and System 2: 3Ni + Al + x (Ti + 2B) yields Ni3Al + x(TiB2). For the first system, pellets were pressed directly from the cladded particles, at green densities about 77 +/- 3% of theoretical value. For the second, the pellets were prepared by mixing the elemental reactant powders in the required stoichiometry by ball-milling and then pressing uniaxially at green densities about 70 +/- 3 percent of theoretical. The pellets were cylindrical in shape, 10 mm in diameter and length typically 20-30 mm. The pellet samples were reacted in UHP Argon (1 atm) using the experimental setup and procedure described previously. After reaction, the samples were sectioned axially in order to conduct the microstructural analysis in the longitudinal direction. The phase composition of the reacted product was determined by X-ray diffraction (XRD) and the microstructure was analyzed using scanning electron microscopy (SEM) along with energy dispersive X-ray spectrometry (EDX).
A water recovery system that utilizes adsorption to work with the Trash Compaction Processing System, formerly known as the Heat Melt Compactor, is being designed at NASA Ames Research Center as an option to current state of the art micro-gravity water management systems and contaminant control systems used in space. The adsorption system will be used in conjunction with the International Space Station Vacuum Exhaust system to avoid both the complexities of gas liquid phase separation in micro-gravity and venting of Trash Compaction Processing System effluents to the spacecraft cabin. The adsorption system will allow the water and gaseous effluents generated during the Trash Compaction System operation to be removed in a matter that meets the Vacuum Exhaust System venting rate requirements. The Trash Compaction Processing System is planned to fly as a Technology Demonstration on the International Space Station in the space station EXPRESS Rack facility. This paper describes the trade space that the adsorption system must operate in using the EXPRESS Rack facilities resources including the use of the Space Station Vacuum Exhaust System. Also described in this paper are design solutions to allow the adsorption system to function within the Express Rack and Vacuum Exhaust System Parameters.
This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.
An important class of techniques to reduce helicopter vibration is based on using a Higher Harmonic controller to optimally define the Higher Harmonic blade pitch. These techniques typically require solution of a general optimization problem requiring the determination of a control vector which minimizes a performance index where functions of the control vector are subject to inequality constraints. Six possible constraint functions associated with swashplate blade pitch control were identified and defined. These functions constrain: (1) blade pitch Fourier Coefficients expressed in the Rotating System, (2) blade pitch Fourier Coefficients expressed in the Nonrotating System, (3) stroke of the individual actuators expressed in the Nonrotating System, (4) blade pitch expressed as a function of blade azimuth and actuator stroke, (5) time rate-of-change of the aforementioned parameters, and (6) required actuator power. The aforementioned constraints and the associated kinematics of swashplate blade pitch control by means of the strokes of the individual actuators are documented.
Criterion for optimum design of quantizer imbedded in closed loop dynamic system is optimization of overall system performance expressed by variational criterion
Liquid sloshing in liquid propellant containing orbiting vehicle stabilized by active control system, examining expression for ring baffle slosh damping under reduced gravity
Transgenic arabidopsis plants containing the alcohol dehydrogenase (Adh) gene promoter fused to the green fluorescent protein (GFP) reporter gene were developed as biological sensors for monitoring physiological responses to unique environments. Plants were monitored in vivo during exposure to hypoxia, high salt, cold, and abcissic acid in experiments designed to characterize the utility and responses of the Adh/GFP biosensors. Plants in the presence of environmental stimuli that induced the Adh promoter responded by expressing GFP, which in turn generated a detectable fluorescent signal. The GFP signal degraded when the inducing stimulus was removed. Digital imaging of the Adh/GFP plants exposed to each of the exogenous stresses demonstrated that the stress-induced gene expression could be followed in real time. The experimental results established the feasibility of using a digital monitoring system for collecting gene expression data in real time from Transgenic Arabidopsis Gene Expression System (TAGES) biosensor plants during space exploration experiments.
An explicit expression for the reachable set is obtained for a class of nonlinear systems. This class is described by a chain condition on the Lie algebra of vector fields associated with each nonlinear system. These ideas are used to obtain a generalization of a controllability result for linear systems in the case where multiplicative controls are present.