Cutting load capacity of end mills with complex geometry

Cutting load capacity of cemented carbide end mills with high length-to-diameter ratios is determined from critical geometric and loading parameters, including a stress concentration factor (SCF) to account for serrated edges, which is determined by finite element analysis. Tensile strengths are characterised using a statistical Weibull analysis from 4-point bend tests of cemented carbide blanks of two different diameters. The approach is used to predict probability of survival for cutters under different loading conditions. Results are compared to measured failure cutting loads under service conditions as well as to those measured in static three point bend tests

Quantum Properties of a Which-Way Detector

We explore quantum properties of a which-way detector using three versions of an idealized two slit arrangements. Firstly we derive complementarity relations for the detector; secondly we show how the "experiment" may be altered in such a way that using single position measurement on the screen we can obtain quantum erasure. Finally we show how to construct a superposition of "wave" and "particle" components

VC-dimension of short Presburger formulas

We study VC-dimension of short formulas in Presburger Arithmetic, defined to have a bounded number of variables, quantifiers and atoms. We give both lower and upper bounds, which are tight up to a polynomial factor in the bit length of the formula

Mean-Field Approximation to the Master Equation for Sympathetic Cooling of Trapped Bosons

We use the mean-field approximation to simplify the master equation for sympathetic cooling of Bosons. For the mean single-particle occupation numbers, this approach yields the same equations as the factorization assumption introduced in an erlier paper. The stationary or equilibrium solution of the resulting master equation for the one-body density matrix shows that the mean-field approximation breaks down whenever the fraction of condensate Bosons exceeds ten percent or so of the total. Using group-theoretical methods, we also solve the time-dependent master equation for the one-body density matrix. Given the time dependence of the mean single-particle occupation numbers, this solution is obtained by quadratures. It tends asymptotically towards the equilibrium solution.Comment: submitted to PR