M. Naor (Ed.): TCC 2004, LCNS 2951, pages 336 352, February 2004. c © Springer-Verlag Berlin Heidelberg 2004. Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography, i.e., the specification is an ideal system and a real system should in some sense simulate this ideal one...

This paper has carried out the quasi-static tests of five specimens FRP-UHPC column-steel beam joints with core columns, and extensive parameter analysis by numerical simulation. The results show that Concrete-filled square steel tube column -Steel Beam Joints have strong bearing capacity. It excellent deformability, stiffness energy dissipation capacity, works well under condition high axial c...

This paper presents a study that forms part of an ongoing project on the seismic retrofit of reinforced concrete (RC) structures with fibre-reinforced polymer (FRP). In this study, a stress-strain model for FRP-confined concrete subjected to cyclic loading was implemented into OpenSees to support the performance-based design of FRP jackets for the seismic retrofit of RC columns/structures. Init...

Progressive collapse is defined as the spread of an initial damage from one member to another, leading to extensive partial or total collapse of the structure. In this research, the potential of progressive collapse due to a sudden removal of vertical load-bearing elements in reinforced concrete buildings structures with different floor plans such as geometrical regular and irregular floor plan...

The traditional precast concrete column-to-column connections are widely used in the prefabricated frame structures China. However, many studies on joints have demonstrated their complex forms and poor construction efficiency. To overcome these shortcomings, a new type column–column connection with steel plate hoop bolts was designed proposed. In order to reveal seismic performance of this conn...