Search

This paper presents an extensive study of linear and logistic regression algorithms implemented with 1T1R memristor crossbars arrays. Using a sophisticated simulation platform that wraps circuit-level simulations of 1T1R crossbars and physics-based models of RRAM (memristors), we elucidate the impact of device variability on algorithm accuracy, convergence rate and precision. Moreover, a smart pulsing strategy is proposed for practical implementation of synaptic weight updates that can accelerate training in real crossbar architectures. Stochastic multi-variable linear regression shows robustness to memristor variability in terms of prediction accuracy but reveals impact on convergence rate and precision. Similarly, the stochastic logistic regression crossbar implementation reveals immunity to memristor variability as determined by negligible effects on image classification accuracy but indicates an impact on training performance manifested as reduced convergence rate and degraded precision. [ABSTRACT FROM AUTHOR]

Conventional design and optimization of passive compensation network (PCN) for inductive power transfer (IPT) system are based on specific topologies. The demerits of this design method are: i) The topology is mostly chosen by experience; ii) The design parameters are not multi-objective optimal. Aiming at these issues, this paper proposes an optimal PCN design scheme based on evolutionary algorithm (EA) to synchronously optimize the topology and parameters of PCN for IPT system. Firstly, a unified mathematical model of the PCN is presented and derived by transmission matrix. Then, according to the mathematical model, the multi-objective functions (such as output fluctuation and efficiency) as well as the constraints (such as load and coupling coefficient) for the optimal PCN design are established. The EA based multi-objective optimal PCN design algorithm is further constructed. Six optimal results are obtained using the algorithm, and one optimized PCN having minimum output current fluctuation and high-efficiency is chosen to validate the effectiveness of the proposed design scheme in experiment. For the given IPT system with the optimized PCN, the maximum fluctuation of output current is no more than 11%, within 200% of load variation and about 77% of coupling variation. [ABSTRACT FROM AUTHOR]

This paper describes the development of an energy-efficient amplify-and-forward distributed estimation scheme using realistic amplifier models. Specifically, a novel algorithm is presented that enables distributed estimation in the presence of amplifier compression resulting from the energy-efficient but non-linear class AB operation. In this system, a digital predistortion scheme is utilized to fit the amplifier at each sensor to a mathematically tractable, soft compression function that roughly mimics the compression region of the amplifier. It is shown both analytically and via simulation that using this scheme has two benefits over linear amplifier operation: improved transmitter efficiency by operating the amplifier in compression, and reduced sensitivity to heavy-tailed distributions due to the soft saturation. [ABSTRACT FROM AUTHOR]

In this paper, we continue to explore application of nonsmooth analysis to the study of global asymptotic robust stability (GARS) of delayed neural networks. In combination with Lyapunov theory, our approach gives several new types of sufficient conditions ensuring GARS. A significant common aspect of our results is their low computational complexity. It is demonstrated that the reported results can be verified either by conducting spectral decompositions of symmetric matrices associated with the uncertainty sets of network parameters, or by solving a semidefinite programming problem. Nontrivial examples are constructed to compare with some closely related existing results. [ABSTRACT FROM AUTHOR]

This paper presents a new theory that addresses the issue of passivity in macromodels of electrical interconnects constructed based on the method of characteristics (MoC). The proposed approach develops a new algebraic test to check for passivity in macromodels generated using MoC. The theory behind the developed test is based on deriving the necessary and sufficient conditions for the loss of positive-realness in the admittance matrix of the developed macromodel. An algorithmic procedure is proposed to verify passivity of general macromodels derived from the MoC. The results presented in this paper can be employed to test for positive-realness in dynamical systems described by algebraic delay-differential equations with discrete commensurate delays. [ABSTRACT FROM AUTHOR]

