新型张拉自锁防滑锚具设计

针对目前锚索支护中经常出现锚索锚具滑移现象,设计了一种结构简单,在使用过程中具有自锁作用的新型防滑锚具.分析了该新型锚具的结构组成、特点、工作原理及其实际使用效果.     

DBI-Go: 动态插桩定位 Go 二进制的非法内存引用

Go语言,也称Golang,由于其语法简单、原生支持并发、自动内存管理等特性,近年受到很多开发者的欢迎。Go语言期望开发者不必了解变量或对象是分配在栈上还是在堆中,而由Go编译器的逃逸分析来决定分配位置,再由Go垃圾收集器自动回收无用的堆对象。Go的逃逸分析必须正确决定对象的分配位置以保证内存状态的正确性。然而,目前Go社 区中逃逸相关问题频发,潜在导致程序崩溃等致命问题,而目前对该方面的研究缺失。为了有效检测编译器生成的代码是否存在可能引起运行时崩溃的非法内存引用,填补研究空白,本文对Go程序执行进行了抽象建模,并提出了两条判定写入违例的规则。基于这两条规则,本文克服了Go二进制中高层语义缺失、运行时信息不便获取等挑战,设计了一个轻量化的分析工具DBI-Go。DBI-Go采用静态分析加动态二进制插桩的分析方式,基于动态二进制分析框架Pin来实现,可以识别Go二进制中违例的store指令。实验结果表明,DBI-Go可以检测出Go社区中所有已知的逃逸相关Issues;DBI-Go还发现了一个目前Go社区未知的问题,该问题已经得到确认。在实际项目上的应用则表明DBI-Go可以帮助开发人员找出逃逸算法的错误。测试结果还表明DBI-Go采取的措施可以有效降低误报率且在 93.3% 的情况下带来的额外运行时开销小于原先的 2 倍。同时,DBI-Go无需修改Go的编译运行时,可以适配不同版本的Go,有较高的适用性。     

多媒体教学过程中存在的问题及对策研究

讨论了多媒体教学中存在的问题,提出了相应的解决建议和对策。为更好地发挥多媒体作用,教学管理部门应采取措施开展提高教师课件制作能力及应用能力活动;教师应根据课程内容制作课件,并转变教学方式以期达到好的教学效果。     

基于单片机随车起重机力矩限制器研制

随着起重量的提高,随车起重机作业时起重力矩超限的几率越来越大。应用单片机、传感器和测试技术,通过建立随车起重机作业时力矩数学模型和软硬件设计,研制了一种随车起重机专用力矩限制器。     

Hermite函数展开的宽带DOA估计

针对一般的宽带DOA估计算法需要进行角度预估问题,提出了一种基于Hermite函数展开的宽带DOA估计方法.给出了算法的理论推导过程,并且通过对比仿真试验,验证了该算法能够有效地实现角频分离,避免了角度预估计问题.由于Hermite函数良好的收敛特性和能量集中的优点,与基于Bessel函数或Legendre函数展开的宽带算法相比,具有减小运算复杂度和提高估计精度的优点.     

加压生物氧化法处理香兰素废水的研究

应用新研制开发的加压生物氧化设备处理香兰素废水,曝气槽在200 kPa压力条件下,进水COD浓度为1 500~2 000mg/L,曝气6~8 h,处理后出水COD≤100 mg/L,达到《污水综合排放标准》中一级标准.     

减沉注浆开采中泵送系统的设计

减沉注浆是一种新型的煤矿开采方法 ,它能够减缓地面的沉降。在这种开采方法中 ,充填浆体的输送是一个非常重要的环节。通过对泵送系统的整体设计、关键设备选型 ,提出了一个完整的泵送系统设计方案     

基于产学研用的应用型本科机械类创新人才培养研究

针对应用型本科院校人才培养的特点,围绕产学研用合作培养模式,从课程体系、师资队伍和实践教学等方面对机械类创新人才培养进行了研究和探讨。     

煤机产品的绿色设计

煤矿机械产品具有量大面广的特点,它们和生态环境具有密切关系。当前煤机产品的设计大多还局限于传统设计,产品开发过程中很少考虑其环境属性。通过分析煤机产品的特点,讨论了煤机产品设计方法现状,将绿色设计方法应用于煤机产品,研究分析了煤机产品的绿色设计的主要内涵,并介绍了2种绿色设计方法。     

BUIO生成及测试序列生成算法研究

在通信协议的一致性测试中,生成较短的测试序列是一个重要问题。提出一种利用UIO生成 BUIO（Backward UIO）的方法,部分UIO直接转换成BUIO,可以降低BUIO的生成费用。对基于UIO和BUIO的启发式测试序列生成方法进行了分析,完善了该方法的生成算法,保证测试序列的自动生成。以ECMA-203协议为例,应用这种算法得到了测试用例,与基于UIO序列和中国邮路算法生成的测试序列进行了比较。