地表移动带范围内建构筑物安全可靠性分析

地表建构筑物位于在生产矿山地表开采移动范围内，如果按照一般圈定地表移动范围原则判断建构筑物的安全可靠性，结果是不安全或者预留保安矿柱可保证安全。为分析地表移动带范围内建构筑物安全可靠性，采用FLAC3D软件建立数值模拟模型，对矿区地表移动进行分析研究，并结合建构筑物的破坏等级评判标准，可以更加合理地判断地表移动范围内建构筑物的安全可靠性，对存在相似条件的矿山具有一定的借鉴意义。     

Mining fleet management systems: a review of models and algorithms

The objective of this paper is to review and document the mine fleet management systems’ models and algorithms. The purpose is to understand the algorithms behind the fleet management systems and the proposed academic solutions in this area to identify any gaps in the current literature and to open up opportunities to establish research questions that need to be addressed in an integrated simulation and optimisation operational planning research framework. In this paper, we review industrial fleet management systems and the main academic algorithms behind such systems. The fleet management systems are divided into three subsequently related problems to review: shortest path, production optimisation and real-time dispatching. Finally, the limitations of current algorithms for fleet management systems are documented in terms of mining practice feasibility and optimality of the solution on large-scale problems. The results of this literature review enable us to evaluate the logical links between major components of an integrated simulation and optimisation operational planning framework with current theory of fleet management systems.     

阳泉矿区高产高效矿井建设现状及发展趋势

近年来,阳泉煤业集团公司在高产高效矿井建设方面取得了一定成绩,但与国内外先进水平相比仍有较大差距。介绍了国内外和集团公司高产高效矿井建设的现状,指出了制约集团公司高产高效矿井建设的因素及发展趋势。     

应用于空间关联规则挖掘的ILP方法

文章介绍了应用于空间关联规则挖掘的ILP方法。ILP方法全称为归纳逻辑程序设计,这种方法有利于从空间领域发现有价值的知识,系统地研究地理层的层次结构,处理诸多空间对象的空间特性。这种方法已在一个ILP系统SPADA中实现,该文将通过SPADA应用空间数据的一些实例来说明ILP方法的特点。     

我国矿业城市实现可持续发展的途径分析

详细分析我国矿业城市可持续发展所面临的社会、经济、资源和生态环境等问题，提出了我国矿业城市应树立可持续发展目标及其内涵，系统分析矿业城市可持续发展的结构和模式，结合我国矿业城市发展存在的主要问题，以矿业城市可持续发展理念为指导，提出我国矿业城市实现可持续发展的途径及其建议。     

Prediction of Undrained Sinkhole Collapse

Sinkholes are surface depressions or shafts resulting from the collapse of a submerged cavity in soil. The cavities that lead to sinkholes form as a result of underlying geology in limestone areas, or as a result of human activity such as mining or leakage from a sewer. The formation of sinkholes is often sudden and can lead to extensive damage and loss of life, especially in urban areas. Much of the literature on the subject of sinkhole formation is empirical in nature, often being associated with specific locations. This paper presents the results of a study, using numerical modeling, of the undrained stability of the submerged cavities that lead to sinkhole formation. Finite-element limit analysis techniques (using programs developed at the University of Newcastle) are used to obtain upper and lower bound values of a suitable load parameter, which bracket the exact solution. The results are compared to analytical solutions, both from literature and derived independently.     

软件产品线中挖掘遗留系统资产的研究与分析

介绍了成功挖掘遗留资产的过程及方法：初步信息采集、为再工程进行选项分析、技术上对资产的理解、软件资产的修复。重点讲述了面向对象封装和组件封装技术是如何应用于软件产品线，并指出了挖掘遗留资产的相应风险。     

ʯ����Ȼ�����鿪�ɷ������������

加强石油天然气工业的立法，是社会主义市场经济发展与油气勘查开采实践的需要。针对现行油气管理法规在矿种管理体制，相邻采矿权人关系，油气采矿人主体资格，解决采矿权纠纷等未明事项，运用法学理论进行了剖析；阐述了加强油气立法工作的必要性和紧迫性；并有针对性地提立法建议，以期引探讨和有关部门重视。     

Semantic Web Mining: State of the art and future directions

Semantic Web Mining aims at combining the two fast-developing research areas Semantic Web and Web Mining. This survey analyzes the convergence of trends from both areas: More and more researchers are working on improving the results of Web Mining by exploiting semantic structures in the Web, and they make use of Web Mining techniques for building the Semantic Web. Last but not least, these techniques can be used for mining the Semantic Web itself.The Semantic Web is the second-generation WWW, enriched by machine-processable information which supports the user in his tasks. Given the enormous size even of today’s Web, it is impossible to manually enrich all of these resources. Therefore, automated schemes for learning the relevant information are increasingly being used. Web Mining aims at discovering insights about the meaning of Web resources and their usage. Given the primarily syntactical nature of the data being mined, the discovery of meaning is impossible based on these data only. Therefore, formalizations of the semantics of Web sites and navigation behavior are becoming more and more common. Furthermore, mining the Semantic Web itself is another upcoming application. We argue that the two areas Web Mining and Semantic Web need each other to fulfill their goals, but that the full potential of this convergence is not yet realized. This paper gives an overview of where the two areas meet today, and sketches ways of how a closer integration could be profitable.     

Database Encoding and A New Algorithm for Association Rules Mining

This paper proposes a method to encode database. By this way, a record is denoted by only one binary number, so the size of the database is reduced sharply. If some known modified algorithms are used on the database encoded, the efficiency will be improved significantly. At the meantime, a new algorithm based on the proposed encoding method is introduced too. By using some properties of numbers, the itemsets of the database can be converted into numerical fields. Different from the Apriori, the new algorithm discovers the association rules from the largest frequent itemset at first, and then all subitemsets, which are also frequent, will be gotten without any calculation, and all the other small none-frequent itemsets that must be generated in the Apriori will be omitted, and the scan times of the database are also reduced. Test results show the new algorithm based on the encoding database has a lower complexity of time and space.