in the current study the effect of casimir force and squeezed film damping on the pull-in instability and dynamic behavior of electrostatically actuated nano and micro electromechanical systems is investigated separately. linear elastic membrane theory is used to model the static and dynamic behavior of system for strip, annular and disk geometries. squeezed film damping effect is modeled using...

Load carrying capacity of flat double-layer space structures majorly depends on the structures' imperfections. Imperfections in initial curvature, length, and residual stress of members are all innately random and can affect the load-bearing capacity of the members and consequently that of the structure. The double-layer space trusses are susceptible to progressive collapse due to sudden buckli...

(RCS) frames which are systems that dwell of concrete columns and steel beams , by optimizing the act of compressive strength of concrete and bending strength of steel due to not only a decrease in building weight in comparison to concrete structures but also having a better action in long spans frames . In this paper for analysis RCS behavior, a category of nonlinear Push Over analyses were ...

We revisit relational static analysis of numeric variables. Such analyses face two difficulties. First, even inexpensive relational domains scale too poorly to be practical for large code-bases. Second, to remain tractable they have extremely coarse handling of non-linear relations. In this paper, we introduce the subterm domain, a weakly relational abstract domain for inferring equivalences am...

This paper shows on hand of a case study the usefulness of the UML profile with real-time defined in the Omega project and of the IF validation tool-set. The case study is about intricate timing aspects arising in a small but complex component of the airborne Medium Altitude Reconnaissance System produced by NLR. The purpose is to show how automata-based timing analysis and verification tools c...

This paper presents a case study in UML-based modelling and validation of the intricate timing aspects arising in a small but complex component of the airborne Medium Altitude Reconaissance System produced by NLR. The purpose is to show how automata-based timing analysis and verification tools can be used by field engineers for solving isolated hard points in a complex real-time design, even if...

(RCS) frames which are systems that dwell of concrete columns and steel beams , by optimizing the act of compressive strength of concrete and bending strength of steel due to not only a decrease in building weight in comparison to concrete structures but also having a better action in long spans frames . In this paper for analysis RCS behavior, a category of nonlinear Push Over analyses were ...