语义Web本体语言OWL2研究

语义网因具有对网络空间所储存的数据进行智能评估的能力,使其从诞生之日起便成为计算机研究的热点领域。OWL2是一个本体语言,用于带有形式化定义含义的语义网。本文是对OWL2 Web本体语言新特性的介绍,同时包含了对OWL2与OWL初始版本之间不同点的解释,也介绍了激发设计主要新特性的需求,并从理论和实现的角度阐述了这些新特性的原理。

计算机基础教学改革探索与实践

针对目前高校非计算机专业计算机基础课以教师为主体的教学过程中存在的问题,结合高校教学改革的培养目标和自身教学实践,提出面向学生的教学方法。该方法从学生角度出发,综合考虑学生差异,应用多种教学手段,合理设置上机实践,同时完善考核机制,以激发学生的学习兴趣和积极性,培养学生自主学习的能力,通过多方面改进,达到提高教学效果的目的。

基于松动圈探测的棚索耦合支护技术研究

针对杨河煤业32071中联巷车场难以支护的问题,从巷道的破坏特征入手,在现场调查的基础上,分析了巷道破坏变形的机理,并利用地质雷达对巷道围岩松动圈进行探测,确定了巷道的破坏深度及耦合支护所用锚索长度。以此为基础,提出棚-索-围岩耦合支护方案,有效控制了巷道的变形,取得了良好的支护效果。

基于数值分析的洞口煤矿采动地质灾害防治研究

本文针对洞口煤矿第一区段和第二区段井下开采造成的围岩和地表变形移动等问题,根据洞口煤矿的实际生产条件和地表地质情况,通过UDEC离散元数值模拟的方法对井下开采造成的围岩的稳定性和地表变形破坏进行了模拟计算,并分析了两个区段开采所可能诱发的地质灾害类型和分布区域,最后提出了地质灾害的防治措施。