Search results for "modeling"
showing 10 items of 4489 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 …
Analysis of Low-Altitude Aerial Sequences for Road Traffic Diagnosis using Graph Partitioning and Markov Hierarchical Models
2016
International audience; This article focuses on an original approach aiming the processing of low-altitude aerial sequences taken from an helicopter (or drone) and presenting a road traffic. Proposed system attempts to extract vehicles from acquired sequences. Our approach begins with detecting the primitives of sequence images. At the time of this step of segmentation, the system computes dominant motion for each pair of images. This motion is computed using wavelets analysis on optical flow equation and robust techniques. Interesting areas (areas not affected by the dominant motion) are detected thanks to a Markov hierarchical model. Primitives stemming from segmentation and interesting a…
Semantic oriented data structuration for MABS Application to BIM
2013
International audience; This paper presents a multiagent-based simulation approach to qualify the usage of buildings from the design phase. Our approach combines ontology and evolution process based on machine learning algorithms. The ontology relies on semantic data structures for the representation of environment components, agent knowledge and all data generated during the simulation.
Mesure de la performance des manipulateurs mobiles
2018
An advanced approach to flexible manufacturing is to move robotic manipulators, using anAGV or mobile robot, called mobile manipulators, between workstations. The use ofmobile manipulators can be advantageous in a number of situations. It can result in costsavings when a single mobile manipulator can be used to replace several stationarymanipulators. However, mobile manipulators are “a relatively young discipline withinrobotics.” An extensive literature review of the research leading to commercial mobilemanipulators and mobile robots was performed. The performance measurement of mobilemanipulators, including a mobile base with an onboard robot arm, is virtually non-existent.However, mobile …
SCALESEM : Evaluation of Semantic Graph based on Model Checking
2011
International audience; Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modelling and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of research concerns …
RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker
2011
International audience; The most frequently used language to represent the semantic graphs is the RDF (W3C standard for meta-modeling). The construction of semantic graphs is a source of numerous errors of interpretation. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border between two areas: the semantic web and the model checking. For this, we developed a tool, RDF2SPIN, which converts RDF graphs into SPIN language. This conversion aims checking the semantic graphs with the model checker SPIN in order to verify the consistency of the data. To illustrate our propos…
Simulation of a UAV ground control station
2012
International audience; In this article we present the development of a UAV ground control station simulator. We propose a module based description of the architecture of this simulator. We recall the nonlinear model of a fixed-wing aircraft. Finally, we outline ideas for improved path planning tasks. The approach is made clearthrough several diagrams, figures of the resulting station are displayed.
Relationship between complex fractionated atrial electrogram patterns and different heart substrate configurations
2012
International audience; Complex Fractionated Atrial Electrograms (CFAE) were identified as being symptomatic of reentrant activities. Signals recorded by an intracardiac catheter give an imprecise vision of the underlying phenomena that occur in the proarrhythmic substrate. In this study, phenomenological and ionic numerical models were used to simulate a small piece of the atrium substrate. The catheter measurement is also simulated numerically to take into account electrode particularities. Modifications were applied on the numerical substrate. Then stimulation scenarios were generated in the numerical substrate such as planar waves, stable or breaking spirals. Comparison between simulate…
Bords d'une surface médiane : Identifications et applications
2014
National audience; Un squelette d'une forme fermée est une structure mince, centrée dans cette forme, décrivant sa topologie et sa géométrie. Les squelettes permettent de développer des applications interactives en synthèse d'images~: l'utilisateur peut manipuler intuitivement des formes en modifiant leurs squelettes. Parmi toutes les formulations de squelettes, nous nous intéressons en particulier à la surface médiane. Ses éléments, nommés atomes, sont les sphères maximales intérieures à la forme décrite. Les positions des atomes sont organisées en courbes et surfaces, qui composent la structure squelettale. Cette structure peut être d'une grande aide pour manipuler une forme. Cependant, e…
Extending SPARQL with Temporal Logic
2009
The data integration and sharing activities carried on in the framework of the Semantic Web lead to large knowledge bases that must be queried, analyzed, and exploited efficiently. Many of the knowledge representation languages of the Semantic Web, starting with RDF, are based on directed, labeled graphs, which can be also manipulated using graph algorithms and tools coming from other domains. In this paper, we propose an analysis approach of RDF graphs by reusing the verification technology developed for concurrent systems. To this purpose, we define a translation from the SPARQL query language into XTL, a general-purpose graph manipulation language implemented in the CADP verification too…