Ensuring the stability of paste false rooves is an important issue in study process filling and slicing mining. Here, a mechanical model roof created to analyze its lower mining order determine minimum thickness roof. We use FLAC3D simulate influence changes on The quantitative functional relationship between subsidence roof, optimal artificial finally obtained by development law plastic zone f...

In this paper we describe a solution to the problem of proving cut-elimination for FILL, a variant of exponential-free and multiplicative Linear Logic originally introduced by Hyland and de Paiva. In the work of Hyland and de Paiva, a term assignment system is used to describe the intuitionistic character of FILL and a proof of cut-elimination is barely sketched. In the present paper, as well a...

Mine fill is the material placed underground to fill the voids created by mining excavations. It provides overall large scale ground stabilization while allowing localized pillar recovery. In addition to providing a working floor or back, mine fill has the potential to reduce subsidence and minimize dilution. Mine fill is essential to cut and fill, benching and sublevel stoping mining methods. ...

BACKGROUND In automated peritoneal dialysis (APD) one of the most important factors that influence the efficiency of the treatment is the total volume of dialysate infused per session and the dwell time. This study is aimed at examining the relationships between i.p. pressure (IPP), dialysate flow characteristics, and different dialysate fill volumes in order to optimize APD. METHODS We studi...