scholarly journals The Mechanical Verification of a DPLL-Based Satisfiability Solver

2011 ◽  
Vol 269 ◽  
pp. 3-17 ◽  
Author(s):  
Natarajan Shankar ◽  
Marc Vaucher
2009 ◽  
Vol 25 (1) ◽  
pp. 109-127 ◽  
Author(s):  
Andrzej Gębura ◽  
Tomasz Tokarski

The Monitoring of the Bearing Nodes with Excessive Radial Clearances Using the FAM-C and FDM-A Methods The paper has been intended to present findings resulting from the monitoring of the bearing support elements with increased radial clearances with the FAM-C1 and FDM-A2 methods. The role the lubricant film plays in this type of the rolling-elements' wear has been described. Discussed are symptoms, parameters, and hazards to the resonant state in bearing nodes, as well as capabilities of diagnosing them with the FAM-C and FDM-A methods. Hypotheses about subsequent stages of the wearing process in aircraft turbojet engine's bearing support assemblies, including how the resonant state occurs, have been presented. The mechanism of the resonance in rolling-element bearings has been described, with particular attention paid to the effects of gyrostatic moments upon the bearing support elements, both in micro- and macro-scale. Theoretical analyses have been supplemented with findings resulting from the diagnostic work carried out by the Authors, and with data from the mechanical verification of engines in the course of the authorised dismantling thereof.


Sign in / Sign up

Export Citation Format

Share Document