scholarly journals Static Equivalence is Harder than Knowledge

2006 ◽  
Vol 154 (3) ◽  
pp. 45-57 ◽  
Author(s):  
Johannes Borgström
Keyword(s):  
Static Equivalence

Guessing attacks and the computational soundness of static equivalence

2010 ◽  
Vol 18 (5) ◽  
pp. 909-968 ◽  
Author(s):  
Mathieu Baudet ◽  
Bogdan Warinschi ◽  
Martín Abadi
Keyword(s):  
Static Equivalence

Exploration of the applicability of the static equivalence method using experimental data

2000 ◽  
pp. 303-313
Author(s):  
Andrew Kendrick ◽  
David Molyneux ◽  
Andre Taschereau ◽  
Tom Peirce
Keyword(s):  
Experimental Data ◽  
Static Equivalence

scholarly journals A Dedicated Design Strategy for Active Boring Bar

2019 ◽  
Vol 9 (17) ◽  
pp. 3541 ◽  
Author(s):  
Niccolò Grossi ◽  
Lisa Croppi ◽  
Antonio Scippa ◽  
Gianni Campatelli
Keyword(s):  
Operating Conditions ◽  
Dynamic Characterization ◽  
Control Logic ◽  
Boring Bar ◽  
Actuation System ◽  
Static Equivalence ◽  
And Control ◽  
Cutting System ◽  
Damping Systems ◽  
Critical Aspects

Unstable vibrations (i.e., chatter) onset is one of the main limits to productivity in deep boring bar processes. Active damping systems allow to increase machining stability in different configurations (i.e., tool setup), without requiring cutting system dynamic characterization. Design of an active boring bar involves the development of monitoring system (sensors), actuation system and control logic. While several control logics were evaluated and discussed, few design solutions were presented in the literature, focusing only on building prototypes to demonstrate control logic effectiveness. In the presented work, a deep analysis of the main issues and requirements related to active boring design was carried out and a systematic approach to tackle all the critical aspects was developed. The results of the proposed method are: (i) optimal actuators positioning able to damp vibration along two directions; (ii) preload system design guaranteeing the correct actuator preloading for the operating conditions; (iii) covers design to protect actuators and ensure the dynamic and static equivalence between active and standard boring bar. Following this approach, an active boring bar was designed, realized and tested. The results prove the required equivalence between active and original boring bar and assess the damping effect.

scholarly journals A Logical Characterisation of Static Equivalence

2007 ◽  
Vol 173 ◽  
pp. 139-157 ◽  
Author(s):  
Hans Hüttel ◽  
Michael D. Pedersen
Keyword(s):  
Static Equivalence

Static Equivalence Analysis

2001 ◽  
pp. 67-79
Author(s):  
Harry Hsieh ◽  
Felice Balarin ◽  
Alberto Sangiovanni-Vincentelli
Keyword(s):  
Static Equivalence
Sign in / Sign up

Export Citation Format

Share Document