This paper studies the statistical behavior of the normalized subband adaptive filtering (NSAF) algorithm. An accurate statistical model of the NSAF algorithm is obtained. In the derivation, we focus on Gaussian correlated input signals. By assuming that the analysis filter bank is paraunitary and taking into account the full band adaptation mechanism of the NSAF, expressions for the first and the second moments of the adaptive filter weights are derived without invoking the slow adaptation assumption. In the derivations, several hyperelliptic integrals appear. To tackle those integrals induced by Gaussian correlated inputs, we first give a solution by resorting to the adaptive Lobatto quadrature. By invoking the averaging principle, two other approximation methods, the chi-square method and the partial fraction expansion method, are presented to approximate the statistical model as well. Monte Carlo (MC) simulation results corroborate our predictions. The Lobatto quadrature method achieves a good agreement with the MC simulation results, even for a relatively large step size. Compared with the chi-square method and the partial fraction expansion method, the Lobatto quadrature method gives better performance in terms of predicting the mean square error when the length of the adaptive filters is small to medium. The chi-square approximation method and the partial fraction expansion method give a satisfactory performance with a relatively low computational complexity when the filter length is large. [ABSTRACT FROM PUBLISHER]

This paper is motivated by practical consideration that the input updating and output sampling rates are often limited due to sensor and actuator speed constraints. In particular, for general dual-rate systems with different updating and sampling periods, we derive the lifted state-space models (mapping relations between available dual-rate input-output data), and, by using a hierarchical identification principle, present combined parameter and state estimation algorithms for identifying the canonical lifted models based on the given dual-rate input-output data, taking into account the causality constraints of the lifted systems. Finally, we give an illustrative example to indicate that the proposed algorithm is effective. [ABSTRACT FROM AUTHOR]

A multi-purpose mechanical platform to track moving objects in three-dimensional space has been developed. It is composed of one main microcontroller board that processes all system data, two cameras, three motors, and one secondary microcontroller board to position a platform with three degrees of freedom. The system computes the optical flow and moves the cameras accordingly, tracking motion within the visual scene. The platform operates autonomously. To the best of our knowledge, there are no similar systems reported with low-resolution image sensors and low-cost microcontrollers. Existing solutions rely on personal computers and advanced FPGAs to process image data. This article concludes that the optical flow operation is efficient even using an image sensor with very low resolution. Thus, the system complexity and image data processing are alleviated significantly. The platform can be easily adapted to different application scenarios by adding new peripherals, sensors, or image processing algorithms. A detailed description of the system design and experimental results are provided. [ABSTRACT FROM AUTHOR]

We consider the problem of choosing the gate sizes or scale factors in a combinational logic circuit in order to minimize the total area, subject to simple RC timing constraints, and a minimum-allowed gate size. This problem is well known to be a geometric program (GP), and can be solved by using standard interior-point methods for small- and medium-size problems with up to several thousand gates. In this paper, we describe a new method for solving this problem that handles far larger circuits, up to a million gates, and is far faster. Numerical experiments show that our method can compute an adequately accurate solution within around 200 iterations; each iteration, in turn, consists of a few passes over the circuit. In particular, the complexity of our method, with a fixed number of iterations, is linear in the number of gates. A simple implementation of our algorithm can size a 10000 gate circuit in 25 s, a 100 000 gate circuit in 4 mm, and a million gate circuit in 40 mm, approximately. For the million gate circuit, the associated GP has three million variables and more than six million monomial terms in its constraints; as far as we know, these are the largest GPs ever solved. [ABSTRACT FROM AUTHOR]

In this paper, first, we investigate the CNN templates producing periodic patterns. Next, two image processing algorithms using periodic pattern formation in cellular neural networks are proposed. By applying one to a certain image, area having spatial uniformity is removed from the original image and only parts without spatial uniformity remain. Simulation results show that when this algorithm is applied to an image containing characters (texts) or a human face image, only characters or eyes and mouth are extracted. Also, by applying the other to texture image, periodicity is enhanced in area having spatial periodicity, and texture can be segmented. Simulation results show that when this algorithm is applied to image that consists of four kinds of textures, each texture area can be segmented. [ABSTRACT FROM AUTHOR]

