The automatic conversion of oating point software implementations of algorithms to a equivalent xed point implementation which can be eeciently implemented in an FCCM remains an obstacle in the rapid systems prototyping design ow. Floating point to xed point conversion is tedious, error prone and requires a good knowledge of xed point computer arithmetic. This paper describes a software system ...

We examine the eecient implementation of back prop type algorithms on T0 4], a vector processor with a xed point engine, designed for neural network simulation. A matrix formulation of back prop, Matrix Back Prop 1], has been shown to be very eecient on some RISCs 2]. Using Matrix Back Prop, we achieve an asymptotically optimal performance on T0 (about 0.8 GOPS) for both forward and backward ph...

in this paper, we prove the existence of the solution for boundary value prob-lem(bvp) of fractional dierential equations of order q 2 (2; 3]. the kras-noselskii's xed point theorem is applied to establish the results. in addition,we give an detailed example to demonstrate the main result.

When the saddle-center bifurcation occurs in an analytic family of area-preserving maps, rst a parabolic xed point appears at the origin and then this point bi-furcates, creating an elliptic xed point and a hyperbolic one. Separatrices of the hyperbolic xed point form a small loop around the elliptic point. In general the sep-aratrices intersect transversely and the splitting is exponentially s...

In this paper, we propose and validate a novel design for a double-gate tunnel fi eld-effect transistor (DG Tunnel FET), for which the simulations show significant improvements compared with single-gate devices using an SiO2 gate dielectric. For the fi rst time, DG Tunnel FET devices, which are using a high-κ gate dielectric, are explored using realistic design parameters, showing an ON-current...

jachymski [ proc. amer. math. soc., 136 (2008), 1359-1373] gave modified version of a banach fixed point theorem on a metric space endowed with a graph. in the present paper, (g, φ)-graphic contractions have been de ned by using a comparison function and studied the existence of fixed points. also, hardy-rogers g-contraction have been introduced and some fixed point theorems have been proved. s...

We characterize the polynomial time computable queries as those ex pressible in relational calculus plus a least xed point operator and a total ordering on the universe We also show that even without the ordering one application of xed point su ces to express any query expressible with several alternations of xed point and negation This proves that the xed point query hierarchy suggested by Cha...

© 2012 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim Vertically aligned carbon nanotube (CNT) forests may be used as miniature springs, compliant thermal interfaces, and shock absorbers, and for these and other applications it is vital to understand how to engineer their mechanical properties. Herein is investigated how the diameter and packing density within CNT forests govern their deformation b...

Recently introduced frequency modulation (FM) systems provide an adaptive adjustment to the emphasis of the FM system through the user’s hearing aid via VoicePriority iTM (VPi). VPi measures the noise level at the listener’s hearing aid microphone and adds gain to the FM signal when the background noise increases to a detrimental level. However, the potential benefi t of VPi technology has yet ...

We study a class of discrete dynamical systems that is motivated by the generic structure of simulations. The systems consist of the following data: (a) a ®nite graph Y with vertex set f1; . . . ; ng where each vertex has a binary state, (b) functions Fi : F2 ! F2 and (c) an update ordering p. The functions Fi update the binary state of vertex i as a function of the state of vertex i and its Y-...