In turning process, engineers are often faced with the problems of relating the cutting parameters (Speed, feed, depth of cut) to the output responses(Feed force, Thrust force, Cutting force, Surface roughness) to optimize the process. Also, Turing is done with the aim of achieving the best surface finish. But without optimization, it is not possible to automate the process. Turning process inv...

Hard, machine-supported formal verification of software is at a turning point. Recent years have seen theorem proving tools maturing with a number of successful, real-life applications. At the same time, small highperformance OS kernels, which can drastically reduce the size of the trusted computing base, have become more popular. We argue that the combination of those two trends makes it feasi...

The track record of success in bringing about strategic change within organisations is poor. Many simply fail to grasp that it is implementation (that is, actually turning plans into reality) rather than formulation that is the hard part. For strategic intent to become reality, it is necessary to change the way in which individuals within an organisation behave. This requires more than restruct...

We present a four-stage meta-heuristic for routing vehicles in an urban environment, with the goal of traversing every street. While the theoretical aspects of street traversal are well-studied, our algorithm is designed to accommodate several obstacles to practical street traversal that are known to be NP-hard, such as turning penalties, the usage of multiple vehicles, and the presence of onew...

A recently developed ultra-hard boride-based material, AlMgB14, has been fabricated into a standard cutting tool geometry (TPG-222) and tested using single-point turning of Ti-6Al-4V. The initial testing was conducted to compare this new cutting tool’s performance relative to a WC-Co cutting tool. During the tests the boride-based inserts suffered catastrophic failure for a wide range of cuttin...

Given a triangulation of n points, with some triangles marked “good”, this paper discusses the problems of computing the largest-area connected set of good triangles that (i) is convex, (ii) is monotone, (iii) has a bounded total angular change, or (iv) has a bounded negative turning angle. The first, second, and fourth problems are solved in polynomial time, the third problem is NP-hard.

This paper presents a systematic procedure for the optimization of machining parameters such as cutting speed, feed rate, nose radius, edge radius, and rake angle to reduce specific material removal energy and improve energy efficiency in the hard turning of AISI 4140 steel. A simulation approach was applied in conjunction with the design of experiment (DOE), mathematical approximation with a m...