This paper presents a constructive method for (sub)optimal finite-impulse response (FIR) approximation of infinite-impulse response (IIR) models. The method minimizes the Hankel norm of the approximation error by using an explicit solution to the norm-preserved dilation problem. It has advantages over the existing methods in that it is a unified method for both single-input single-output and multiple-input multiple-output systems which allows direct tradeoff between .the least-squares and Chebyshev error criteria by using a single tuning parameter, and that the approximation algorithm is constructive and only involves algebraic manipulations rather than iteration and convex optimization procedures. The lower and upper bounds on the l² and Chebyshev norms of the approximation error are derived and are related to the tuning parameter. The problem of approximating noncausal IIR models by causal FIR models is also formulated and solved. The effectiveness and properties of the proposed algorithms are demonstrated by examples. [ABSTRACT FROM AUTHOR]

This paper treats the problem of identification of a linear electric circuit described by an ill-conditioned mathematical model. The identification problem is considered as the problem of model parameters determination by means of processing experimental data measured for the objective circuit. Topological singularities (low-admittance cutsets and low-impedance loops) in a circuit are found to be origins of ill-conditionality of a circuit model. For more in-depth investigation the classification of electric circuits is made in respect to singularities position. It is shown that the first set of experimental data obtained for an ill-conditioned model is useless for getting the required solution of the identification problem. In this case a solution error amounts to a huge value that exponentially increases with growth in condition number of a model matrix. It is found that linear relations between model parameters can be determined in an ill-conditioned problem. Accuracy of these relations does not depend on condition number, but is defined only by measurement precision. An approach named as repeat measurements principle (RMP) and based on linear relations is suggested to solve an ill-conditioned identification problem. A new RMP-based algorithm of linear circuit identification is developed. The algorithm shows a high efficiency and allows us to determine model parameters accurate to measurement precision as applied to any type of reciprocal and nonreciprocal linear circuits. [ABSTRACT FROM AUTHOR]

This paper presents a new statistical analysis of the affine projection (AP) algorithm. An analytical model is derived for autoregressive (AR) inputs for unity step size (fastest convergence). Deterministic recursive equations are derived for the mean AP weight and mean-square error for large values of N (the number of adaptive taps). The value of N is also assumed large compared to the algorithm order (number of input vectors used to determine the weight update direction). The model predictions display better agreement with Monte Carlo simulations in both transient and steady-state than models previously presented in the literature. The model's accuracy is sufficient for most practical design purposes. [ABSTRACT FROM AUTHOR]

The convergence of the waveform relaxation (WR) method is demonstrated for a class of circuits: Chains of identical and symmetrical passive subcircuits. The WR algorithm uses resistive coupling to implement the iteration. Every part is modeled as a symmetric and reciprocal linear two-port network. The iteration matrices of the WR operator are constructed for the Gauss-Jacobi and Gauss-Seidel relaxations in the Fourier domain. An upperbound estimate of the spectral radius of the WR operator is presented. It demonstrates the convergence of the method independently of the number of cascaded parts in the chain and the coupling resistance. [ABSTRACT FROM AUTHOR]

This paper presents an adjoint-based algorithm for performing automatic parameter identification on differential equation models of biological systems. The algorithm locally solves an optimization problem, in which the cost reflects the deviation between the observed data and the output of the parameterized mathematical model, and the constraints are the governing parameterized equations. The tractability and the speed of convergence (to local minima) of the algorithm are strongly favorable to numerical parameter search algorithms which do not make use of the adjoint. Furthermore, initializing the algorithm with different instantiations of the parameters allows one to effectively search the parameter space. Results of the application of this algorithm to a previously presented mathematical model of planar cell polarity (PCP) signaling in the wings of Drosophila melanogaster are presented, and some new insights into the PCP mechanism that are enabled by the algorithm are described. [ABSTRACT FROM AUTHOR]