The modeling, simulation, and experimental verification of several MEMS devices are presented. Simulated results include 3D mode analysis, residual stress effects, thermal expansion, nonlinear deflections, time-varying electrostatic forces, process sensitivities, induced currents, and the transient performance in accelerated reference frames. To simulate the performance of these MEMS devices a ...

We present a static analysis for computing a parametric upper-bound of the amount of memory dynamically allocated by (Java-like) imperative object-oriented programs. We propose a general procedure for synthesizing non-linear formulas which conservatively estimate the quantity of memory explicitly allocated by a method as a function of its parameters. We have implemented the procedure and evalua...

Considering fabrication variations, timing guardband is introduced to ensure design reliability. However, trade-off exists between guardband and design performance, especially the chip area discussed in this paper. To predict the variation of total chip area with guardband reduction, we construct the model from the basic Elmore delay theory and optimize the gate sizing and buffering to meet the...

A systematic approach to the static analysis of deformation of linear objects such as cords and ropes is presented. There exists many manipulative operations that deal with deformable objects in environments that robots are expected to take active parts, while rigid object manipulation has been a main interest in most of the task planning researches. Manipulative operations that deal with defor...

theoretical study of the electronic structure, and nonlinear optical properties (nlo) analysis of 12-crown-4were done using density functional theory (dft) evaluations at the b3lyp/6-311g (d,p) level of theory. the optimized structure is nonlinear compound as indicated from the dihedral angles were presented. the calculated ehomo and elumo energies of 12-crown-4 (12cn4) can be used to explain t...

1.STARWALL code analysis.......................................................................................1 2.MPI parallelization...................................................................................................6 3.Parallel performance test.......................................................................................18 4.Parallelization of the code for magnetic co...

This paper reviews work on the^ development of a program Nasa for the automated comparative static analysis of parametrized nonlinear systems over parameter intervals. Nasa incorporates a fast and efficient algorithm Feed for the automatic evaluation of higher-order partial derivatives, as well as an adaptive homotopy continuation algorithm for obtaining all required iiutial conditions. Applica...

As more and more emphasis is being laid on non-linear analysis of RC framed structures subjected to earthquake excitation, the research and development on both non-linear static (pushover) analysis as well as nonlinear dynamic (time history)analysis is in the forefront. Due to prohibitive computational time and efforts required to perform a complete nonlinear dynamic analysis, researchers and d...

Nonlinear propagation of noise measured during static run-up measurements of a military jet aircraft is considered. Measurements made of the noise radiation from the F35AA Joint Strike Fighter indicate levels commensurate with finite-amplitude sound propagation, both through a Gol’dberg number analysis and numerical modeling. Comparisons with a nonlinear propagation model based on the generaliz...

To date, nonlinear l∞ -gain static output feedback control problems have not been solved by the conventional control methods for nonlinear discrete-time systems with persistent bounded disturbances. This study introduces static output feedback fuzzy control scheme to deal with the nonlinear l∞ -gain control problem. The structure of static output feedback fuzzy control is simpler than that of d...