Search results for " Mach"
showing 10 items of 1388 documents
Worker safety in agriculture 4.0: A new approach for mapping operator's vibration risk through Machine Learning activity recognition
2022
While being a fundamental driver of competitiveness in agroindustry, technological innovation has also introduced new critical elements related, for example, to the sustainability of the production processes as well as to the safety of workers. In such regard, the advent of the 4th industrial revolution (Agriculture 4.0) based on digitalization, is an unprecedented opportunity of rethinking the role of innovation in a new human-centric perspective. In particular, the establishment of an interconnected work environment and the augmentation of the operator’s physical, sensorial, and cognitive capabilities, are two technologies which can be effectively employed for substantially improving the …
Nonstochastic languages as projections of 2-tape quasideterministic languages
1998
A language L (n) of n-tuples of words which is recognized by a n-tape rational finite-probabilistic automaton with probability 1-e, for arbitrary e > 0, is called quasideterministic. It is proved in [Fr 81], that each rational stochastic language is a projection of a quasideterministic language L (n) of n-tuples of words. Had projections of quasideterministic languages on one tape always been rational stochastic languages, we would have a good characterization of the class of the rational stochastic languages. However we prove the opposite in this paper. A two-tape quasideterministic language exists, the projection of which on the first tape is a nonstochastic language.
Algebraic and logical characterizations of deterministic linear time classes
1997
In this paper an algebraic characterization of the class DLIN of functions that can be computed in linear time by a deterministic RAM using only numbers of linear size is given. This class was introduced by Grandjean, who showed that it is robust and contains most computational problems that are usually considered to be solvable in deterministic linear time.
Algebraic Results on Quantum Automata
2004
We use tools from the algebraic theory of automata to investigate the class of languages recognized by two models of Quantum Finite Automata (QFA): Brodsky and Pippenger’s end-decisive model, and a new QFA model whose definition is motivated by implementations of quantum computers using nucleo-magnetic resonance (NMR). In particular, we are interested in the new model since nucleo-magnetic resonance was used to construct the most powerful physical quantum machine to date. We give a complete characterization of the languages recognized by the new model and by Boolean combinations of the Brodsky-Pippenger model. Our results show a striking similarity in the class of languages recognized by th…
Hartmanis-Stearns Conjecture on Real Time and Transcendence
2012
Hartmanis-Stearns conjecture asserts that any number whose decimal expansion can be computed by a multitape Turing machine is either rational or transcendental. After half a century of active research by computer scientists and mathematicians the problem is still open but much more interesting than in 1965.
Electromechanical Numerical Analysis of an Air-Core Pulsed Alternator via Equivalent Network Formulation
2017
In this paper, the numerical analysis on an air-core pulsed alternator is presented. Since compulsators are characterized by very fast electromechanical transients, their accurate analysis requires strong coupling between the equations governing the electrical and the mechanical behaviors. The device is investigated by using a dedicated numerical code capable to take into account eddy currents, compensating windings, as well as the excitation/control circuits. Furthermore, the code is capable of modeling centrifugal forces and vibrations acting on the shaft due to electric and mechanical unbalances or to misalignments of the shaft from its centered position. This makes the code a very power…
Motion sensors for activity recognition in an ambient-intelligence scenario
2013
In recent years, Ambient Intelligence (AmI) has attracted a number of researchers due to the widespread diffusion of unobtrusive sensing devices. The availability of such a great amount of acquired data has driven the interest of the scientific community in producing novel methods for combining raw measurements in order to understand what is happening in the monitored scenario. Moreover, due the primary role of the end user, an additional requirement of any AmI system is to maintain a high level of pervasiveness. In this paper we propose a method for recognizing human activities by means of a time of flight (ToF) depth and RGB camera device, namely Microsoft Kinect. The proposed approach is…
Affinity Sensors for the Diagnosis of COVID-19
2021
The coronavirus disease 2019 (COVID-19) outbreak caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) was proclaimed a global pandemic in March 2020. Reducing the dissemination rate, in particular by tracking the infected people and their contacts, is the main instrument against infection spreading. Therefore, the creation and implementation of fast, reliable and responsive methods suitable for the diagnosis of COVID-19 are required. These needs can be fulfilled using affinity sensors, which differ in applied detection methods and markers that are generating analytical signals. Recently, nucleic acid hybridization, antigen-antibody interaction, and change of reactive oxyge…
Generalized power-angle control for grid-forming converters: A structural analysis
2022
Several control schemes have been recently proposed and studied as grid-forming controls for power converters. In all these schemes, the power-angle control loop is the part which defines the fundamental capabilities of the grid-forming control: that control loop governs in fact the inherent synchronization mechanism of the power converter, the power sharing with the other generation sources in the system and the oscillatory characteristics of the converter-based resource. This article introduces a general formulation for the power-angle control characterizing the grid-forming concept for power converters. The generalized power-angle control is based on a polynomial fraction formulation, an…
Machine Learning-Based Classification of Vector Vortex Beams.
2020
Structured light is attracting significant attention for its diverse applications in both classical and quantum optics. The so-called vector vortex beams display peculiar properties in both contexts due to the non-trivial correlations between optical polarization and orbital angular momentum. Here we demonstrate a new, flexible experimental approach to the classification of vortex vector beams. We first describe a platform for generating arbitrary complex vector vortex beams inspired to photonic quantum walks. We then exploit recent machine learning methods -- namely convolutional neural networks and principal component analysis -- to recognize and classify specific polarization patterns. O…