Fault, crushed zone, and other unfavorable geology may frequently appear in the construction of tunnels, so it is course necessary to study on dynamic properties tunnels crossing rock fracture zone. Taking tunnel faults as object, this paper discussed constitutive relation satisfied by structures researched loading features failure characteristics different faults. It shows that: (1) areas with...

A process terminates if all its reduction sequences are finite. We propose two type systems that ensure termination of π-calculus processes. Our first type system is purely static. It refines previous type systems by Deng and Sangiorgi by taking into account certain partial order information on names so to enhance the techniques from term rewriting (based on lexicographic and multiset orderings...