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...

The numerical simulation results utilizing the Peridynamics (PD) method reveal that initial crack and propagation of tunnel concrete lining structure agree with experimental data compared to Japanese prototype test. load model takes into account cracking process distribution segment under influence local bias pressure thickness. In addition, preset cracks section form on is studied. This study ...

Concrete materials are widely used in tunnel engineering. In China, the cold regions have gradually become main area for highway and railway construction. Affected by high altitude, low temperature, turbulent wind, other conditions, freezing damage, such as icing, occurs concrete materials, which seriously affects quality operational safety of tunnels regions. Therefore, it is necessary to carr...