低品位高氧化铜矿石堆浸工艺技术改造实践

结合堆浸铜矿石品位低、含泥量大的性质和特点,通过改进矿石堆放结构、喷淋浓度、料液渗出线路,达到了缩短浸出周期,提高料液铜品位的目的,满足了生产持续发展的需要,也为同类小型矿山的生产、经营提供了成功经验。     

"锚网喷"支护工艺在云南某铜矿的应用

针对云南某铜矿地质构造复杂、节理裂隙发育、地压活动强烈等特点,应用支护工艺原理,从生产实际出发,阐述了"锚网喷"支护工艺在云南某铜矿的应用,总结了不同工程地质条件、不同区域地段,因地制宜地选取支护工艺及支护时间,合理的对井巷工程进行维护,使开挖井巷得以顺利施工,达到安全、经济、快速施工的目的.     

自然崩落法诱发井下泥石流降雨临界阈值试验

诱发井下泥石流灾害的降雨阈值是矿山井下泥石流防控重要参数。为获得普朗铜矿诱发井下泥石流的降雨临界阈值,以室内试验为研究方法,开展矿区不同降雨强度工况下诱发井下泥石流的降雨阈值及暴发时间研究。结果表明：当雨强为0.563 mL/min时发生破坏性较大井下泥石流概率较大,当雨强为0.293 mL/min时诱发井下泥石流概率较小,当雨强为0.186 mL/min时则不易形成井下泥石流;降雨强度0.293 mL/min是井下泥石流发生的极限临界状态,是诱发井下泥石流的降雨阈值;降雨强度0.563 mL/min时,3~#、4~#和2~#不同放矿口诱发井下泥石流的暴发时间分别为240、260和220 min;降雨强度0.293 mL/min时,3~#、4~#和2~#放矿口诱发井下泥石流的暴发时间分别为180、200和220 min;最后基于水量总量原理验证了试验确定降雨临界阈值的科学性和合理性。研究成果为普朗铜矿及类似矿山井下泥石流的预防和管控提供重要的科学理论依据。     

云南某铜矿资源及开采环境评价可视化建模技术研究

采用矿床3D技术和MICROMINE软件建立了某铜矿可视化模型, 应用地质统计学原理对矿床块段模型进行估值, 并对储量进行统计分析。结果表明, 模型储量报告结果与实际生产储量计算结果十分吻合。实践证明, 在可视化模型的基础上, 对矿山进行采矿设计能够极大的提高工作效率和设计质量。     

Progress in the Development of National Knowledge Infrastructure

This paper presents the recent process in a long-term research project,called National Knowledge Infrastructure(or NKI).Initiated in the early 2000,the project aims to develop a multi-domain shareable knowledge base for knowledge-intensive applications.To develop NKI,we have used domain-specific ontologies as a solid basis,and have built more than 600 ontologies.Using these ontologies and our knowledge acquisition methods,we have extracted about 1.1 millions of domain assertions.For users to access our NKI knowledge,we have developed a uniform multi-modal human-knowledge interface.We have also implemented a knowledge application programming interface for various applications to share the NKI knowledge.     

综述：知识系统的V＆V技术

知识库的异常是影响整个知识系统性能的重要因素之一，因此必须对获取的知识进行校验。本文综述了知识库异常检测和验证的相关研究，给出了异常知识的分类及其危害性，分析了知识库验证困难的原因，介绍了用于知识库验证的静态和动态方法，列举了国际上几个著名的知识库验证工具，并对知识库验证的研究进行了展望。     

Petri网的进程表达式与语言表达式

Petri网的语言和进程都是网系统行为的一种有效的描述手段,对应的进程表达式和语言表达式给出了系统全体行为的约束描述．本文首先对Petrl网的进程表达式进行了类型的划分并给出了相应的代数判定依据，随后证明了Petri网的进程表达式与语言表达式的类型一致性，由此给出了由进程表达式求取语言表达式的算法，为基于Petri网语言(尤其是无界Petri网)分析实际的物理系统提供了更为有效的途径．     

地应力作用下采场动静稳定性数值模拟研究

为研究地应力作用下地下金属矿山采场不稳固现象及灾变机理,以云南狮子山铜矿16中段29-38~#采场为研究对象,数值模拟并分析了采后结构的静力稳定性以及地应力-爆破耦合作用下的动静稳定性。结果表明,矿柱邻近大补偿空间区域应力集中程度最高,为最危险区域;采场围岩损伤为较高应力集中下地应力-爆破应力波耦合作用的结果,大补偿空间爆破开挖是采场不稳定的直接原因。为提高采场结构稳定性,应尽量减小补偿空间尺寸,并尽可能将补偿空间均匀布置于矿房之内。     

一种并行化的启发式流程挖掘算法

启发式流程挖掘算法在日志噪音与不完备日志的处理方面优势显著,但是现有算法对长距离依赖关系以及2-循环特殊结构的处理存在不足,而且算法未进行并行化处理.针对上述问题,基于执行任务集将流程模型划分为多个案例模型,结合改进的启发式算法并行挖掘各个案例模型所对应的C-net模型;再将上述模型集成得到完整流程对应的C-net.同时,将长距离依赖关系扩展为决策点处两个任务子集之间的非局部依赖关系,给出了更为准确的长距离依赖关系度量指标和挖掘算法.上述改进措施使得该算法更为精确、高效.     

基于表示学习的业务过程模型匹配方法

近年来过程感知信息系统在各类企事业单位中得到了极大的普及,产生了大量业务过程模型,如何对海量业务过程模型进行有效管理成为业务过程管理领域中的重要任务.业务过程模型匹配是海量业务过程模型管理的一项关键技术,然而大多数过程模型匹配方法仅依赖于活动标签信息,在匹配精度上还有一定欠缺.为此提出一种基于表示学习的过程模型匹配方法.首先基于业务过程模型中蕴含的上下文信息和关系信息将业务过程模型中各个活动表示为多维实数向量;在此基础上,设计了一个向量空间映射模型,将不同过程模型中的活动向量进行映射,进而实现过程模型中的活动匹配.基于公开数据集的实验结果表明,所提方法相对于传统的基于语法、语义、过程模型结构的匹配方法具有一定的优势.