王坡选煤厂建设的必要性分析

通过对天地王坡煤业公司面临现状的技术、经济分析 ,论证了建设选煤厂的必要性 ;同时通过简要介绍模块化选煤厂的优缺点 ,认为主厂房应采用模块结构 ,并建议以国外工程公司总承包的方式进行建设     

巷道风量全自动在线测试装置研制与应用

为了实现巷道风量在线准确测试,以王坡煤矿上寺头北翼回风巷和辅运大巷为研究对象,采用CFD方法模拟了矩形巷道和半圆拱巷道断面风速结构场;对比不同巷道风量条件下巷道断面平均风速分布区域,巷道风量大小对巷道断面内平均风速分布区域无影响;进一步获得巷道断面无因次风速结构场,为巷道断面平均风速分布区域内布置多个风速采集点准确求取巷道平均风速奠定了理论基础;以巷道断面无因次风速结构场为基础,根据巷道断面平均风速分布区域确定巷道平均风速数据采集点位置,构建了巷道断面平均风速九点采集法,准确获得巷道平均风速的同时能够检验风速传感器是否存在数据失真问题;结合巷道断面平均风速九点采集法,设计了分别适用于矩形巷道、拱形巷道的龙门式和折叠式巷道风量全自动在线测试装置,根据巷道平均风速数据采集点位置定制设计测试装置结构尺寸与风速传感器运动轨迹。在王坡煤矿10个测风站位置部署了巷道风量全自动在线测试装置,人工测风数据和装置测风数据之间相对误差小于8%,研究表明巷道风量全自动在线测试装置的测风精度能够满足矿井通风要求,同时能够实现矿井多个巷道风量同步在线测试。     

基于多尺度形状分析的叶形识别系统

叶形自动识别系统使用一种改进了的边界跟踪算法检测叶片边界,应用多尺度形状分析技术有效地提取出规范锯齿长度和曲率尺度空间图像极大值点集两个曲率特征。综合叶片的离心率、似圆率和这两个边界曲率特征来检索叶片数据库,进行形状匹配,实现叶片自动分类。实验结果表明,该系统使用的技术能大幅提高叶形识别的精确率和检索率。     

语义Web的初步逻辑研究

阐述了语义Web的本体语言和逻辑基础,针对语义Web本体的一些特殊描述和自动推理的需要,提出对应的描述逻辑扩展研究任务和研究需求,完成语义Web的初步逻辑研究。     

编译算法网络演示系统开发

编译算法网络演示系统是一个基于JFLAP设计、以网页形式实现的演示系统．其设计目的是为了降低编译算法学习的难度，该系统采用超媒体技术将图形、文字等多种表现方式结合在一起演示编译算法．提供交互、演示跟踪以反在线帮助、使用示例以提高学生学习编译算法的兴趣和效率。学生试用后反映该系统确有助于理解编译算法和掌握编译技术。     

点式玻璃幕墙预应力索桁架结构设计的几个概念

预应力索桁架具有结构上的高效性和建筑上的美观性，常用作点式玻璃幕墙后的结构支承。对承应力索桁架结构设计中的一些基本概念进行了讨论和分析。     

中深孔爆破在花园煤矿的应用研究

 为保证花园煤矿一、二采区正常接续,在西翼胶带大巷进行了中深孔爆破应用研究。依据西翼胶带大巷的断面形状、支护方式、岩性及作业方式,在分析现有掏槽方式的掏槽机理和优缺点的基础上提出了准直眼掏槽爆破技术,并合理的设计了爆破孔网参数及装药量表;采用反向装药和全断面一次起爆技术,获得了满意的爆破效果。通过在西翼胶带大巷使用中深孔爆破技术,使每班掘进进尺提高到2.2～2.3m,月度进尺120m,创该巷道施工以来的最高进尺。     

带测试动作的动态时序逻辑扩展

作为一种动态知识表示形式,动态时序逻辑(DLTL)尤适用于正规程序验证,然而它不直接支持测试动作,这使得其应用受到一定限制。为支持测试动作,提出一个DLTL扩展DLTL+和一个判定DLTL+公式可满足性的tableau算法,并给出了算法的正确性以及其时间复杂度为2O(n)的证明。分析表明,DLTL+提供了一种直接的、有效的测试动作支持方式,该方式比已知的其他方式更具有实际应用价值。