Search results for "Turing"
showing 10 items of 2644 documents
Extending CSG with projections: Towards formally certified geometric modeling
2015
We extend traditional Constructive Solid Geometry (CSG) trees to support the projection operator. Existing algorithms in the literature prove various topological properties of CSG sets. Our extension readily allows these algorithms to work on a greater variety of sets, in particular parametric sets, which are extensively used in CAD/CAM systems. Constructive Solid Geometry allows for algebraic representation which makes it easy for certification tools to apply. A geometric primitive may be defined in terms of a characteristic function, which can be seen as the zero-set of a corresponding system along with inequality constraints. To handle projections, we exploit the Disjunctive Normal Form,…
Performance Measurement of Mobile Manipulators
2015
International audience; This paper describes a concept for measuring the reproducible performance of mobile manipulators to be used for assembly or other similar tasks. An automatic guided vehicle with an onboard robot arm was programmed to repeatedly move to and stop at a novel, reconfigurable mobile manipulator artifact (RMMA), sense the RMMA, and detect targets on the RMMA. The manipulator moved a laser retroreflective sensor to detect small reflectors that can be reconfigured to measure various manipulator positions and orientations (poses). This paper describes calibration of a multi-camera,motion capture system using a 6 degree-of-freedom metrology bar and then using the camera system…
Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems
2011
International audience; This paper describes new ways to tackle several important problems encountered in geometric constraint solving, in the context of CAD, and which are linked to the handling of under- and over-constrained systems. It presents a powerful decomposition algorithm of such systems. Our methods are based on the witness principle whose theoretical background is recalled in a first step. A method to generate a witness is then explained. We show that having a witness can be used to incrementally detect over-constrainedness and thus to compute a well-constrained boundary system. An algorithm is introduced to check if anchoring a given subset of the coordinates brings the number …
3D part inspection path planning of a laser scanner with control on the uncertainty
2011
International audience; This article concerns the measurement process of mechanical parts using laser scanners. From the point of view of industrial applications, the objective is to guarantee the measurement accuracy during the scanning with regard to the geometrical product specifications. The proposed method can be summarized as follow: the first step consists of analyzing the interval of tolerance for the different specifications and to attribute to every geometrical entity a maximal uncertainty of measurement. This uncertainty depends on the angle of incidence between the laser plane and the scanned surface. In the second step, an approach based on the concept of visibility is used fro…
A physical-based constitutive model for surface integrity prediction in machining of OFHC copper
2017
International audience; Due to the rising interest in predicting machined surface integrity and sustainability, various models for metal cutting simulation have been developed. However, their accuracy depends deeply on the physical description of the machining process. This study aims to develop an orthogonal cutting model for surface integrity prediction, which includes a physical-based constitutive model of Oxygen Free High Conductivity (OFHC) copper. This constitutive model incorporates the effects of the state of stress and microstructure on the work material behavior, as well as a dislocation density-based model for surface integrity prediction. The coefficients of the constitutive mod…
Microstructure impact on high temperature corrosion behavior of AISI 316L stainless steel additively manufactured by Selective Laser Melting (AM-SLM)
2019
International audience; Additive Manufacturing by Selective Laser Melting (AM-SLM) is a near-net shape method producing dense and geometrically complex materials from micrometric powders. This process involves complete melting and very high cooling rates who induce a refinement of microstructure, improving the mechanical properties of the material [1,2]. However, the impact of these new microstructures on real functioning properties, like for instance the high temperature durability, needs to be studied. In this purpose, AISI 316L is considered in this work. Samples elaborated by AM-SLM and by conventional metallurgy were oxidized under laboratory air at 900°C for periods up to 3000h. The r…
Additive manufacturing, new elaboration technique of metallic materials : impact of the microstructure on high temperature durability of AISI 316L st…
2021
Additive Manufacturing (AM) processes are able to elaborate, in a single step, metallic parts with very complex geometry, as close as possible to their final dimensions, based on 3D CAD model. Despite a very large number of studies on AM parameters, very few studies report on the high temperature behavior of the metallic materials produced by these processes. This thesis work evaluates the impact of the Selective Laser Melting (SLM) process on the high temperature durability of the austenitic stainless steel AISI 316L, commercial grade widely used in the industry. For this purpose, the reactivity of SLM samples was studied in different conditions (atmosphere, temperature, isothermal or cycl…
A Neural Network Meta-Model and its Application for Manufacturing
2015
International audience; Manufacturing generates a vast amount of data both from operations and simulation. Extracting appropriate information from this data can provide insights to increase a manufacturer's competitive advantage through improved sustainability, productivity, and flexibility of their operations. Manufacturers, as well as other industries, have successfully applied a promising statistical learning technique, called neural networks (NNs), to extract meaningful information from large data sets, so called big data. However, the application of NN to manufacturing problems remains limited because it involves the specialized skills of a data scientist. This paper introduces an appr…
Modelling of laser beam texturing process: experimental and numerical approaches
2007
The aim of this work is to reache a better control of the laser beam surface texturing process on three materials: 304L, TA6V and AA6056 alloys. For this purpose, two complementary methods, experimental and numerical modelling, have been used. As a result of the experimental design approach, it was observed that the laser surface texturing process of 304L and TA6V alloys is strongly influenced by the pulse energy and frequency. In order to obtain a surface roughness Sa < 5 µm for the highest possible productivity it is necessary to work with an energy of 5 mJ and a frequency ranging between 10 and 12 kHz. Unfortunately, for aluminium alloy AA6056, it is necessary to make a choice between ha…
The London Stock Exchange: Strategic Corporate Governance Restructuring After Demutualization
2014
International audience; This study uses the London Stock Exchange (LSE), forced to demutualize due to major changes in its business environment, notably due to increased competition and technological advances, as field experiment to study corporate governance restructuring to adapt to new market conditions. The LSE improved its financial situation after demutualization and is an example of successful corporate governance restructuring. The LSE significantly restructured the composition of its board of directors following demutualization. The number of exchange members on the LSE board decreased after demutualization while the number of independent directors increased, pointing to a more “mo…