Search results for "Modeling and Simulation"
showing 10 items of 1561 documents
Effects of mechanical deformation on electronic transport through multiwall carbon nanotubes
2017
Abstract The effects of mechanical deformation on the electron transport behavior of carbon nanotubes (CNTs) are of primary interest due to the enormous potential of nanotubes in making electronic devices and nanoelectromechanical systems (NEMS). Moreover it could help to evaluate the presence of defects or to assess the type of CNTs that were produced. Conventional atomistic simulations have a high computational expense that limits the size of the CNTs that can be studied with this technique and a direct analysis of CNTs of the dimension used in nano-electronic devices seems prohibitive at the present. Here a novel approach was designed to realize orders-of-magnitude savings in computation…
Numerical study of photolithography system: electromagnetic differential method
2004
The R-matrix propagation algorithm is incorporated into the differential method to achieve an extended capability for modelling a photolithography systems. We show throughout this work the ability of the R-matrix algorithm and differential method to analyse gratings of arbitrary depth, profile, and conductivity without encountering numerical instabilities. We calculate the field intensity and the transmitted amplitudes in the 0 and −1 orders below different masks. We study also the influence of the various parameters (incidence, groove spacing, groove depth and index of refraction) on the field intensity maps and the transmittivity power. These results agree with the experimental patent: we…
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…