Advances in the surface defect machining (SDM) of hard steels

This paper reports the realisation of precision surface finish (Ra 30 nm) on AISI 4340 steel using a conventional turret lathe by adapting and incorporating a surface defect machining (SDM) method [Wear, 302, 2013 (1124-1135)]. Conventional ways of machining materials are limited by the use of a critical feed rate, experimentally determined as 0.02 mm/rev, beyond which no appreciable improvement in the machined quality of the surface is obtained. However, in this research, the novel application of an SDM method was used to overcome this minimum feed rate limitation ultimately reducing it to 0.005 mm/rev and attaining an average machined surface roughness of 30 nm. From an application point of view, such a smooth finish is well within the values recommended in the ASTM standards for total knee joint prosthesis. Further analysis was done using SEM imaging, white light interferometry and numerical simulations to verify that adapting SDM method provides improved surface integrity by reducing the extent of side flow, microchips and weldments during the hard turning process.

Weak and strong disjunction in possibilistic ASP

Possibilistic answer set programming (PASP) unites answer set programming (ASP) and possibilistic logic (PL) by associating certainty values with rules. The resulting framework allows to combine both non-monotonic reasoning and reasoning under uncertainty in a single framework. While PASP has been well-studied for possibilistic definite and possibilistic normal programs, we argue that the current semantics of possibilistic disjunctive programs are not entirely satisfactory. The problem is twofold. First, the treatment of negation-as-failure in existing approaches follows an all-or-nothing scheme that is hard to match with the graded notion of proof underlying PASP. Second, we advocate that the notion of disjunction can be interpreted in several ways. In particular, in addition to the view of ordinary ASP where disjunctions are used to induce a non-deterministic choice, the possibilistic setting naturally leads to a more epistemic view of disjunction. In this paper, we propose a semantics for possibilistic disjunctive programs, discussing both views on disjunction. Extending our earlier work, we interpret such programs as sets of constraints on possibility distributions, whose least specific solutions correspond to answer sets.

Polybius’ ‘previous landslide’: Proof that Hannibal’s invasion route crossed the col de la traversette

Both Polybius and Livy described a landslide/landslip that blocked the Punic Army’s exfiltration from a high col on the water divide in the Western Alps. The landslide, more aptly termed rockfall, has been a source of contention amongst classicists for centuries despite the fact that only two cols—Clapier and Traversette—exhibit rockfall debris on the lee side of the Alps. While the Clapier rockfall is too small and too young to have provided blockage, the Traversette debris is nearly as Polybius described it when he retraced the invasion route some 60 years after the event. His ‘two-tier’ description of the deposit, a doublet of younger and older rock rubble, including measurements of width and volume are close to modern measurements and prove that he knew, in advance, the route Hannibal had followed. It would take a practiced eye to correctly identify the stratigraphic complexity inherent in the Traversette Rockfall. Here we present weathering ratios, soil stratigraphic, mineral, chemical and microbiological evidence in support of Polybius’ observations as a considerable background database for future geoarchaeological exploration.