论文部分内容阅读
知识工程的新进展：定理机器证明
【出 处】
：
知识工程
【发表日期】
：
1992年1期
其他文献
针对复杂结构的混凝土纵向围堰的爆破拆除,为确保永久建筑的安全,采用逐孔起爆,孔内多段延期起爆技术,利用现有爆破器材实现逐孔逐段微差爆破,严格控制爆破振动破坏效应。根
供给侧改革中,应建立合理的认证制度,有效推进改革。本文就国外认证制度建立有关情况做一介绍,并提出对我国的借鉴意义。在供给侧改革中,关于认证制度的建立问题是行业内普遍
采矿效率和安全问题一直是采矿方法研究的重点和难点.取消间柱,实行连续采矿以期提高采矿效率的工艺技术研究是国家"九五"科技攻关项目.主要介绍了黄沙坪矿129 m中段无间柱连
提出了广义目标规划的概念。结合目标规划和De Novo规划的特点建立了一类广义目标规划模型,提出了交互式广义目标规划方法。最后,介绍了该方法在油田地面建设企业装备配套规
利用FLAC建立数值模型，对邵东石膏矿采空区的沉陷进行了模拟计算。比较开采前后的水平和竖向应力变化，发现应力变化特征不同；分析采空区顶、底板、边帮以及地表的位移，可以了解各
空气间隔装药逐孔起爆毫秒延时爆破方法在湖南省宜章县采石场和其它露天爆破工程中的广泛应用，极大地解决了项目工程爆破施工中遇到的老大难问题：减小爆破振动，结束了周边居民上
多矿源供矿在有色矿山日趋普遍,配矿问题是其关键.利用Excel软件中提供的"规划求解"功能建立一个多矿源铝矿石配矿模型,实现铝矿石的计算机优化配矿,与专用的计算机配矿管理
缸藏：数量少时，可将缸放在阴凉处，加入缸体积10％～30％的新鲜冷水，水面上搁置一木架，木架上放盛鲜菇的容器，然后封缸贮藏。4℃-5℃条件下，可贮10—15天，15℃～18℃条件下用透气的盖封闭缸口，
采用锚注技术对林南仓矿业公司-650m水平轨道斜井交叉点及周围巷道进行修复，有效地控制了软岩巷道中台棚在动压影响下围岩膨胀造成支护变形严重的局面，标志着林南仓矿业公司在