Results 1  10
of
88
Reduction of the HodgkinHuxley Equations to a SingleVariable Threshold Model
 NEURAL COMPUTATION
, 1997
"... It is generally believed that a neuron is a threshold element which fires when some variable u reaches a threshold. Here we pursue the question of whether this picture can be justified and study the fourdimensional neuron model of Hodgkin and Huxley as a concrete example. The model is approximat ..."
Abstract

Cited by 81 (25 self)
 Add to MetaCart
It is generally believed that a neuron is a threshold element which fires when some variable u reaches a threshold. Here we pursue the question of whether this picture can be justified and study the fourdimensional neuron model of Hodgkin and Huxley as a concrete example. The model is approximated by a response kernel expansion in terms of a single variable, the membrane voltage. The firstorder term is linear in the input and has the typical form of an elementary postsynaptic potential. Higherorder kernels take care of nonlinear interactions between input spikes. In contrast to the standard Volterra expansion the kernels depend on the firing time of the most recent output spike. In particular, a zeroorder kernel which describes the shape of the spike and the typical afterpotential is included. Our model neuron fires, if the membrane voltage, given by the truncated response kernel expansion crosses a threshold. The threshold model is tested on a spike train generated by t...
Stability and Instability of Fluid Models for ReEntrant Lines
, 1996
"... Reentrant lines can be used to model complex manufacturing systems such as wafer fabrication facilities. As the first step to the optimal or nearoptimal scheduling of such lines, we investigate their stability. In light of a recent theorem of Dai (1995) which states that a scheduling policy is sta ..."
Abstract

Cited by 62 (18 self)
 Add to MetaCart
Reentrant lines can be used to model complex manufacturing systems such as wafer fabrication facilities. As the first step to the optimal or nearoptimal scheduling of such lines, we investigate their stability. In light of a recent theorem of Dai (1995) which states that a scheduling policy is stable if the corresponding fluid model is stable, we study the stability and instability of fluid models. To do this we utilize piecewise linear Lyapunov functions. We establish stability of FirstBufferFirstServed (FBFS) and LastBufferFirstServed (LBFS) disciplines in all reentrant lines, and of all workconserving disciplines in any three buffer reentrant lines. For the four buffer network of Lu and Kumar we characterize the stability region of the Lu and Kumar policy, and show that it is also the global stability region for this network. We also study stability and instability of Kellytype networks. In particular, we show that not all workconserving policies are stable for such netw...
P.D.: Landau Hamiltonians with random potentials: localization and the density of states
 Commun. Math. Phys
, 1996
"... We prove the existence of localized states at the edges of the bands for the twodimensional Landau Hamiltonian with a random potential, of arbitrary disorder, provided that the magnetic field is sufficiently large. The corresponding eigenfunctions decay exponentially with the magnetic field and dis ..."
Abstract

Cited by 37 (10 self)
 Add to MetaCart
(Show Context)
We prove the existence of localized states at the edges of the bands for the twodimensional Landau Hamiltonian with a random potential, of arbitrary disorder, provided that the magnetic field is sufficiently large. The corresponding eigenfunctions decay exponentially with the magnetic field and distance. We also prove that the integrated density of states is Lipschitz continuous away from the Landau energies. The proof relies on a Wegner estimate for the finitearea magnetic Hamiltonians with random potentials and exponential decay estimates for the finitearea Green’s functions. The proof of the decay estimates for the Green’s functions uses fundamental results from twodimensional bond percolation theory. KeyWords: Landau Hamiltonians, random operators, localization. Number of figures: 4
Solving Large Nonsymmetric Sparse Linear Systems Using MCSPARSE
 PARALLEL COMPUTING
, 1996
"... ..."
(Show Context)
A Conservative Formulation For Plasticity
 Adv. Appl. Math
, 1992
"... . In this paper we propose a fully conservative form for the continuum equations governing ratedependent and rateindependent plastic flow in metals. The conservation laws are valid for discontinuous as well as smooth solutions. In the ratedependent case, the evolution equations are in divergence f ..."
Abstract

Cited by 13 (5 self)
 Add to MetaCart
(Show Context)
. In this paper we propose a fully conservative form for the continuum equations governing ratedependent and rateindependent plastic flow in metals. The conservation laws are valid for discontinuous as well as smooth solutions. In the ratedependent case, the evolution equations are in divergence form, with the plastic strain being passively convected and augmented by source terms. In the rateindependent case, the conservation laws involve a Lagrange multiplier that is determined by a set of constraints; we show that Riemann problems for this system admit scaleinvariant solutions. 1. Introduction In a previous paper [24], we formulated the equations for elasticity in the Eulerian picture as conservation laws. The motivation for this work was that the Eulerian framework is useful in numerical computations of largedeformation flows. Furthermore, the most effective numerical methods, such as secondorder Godunov schemes and the front tracking method, rely on an understanding of the s...
A realtime serviceoriented architecture for industrial automation
 IEEE Transactions on Industrial Informatics
"... Abstract—Industrial automation platforms are experiencing a paradigm shift. New technologies are making their way in the area, including embedded realtime systems, standard local area networks like Ethernet, WiFi and ZigBee, IPbased communication protocols, standard Service Oriented Architecture ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
(Show Context)
Abstract—Industrial automation platforms are experiencing a paradigm shift. New technologies are making their way in the area, including embedded realtime systems, standard local area networks like Ethernet, WiFi and ZigBee, IPbased communication protocols, standard Service Oriented Architectures (SOAs) and Web Services. An automation system will be composed of flexible autonomous components with Plug & Play functionality, self configuration and diagnostics, and autonomic local control that communicate through standard networking technologies. However, the introduction of these new technologies raises important problems that need to be properly solved, one of these being the need to support realtime and qualityofservice (QoS) for realtime applications. This paper describes a SOA enhanced with realtime capabilities for Industrial Automation. The proposed architecture allows for negotiation of the QoS requested by clients from web services, and provides temporal encapsulation of individual activities. This way, it is possible to perform an a priori analysis of the temporal behavior of each service, and to avoid unwanted interference among them. After describing the architecture, experimental results gathered on a real implementation of the framework (which leverages a soft realtime scheduler for the Linux kernel) are presented, showing the effectiveness of the proposed solution. The experiments were performed on simple case studies designed in the context of industrial automation applications. Index Terms—Industrial automation, realtime embedded systems, serviceoriented architectures (SOAs). I.
The parallel solution of nonsymmetric sparse linear systems using the H* reordering and an . . .
, 1994
"... ..."
Layer Reassignment for Antenna Effect Minimization in 3Layer Channel Routing
 Proc. of the 1996 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems
, 1996
"... As semiconductor technology enters the deep submicron era, reliability has become a major challenge in the design and manufacturing of next generation VLSI circuits. In this paper we focus on one reliability issue  the antenna effect in the context of 3layer channel routing. We first present an an ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
(Show Context)
As semiconductor technology enters the deep submicron era, reliability has become a major challenge in the design and manufacturing of next generation VLSI circuits. In this paper we focus on one reliability issue  the antenna effect in the context of 3layer channel routing. We first present an antenna effect model in 3layer channel routing and, based on this, an antenna effect cost function is proposed. A layer reassignment approach is adopted to minimize this cost function and we show that the layer reassignment problem can be formulated as a network bipartitioning problem. Experimental results show that the antenna effect can be reduced considerably by applying the proposed technique. Compared with previous work, one advantage of our approach is that no extra channel area is required for antenna effect minimization. We show that layer reassignment technique can be used in yieldrelated critical area minimization in 3layer channel routing as well. The tradeoff between these two ...