基于轻量级分析的程序静态分析器

在现代软件工程中,程序理解技术是实现对软件系统分析和理解的一种关键技术和有效途径.国内外学者为此做出了不懈的努力,开发了不少的理解工具.在分析现有工具的基础上,设计了一个基于轻量级分析的程序静态分析器,采用增量式分析技术,快速分析源程序文件得到交叉索引信息,改善了程序分析时间.     

离网风电-网电互补供电的载荷模拟试验研究

基于离网风电-网电互补供电试验研究,设计了以计算机编程调制载荷的磁粉制动器加载装置,并在搭建的试验平台上,试验研究了加载装置模拟实际载荷特性,以及互补双电源向负载供电的切换控制技术.试验结果表明,加载装置的响应速度和加载精度可真实反映模拟实际载荷特性,互补双电源的切换控制技术可靠、稳定,提高了风能利用率.     

矿用空气压缩机安全监测—延时断电保护装置设计

介绍了矿用L型空压机的安全监测—延时断电系统以及系统参数的确定、传感器的选用、接口电路、主控电路及报警延时断电保护电路的设计。     

抽油机离网风电-网电互补供电系统的控制方法研究

探讨了离网风力发电应用于油田抽油机供电的控制问题.通过实时在线检测离网风力发电系统的相关参数,以历史同期气象统计数据为比对参考,研究实现在风速变化时风电-抽油机供电和蓄电池充、放电的控制方法与途径,确保在不稳定离网风电供电时设备的稳定运行,为离网风电的更广泛应用奠定了基础.     

抽油机离网风电-网电互补供电系统的设备优化配置方法

针对离网风电为设备供电的特点,通过建立风力发电机输出特性模型和蓄电池组容量模型,研究了按节气区段气象参数,并以节能减排效益为优化约束条件的设备配置优化方法.通过实例验证了利用该方法配置设备,能够充分利用风能,并具有良好的节能减排效益.     

垃圾衍生燃料的制备工艺及关键技术

在分析预处理及成型过程中影响垃圾衍生燃料（RDF）性能诸因素的基础上,提出了RDF制备工艺流程,并对垃圾预处理、二次污染控制、致密成型等RDF制备关键技术进行了研究。采用此工艺并合理确定各相关参数可获得高质量的RDF。     

基于风-网互补供电试验的风力机模拟研究

以抽油机离网风电-网电互补供电试验系统中的风力机为研究对象,根据风力机的运行特性,运用相似理论得到了模型试验中与风力机相似应满足的条件.计算了与某实际风力机在对应工况下相似的模型风力机的相关参数.在此基础上,建立一个由变频器拖动电机组成的试验模型来模拟风力机的运行,保证了试验模型具有实际意义.     

用通风系统效率原则选择通风机设备

提出了通风网络效率及通风系统效率，通风系统效率等于通风网络效率与通风机装置效率之乘积。通风网络效率和通风系统效率随选择的通风机直径增加而降低，随运行工况风量与矿井必需风量之富裕偏差的增大而减少，通风机所需轴功率与通风机运行工况效率并非是正比关系。