Both the deformation characters and the failure mode of the large cross-sectional longwall installation roadway under compound roof are becoming an emergent issue than ever before due to the rapid development of modern mining equipment. Various engineering applications have revealed that the insufficient design and inappropriate support technology are the main reasons for the fatal accidents as...

A particularly simple Markov chain model for a reference string is described. The model, which is only slightly more complicated than the independent reference model, generates strings that have a locality property and that have a specified probability distribution of references over pages. Expressions are obtained for expected working-set size and expected working-set miss ratio. The of change...

This paper proposes an adaptive invalidate/update protocol for software distributed shared memory(DSM), which use the working-set notion of a conventional operating system as the criteria for determining whether to update or invalidate. The proposed protocol can adjust the amount of update messages as changing the value of working-set size. The proposed protocol was implemented in CVM[4], a sof...

This study involves seismic monitoring of a deep coal mine. The purpose is to examine the processes responsible for induced seismicity. A seismic network consisting of five threecomponent short-period seismometers located above the mine recorded the seismic data. The events discussed here occurred from March 1, 2009 until April 7, 2011 during the mining of three longwall panels and the data was...

In this paper, we demonstrate the impact of Multiword Expression (MWE) resources in the task of MWE recognition in text. We present results based on the Wiki50 corpus for MWE resources, generated using unsupervised methods from raw text and resources that are extracted using manual text markup and lexical resources. We show that resources acquired from manual annotation yield the best MWE taggi...

0 Getting Started 94 0.1 Installing Matita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 0.2 Preparing a working directory . . . . . . . . . . . . . . . . . . . . . . 95 0.3 Matita interface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 0.4 Browsing the library . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 0.5 Live DVD . . . . . . . . . . . . . . . . ....

Nowadays, enterprises cooperate more extensively with other enterprises during the entire product life cycle. Temporary alliances between various enterprises emerge such as those in Virtual Enterprises. Collaborative applications are demanded that enable enterprises to engage in such endeavors. This paper aims to present a framework with which collaborative applications can be characterized and...

The Virtual Company educational scenario engages students in a professional setting for working and learning. Students are enabled to develop competencies that are derived from professional practice. This allows us to use assessment strategies that are different from the practice in traditional educational settings. In the Virtual Company educational scenario the competence assessment procedure...

A mechanical support in a longwall complex requires proper supervision and control of operating parameters because it is responsible for the safety machines workers. Its main functions are to protect excavation against adverse effects rock mass move along with operational progress shearer scraper conveyor. In era Industry 4.0 as well green economy sustainable development, development devices in...