Search results for " Mach"

Finite Automata with Advice Tapes

2013

We define a model of advised computation by finite automata where the advice is provided on a separate tape. We consider several variants of the model where the advice is deterministic or randomized, the input tape head is allowed real-time, one-way, or two-way access, and the automaton is classical or quantum. We prove several separation results among these variants, and establish the relationships between this model and the previously studied ways of providing advice to finite automata.

Bounded Computational Capacity Equilibrium

2010

We study repeated games played by players with bounded computational power, where, in contrast to Abreu and Rubisntein (1988), the memory is costly. We prove a folk theorem: the limit set of equilibrium payoffs in mixed strategies, as the cost of memory goes to 0, includes the set of feasible and individually rational payoffs. This result stands in sharp contrast to Abreu and Rubisntein (1988), who proved that when memory is free, the set of equilibrium payoffs in repeated games played by players with bounded computational power is a strict subset of the set of feasible and individually rational payoffs. Our result emphasizes the role of memory cost and of mixing when players have bounded c…

Comparative study of modelling the thermal efficiency of a novel straight through evacuated tube collector with MLR, SVR, BP and RBF methods

2021

Abstract Data-based methods are useful for accurate modelling of solar thermal systems. In this work, several artificial neural network (ANN) techniques are proposed to predict the thermal performance of an all-glass straight through evacuated tube solar collector. These are compared to support vector regression analysis. Extensive experimental data sets were collected for training the ANN models. Solar radiation intensity, ambient temperature, wind speed, mass flow rate and collector inlet temperature were selected as the input layer to predict the thermal efficiency of the solar collector. The prediction precision of the ANN models was compared to the multiple linear regression and suppor…

Mechanical and microstructural characterization of titanium gr.5 parts produced by different manufacturing routes

2022

Abstract In recent years, the aircraft industry has shifted its preference for metal parts to titanium and its alloys, such as the high-strength Titanium Grade5 alloy. Because of Titanium Grade 5 limited formability at ambient temperature, forming operations on this material require high temperatures. In these conditions, a peculiar microstructure evolves as a result of the heating and deformation cycles, which has a significant impact on formability and product quality. On the other hand, additive manufacturing technologies, as selective laser melting and electron beam melting, are increasingly being used and are replacing more traditional approaches such as machining and forging. Fundamen…

Photoelastic stress analysis assisted evaluation of fracture toughness in hydrothermally aged epoxies

2014

The present work has investigated the fracture toughness of a model DGEBA epoxy system subject to Hidro-Thermal aging. A Photoelastic Stress Analysis technique has been implemented, showing the evolution of stresses arising throughout the water uptake process due to the non-uniform swelling of the material. Gravimetric and Dynamic Mechanical Thermal Analyses have further complemented the characterization, showing the onset of plasticization effects with aging. The correlation of all previous characterizations has allowed to conclude that an increase of KIC fracture toughness is obtained at the fully saturated condition. In particular Photoelasticity has also revealed the onset of relevant s…

Ultimate Order Statistics-Based Prototype Reduction Schemes

2013

Published version of a chapter in the book: AI 2013: Advances in Artificial Intelligence. Also available from the publisher at: http://dx.doi.org/10.1007/978-3-319-03680-9_42 The objective of Prototype Reduction Schemes (PRSs) and Border Identification (BI) algorithms is to reduce the number of training vectors, while simultaneously attempting to guarantee that the classifier built on the reduced design set performs as well, or nearly as well, as the classifier built on the original design set. In this paper, we shall push the limit on the field of PRSs to see if we can obtain a classification accuracy comparable to the optimal, by condensing the information in the data set into a single tr…

2004

This paper presents the use of Support Vector Machines (SVMs) for prediction and analysis of antisense oligonucleotide (AO) efficacy. The collected database comprises 315 AO molecules including 68 features each, inducing a problem well-suited to SVMs. The task of feature selection is crucial given the presence of noisy or redundant features, and the well-known problem of the curse of dimensionality. We propose a two-stage strategy to develop an optimal model: (1) feature selection using correlation analysis, mutual information, and SVM-based recursive feature elimination (SVM-RFE), and (2) AO prediction using standard and profiled SVM formulations. A profiled SVM gives different weights to …

Learning the structure of HMM's through grammatical inference techniques

2002

A technique is described in which all the components of a hidden Markov model are learnt from training speech data. The structure or topology of the model (i.e. the number of states and the actual transitions) is obtained by means of an error-correcting grammatical inference algorithm (ECGI). This structure is then reduced by using an appropriate state pruning criterion. The statistical parameters that are associated with the obtained topology are estimated from the same training data by means of the standard Baum-Welch algorithm. Experimental results showing the applicability of this technique to speech recognition are presented. >

Advanced Monitoring of Rotor Broken Bar in Double Squirrel Cage Induction Machines Based on Wavelet Analysis

2012

The diagnosis of induction machine faults is commonly realized through Motor Current Signature Analysis (MCSA), i.e. by classical spectrum analysis of the input currents. In case of large or double cage induction motors, rotor broken bars fault detection based on sideband current components may fail due to the presence of inter bar currents that reduce the degree of rotor asymmetry, leading to reduced relevance of these spectral components. But inter bar currents produce core vibrations in the axial direction, which can be detected using vibration analysis techniques, in order to overcome the limits of the classical MCSA for these purposes. In this paper, an advanced use of the Discrete wav…

Design of a transverse flux machine for power generation from seawaves

2014

In this paper, we present a transverse flux linear generator. We investigate the possibility to use this generator to extract energy from seawaves. We propose an optimization procedure that allows us to obtain an optimized design of the generator. The optimized design of the converter shows a power generation capability index much higher than other renewable systems.