基于AutoCAD二次开发的矿山软件功能实现

为了满足矿山实际工作需要,通过采用VBA编写相应程序,对AutoCAD进行二次开发,实现了部分矿山地质、矿山工程辅助功能,对于降低矿山技术人员工作难度,提高工作效率具有一定的作用。     

DIMINE三维矿业软件在云锡大屯锡矿的应用

近些年,三维矿业软件已逐步在中国黄金乌山铜钼矿、江铜德兴铜矿、五矿北洺河铁矿、铜陵有色冬瓜山铜矿等大型矿山得到推广应用,并取得良好成效,但是在复杂矿山应用的成功案例少。本研究针对大屯锡矿"大矿床、小矿体、矿体复杂"等特点,通过分析其复杂性和应用难度,利用DIMINE软件在地质、测量、采矿方面开展了系统性应用探索。实践表明,三维矿业软件可有效提升工作效率、优化设计、精细化管理,在复杂矿山应用中有着较好的发展前景。     

多文字可满足SAT问题的相变点上界

可满足(SAT)问题是指：是否存在一组布尔变元赋值,使得随机合取范式(CNF)公式中每个子句至少有1个文字为真。多文字可满足SAT问题是指：是否存在一组布尔变元赋值,使得随机CNF公式中每个子句至少有2个文字为真。此问题仍然是一个NP难问题。定义约束密度α为CNF公式子句数与变元数之比,对该问题的相变点上界α^*进行了研究。如果α>α^*,则多文字可满足SAT问题高概率不可满足。通过一阶矩一个简单的推断,可以证明α^*=-ln 2/ln(1-(k+1)/2^k),当k=3时,α^*=1。利用Kirousis等人的局部最大值技术,提升了多文字可满足3-SAT问题的相变点上界α^*=0.7193。最后,选择了大量数据进行实验验证,结果表明,理论结果与实验结果相吻合。     

随机约束满足问题相变研究综述

随机约束满足问题是经典的NP完全问题,在理论研究和现实生活中有着广泛应用。研究人员发现随机约束满足问题存在相变现象,近几十年来关于此问题相变的研究成果不断涌现。从随机图着色问题和随机可满足问题2个最经典的随机约束满足问题入手,从算法研究、理论物理和数学证明3个方面综述了随机图着色问题和随机可满足问题的相变研究成果。最后对随机约束满足问题相变的研究趋势进行了展望。     

若干新型智能优化算法对比分析研究

智能优化算法(IOA)指的是一类以自然界的生物生存进化过程或物理现象为算法原理,用于解决最优化问题的算法,较为知名的智能优化算法有遗传算法、粒子群算法、模拟退火算法等。智能优化算法属于启发式方法,广泛应用在解决最优化问题上,传统的群智能算法为解决一些实际问题提供了新思路。随着科学技术的进步和应用场景的改变,传统的智能优化算法在收敛速度、求解精度等方面已无法满足日益复杂的优化问题,因此不断有新的更高效的智能优化算法被提出。选取了近几年国内外提出的几种新型智能优化算法:蝴蝶优化算法(BOA)、飞蛾扑火算法(MFO)、正弦余弦优化算法(SCA)、蝗虫优化算法(GOA)、哈里斯鹰优化算法(HHO)、麻雀搜索算法(SSA)。阐述了各算法的基本原理、算法步骤、相关的改进策略及存在的优缺点。为客观对比各算法性能,进一步通过3种类型共21个测试函数及6个指标评价各算法性能,最后归纳总结各算法的特点并对智能优化算法的发展前景进行展望。     

求解多文字可满足SAT问题的置信传播算法

可满足(SAT)问题是指:是否存在一组布尔变元赋值,使得合取范式公式中每个子句至少有一个文字为真.多文字可满足SAT问题是指:是否存在一组布尔变元赋值,使得CNF公式中每个子句至少有两个文字为真.显然,此问题仍然是一个NP难问题.为了研究解决多文字可满足SAT问题的算法,引入随机实例产生模型,设计求解多文字可满足SAT问题的置信传播算法.最后,用实例模型产生了大量数据进行实验验证,结果表明:该算法求解多文字可满足SAT问题的性能优于其他启发式算法.     

大屯锡矿应用DIMINE软件进行储量计算的误差分析

分析统计了云锡大屯锡矿167个矿体,分别通过传统几何法和DIMINE软件进行储量计算的结果,通过分析认为结果的差异来源于体积和品位差异。体积差异产生原因是传统几何法存在系统性误差;对于品位差异,当样品过少时两种方法均误差较大,样品多时距离幂反比法估算结果相对可信,当样品足够时,使用克里格法进行估值三种方法中误差在最小。     

强化学习在车辆路径问题中的研究综述

车辆路径问题是物流运输优化中的核心问题,目的是在满足顾客需求下得到一条最低成本的车辆路径规划。但随着物流运输规模的不断增大,车辆路径问题求解难度增加,并且对实时性要求也不断提高,已有的常规算法不再适应实际要求。近年来,基于强化学习算法开始成为求解车辆路径问题的重要方法,在简要回顾常规方法求解车辆路径问题的基础上,重点总结基于强化学习求解车辆路径问题的算法,并将算法按照基于动态规划、基于价值、基于策略的方式进行了分类;最后对该问题未来的研究进行了展望。     

基于K维结构熵的调查传播算法收敛性分析

信息传播算法在可满足性(SAT)问题上性能表现优越,其收敛性却依赖于因子图的结构复杂程度,至今缺少系统的理论解释。调查传播算法(SP)是解决SAT问题效果最好的信息传播算法。为有效分析SP算法的收敛性,借助因子图转换技术和鲁汶算法划分因子图社区,基于K维结构熵理论,提出了SAT实例的K维结构熵度量模型,得出了随机SAT实例的K维结构熵。分析了SP算法收敛性与K维结构熵之间的关系,给出了SP算法收敛性的K维结构熵阈值。实验证明该方法有效。     

一点一滴总关情——兖矿集团鄂尔多斯能化公司实施“三大工程”关爱员工

“今后回家休假再也不用从兖州站下车了,可以一站坐到邹城,直接就到家门口了.” “是啊,真是太方便了,公司真是帮咱解决了一个大难题.”这是兖矿集团鄂尔多斯能化公司两名员工正在兴高采烈地讨论Z267/268次列车改停山东邹城站的事情.这只是该公司为员工所办的众多实事中的一件.