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.     

关于统一冶金矿山采矿工序能耗指标的看法

对原有的冶金矿山设计和生产不同能耗指标，提出统一为一个指标体系的设想，并提出了指标体系的计算公式以及各系数的选取意见。     

矿山抗采动农村楼房的试验研究

本文通过两栋不同加固方案的二层农村楼房抗采动现场试验结果的分析,对不同加固措施的作用机理、效果及其设置条件进行了研究探讨,并提出,在农村采动区兴建抗采动变形楼房,是解放村庄下压煤、节约耕地和降低加固费用的途径。