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 problems created by fretting in turbine engines are discussed. The areas of greatest wear identified with the fan, compressor, and turbine blade mountings being the most critical items. Various methods for reducing or eliminating fretting in a turbine engine are described. Vacuum deposition of coatings by sputtering and ion plating are recommended as an economic method of applying thin films to inhibit fretting.
Martian fretted terrain is an extensive area of complex topography characterized by smooth, flat-floor valleys and mesas separated by abrupt escarpments along the boundary of heavily cratered uplands. The Deuteronilus-Protonilus region of the fretted terrain between latitude 35 degrees N and 50 degrees N and between 305 degrees W and 350 degrees W longitude was selected for quantitative landform study with the use of principal components analysis (PCA). The morphometry of upland mesa remnants and debris aprons was digitized with respect to latitude, longitude, and distance from the cratered terrain boundary (CTB). The PCA demonstrates that there are definable spatial variations in morphology with respect to longitude and latitude which suggest that the degradation along the CTB proceeded toward the southwest. The PCA also showed that there are organized relationships within the fretted landforms irrespective of their location. Finally, PCA indicated that an orientation of the degraded mesas exists which may be controlled by structure.
Qualitative and quantitative analyses are performed on the northern fretted terrain of the Martian Isnenius Lacus quadrangle to determine the formation processes. The fretted terrain lies between 35-50 deg N latitude and 305-350 deg W longitude and was mapped with Viking orbiter instrumentation. The dominant landforms are a sequence of heavily cratered terrain, scattered flat-floored, fretted valleys, linear waste-covered valleys between flat-topped mesas, circum-mesa debris areas, a transition from mesas to knobby terrain, fewer upland forms, and low-relief, mantled, polar plains. The features spread out from a cratered terrain boundary in a succession of shapes. A principal components analysis characterizes definable spatial variations in the surface morphology and suggests that the features are youngest in the southwest direction. Relationships are also found between neighboring features. The principal components analysis technique is concluded to be a valuable tool for explaining the geomorphic evolution of the Martian surface.
Geologic mapping of the fretted terrain of the Nilosyrtis Mensae region of Mars has revealed geomorphic evidence that the breakup of the plateau units to the south of Nilosyrtis occurred well before the plains units to the north were emplaced in the late Hesperian time. The plains units were deposited against the fretted terrain which has undergone some modification by mass wasting but not significant backwasting. The morphology observed at the contact between plains and the fretted terrain is consistent with that expected where the edge of a pile of sedimentary debris has undergone mass wasting and other erosion.
Improving the tribological functionality of diamondlike carbon (DLC) films--developing, good wear resistance, low friction, and high load-carrying capacity-was the aim of this investigation. Nanocomposite coatings consisting of an amorphous DLC (a-DLC) top layer and a functionally graded titanium-titanium carbon-diamondlike carbon (Ti-Ti(sub x) C(sub y)-DLC) underlayer were produced on AISI 440C stainless steel substrates by the hybrid technique of magnetron sputtering and pulsed-laser deposition. The resultant DLC films were characterized by Raman spectroscopy, scanning electron microscopy, and surface profilometry. Two types of wear experiment were conducted in this investioation: sliding friction experiments and fretting wear experiments. Unidirectional ball-on-disk sliding friction experiments were conducted to examine the wear behavior of an a-DLC/Ti-Ti(sub x) C(sub y)-DLC-coated AISI 440C stainless steel disk in sliding contact with a 6-mm-diameter AISI 440C stainless steel ball in ultrahigh vacuum, dry nitrogen, and humid air. Although the wear rates for both the coating and ball were low in all three environments, the humid air and dry nitrogen caused mild wear with burnishing, in the a-DLC top layer, and the ultrahigh vacuum caused relatively severe wear with brittle fracture in both the a-DLC top layer and the Ti-Ti(sub x) C(sub y)-DLC underlayer. For reference, amorphous hydrogenated carbon (H-DLC) films produced on a-DLC/Ti-Ti(sub x) C(sub y)-DLC nanocomposite coatings by using an ion beam were also examined in the same manner. The H-DLC films markedly reduced friction even in ultrahigh vacuum without sacrificing wear resistance. The H-DLC films behaved much like the a-DLC/Ti-Ti(sub x) C(sub y)-DLC nanocomposite coating in dry nitrogen and humid air, presenting low friction and low wear. Fretting wear experiments were conducted in humid air (approximately 50% relative humidity) at a frequency of 80 Hz and an amplitude of 75 micron on an a-DLC/Ti-Ti(sub x) C(sub y)-DLC-coated AISI 440C disk and on a titanium-6 wt % aluminum-4 wt% vanadium (Ti-6Al-4V) flat, both in contact with a 9.4-mm-diameter, hemispherical Ti-6Al-4V pin. The resistance to fretting wear and damage of the a-DLC/Ti-6Al-4V materials pair was superior to that of the Ti-6Al-4V/Ti-6AI-4V materials pair.
An investigation was conducted to examine the wear behavior of gamma titanium aluminide (Ti-48Al-2Cr-2Nb in atomic percent) in contact with a typical nickel-base superalloy under repeated microscopic vibratory motion in air at temperatures from 296-823 K. The surface damage observed on the interacting surfaces of both Ti-48Al-2Cr-2Nb and superalloy consisted of fracture pits, oxides, metallic debris, scratches, craters, plastic deformation, and cracks. The Ti-48Al-2Cr-2Nb transferred to the superalloy at all fretting conditions and caused scuffing or galling. The increasing rate of oxidation at elevated temperatures led to a drop in Ti-48Al-2Cr-2Nb wear at 473 K. Mild oxidative wear was observed at 473 K. However, fretting wear increased as the temperature was increased from 473-823 K. At 723 and 823 K, oxide disruption generated cracks, loose wear debris, and pits on the Ti-48Al-2Cr-2Nb wear surface. Ti-48Al-2Cr-2Nb wear generally decreased with increasing fretting frequency. Both increasing slip amplitude and increasing load tended to produce more metallic wear debris, causing severe abrasive wear in the contacting metals. Keywords
Fretted Martian terrain is characterized by smooth, flat, lowland areas separated from a cratered upland by abrupt escarpments of complex planimetric configuration and a maximum estimated height approaching 1 to 2 km. It is the product of some unusual erosive or abstractive process that has created steep escarpments. Chaotic terrain differs from fretted terrain in having a rough floor topography featuring a haphazard jumble of large angular blocks, and by arc-shaped slump blocks on its bounding escarpments. Its existence has now been confirmed by Mariner 9 pictures, and the characteristics, location, and areal extent of chaotic terrain have been more accurately and completely defined.
A titanium - 6-percent-aluminum - 4-percent-vanadium alloy (Ti-6Al-4V) was subjected to fretting-wear exposures against uncoated Ti-6Al-4V as a baseline and against various coatings and surface treatments applied to Ti-6Al-4V. The coatings evaluated included plasma-sprayed tungsten carbide with 12 percent cobalt, aluminum oxide with 13 percent titanium oxide, chromium oxide, and aluminum bronze with 10 percent aromatic polyester; polymer-bonded polyimide, polyimide with graphite fluoride, polyimide with molybdenum disulfide (MoS2), and methyl phenyl silicone bonded MoS2, preoxidation surface treatment, a nitride surface treatment, and a sputtered MoS2 coating. Results of wear measurements on both the coated and uncoated surfaces after 300,000 fretting cycles indicated that the polyimide coating was the most wear resistant and caused the least wear to the uncoated mating surface.
The ability of several wear-resistant coatings to reduce fretting in the Ti-6Al-4V alloy is investigated. The experimental apparatus and procedures for evaluating fretting in uncoated Ti-6Al-4V alloy and in the alloy with plasma-sprayed coatings, polymer-bonded coating, and surface treatments are described. The wear volume and wear rate for the alloys are measured and compared. It is concluded that Al2O3 with 13 percent TiO2, preoxidation and nitride surface treatments, and MoS2 sputtering result in wear-resistant surfaces; however, the polyimide coating is the most wear resistant coating in both dry and moist air, and it causes the least wear to the uncoated alloy surface.
Realizability checking refers to the formal procedure that aims to determine whether an implementation exists, always complying to a set of requirements, regardless of the stimuli provided by the system’s environment. Such a check is essential to ensure that the specification does not allow behavior that can force the system to violate safety constraints. In this paper, we present an approach that decomposes realizability checking into smaller, more tractable problems. More specifically, our approach automatically partitions specifications into sets of non-interfering requirements. We prove that checking whether a specification is realizable reduces to checking that each partition is realizable.We have integrated realizability checking and implemented our decomposition approach within the open-source Formal Requirements ElicitationTool (FRET). A FRET user may check the realizability of a specification monolithically or compositionally. We evaluate our approach by comparing monolithic and compositional checking and showcase the strengths of our decomposition approach on a variety of industrial-level case studies
In this technical report we provide information on the use of the NASA Formal RequirementsElicitation Tool (FRET) to create requirements for a Lift Plus Cruise (LPC) aircraft case study. Furthermore, we provide details on using FRET to translate these requirements into an appropriate format for the Copilot tool, enabling their usage to perform runtime verification on a synthesized LPC system.
Verification of Programmable Logic Controller (PLC) programs requires reasoning about propositions qualified in terms of time. CERN’s PLCverif, an open-source tool for the analysis of safety-critical PLC systems, uses Linear Temporal Logic (LTL) for the specification of properties. Until now, PLCverif depended on third-party tools that accept LTL specifications to perform verification. However, our experience with industrial PLC programs shows that, to overcome analysis limitations, a wide range of techniques are needed to successfully verify complex properties. In this paper, we extend PLCverif to enable PLC program verification of pure-past LTL (PLTL) safety properties with assertion-based verification tools. To this end, we take an algorithm from the runtime-monitoring domain, apply it to bounded model checking of PLC programs, and implement it in PLCverif. We extend the integration of NASA’s Formal Requirements Elicitation Tool (FRET) into PLCverif to use PLTL properties generated with FRET. In addition, we leverage the program structure induced by the PLC scan-cycle for a state-space reduction. Finally, we expose the algorithm to a real-world case study of critical systems at CERN.
A set of requirements for a reactive system is realizable if, for any sequence of inputs that satisfy the assumptions on the environment, the guarantees always hold. Realizability checking is essential to ensure that an implementation can be constructed that satisfies the requirements. We propose a framework that supports users in the non-trivial task of developing realizable requirements. Our framework uses architectural information to automatically de-compose a set of requirements into subsets that can be analyzed separately, and therefore more efficiently. It then integrates existing algorithms in order to detect unrealizability, identify minimal sets of conflicting requirements, and compute counterexamples. The capability to focus on minimal conflict sets is key for localizing and correcting the sources of unrealizability. Our approach supports this process by enabling users to interactively visualize and explore the produced conflict sets and counterexamples. We have implemented our framework in the open-source Formal Requirements Elicitation Tool (FRET), and have used it on a variety of industrial-level case studies, showcasing the strengths of our approach in terms of raw performance, as well as diagnostic potential.
Friction and fretting wear tests on materials used as friction dampers to reduce vibrational stresses in compressor blades for turbine engines
Various properties of metals and alloys were studied with respect to their effect on the initial stage of the fretting process, namely adhesion. Crystallographic orientation, crystal structure, interfacial binding energies of dissimiliar metal, segregation of alloy constituents and the nature and structure of surface films were found to influence adhesion. High atomic density, low surface energy grain orientations exhibited lower adhesion than other orientations. Knowledge of interfacial surface binding energies assists in predicting adhesive transfer and wear. Selective surface segregation of alloy constituents accomplishes both a reduction in adhesion and improved surface oxidation characteristics. Equivalent surface coverages of various adsorbed species indicate that some are markedly more effective in inhibiting adhesion than others.
Various properties of metals and alloys have been studied with respect to their effect on the initial stage of the fretting process, namely adhesion. Crystallographic orientation, crystal structure, interfacial binding energies of dissimiliar metal, segregation of alloy constituents and the nature and structure of surface films have all been found to influence adhesion. High atomic density, low surface energy grain orientations exhibit lower adhesion than other orientations. Hexagonal metals in general manifest less adhesive wear than cubic metal. Knowledge of interfacial surface binding energies can assist in predicting adhesive transfer and wear. Selective surface segregation of alloy constituents can accomplish both a reduction in adhesion and improved surface oxidation characteristics. Equivalent surface coverages of various adsorbed species indicate that some are markedly more effective in inhibiting adhesion than others.
Various properties of metals and alloys have been studied with respect to their effect on the initial stage of the fretting process, namely adhesion. Crystallographic orientation, crystal structure, interfacial binding energies of dissimiliar metal, segregation of alloy constituents and the nature and structure of surface films have all been found to influence adhesion. High atomic density, low surface energy grain orientations exhibit lower adhesion than other orientations. Hexagonal metals in general manifest less adhesive wear than cubic metal. Knowledge of interfacial surface binding energies can assist in predicting adhesive transfer and wear. Selective surface segregation of alloy constituents can accomplish both a reduction in adhesion and improved surface oxidation characteristics. Equivalent surface coverages of various adsorbed species indicate that some are markedly more effective in inhibiting adhesion than others.
An estimate is made of the volume of plateau material removed from the area of Martian fretted terrain between 270 W and 360 W. Depending on the model chosen for the former extent of plateau, between 0.5 and 3.3 million cubic km have been removed. This corresponds to a global equivalent layer between 3 and 21 m or a lowland equivalent layer between 9 and 60 m of redistributed sediment. The preferred model is at the lower end of this range. The material could have been removed during a relatively short period of Martian history by aeolian abrasion following in situ weathering. The volume of material is an order of magnitude smaller than the total amount likely to be present in the northern lowlands.