STL模型特征信息的自适应分层的研究

模型的分层是3D打印前处理的一个重要环节，针对目前分层算法效率低、不能有效保留模型细微特征的问题，提出了一种新的基于STL模型特征信息的思想。首先提取模型的特征边，对特征边内实体表面采用区域增长算法进行表面分割，然后对分割后的表面判断其类型，最后对于不同的表面类型采用不同的分层求交处理算法。利用VC++6.0平台和OpenGL显示技术，依据模型表面几何特征自适应地变动层厚，减小台阶效应，加快分层效率，同样能很好地保留模型局部特征，且该算法可以根据实际模型的成型方向，实现分层方向的改变，保证成型零件的精度。     

一种JAVA程序静态切片的方法

JAVA语言是目前一种主要的面向对象编程语言,由于JAVA语言复杂的结构,使得对JAVA程序进行程序切片非常困难.本文提出一种层次的构造JAVA系统依赖图的算法,基于JAVA程序本身的层次结构,自顶向下构造系统依赖图,然后基于构造的系统依赖图,用一种改进的两阶段算法得到JAVA程序切片.     

RTL级模拟矢量自动生成设计化简方法研究

提出一种Verilog程序切片算法,给出了该算法的正确性证明的理论框架;并利用提出的Verilog程序切片算法对Verilog RTL级设计进行化简,实现模拟矢量自动生成状态化简目的,实验结果表明：该算法对状态化简效果非常明显,可以有效地解决状态空间爆炸问题。     

程序切片技术在并发程序模型检查中的应用

模型检查技术在硬件和协议设计方面已经取得很大成功,但在软件验证方面仍存在很多困难。其主要问题是如何从源代码中自动抽取验证所要模型并精简其状态空间。文中通过对程序切片技术的研究,来解决并发程序验证的建模问题,包括把验证公式映射到切片准则．并把得到的程序切片转化为验证所需的模型。经程序切片处理后,软件模型检查效率得到提高。     

面向自动修复并融合失效场景的缺陷定位方法

为了应对日益增长的软件修复开销,研究高效的软件自动修复技术成为学术界和工业界的共识。缺陷定位作为自动修复技术的前端,是实现快速准确自动修复的关键,其精度直接影响自动修复的性能。然而,初步研究表明,现有缺陷定位技术缺乏对自修复需求的考虑,对自修复算法支持有限。有必要研究面向自修复的高精度自动化缺陷定位技术,以提升自修复性能。因此,提出了失效场景的缺陷定位方法来应对该问题。提出的方法首先采用程序切片技术,构造出与失效相关的场景;然后对失效场景的各个元素实施可疑值度量;最后将可疑值度量化的场景交给自动修复技术实施修复。初步实验结果表明,本缺陷定位方法能有效提升自动修复性能。     

夏甸金矿上向水平分层充填法结构参数优化的数值模拟

夏甸金矿-692 m水平以上采用点柱式上向水平分层充填法进行回采,在回采时矿房宽6 m,矿柱宽度为2 m,2 m的矿柱不回收,造成了较为严重的矿量损失。因此,对夏甸金矿-692 m水平以下的采场采用的采矿方法进行优化,采用了上向水平分层充填法进行回采。基于FLAC^3D数值模拟软件对采场结构参数优化,通过模拟不同矿房矿柱的宽度方案,观察不同方案采场中的应力、塑性区情况来确定最佳的矿房宽度和矿柱宽度。研究发现：当矿柱宽度为4 m时,其矿柱中岩体塑性变形程度低,矿柱完整性好,安全程度高,矿房宽度为5 m时,塑性区面积最小,塑性变形最弱。因此,选择矿柱宽度为4 m,矿房宽度为5 m是最佳的结构参数。     

基于分源预测法的厚煤层分层开采瓦斯治理技术研究

针对白芨沟煤矿2621-1工作面煤层赋存条件复杂、原始瓦斯含量高、瓦斯涌出量大、瓦斯灾害严重等问题,在回采前采用顺层走向长钻孔、底板穿层钻孔和本煤层顺层钻孔等相结合的“立体”预抽瓦斯方法,降低煤层原始瓦斯含量;在回采期间采用高位钻孔、联络巷、上隅角插管和大孔径穿层钻孔抽采上覆采空区瓦斯相结合的综合治理措施。上述措施实施后,工作面煤层瓦斯含量大幅下降,工作面回采时绝对瓦斯涌出量最大为79.76 m³/min,回采期间工作面回风瓦斯体积分数最大为0.51%,上隅角瓦斯体积分数最大为0.68%,保证了工作面的安全回采。     

特厚煤层分层综放开采工艺技术研究

为确定华亭煤矿特厚煤层分层综放工作面的合理工艺参数,在综合考虑各分层均衡生产及保证顶煤冒落破碎空间和合理采放比的条件下,通过公式计算确定了分层厚度为13.2 m,机采高度为3.3m,放煤高度为9.9m,采放比1:3;并利用颗粒流数值模拟分析确定了第1分层采用两刀一放,单架两轮顺序放煤的工艺参数;最后通过对工作面的采出率进行统计分析可知,顶煤放出率可达81.45％,工作面采出率达到84.48％.     

下分层巷道掘进过煤层顶板压力破碎区注浆技术与现场应用

针对下分层煤巷掘进工作面因巷道顶板破碎,导致锚杆支护锚固力、预紧力无法达标,掘进过程中易发生冒顶及煤顶垮落等问题,为消除作业安全隐患,提高工作面掘进效率,在沁秀公司岳城煤矿3号煤层Ⅲ1216运输巷工作面掘进过程中应用超前预注浆技术,以提高巷道围岩的稳定性。介绍了注浆钻孔的施工参数及注浆工艺,现场应用效果表明,超前注浆增加了工作面前方煤层顶板的完整性及强度,改变了顶板受力状态,提高了工作面过顶煤受压破碎区掘进作业的安全性,单班掘进效率提高了200%,巷道总体掘进速度提高了20%。     

上向水平分层胶结充填采矿法在贡北金矿的探索应用

上向水平分层胶结充填采矿法具有对矿体形态变化的适应性强、机械化程度高、采场生产能力大、回采方案较多、灵活性强、结构简单、采切工作简单、采切比小、不容易形成超采或欠挖,矿石损失小、贫化率低等特点,尤其适用于开采技术条件复杂的贵金属矿。本文注重介绍此种采矿法的回采及充填工艺过程,以及预期带来的多重效益。