The hole drilling method is based on the measuring of the surface relaxed strains when a small hole is drilled on the examined component. From the relaxed strains, measured generally by using special strain gage rosette, the residual stresses is computed by using proper influence coefficients, provided also by the ASTM E837-08 standard. Such influence coefficients are obtained by numerical simu...

We propose a formalized method that allows to automatically derive an optimized implementation from the formal speci cation of a protocol. Our method starts with the SDL speci cation of a protocol stack. We rst derive a data and control ow dependence graph from each SDL process. Then, in order to perform crosslayer optimizations we combine the dependence graphs of di erent SDL processes. Next, ...

We consider an optimal control problem described by nonlinear ordinary differential equations, with control and state constraints. Since this problem may have no classical solutions, it is also formulated in relaxed form. The classical control problem is then discretized by using the implicit midpoint scheme for state approximation, while the controls are approximated by piecewise constant clas...