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.
Report describes proposed experiment to demonstrate feasibility of using rotating-unbalanced-mass (RUM) actuator to effect raster scanning of instrument mounted in two-axis gimbal. Conceptual RUM and auxiliary RUM control mechanism described in "Auxiliary Mechanisms for Rotating-Unbalanced-Mass Actuators" (MFS-28817).
PLCverif is an actively developed project at CERN, enabling the formal verification of Programmable Logic Controller (PLC) programs in critical systems. In this paper, we present our work on improving the formal requirements specification experience in PLCverif through the use of natural language. To this end, we integrate NASA’s FRET, a formal requirement elicitation and authoring tool, into PLCverif. FRET is used to specify formal requirements in structured natural language, which automatically translates into temporal logic formulae. FRET’s output is then directly used by PLCverif for verification purposes. We discuss practical challenges that PLCverif users face when authoring requirements and the FRET features that help alleviate these problems. We present the new requirement formalization workflow and report our experience using it on two critical CERN case studies.
PLCverif is an actively developed project at CERN, enabling the formal verification of Programmable Logic Controller (PLC) programs in critical systems. In this paper, we present our work on improving the formal requirements specification experience in PLCverif through the use of natural language. To this end, we integrate NASA’s FRET, a formal requirement elicitation and authoring tool, into PLCverif. FRET is used to specify formal requirements in structured natural language, which automatically translates into temporal logic formulae. FRET’s output is then directly used by PLCverif for verification purposes. We discuss practical challenges that PLCverif users face when authoring requirements and the FRET features that help alleviate these problems. We present the new requirement formalization workflow and report our experience using it on two critical CERN case studies.
PLCverif is an actively developed project at CERN, enabling the formal verification of Programmable Logic Controller (PLC) programs in critical systems. In this paper, we present our work on improving the formal requirements specification experience in PLCverif through the use of natural language. To this end, we integrate NASA’s FRET, a formal requirement elicitation and authoring tool, into PLCverif. FRET is used to specify formal requirements in structured natural language, which automatically translates into temporal logic formulae. FRET’s output is then directly used by PLCverif for verification purposes. We discuss practical challenges that PLCverif users face when authoring requirements and the FRET features that help alleviate these problems. We present the new requirement formalization workflow and report our experience using it on two critical CERN case studies.
As reported at previous sessions of the Interdepartmental Hurricane Conference, the Office of Earth Science within the National Aeronautics and Space Administration (NASA) has been sponsoring the Convection And Moisture Experiment (CAMEX) since 1993. Although originally designed to support satellite calibration and validation activities and to demonstrate new remote sensing technology pertinent to the global water cycle, the CAMEX research objectives have evolved to include a strong emphasis on hurricane observational studies. A hallmark of CAMEX success has been fruitful research collaborations with the Hurricane Research Division (HRD) of the National Oceanic and Atmospheric Administration (NOAA) and the Hurricanes At Landfall Initiative of the United States Weather Research Program. Satellite, aircraft, and ground-based observations collected during the 1998 and 200 1 field phases of CAMEX represent a wealth of information describing the three dimensional structure of tropical cyclones. Early research results gleaned from these observations have been submitted to a special issue of the American Meteorological Society Journal of Atmospheric Sciences. An overview of these early findings and their expected significance to the operational community will be presented during this talk.
This paper describes two techniques that have been developed to produce Fe-Pt alloy capsules for hgh-pressure experiments, and reports liquidus-phase relations of the Apollo 14 very low titanium glasses determined using Fe-rich capsules (a/Fe/ approximately 0.6). The liquid is multiply saturated with olivine and clinopyroxene at equal to or greater than 22 kbar. The multiple saturation is at least 3 kbar higher than that determined using pure Fe capsules and corresponds to a source region at least 60 km deeper if olivine and clinopyroxene were the residual phases. However, independent data on iron activity or oxygen fugacity of the glasses are still needed in order to choose a container of optimum composition. Preliminary experiments in Fe-poor alloy capsules suggest that the valence state of iron and the crystallization sequence in the melt have changed, possibly as a result of oxidizing materials entrapped during the iron-plating processes. The FeO content of the charge decreases linearly with increasing run duration in experiments using pure Fe capsules. The observation that iron-rich globules grow with time suggests that the equilibrium Fe (bleb) + Fe2O3 (liq) = 3 FeO (liq) might be established in the liquid at high pressure. If this explanation is correct, an appreciable amount of 'FeO' in the liquid could actually be Fe2O3, and some natural lunar volcanic glasses may contain ferric iron as well.
A report describes experiments performed as part of a continuing investigation of the feasibility of laser ablation of materials as a means of propulsion for small spacecraft. In each experiment, a specimen of ablative material was mounted on a torsion pendulum and irradiated with a laser pulse having an energy of 5 J. The amplitude of the resulting rotation of the torsion pendulum was taken to be an indication of the momentum transferred from the laser beam. Of the ablative materials tested, aluminum foils yielded the smallest rotation amplitudes of the order of 10 degrees. Black coating materials yielded rotation amplitudes of the order of 90 degrees. Samples of silver coated with a fluorinated ethylene propylene (FEP) copolymer yielded the largest rotation amplitudes 6 to 8 full revolutions. The report presents a theory involving heating of a confined plasma followed by escape of the plasma to explain the superior momentum transfer performance of the FEP specimens. It briefly discusses some concepts for optimizing designs of spacecraft engines to maximize the thrust obtainable by exploiting the physical mechanisms of the theory. Also discussed is the use of laser-ablation engines with other types of spacecraft engines.
The OREOcube (ORganics Exposure in Orbit cube) experiment on the International Space Station (ISS) will investigate the effects of solar and cosmic radiation on organic thin films supported on inorganic substrates. Probing the kinetics of structural changes and photomodulated organic− inorganic interactions with real-time in situ UV−visible spectroscopy, this experiment will investigate the role played by solid mineral surfaces in the (photo)chemical evolution, transport, and distribution of organics in our solar system and beyond. In preparation for the OREOcube ISS experiment, we report here laboratory measurements of the photostability of thin films of the 9,10-anthraquinone derivative anthrarufin (51 nm thick) layered upon ultrathin films of iron oxides magnetite and hematite (4 nm thick), as well as supported directly on fused silica. During irradiation with UV and visible light simulating the photon flux and spectral distribution on the surface of Mars, anthrarufin/iron oxide bilayer thin films were exposed to CO2 (800 Pa), the main constituent (and pressure) of the martian atmosphere. The time-dependent photodegradation of anthrarufin thin films revealed the inhibition of degradation by both types of underlying iron oxides relative to anthrarufin on bare fused silica. Interactions between the organic and inorganic thin films, apparent in spectral shifts of the anthrarufin bands, are consistent with presumed free-electron quenching of semiquinone anion radicals by the iron oxide layers, electively protecting the organic compound from photodegradation. Combining such in situ real-time kinetic measurements of thin films in future space exposure experiments on the ISS with postflight sample return and analysis will provide time-course studies complemented by in-depth chemical analysis. This will facilitate the characterization and modeling of the chemistry of organic species associated with mineral surfaces in astrobiological contexts.
Explorer 35 data analysis including occultation study and antenna pattern interpretation along with electromagnetic property experiments
We consider the use of magnetic forces in a bumper system, to soften docking procedures. We investigate a system which exhibits no magnetic field except during the docking process, which, if desired, can automatically tether two craft together, and which provides lateral stability during docking. A system composed of zero field cooled Y(1.7)Ba2Cu3O(7-delta) (Y123) tiles and electromagnets is proposed. The Y123 high temperature superconductor (HTS) is mounted on one craft, and the electromagnet on the other. Results of small prototype laboratory experiments are reported. The electromagnet has, for convenience, been replaced by a permanent SmCo ferromagnet in these measurements. When the two craft approach, a mirror image of the ferromagnet is induced in the Y123, and a repulsive bumper force, F(sub B), results. F(sub B) is velocity dependent, and increases with v. For presently available HTS materials, bumper pressure of approx. 3.7 N/cm(exp 2) is achieved using SmCo. This extrapolates to approx. 18 N/cm(exp 2) for an electromagnet, or a force of up to 20 tons for a 1 m(exp 2) system. After reaching a minimum distance of approach, the two colliding craft begin to separate. However, the consequent change of SmCo magnetic field at the Y123 results in a reversal of current in the Y123 so that the Y123 is attractive to the SmCo. The attractive (tether) force, F(sub T), is a function of R = B(sub Fe)/B(sub t, max), where B(sub Fe) is the field at the surface of the ferromagnet, and B(sub t, max) is the maximum trapped field of the Y123, i.e., the trapped field in the so-called critical state. For R greater than or equal to 2, F(sub T) saturates at a value comparable to F(sub B). For a range of initial approach velocities the two craft are tethered following the bumper sequence. Most of the kinetic energy of the collision is first converted to magnetic field energy in the Y123, and then into heat via the creep mechanism. About 15% of the work done against magnetic forces during collision remains stored as magnetic energy after 1 hour. Experiments have also been conducted on the spatial range of the bumper force for arrays of HTS tiles. For a single HTS tile approx. 2 cm in diameter, the range of F(sub B) is approx. l cm. For a l m(exp 2) array the range of F(sub B) will be circa 50 cm.
Modeling guidelines constitute one of the fundamental cornerstones for Model Based Development. Their relevance is essential when dealing with code generation in the safety-critical domain. This article presents the experience of a railway signaling systems manufacturer on this issue. Introduction of Model-Based Development (MBD) and code generation in the industrial safety-critical sector created a crucial paradigm shift in the development process of dependable systems. While traditional software development focuses on the code, with MBD practices the focus shifts to model abstractions. The change has fundamental implications for safety-critical systems, which still need to guarantee a high degree of confidence also at code level. Usage of the Simulink/Stateflow platform for modeling, which is a de facto standard in control software development, does not ensure by itself production of high-quality dependable code. This issue has been addressed by companies through the definition of modeling rules imposing restrictions on the usage of design tools components, in order to enable production of qualified code. The MAAB Control Algorithm Modeling Guidelines (MathWorks Automotive Advisory Board)[3] is a well established set of publicly available rules for modeling with Simulink/Stateflow. This set of recommendations has been developed by a group of OEMs and suppliers of the automotive sector with the objective of enforcing and easing the usage of the MathWorks tools within the automotive industry. The guidelines have been published in 2001 and afterwords revisited in 2007 in order to integrate some additional rules developed by the Japanese division of MAAB [5]. The scope of the current edition of the guidelines ranges from model maintainability and readability to code generation issues. The rules are conceived as a reference baseline and therefore they need to be tailored to comply with the characteristics of each industrial context. Customization of these recommendations has been performed for the automotive control systems domain in order to enforce code generation [7]. The MAAB guidelines have been found profitable also in the aerospace/avionics sector [1] and they have been adopted by the MathWorks Aerospace Leadership Council (MALC). General Electric Transportation Systems (GETS) is a well known railway signaling systems manufacturer leading in Automatic Train Protection (ATP) systems technology. Inside an effort of adopting formal methods within its own development process, GETS decided to introduce system modeling by means of the MathWorks tools [2], and in 2008 chose to move to code generation. This article reports the experience performed by GETS in developing its own modeling standard through customizing the MAAB rules for the railway signaling domain and shows the result of this experience with a successful product development story.
This paper reports the result of an analysis of wind tunnel data acquired in support of the Facility Analysis Verification & Operational Reliability (FAVOR) project. The analysis uses methods referred to collectively at Langley Research Center as the Modern Design of Experiments (MDOE). These methods quantify the total variance in a sample of wind tunnel data and partition it into explained and unexplained components. The unexplained component is further partitioned in random and systematic components. This analysis was performed on data acquired in similar wind tunnel tests executed in four different U.S. transonic facilities. The measurement environment of each facility was quantified and compared.
Three series of experiments were performed to investigate the nature of the buckling phenomenon. They were: a) influence of an increasing dimple on the buckling load of a cylinder; b) investigation of the strain distribution on one cylinder, after one or more waves were imposed on it; c) measurements of lateral deflections at buckling. The results of such experiments give some support to the idea of a buckling model, which can be of eventual interest to the thin wall cylinder and cone buckling problem, where a non-linear system (the buckled band) is considered in series with a linear system (the unbuckled portion of the cylinder, plus the testing-machine )
Design of experiments for solar probe for measuring solar wind, particles, fields, and other interplanetary data
Gemini 8 experiments - bioassays of spacecrew blood and urine samples, frog egg growth, and nuclear emulsion experiment
Development and implementation planning for marketing information technology
Scientific experimentation during Gemini 10 flight - measurements on magnetic field, sky radiation, spaceborne photography, electron and ion environmental density, and bremsstrahlung
Passive dosimetry system for inclusion in Neurospora modules