Search results for " Simulation"
showing 10 items of 4034 documents
IV-Curves of tunnel junction arrays at lowered temperature by numerical simulation
1996
We have numerically investigated the effect of lowered T on the performance of the Coulomb blockade thermometer, which has been demostrated to yield primary thermometry in the high T limit where thermal excitations compete with the Coulomb blockade. The thermometer is formed by an array of tunnel junctions whose differentiated IV—curve is used to determine the temperature. The IV—curves were calculated by computer simulations and we have obtained corrections to the analytic high T behaviour due to the lowered temperature.
Kinetic modelling of the Zymomonas mobilis Entner-Doudoroff pathway: insights into control and functionality.
2013
Zymomonas mobilis, an ethanol-producing bacterium, possesses the Entner-Doudoroff (E-D) pathway, pyruvate decarboxylase and two alcohol dehydrogenase isoenzymes for the fermentative production of ethanol and carbon dioxide from glucose. Using available kinetic parameters, we have developed a kinetic model that incorporates the enzymic reactions of the E-D pathway, both alcohol dehydrogenases, transport reactions and reactions related to ATP metabolism. After optimizing the reaction parameters within likely physiological limits, the resulting kinetic model was capable of simulating glycolysis in vivo and in cell-free extracts with good agreement with the fluxes and steady-state intermediate …
A New Universal-Environment Adaptive Multi-processor Scheduler for Autonomous Cyber-Physical System
2012
International audience; Robot, spaceship and other applications that can be called autonomous Cyber-Physical Systems (CPS) are all smart embedded systems, which usually run in open environment by themselves with inhered intelligent capabilities. Besides the application intelligence, the researches of adaptive platform for such systems have also become topics recently. Based on the analysis of current work, a new environment adaptive scheduler (¦Á-S) for multiprocessor platform of a cyber-physical system is proposed in this article. And then, its related structures, models, and reasoning methods are studied deeply. Different from the existing ones, ¦Á-S can schedule all tasks according to th…
Model Free Control for muscular force by Functional Electrical Stimulation using pulse width modulation
2016
International audience; Functional Electrical Stimulation (FES) is a useful technique for restoring functions for patients with neurological disorders. Muscle activities can be artificially driven through delivery of electrical pulses to skeletal muscles. Typically, muscles are activated by using constant stimulation train with a fixed parameters (amplitude, frequency and pulse width). In addition, the FES systems do not adapt the parameters stimulation to obtain a desired force response during the rehabilitation session. The purpose of this study is to investigate a real-time FES system for adapting automatically the stimulation parameters (stimulation pulse width) to track a desired force…
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…