The construction of an And-Or dependence graphs is illustrated, and its use in slicing statecharts is described. The additional structure allows for more precise slices to be constructed in the event of additional information, such as may be provided by static analysis and model checking, and with constraints on the global state and external events.

the static pull-in instability of beam-type micro-electromechanical systems is theoretically investigated. two engineering cases including cantilever and double cantilever micro-beam are considered. considering the mid-plane stretching as the source of the nonlinearity in the beam behavior, a nonlinear size-dependent euler-bernoulli beam model is used based on a modified couple stress theory, c...

The static pull-in instability of beam-type micro-electromechanical systems is theoretically investigated. Two engineering cases including cantilever and double cantilever micro-beam are considered. Considering the mid-plane stretching as the source of the nonlinearity in the beam behavior, a nonlinear size-dependent Euler-Bernoulli beam model is used based on a modified couple stress theory, c...