Concept
Système international d'unités
Publications associées (62)
A Verification Toolkit for Numerical Transition Systems
This paper presents a publicly available toolkit and a benchmark suite for rigorous verification of Integer Numerical Transition Systems (INTS), which can be viewed as control-flow graphs whose edges are annotated by Presburger arithmetic formulas. We pres ...
2012Impact analysis of a flexible air transportation system
Michel Bierlaire, Claudio Leonardi, Matteo Salani, Bilge Atasoy
An innovative modular aircraft, called Clip-Air, is being designed at Ecole Polytechnique Federale de Lausanne (EPFL). The novelty of Clip-Air from a transportation system viewpoint is its flexibility due to the decoupling of load and carrying units. In th ...
2012Clip-Air, a flexible air transportation system
Michel Bierlaire, Claudio Leonardi, Matteo Salani, Bilge Atasoy
We introduce a concept of flexible air transportation system called Clip-Air. It is a modular innovative aircraft. The flexibility provided by Clip-Air is due to the decoupling of load and carrying units. In this paper, we introduce the concept, and analyz ...
2011Real-time Carrier Generation for a GNSS Software Receiver
Pierre-André Farine, Cyril Botteron, Marcel Baracchi Frei
The growing market of GNSS capable mobile devices is driving the interest of software receiver solutions as they can share many resources with other system units, reducing both the size and the cost of their integration. However, a major issue with the sof ...
2009Performances of a New Correlation Algorithm for a Platform-independent GPS Software Receiver
Pierre-André Farine, Cyril Botteron, Marcel Baracchi Frei
Personal Digital Assistants (PDA’s) or mobile phones applications are not anymore restricted to wireless communications or multimedia, but have been extended to handle Global Navigation Satellite System (GNSS) functionalities. Consequently, the growing mar ...
Inst Navigation, 815 15Th Th St Nw, Ste 832, Washington, Dc 20005 Usa2009Influence of bias voltage on the microstructure and physical properties of magnetron sputtered Zr–Si–N nanocomposite thin films
Rosendo Sanjines, Silviu Cosmin Sandu, David Oezer
e report an investigation concerning the influence of ion bombardment on the nanostructure and physical properties of Zr–Si–N nanocomposite thin films. The films were deposited by reactive magnetron sputtering from individual Zr and Si targets. The Si cont ...
2009Comparison of two approaches to model the macromolecule spectrum for the quantification of short TE H-1 MRS spectra
Rolf Gruetter, Lijing Xin, Cristina Ramona Cudalbu
Accurate assessment of the macromolecule contributions in short echo-time proton MRS spectra is important for a reliable quantification of the neurochemical profile. The aim of the present study was to assess two approaches based on using LCModel, which ta ...
Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2008Milli Newton force measurement and control for micro ultrasonic machining
Ultrasonic machining is performed using closed-loop Z-axis position and force control. Micromachining requires tools smaller than 100 micrometers in diameter, necessitating the use of forces in the low mN range. ...
Univ Nebraska-Lincoln, Industrial & Management Systems Engineering, Lincoln, Ne 68588 Usa2007A Numerical Test Platform for Large Synchronous Machines also useful as a Design Optimization Tool.
Jean-Jacques Simond, Mai Tu Xuan
This paper deals with the determination of large synchronous machine characteristic quantities using an extended 2D-finite element method and based on the knowledge of the geometry and of the physical properties of the electrical and magnetic circuits of t ...
2006