Search results for "Modeling and Simulation"
showing 10 items of 1561 documents
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
Qualifying semantic graphs using 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 modeling 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 t…
A new approach based on NμSMV Model to query semantic graph
2011
International audience; The language most frequently used 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. Processing of large semantic graphs can be a limit to use semantics in modern 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, RDF2NμSMV, which converts RDF graphs into NμSMV language. This conversion aims checking the semantic graphs with the model checker NμSMV in order to verify the consistency of the data. The data integration and shar…
Contrôle Optimal appliqué au contrôle de la phase en IRM : simulations et expériences sur fantômes
2017
National audience; IntroductionLes techniques IRM utilisant la phase du signal IRM, à la place ou en complément de l’amplitude, sont de plus en plus nombreuses. Dans ces techniques, la phase est gérée par l’application de gradients. Nous proposons ici de contrôler la phase du signal directement avec des impulsions RF. Pour cela, nous avons utilisé la théorie du contrôle optimal1 et calculé des impulsions RF optimisées pour atteindre des états cibles (dans notre cas, des motifs de phase) préalablement définis. Dans cette étude, une preuve de faisabilité de contrôle de la phase IRM par impulsions RF est présentée au travers de simulations (avec le logiciel ODIN2) ainsi que d’expériences IRM s…