SEARCH · Engineering Papers
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.
The following topics are covered in viewgraph form: (1) the Penelope Project; (2) the logic of an experimental automatic guidance control system for a 737; (3) Larch/Ada specification; (4) some failures of informal description; (5) description of mode changes caused by switches; (6) intuitive description of window status (chosen vs. current); (7) design of the code; (8) and specifying the code.
The objective of this feasibility study is to determine analytically the accuracies of various sensors being considered as candidates for Space Station use. Specifically, the studies were performed whether or not the candidate sensors are capable of providing the required accuracy, or if alternate sensor approaches should be investigated. Other topics related to operation in the Space Station environment were considered as directed by NASA-JSC. The following topics are addressed: (1) Space Station GPS; (2) Space Station Radar; (3) Docking Sensors; (4) Space Station Link Analysis; (5) Antenna Switching, Power Control, and AGC Functions for Multiple Access; (6) Multichannel Modems; (7) FTS/EVA Emergency Shutdown; (8) Space Station Information Systems Coding; (9) Wanderer Study; and (10) Optical Communications System Analysis. Brief overviews of the abovementioned topics are given. Wherever applicable, the appropriate appendices provide detailed technical analysis. The report is presented in two volumes. This is Volume 2, containing Appendices K through U.
The objective of this feasibility study is to determine analytically the accuracies of various sensors being considered as candidates for Space Station use. Specifically, the studies were performed whether or not the candidate sensors are capable of providing the required accuracy, or if alternate sensor approaches be investigated. Other topics related to operation in the Space Station environment were considered as directed by NASA-JCS. The following topics are addressed: (1) Space Station GPS; (2) Space Station Radar; (3) Docking Sensors; (4) Space Station Link Analysis; (5) Antenna Switching, Power Control, and AGC Functions for Multiple Access; (6) Multichannel Modems; (7) FTS/EVA Emergency Shutdown; (8) Space Station Information Systems Coding; (9) Wanderer Study; and (10) Optical Communications System Analysis. Brief overviews of the abovementioned topics are given. Wherever applicable, the appropriate appendices provide detailed technical analysis. The report is presented in two volumes. This is Volume 1, containing the main body and Appendices A through J.
We outline two alternate approaches to predicting the onset of congestion in a packet switching satellite, and argue that predictive, rather than reactive, flow control is necessary for the efficient operation of such a system. The first method discussed is based on standard, statistical techniques which are used to periodically calculate a probability of near-term congestion based on arrival rate statistics. If this probability exceeds a present threshold, the satellite would transmit a rate-reduction signal to all active ground stations. The second method discussed would utilize a neural network to periodically predict the occurrence of buffer overflow based on input data which would include, in addition to arrival rates, the distributions of packet lengths, source addresses, and destination addresses.
During 1989, the American Mobile Satellite Corporation (AMSC) was authorized to construct, launch, and operate satellites to provide mobile satellite services (MSS) to the U.S. and Puerto Rico. The AMSC has undertaken three major development programs to bring a full range of MSS services to the U.S. The first program is the space segment program that will result in the construction and launch of the satellites as well as the construction and installation of the supporting ground telemetry and command system. The second segment will result in the specification, design, development, construction, and installation of the Network Control System necessary for managing communications access to the satellites, and the specification and development of ground equipment for standard circuit switched and packet switched communications services. The third program is the Phase 1 program to provide low speed data services within the U.S. prior to availability of the AMSC satellites and ground segment. Described here are the present status and plans for these three programs as well as an update on related business arrangements and regulatory matters.
The main problem facing current CAD tools for VLSIs is the large amount of memory required when dealing with large systems, primarily due to the circuit representation used by most current tools. This paper discusses an approach for hierarchical switch-level simulation of digital circuits. The approach exploits the hierarchy to reduce the memory requirements of the simulation, allowing the simulation of circuits that are too large to simulate at one flat level. The approach has been implemented in a hierarchical switch-level simulator, CHAMP, which runs on a SUN workstation. The program performs mixed mode simulation: parts of the circuit can be simulated faster at a behavioral level by supplying a high level software description. CHAMP allows assignable delays, and bidirectional signal flow inside circuit blocks that are represented as transistor networks as well as across the boundaries of higher level blocks. CHAMP is also unique in that it simulates directly from the hierarchical circuit description without flattening to a single level.
The mean flowfield of 1 x 2 and 1 x 4 aspect ratio rectangular jets has been measured using a laser Doppler anemometer system. The development of the downstream velocity distribution is analyzed with respect to centerline velocity decay, shear layer growth, axis switching, and velocity profile development. Comparisons are made with axisymmetric, planar, and other rectangular jets.
We outline two alternate approaches to predicting the onset of congestion in a packet switching satellite, and argue that predictive, rather than reactive, flow control is necessary for the efficient operation of such a system. The first method discussed is based on standard, statistical techniques which are used to periodically calculate a probability of near-term congestion based on arrival rate statistics. If this probability exceeds a present threshold, the satellite would transmit a rate-reduction signal to all active ground stations. The second method discussed would utilize a neural network to periodically predict the occurrence of buffer overflow based on input data which would include, in addition to arrival rates, the distributions of packet lengths, source addresses, and destination addresses.
In this thesis, we analyze various factors that affect quality of service (QoS) communication in high-speed, packet-switching sub-networks. We hypothesize that sub-network-wide bandwidth reservation and guaranteed CPU processing power at endpoint systems for handling data traffic are indispensable to achieving hard end-to-end quality of service. Different bandwidth reservation strategies, traffic characterization schemes, and scheduling algorithms affect the network resources and CPU usage as well as the extent that QoS can be achieved. In order to analyze those factors, we design and implement a communication layer. Our experimental analysis supports our research hypothesis. The Resource ReSerVation Protocol (RSVP) is designed to realize resource reservation. Our analysis of RSVP shows that using RSVP solely is insufficient to provide hard end-to-end quality of service in a high-speed sub-network. Analysis of the IEEE 802.lp protocol also supports the research hypothesis.
Electronics designed for low temperature operation will result in more efficient systems than room temperature. This improvement is a result of better electronic, electrical, and thermal properties of materials at low temperatures. In particular, the performance of certain semiconductor devices improves with decreasing temperature down to ultra-low temperature (-273 'C). The Low Temperature Electronics Program at the NASA Glenn Research Center focuses on research and development of electrical components and systems suitable for applications in deep space missions. Research is being conducted on devices and systems for use down to liquid helium temperatures (-273 'C). Some of the components that are being characterized include semiconductor switching devices, resistors, magnetics, and capacitors. The work performed this summer has focused on the evaluation of silicon-, silicon-germanium- and gallium-Arsenide-based (GaAs) bipolar, MOS and CMOS discrete components and integrated circuits (ICs), from room temperature (23 'C) down to ultra low temperatures (-263 'C).
Presentation topics include: importance of salinity of coastal waters, habitat switching algorithm, habitat switching module, salinity estimates from Landsat for Sabine Calcasieu Basin, percent of time inundated in 2006, salinity data, prototyping the system, system as packaged for field tests, salinity probe and casing, opening for water flow, cellular antenna used to transmit data, preparing to launch, system is launched in the Pearl River at Stennis Space Center, data are transmitted to Twitter by cell phone modem every 15 minutes, Google spreadsheet I used to import the data from the Twitter feed and to compute salinity (from conductivity) and display charts of salinity and temperature, results are uploaded to NASA's Applied Science and Technology Project Office Webpage.
Runtime Assurance (RTA) is a design-time architecture for safety-critical systems where an internal monitor acts upon detecting a violation of a property. The simplex architecture is an instance of RTA, where the action taken is to hand control of the overall system to a trusted controller when an untrusted one violates a safety property. Simplex RTA is emerging as a method for allowing AI/ML and other unverified software to be integrated into safety-critical applications like aircraft. To this end, the American Society for Testing and Materials (ASTM) and NASA have each published guidelines on the use of RTA in such systems. In the simplex RTA framework, a system has an advanced controller (AC) and a reversionary controller (RC). The system is allowed to operate with the AC until a runtime monitor detects that some property has been violated and then the RC takes over. Assuming that the sample rate of the monitor will detect improper functioning with enough time for the RC to correct the impending problem, and that the RC is trusted, the system will operate as intended. This use of the simplex RTA framework can allow for the integration of untrusted, but possibly more performant, controllers in a safe way. This paper presents a formalization of a simplex RTA framework in the Prototype Verification System (PVS) theorem prover using an embedding of differential dynamic logic (DDL) called Plaidypvs. A novel feature of this framework is that it can be instantiated at different levels of abstraction. This feature allows for the formal verification of a system with an untrusted black box component, such as an AI/ML controller. This paper does not address the many difficulties in deploying RTA in an industrial-level system. Instead, the focus is on the formal verification of the simplex RTA framework in the language of hybrid programs. Hybrid programs are programs that include both discrete and continuous dynamics and can be used to model complex cyber-physical systems. Plaidypvs is a tool that enables formalization of hybrid programs in the PVS theorem prover. Plaidypvs enables the verification of the general simplex RTA framework and then, by specializing some components of the hybrid program, verifying instances of the framework while treating the untrusted component as a black box. A selection of Unmanned Aircraft Systems (UAS) operations are shown as instances of the general RTA framework in PVS. This offers the benefit of design time verification of relevant safety properties to the system, and it also gives requirements on the sample rate of sensors that determine the time interval in which the ‘switch’ property of the RTA framework is checked.
Topological quantum interference emerges from the interplay between quantum mechanics and topology. We present evidence for two types of such interference phenomenon that can result from the quantum dynamics of initial topological states. We realize both types of topological quantum interference in a pumped non-Hermitian Su-Schrieffer-Heeger lattice that can be implemented by creation and coherent control of excitonic states of trapped neutral atoms. On quenching the system from the topological to the gapless phases and then back again, we find that interference patterns develop in the gapless phase and also after switching back to the topological phase. These patterns occur both as many-excitation interferences generated in the presence of pumping the atoms at the end sites, and as one- and two-excitation interferences seen in the absence of pumping when starting with edge excitations. Investigation of the excitation dynamics shows that these interference patterns originate from the topological nature of the initial states and are very different from quantum interferences originating from nontopological states of the lattice. Our results also reveal that unlike well-known situations where topological states are protected against local perturbations, in the non-Hermitian SSH systems resulting from driving the excited-state populations, a local dissipation at each lattice site can suppress both the topological interference and the total population of the lattice.
This paper investigates the modal dynamics of self-excited high frequency transverse instabilities in a multi-nozzle, swirl-stabilized can combustor. It utilizes results from multiple pressure sensors to decompose the disturbance into clockwise (CW) and counter-clockwise (CCW) waves, enabling a reconstruction of the pressure amplitude, phase, anti-nodal line location, and spin ratio. While these types of decompositions have been demonstrated on small scale combustors, particularly annular combustors, this is the first study to analyze these results for a high power, multi-nozzle can combustor. Its particular focus is in characterizing the system evolution in phase space and the nature of the system attractors under linearly unstable conditions; results are presented in spin ratio-phase difference space, so that limit cycle oscillations appear as fixed points. Results are shown for conditions where three different attractors dominate (standing, CW, and CCW) but are taken for very long time periods (~50,000 cycles) so that the system's interaction with these attractors can be observed. For the standing mode-dominated case, the phase portrait shows spiral trajectories converging to a single fixed point. For the spinning mode dominated cases, however, multiple fixed points and saddle points were observed, and the trajectories showed a more complicated structure. It was also shown that even though the CW mode is dominant, this mode intermittently switches to standing or CCW modes for short period. These results suggest that the strength of each attractor depends on test conditions and that random noise stochastically perturbs the system so that large regions of the phase space are explored. Lastly, one interesting observation is that the angular velocity of the anti-nodal line linearly varies with the spin ratio under standing-mode dominant conditions.
2D memristors have demonstrated attractive resistive switching characteristics recently but also suffer from the reliability issue, which limits practical applications. Previous efforts on 2D memristors have primarily focused on exploring new material systems, while damage from the metallization step remains a practical concern for the reliability of 2D memristors. Here, the impact of metallization conditions and the thickness of MoS 2 films on the reliability and other device metrics of MoS 2 -based memristors is carefully studied. The statistical electrical measurements show that the reliability can be improved to 92% for yield and improved by ≈16× for average DC cycling endurance in the devices by reducing the top electrode (TE) deposition rate and increasing the thickness of MoS 2 films. Intriguing convergence of switching voltages and resistance ratio is revealed by the statistical analysis of experimental switching cycles. An “effective switching layer” model compatible with both monolayer and few-layer MoS 2 , is proposed to understand the reliability improvement related to the optimization of fabrication configuration and the convergence of switching metrics. In conclusion, the Monte Carlo simulations help illustrate the underlying physics of endurance failure associated with cluster formation and provide additional insight into endurance improvement with device fabrication optimization.
A study was conducted to determine potential commercial aircraft flight deck applications and implementation guidelines for voice recognition and synthesis. At first, a survey of voice recognition and synthesis technology was undertaken to develop a working knowledge base. Then, numerous potential aircraft and simulator flight deck voice applications were identified and each proposed application was rated on a number of criteria in order to achieve an overall payoff rating. The potential voice recognition applications fell into five general categories: programming, interrogation, data entry, switch and mode selection, and continuous/time-critical action control. The ratings of the first three categories showed the most promise of being beneficial to flight deck operations. Possible applications of voice synthesis systems were categorized as automatic or pilot selectable and many were rated as being potentially beneficial. In addition, voice system implementation guidelines and pertinent performance criteria are proposed. Finally, the findings of this study are compared with those made in a recent NASA study of a 1995 transport concept.
Manipulation of temperature can be used to actuate DNA origami nano-hinges containing gold nanoparticles. We develop a physical model of this system that uses partition function analysis of the interaction between the nano-hinge and nanoparticle to predict the probability that the nano-hinge is open at a given temperature. The model agrees well with experimental data and predicts experimental conditions that allow the actuation temperature of the nano-hinge to be tuned over a range of temperatures from 30 °C to 45 °C. Additionally, the model identifies microscopic interactions that are important to the macroscopic behavior of the system, revealing surprising features of the system. This combination of physical insight and predictive potential is likely to inform future designs that integrate nanoparticles into dynamic DNA origami structures or use strand binding interactions to control dynamic DNA origami behavior. Furthermore, our modeling approach could be expanded to consider the incorporation, stability, and actuation of other types of functional elements or actuation mechanisms integrated into nucleic acid devices.
This work presents a short report on the routing tests of the Ku band satcom and VHF line-of-sight communications systems on the Advanced Air Transportation Technologies (AATT) Aero/Mobile van. The first section is a description of the equipment used, followed by descriptions of the tests, the theoretical results, and finally, conclusions and the actual data.