Search results for "Computer Science Application"
showing 10 items of 3998 documents
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 …
The Hierarchical Agglomerative Clustering with Gower index: a methodology for automatic design of OLAP cube in ecological data processing context
2015
In Press, Corrected Proof; International audience; The OLAP systems can be an improvement for ecological studies. In fact, ecology studies, follows and analyzes phenomenon across space and time and according to several parameters. OLAP systems can provide to ecologists browsing in a large dataset. One focus of the current research on OLAP system is the automatic design of OLAP cubes and of data warehouse schemas. This kind of works makes accessible OLAP technology to non information technology experts. But to be efficient, the automatic OLAP building must take into account various cases. Moreover the OLAP technology is based on the concept of hierarchy. Thereby the hierarchical clustering m…
OPTIMIZATIONS FOR TENSORIAL BERNSTEIN–BASED SOLVERS BY USING POLYHEDRAL BOUNDS
2010
The tensorial Bernstein basis for multivariate polynomials in n variables has a number 3n of functions for degree 2. Consequently, computing the representation of a multivariate polynomial in the tensorial Bernstein basis is an exponential time algorithm, which makes tensorial Bernstein-based solvers impractical for systems with more than n = 6 or 7 variables. This article describes a polytope (Bernstein polytope) with a number of faces, which allows to bound a sparse, multivariate polynomial expressed in the canonical basis by solving several linear programming problems. We compare the performance of a subdivision solver using domain reductions by linear programming with a solver using a c…
Regularization of chattering phenomena via bounded variation controls
2018
In control theory, the term chattering is used to refer to strong oscillations of controls, such as an infinite number of switchings over a compact interval of times. In this paper we focus on three typical occurences of chattering: the Fuller phenomenon, referring to situations where an optimal control switches an infinite number of times over a compact set; the Robbins phenomenon, concerning optimal control problems with state constraints, meaning that the optimal trajectory touches the boundary of the constraint set an infinite number of times over a compact time interval; the Zeno phenomenon, referring as well to an infinite number of switchings over a compact set, for hybrid optimal co…
Computerized delimitation of odorant areas in gas-chromatography-olfactometry by kernel density estimation: Data processing on French white wines
2017
International audience; GC-O using the detection frequency method gives a list of odor events (OEs) where each OE is described by a linear retention index (LRI) and by the aromatic descriptor given by a human assessor. The aim of the experimenter is to gather OEs in a total olfactogram on which he tries to delimit odorant areas (OAs), then to compute each detection frequency. This paper proposes a computerized mathematical method based on kernel density estimation that makes up the total olfactogram as continuous and differentiable function from the OEs LRI only. The corresponding curve looks like a chromatogram, the peaks of which are potential OAs. The limits of an OA are the LRI of the t…
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…
An alternative space-time meshless method for solving transient heat transfer problems with high discontinuous moving sources
2016
International audience; The aim of this work is the development of a space-time diffuse approximation meshless method (DAM) to solve heat equations containing discontinuous sources. This work is devoted to transient heat transfer problems with static and moving heat sources applied on a metallic plate and whose power presents temporal discontinuities. The space-time DAM using classical weight function is convenient for continuous transient heat transfer. Nevertheless, for problems including discontinuities, some spurious oscillations for the temperature field occur. A new weight function, respecting the principle of causality, is used to eradicate the physically unexpected oscillations.
Interactive evolution for cochlear implants fitting
2007
International audience; Cochlear implants are devices that become more and more sophisticated and adapted to the need of patients, but at the same time they become more and more difficult to parameterize. After a deaf patient has been surgically implanted, a specialised medical practitioner has to spend hours during months to precisely fit the implant to the patient. This process is a complex one implying two intertwined tasks: the practitioner has to tune the parameters of the device (optimisation) while the patient's brain needs to adapt to the new data he receives (learning). This paper presents a study that intends to make the implant more adaptable to environment (auditive ecology) and…
An Ontology-Based Approach for the Reconstruction and Analysis of Digital Incidents Timelines
2015
International audience; Due to the democratisation of new technologies, computer forensics investigators have to deal with volumes of data which are becoming increasingly large and heterogeneous. Indeed, in a single machine, hundred of events occur per minute, produced and logged by the operating system and various software. Therefore, the identification of evidence, and more generally, the reconstruction of past events is a tedious and time-consuming task for the investigators. Our work aims at reconstructing and analysing automatically the events related to a digital incident, while respecting legal requirements. To tackle those three main problems (volume, heterogeneity and legal require…