Sciweavers

2714 search results - page 87 / 543
» Model comparison with GenericDiff
Sort
View
ISCAS
1999
IEEE
119views Hardware» more  ISCAS 1999»
14 years 1 months ago
A SPICE model for simulating the impedance-frequency characteristics of high frequency PIN switching diodes
A SPICE model for the microwave and RF PIN switching diode is presented. The model simulates the important Iregion charge storage phenomenon and its effect on the PIN diode impeda...
Robert H. Caverly, N. Quinn
IJON
1998
107views more  IJON 1998»
13 years 8 months ago
Training wavelet networks for nonlinear dynamic input-output modeling
In the framework of nonlinear process modeling, we propose training algorithms for feedback wavelet networks used as nonlinear dynamic models. An original initialization procedure...
Yacine Oussar, Isabelle Rivals, Léon Person...
SPIN
1999
Springer
14 years 1 months ago
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
Gerard J. Holzmann
ISMB
1996
13 years 10 months ago
The Mathematical Model of Subtractive Hybridization and Its Practical Application
A novel theory of subtractive hybridization including (or based on) the kinetic model of this process was proposed. A computer program modeling the process of subtraction wasdevel...
Olga D. Ermolaeva, Sergey A. Lukyanov, Eugene D. S...
MR
2007
93views Robotics» more  MR 2007»
13 years 8 months ago
Analytical and finite element models of the thermal behavior for lead-free soldering processes in electronic assembly
The development of a simplified analytical model to describe the thermal history of a Printed Circuit Board assembly (PCA) during convective reflow soldering is described in this ...
Nele Van Steenberge, Paresh Limaye, Geert Willems,...