Search results for "machines"

Verification of scope-dependent hierarchical state machines

2008

AbstractA hierarchical state machine (Hsm) is a finite state machine where a vertex can either expand to another hierarchical state machine (box) or be a basic vertex (node). Each node is labeled with atomic propositions. We study an extension of such model which allows atomic propositions to label also boxes (Shsm). We show that Shsms can be exponentially more succinct than Shsms and verification is in general harder by an exponential factor. We carefully establish the computational complexity of reachability, cycle detection, and model checking against general Ltl and Ctl specifications. We also discuss some natural and interesting restrictions of the considered problems for which we can …

D-Q axis theory of thermomagnetic Curie motor

2010

This paper presents a the d-q axis theory of a thermomagnetic Curie motor. From this theory a maximization procedure of the performances of Curie motor has been developed. The proposed approach has shown that the thermomagnetic Curie motor is equivalent from a magnetic point of view to a d.c. electric machine. Consequently, a design of a Curie motor has been proposed and the calculated performances show a significant improvement in comparison to the performances reported in literature.

Machines en mouvement. Les ambivalences du spectacle technique dans les expositions universelles parisiennes du Second Empire

2012

Des machines dans les vignes. L’acclimatation lente de la vapeur à Dijon et en Côte d’or (1820-1865)

2018

International audience

La question des machines

2013

Harmonic Balance Method and Stability of Discontinuous Systems

2019

The development of the theory of discontinuous dynamical systems and differential inclusions was not only due to research in the field of abstract mathematics but also a result of studies of particular problems in mechanics. One of first methods, used for the analysis of dynamics in discontinuous mechanical systems, was the harmonic balance method developed in the thirties of the 20th century. In our work the results of analysis obtained by the method of harmonic balance, which is an approximate method, are compared with the results obtained by rigorous mathematical methods and numerical simulation. peerReviewed

Regularization operators for natural images based on nonlinear perception models.

2006

Image restoration requires some a priori knowledge of the solution. Some of the conventional regularization techniques are based on the estimation of the power spectrum density. Simple statistical models for spectral estimation just take into account second-order relations between the pixels of the image. However, natural images exhibit additional features, such as particular relationships between local Fourier or wavelet transform coefficients. Biological visual systems have evolved to capture these relations. We propose the use of this biological behavior to build regularization operators as an alternative to simple statistical models. The results suggest that if the penalty operator take…

A Simulation Analysis of VSM Control for RES plants in a Small Mediterranean Island

2020

The paper presents an application of Virtual Synchronous Machine control for managing inverter-interfaced renewable energy sources in a small Mediterranean island not supplied by the main grid. In the proposed analysis, the island's renewables-based generators area assumed interfaced to the grid by voltage source converters with a swing controller and a vector-current controller with two different options for the reference current for regulating the voltage at the Point of Common Coupling and the active power output. The system, modeled in PScad environment, allows to verify the response of the renewables-based generators with VSM control in the presence of a fault in the grid.

Minimizing weighted earliness-tardiness on parallel machines using hybrid metaheuristics

2015

We consider the problem of scheduling a set of jobs on a set of identical parallel machines where the objective is to minimize the total weighted earliness and tardiness penalties with respect to a common due date. We propose a hybrid heuristic algorithm for constructing good solutions, combining priority rules for assigning jobs to machines and a local search with exact procedures for solving the one-machine subproblems. These solutions are then used in two metaheuristic frameworks, Path Relinking and Scatter Search, to obtain high quality solutions for the problem. The algorithms are tested on a large number of test instances to assess the efficiency of the proposed strategies. The result…

The role of expert evaluation for microsleep detection

2015

Abstract Recently, it has been shown by overnight driving simulation studies that microsleep density is the only known sleepiness indicator which rapidly increases within a few seconds immediately before sleepiness related crashes. This indicator is based solely on EEG and EOG and subsequent adaptive pattern recognition. Accurate microsleep recognition is very important for the performance of this sleepiness indicator. The question is whether expensive evaluations of microsleep events by a) experts are necessary or b) non-experts provide sufficient evaluations. Based on 11,114 microsleep events in case a) and 12,787 in case b) recognition accuracies were investigated utilizing (i) artificia…