Results 31 to 40 of about 3,497,223 (309)
Bounded Reachability Problems are Decidable in FIFO Machines [PDF]
Logical Methods in Computer Science, 2022 The undecidability of basic decision problems for general FIFO machines such as reachability and unboundedness is well-known. In this paper, we provide an underapproximation for the general model by considering only runs that are input-bounded (i.e.
Benedikt Bollig +2 more
doaj +1 more source
Linear Machines for Long Stroke Applications—A Review
IEEE Access, 2020 This document reviews the current state of the art in the linear machine technology. First, the recent advancements in linear induction, switched reluctance and permanent magnet machines are presented.
Imanol Eguren +4 more
doaj +1 more source
Machines, 2022 Linear oscillating machines are electric devices that reciprocate at a specific frequency and at a specific stroke. Because of their linear motion, they are used in special applications, such as refrigerators for home appliances and medical devices.
Woo-Hyeon Kim +4 more
doaj +1 more source
Binarized support vector machines [PDF]
, 2007 The widely used Support Vector Machine (SVM) method has shown to yield very good results in Supervised Classification problems. Other methods such as Classification Trees have become more popular among practitioners than SVM thanks to their ...
Martin-Barragan, Belen +2 more
core +1 more source
Study of the assembly, build and test of a linear transverse flux machine
The Journal of Engineering, 2019 This study discusses the topology development of a cylindrical transverse flux linear machine for use with a free piston engine. Despite its three-dimensional flux path, the stator of this topology can be made from regular laminated components and only ...
Junnan Wang +3 more
doaj +1 more source
Multi-criteria based design approach of multiphase permanent magnet low speed synchronous machines [PDF]
, 2009 Version éditeur disponible à cette adresse : http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4797497&isnumber=4797494A design methodology dedicated to multi-phase permanent magnet synchronous machines (PMSMs) supplied by pulse width modulation ...
CHARPENTIER, Jean-Frederic +3 more
core +1 more source
Mover guide in a linear electric generator with double-sided stationary stators
The Journal of Engineering, 2019 This study addresses double-sided stationary stators in a linear electric generator with similar operation to a linear oscillatory motion electric machine.
Pierre Kenfack +2 more
doaj +1 more source
IET Renewable Power Generation, 2021 Considering the growing environmental issues, the use of renewable energy converters such as solar cogeneration systems has received more attention during recent years.
Arman Tajdiny +2 more
doaj +1 more source
Infinite linear sequential machines
Journal of Computer and System Sciences, 1968 AbstractLinear sequential machines (LSM's for short) are considered over arbitrary fields. Various finiteness conditions are given for, sequential machines and LSM's with these properties are characterized. It is shown that the set of all input/output pairs characterizes an LSM. The effect on realizations of varying the ground field is studied.
Hervé Gallaire +3 more
openaire +3 more sources
Frontiers in Physiology, 2021 Respiratory sinus arrhythmia (RSA) is a form of cardiorespiratory coupling. It is observed as changes in the heart rate in synchrony with the respiration. RSA has been hypothesized to be due to a combination of linear and nonlinear effects.
John Morales +8 more
doaj +1 more source