Patterns are descriptions and solutions for recurring problems in software design and implementation. In this paper, some ideas towards a formal approach to the specification of patterns in model-driven engineering (MDE) is presented. The approach is based on the Diagram Predicate Framework which provides a formal approach to (meta)modelling, model transformation and model management in MDE. In...

This paper investigates the optimized parameters for the tuned liquid column dampers to decrease the earthquake vibrations of high-rise buildings. Considering soil effects, the soilstructure interaction (SSI) is involved in this model. The Tuned Liquid Column Damper (TLCD) is also utilized on the roof of the building. Since the TLCD is a nonlinear device, the time domain analysis based on nonli...

Issues of load combinations of earthquakes and heavy trucks are important contents in multihazards bridge design. Current load resistance factor design (LRFD) specifications usually treat extreme hazards alone and have no probabilistic basis in extreme load combinations. Earthquake load and heavy truck load are considered as random processes with respective characteristics, and the maximum comb...

-Seismic energy release is dominated by the underthrusting earthquakes in subduction zones, and this energy release is further concentrated in a few subduction zones. While some subduction zones are characterized by the occurrence of great earthquakes, others are relatively aseismic. This variation in maximum earthquake size between subduction zones is one of the most important features of glob...

there are large areas of the world where seismicity is high while they form the whole or parts of urban conglomeration. iran can be literally compared to a large shaking table; various parts of it have been stricken by earthquake in the last four decades(1). tehran is also expected to have a major earthquake in the near future(2). therefore, urban design criteria for earthquake preparedness i...

S U M M A R Y We investigate the 2007 Pisco, Peru, earthquake (M8.0) using seismological and geodetic data. Analysis of teleseismic records indicates that the earthquake is characterized by a steadily increasing moment rate, with the maximum occurring between about 55 and 70 s and the associated slip occurring about 40 km south of the epicentre. We combine InSAR data from L-band (ALOS) and C-ba...

The use of formal methods, based on rigorous mathematical foundations, is essential for system specification and proof, especially for safety critical systems. On the other hand, Model-driven Engineering (MDE) is emerging as new approach to software development based on the systematic use of models as primary artifacts throughout the engineering life-cycle by combining domain-specific modeling ...

Acase studywas conducted to investigate the seismic behavior of steel plate shear walls having boundary elements designed by two different philosophies. The first design approach does not guarantee that formation of in-span plastic hinges on horizontal boundary elements (HBEs) will be prevented, whereas the second approach guarantees that plastic hinges can only occur at the ends of HBEs. Pusho...