Nonlinear static procedure (NSP) is a common technique to predict seismic demands on various building structures by subjecting a monotonically increasing horizontal loading (pushover) to the structure. Therefore, the pushover analysis is an important part of each NSP. Accordingly, the current paper aims at investigating the efficiencyof various algorithms of lateral load patterns applied to the...

In this paper, the seismic collapse probability of special steel moment-resisting frame (SSMRF) structures under near fault pulse-like and far fault ordinary ground motions is evaluated through fragility analysis. For this purpose, five sample frames with 3 to 15 stories are designed and imposed to the ground motion excitations with different characteristics. Fragility curves are derived for th...

Nowadays it is common to use the fragility curves in probabilistic methods to determine the collapse probability resulting from an earthquake. The uncertainties exist in intensity and frequency content of the earthquake records are considered as the most effective parameters in developing the fragility curves. The pulse-type records reported in the near-fault regions might lead to the major dam...

In this study, constant-ductility optimization algorithm under a family of earthquake ground motions is utilized to achieve uniform damage distribution over the height of steel moment resisting frames (SMRFs). SMRF structures with stiffness-degrading hysteric behavior are modeled as single-bay generic frame in which the plastic hinge is confined only at the beam ends and the bottom of the first...

We present techniques for the analysis of infinite state probabilistic programs to synthesize probabilistic invariants and prove almost-sure termination. Our analysis is based on the notion of (super) martingales from probability theory. First, we define the concept of (super) martingales for loops in probabilistic programs. Next, we present the use of concentration of measure inequalities to b...