Search results for "Simulation"
showing 10 items of 5095 documents
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…
Modeling in vitro digestion of emulsions: effects of droplet size and oil composition on lipolysis kinetics and fatty acid bioaccessible profiles (po…
2015
International audience; no abstract
Modeling the effects of emulsion coalescence and oil composition on in vitro digestion kinetics and fatty acid bioaccessibility (poster)
2015
International audience; no abstract
Sensory, in vitro, in vivo and modeling approaches to understand salt release and perception in mouth: toward tools to design palatable and healthy f…
2012
International audience; no abstract