Case Histories of Designing Tunnel Linings in Seismic Regions

The original approach to the problem of designing tunnel linings upon the seismic effects consisting in the determination of the most unfavourable stress state in the every lining normal section at different combinations and any directions of long longitudinal and shear waves propagating in the plane of the lining cross-section is described in the paper presented. The analytical methods and corresponding computer programs based on that approach have been developed for the design of tunnel linings of an arbitrary cross-section shape, circular linings inducting the multi-layer ones of the complex of parallel mutually influencing tunnels etc. Two case histories of applying those methods at the design and construction of the railway tunnel and six parallel vertical turbine shafts of the hydro-electric power- station are given

Design of Tunnels Located Near Slopes in Seismic Areas

The original approach to the problem of designing circular tunnel linings located near slopes upon seismic effects consisting in the determination of the most unfavourable stress state in the every lining radial section at different combinations and any directions of long longitudinal and shear waves propagating in the plane of the tunnel cross-section is described in the paper presented. The analytical methods of determining the tunnel lining stress state caused by static loads namely by the rock own weight and the vertical load uniformly distributed on the part of the inclined straight boundary simulating the weight of building or structure on the surface are also described

Lining Design for Alborz Tunnel in Iran

The paper describes the application of analytical methods if tunnel linings design under static, tectonic and seismic effects for the design of the transport tunnel Albors in Iran. The methods are based on solutions of the corresponding plane problems of the elasticity theory simulating the initial stress fields in the rock mass caused by gravitational or tectonic forces and actions of long arbitrary directed longitudinal (P) and shear (S) waves propagating in the plane of the tunnel cross-section. For the design of tunnel linings under seismic effects the original approach has been applied consisting in the determination of maximal compressive and tensile circumferential stresses wich may appear in points of the lining internal outline at any combinations and directions of P- and S- waves

Statistical Model Checking for Stochastic Hybrid Systems

This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how our race-based stochastic semantics extends to networks of hybrid systems, and indicate the integration technique applied for implementing this semantics in the UPPAAL-SMC simulation engine. We report on two applications of the resulting tool-set coming from systems biology and energy aware buildings.Comment: In Proceedings HSB 2012, arXiv:1208.315

Evaluation of elastic and adhesive properties of solids by depth-sensing indentation

To describe properly interactions between contacting solids at micro/nanometre scales, one needs to know both adhesive and mechanical properties of the solids. Borodich and Galanov have introduced an effective method (the BG method) for identifying both characteristics from a single experiment on depth-sensing indentation by a spherical indenter using optimal fitting of the experimental data. Unlike traditional indentation techniques involving sharp indenters, the Borodich-Galanov methodology intrinsically takes adhesion into account. It is essentially a non-destructive approach. These features extend the scope of the method to important applications beyond the capabilities of conventional indentation. The scope of the original BG method was limited to the classic JKR and DMT theories. Recently, this restriction has been overcome by introducing the extended BG (eBG) method, where a new objective functional based on the concept of orthogonal distance curve fitting has been introduced. In the present work, questions related to theoretical development of the eBG method are discussed. Using the data for elastic bulk samples, it is shown that the eBG method is at least as good as the original BG method. It is shown that the eBG can be applied to adhesive indentation of coated, multilayered, functionally graded media

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

This paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighted Timed Automata. Such formalism comes together with a logic that can be used to describe complex features such as timed energy constraints. Our contribution is a method for solving this problem using Statistical Model Checking. The method has been implemented in UPPAAL model checker and has been applied to the analysis of Aloha CSMA/CD and IEEE 802.15.4 CSMA/CA protocols.Comment: In Proceedings IWIGP 2012, arXiv:1202.422

Химикотехнологические решения проблемы твердых бытовых отходов и их социо-эколого-экономические аспекты.

The analysis of defects of the ways for burial of solid waiste and tecnologies of incinerations, combustion of solid waiste used in our country is represented. The concept of Universal Biokompleks is offered for the purpose of ecological and есоnomic optimization of these ways.Анализируются недостатки используемых в нашей стране способов захоронения, компостирования, сжигания, пиролиза твердых бытовых отходов. С целью экологической оптимизации этих способов предлагается концепция универсального биокомплекса