Coefficient of Friction and Damage to Contact Area During the Early Stages of Fretting II : Steel, Iron, Iron Oxide, and Glass Combinations
Explore the source record for details and available documents.
Bailey, John M↗
SEARCH · Search NASA
Results for “FRETTING”
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.
A Fundamental Investigation of Fretting Corrosion
Explore the source record for details and available documents.
Uhlig, H H↗
Formalizing and Analyzing Requirements with FRET
Formal verification and simulation are powerful tools to validate requirements against complex systems. Requirements are developed in early stages of the software lifecycle and are typically written in ambiguous natural language. There is a gap between such requirements and formal notations that can be used by verification tools, and lack of support for proper association of requirements with software artifacts for verification. We propose to write requirements in an intuitive, structured natural language with formal semantics, and to support formalization and model/code verification as a smooth, well-integrated process. To this end, we have developed an end-to-end, open source requirements analysis framework that checks Simulink models against requirements written structured natural language.
Mavridou, Anastasia↗
Capturing & Analyzing Requirements with FRET
Explore the source record for details and available documents.
Requirements, Simulink models, Verification↗
FRET Requirements?
Explore the source record for details and available documents.
Dimitra Giannakopoulou↗
FRET Requirements?
Explore the source record for details and available documents.
Dimitra Giannakopoulou↗
Requirements Elicitation, Analysis and Verification Using FRET and CoCoSIM
Explore the source record for details and available documents.
Formal Requirements Elicitation Tool↗
Flight set 360L009 (STS-36) case and seals component, volume 2
The performance of the 360L009, Ninth Flight, Redesigned Solid Rocket Motors (RSRM) is assessed in respect to case hardware and joint sealing issues as seen from post-fire assessment of the case and seals. In addition, all of the potential anomalies have been classified and summarized. The post-fire assessment of both motors showed the case segments to be in good condition. Field joint fretting of this flight set ranged from light on most of the joints to locally heavy on three of the joints. The LH aft field joint is the most heavily fretted joint to date; this joint had previously fretted areas from STS-27. No new fretting was found in old fretting locations. However, new frets were found at the edges of repaired areas on both the LH center and aft field joints. All fretting was mapped from the inner clevis leg. The capture feature fretting was not mapped due to the difficulty of measuring the fretting in the capture feature region. It is assumed that the capture feature had damage similar to that on the inner clevis leg.
Carlisle, Alan R.↗
Flight set 360L007 (STS-33R) case and seals, volume 2
The performance of the 360L007, Seventh Flight, redesigned Solid Rocket Motors (RSRM) is assessed with respect to case hardware and joint sealing issues as seen from post-flight assessment of the case and seals. Potential anomalies are classified and summarized. The post-flight assessment of both motors showed the case segments to be in good condition. Field joint fretting indications on this flight set ranged from none on one joint through light (less than 0.003 inch deep) on most of the joints to locally medium (greater than 0.003, less than 0.005 inch deep) on two joints. No new fretting was found in old fretting locations. All fretting was mapped from the inner clevis leg. The capture feature fretting was not mapped due to the difficulty of measuring the fretting in the capture feature region, but it is assumed that the capture feature had similar damage as the inner clevis leg. Post-flight assessment of both motors showed the seal components to be in good condition.
Carlisle, Alan R.↗
Let’s speak FRETish
FRET (https://github.com/NASA-SW-VnV/fret [github.com]) is a framework for the elicitation, formalization and analysis of requirements. FRET allows its user to enter requirements in a structured natural language called FRETish. Requirements written in FRETish are assigned unambiguous semantics. FRET supports its users in understanding this semantics and repairing requirements if applicable, by utilizing a variety of forms for each requirement: natural language description, formal mathematical logics, diagrams, and interactive simulation. FRET exports requirements into forms that can be used by a variety of analysis tools, including state-of-the-art model checkers and runtime monitoring tools. The talk will cover some of the theory behind the framework, present case studies from the aerospace and robotics domains, as well as current work on extending FRET for specifying requirements for software that learns.
FRET↗
Geomorphic evidence for ancient seas in west Deuteronilus Mensae, Mars-1: Regional geomorphology
The fretted terrain in west Deuteronilus Mensae consists of extensive cratered upland penninsulas or isolated plateaus cut by long, finger-like canyons typically 10 to 20 km wide and upwards of 300 km long. The longest of these canyons trend roughly north-south to north-northeast, which may reflect some local structural and/or topographic control. At least three geomorphic zones roughly parallel to the lowland/upland boundary, suggestive of increasing modification northward, can be recognized on the fretted region of the region. The southern-most zone (zone A) consists of sharply defined fretted terrain. The middle zone (zone B) consists of well defined fretted terrain in which the plateau surfaces appear smoother, with a somewhat darker and much less varied albedo surface than those of zone A. The northern-most zone (zone C) consists of rounded or softened fretted terrain. The zones were interpreted as surface exposures of successively lower stratigraphic units.
Parker, Timothy J.↗
Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements
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.
formal methods↗
Fluorescence Studies of Protein Crystal Nucleation
Fluorescence can be used to study protein crystal nucleation through methods such as anisotropy, quenching, and resonance energy transfer (FRET), to follow pH and ionic strength changes, and follow events occurring at the growth interface. We have postulated, based upon a range of experimental evidence that the growth unit of tetragonal hen egg white lysozyme is an octamer. Several fluorescent derivatives of chicken egg white lysozyme have been prepared. The fluorescent probes lucifer yellow (LY), cascade blue, and 5-((2-aminoethyl)aminonapthalene-1-sulfonic acid (EDANS), have been covalently attached to ASP 101. All crystallize in the characteristic tetragonal form, indicating that the bound probes are likely laying within the active site cleft. Crystals of the LY and EDANS derivatives have been found to diffract to at least 1.7 A. A second group of derivatives is to the N-terminal amine group, and these do not crystallize as this site is part of the contact region between the adjacent 43 helix chains. However derivatives at these sites would not interfere with formation of the 43 helices in solution. Preliminary FRET studies have been carried out using N-terminal bound pyrene acetic acid (Ex 340 nm, Em 376 nm) lysozyme as a donor and LY (Ex -425 nm, Em 525 nm) labeled lysozyme as an acceptor. FRET data have been obtained at pH 4.6, 0.1 M NaAc buffer, at 5 and 7% NaCl, 4 C. The corresponding Csat values are 0.471 and 0.362 mg/ml (approximately 3.3 and approximately 2.5 x 10(exp -5) M respectively). The data at both salt concentrations show a consistent trend of decreasing fluorescence intensity of the donor species (PAA) with increasing total protein concentration. This decrease is more pronounced at 7% NaCl, consistent with the expected increased intermolecular interactions at higher salt concentrations reflected in the lower solubility. The calculated average distance between any two protein molecules at 5 x 10(exp -6) M is approximately 70nm, well beyond the range where any FRET can be expected. Results from these and ongoing studies will be presented.
Pusey, Marc L.↗
Fluorescence Studies of Protein Crystal Nucleation
We have postulated that, in the case of tetragonal chicken egg white lysozyme, crystal growth occurs by the addition of pre-critical nuclei sized n-mers that form in the bulk solution, and that the n-mer growth units were multiples of the tetrameric 4(sub 3) helical structure. These have the strongest intermolecular bonds in the crystal and are therefore likely to be the first species formed. High resolution AFM studies provide strong supporting evidence for this model, but the data also suggest that the actual species in solution may not be identical in structure to that found in the crystal. We are using fluorescence resonance energy transfer (FRET) to study the initial solution phase self-assembly process, using covalent fluorescent derivatives which crystallize in the characteristic P4(sub 3)2(sub 1)2(sub 1) space group. FRET studies are being carried out between the cascade blue (CB-lys, donor, Ex(sub max) 366 nm, Em 420 nm) and lucifer yellow (LY-lys, acceptor, Ex(sub max) 430 nm, Em 528 nm) asp101 derivatives. The estimated R(sub 0) for this probe pair, the distance where 50% of the donor energy is transferred to the acceptor, is approx. 1.2 nm, compared to 2.2 nm between the side chain carboxyls of adjacent asp101's in the crystalline 4(sub 3) helix. The short donor lifetime of 2.80 ns (chi(sup 2) = 0.644), coupled with the large average distances between the molecules (greater than or equal to 50 nm) in solution, ensure that any energy transfer observed is not due to random diffusive interactions. Lifetime data show that CB-lys has a single lifetime when it is the only species in solution. Similarly, LY-lys also exhibits a single lifetime of 4.63 ns (chi(sup 2) = 0.42) when alone in solution. Addition of LY-lys to CB-lys results in the appearance of a third lifetime component of 0.348ns for the CB-lys. The fractional intensities of the different species present can be used to estimate the distribution of monomer and n-mers in solution. The self-association process is a function of the protein concentration relative to the saturation concentration, and observing it in dilute solution (conc. less than or equal to 10(exp -5)M) requires that the experiments be performed under low solubility conditions, i.e., low temperatures and high salt concentrations. Data from preliminary steady state FRET studies with N-terminal bound pyrene acetic acid (PAA-lys, donor, Ex 340 nm, Em 376 nm) and asp101 LY-lys as an acceptor showed a consistent trend of decreasing donor fluorescence intensity with increasing total protein concentration. The FRET data have been obtained at pH 4.6, 0.1M NaAc buffer, at 5 and 7% NaCl, 4 C. The corresponding C(sub sat) values are 0.471 and 0.362 mg/ml (approx. 3.3 and approx. 2.5 x 10(exp -5)M respectively). The donor fluorescence decrease is more pronounced at7% NaCl, consistent with the expected increased intermolecular interactions at higher salt concentrations as reflected in the lower solubility. Results from these and other ongoing studies will be discussed in conjunction with an emerging model for how tetragonal lysozyme crystals nucleate and the relevance of that model to other proteins.
Pusey, Marc↗
Durability Assessment of Gamma Tial
Gamma TiAl was evaluated as a candidate alloy for low-pressure turbine blades in aeroengines. The durability of g-TiAl was studied by examining the effects of impact or fretting on its fatigue strength. Cast-to-size Ti-48Al-2Cr-2Nb was studied in impact testing with different size projectiles at various impact energies as the reference alloy and subsequently fatigue tested. Impacting degraded the residual fatigue life. However, under the ballistic impact conditions studied, it was concluded that the impacts expected in an aeroengine would not result in catastrophic damage, nor would the damage be severe enough to result in a fatigue failure under the anticipated design loads. In addition, other gamma alloys were investigated including another cast-to-size alloy, several cast and machined specimens, and a forged alloy. Within this Ti-48-2-2 family of alloys aluminum content was also varied. The cracking patterns as a result of impacting were documented and correlated with impact variables. The cracking type and severity was reasonably predicted using finite element models. Mean stress affects were also studied on impact-damaged fatigue samples. The fatigue strength was accurately predicted based on the flaw size using a threshold-based, fracture mechanics approach. To study the effects of wear due to potential applications in a blade-disk dovetail arrangement, the machined Ti-47-2-2 alloy was fretted against In-718 using pin-on-disk experiments. Wear mechanisms were documented and compared to those of Ti-6Al-4V. A few fatigue samples were also fretted and subsequently fatigue tested. It was found that under the conditions studied, the fretting was not severe enough to affect the fatigue strength of g-TiAl.
Draper, Susan L.↗
Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft
Requirements specification and analysis is widely applied to ensure the correctness of industrial systems in safety critical domains. Requirements are often initially written in natural language, which is highly ambiguous, and as a second step transformed into a language with rigorous semantics for formal analysis. [Question/problem] In this paper, we report on our experience in requirements creation and analysis, as well as run-time monitor generation using the Formal Requirement Elicitation Tool (FRET), on an industrial case study for a Lift-Plus-Cruise concept aircraft. [Principal ideas/results] We study the creation of requirements directly in the structured language of FRET without a prior definition of the same requirements in natural language. We focus on requirements describing state machines and discuss the challenges that we faced, in terms of creating requirements and generating monitors. We demonstrate how realizability, i.e., checking whether a requirements specification can be implemented, is crucial for understanding temporal interdependencies among requirements. [Contribution] Our study is the first complete attempt at using FRET to create industrial, realizable requirements and generate run-time monitors. Insight from lessons learned was materialized into new features in the FRET and JKind analysis frameworks.
Requirements engineering↗
Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft
Requirements specification and analysis is widely applied to ensure the correctness of industrial systems in safety critical domains. Requirements are often initially written in natural language, which is highly ambiguous, and as a second step transformed into a language with rigorous semantics for formal analysis. In this paper, we report on our experience in requirements creation and analysis, as well as run-time monitor generation using the Formal Requirement Elicitation Tool (FRET), on an industrial case study for a Lift-Plus-Cruise concept aircraft. We study the creation of requirements directly in the structured language of FRET without a prior definition of the same requirements in natural language. We focus on requirements describing state machines and discuss the challenges that we faced, in terms of creating requirements and generating monitors. We demonstrate how realizability, i.e., checking whether a requirements specification can be implemented, is crucial for understanding temporal interdependencies among requirements. Our study is the first complete attempt at using FRET to create industrial, realizable requirements and generate run-time monitors. Insight from lessons learned was materialized into new features in the FRET and JKind analysis frameworks.
Requirements engineering↗
Alaskan thermokarst terrain and possible Martian analog
A first-order analog to Martian fretted terrain has been recognized on enhanced, ERTS-1 (Earth Resources Technology Satellite) imagery of Alaskan Arctic thermokarst terrain. The Alaskan analog displays flat-floored valleys and intervalley uplands characteristic of fretted terrain. The thermokarst terrain has formed in a manner similar to one of the processes postulated for the development of the Martian fretted terrain.
Gatto, L. W.↗