淮南煤田潘集深部13-1煤储层含气量特征分析

运用煤层气含量直接法,并结合地质背景,对淮南煤田潘集深部13-1煤储层含气量及其与埋深的关系进行了分析。结果表明:潘集深部13-1煤层气含量介于9.58m3/t～23.59m3/t之间,平均含量为15.93m3/t。总体看,较大的含气量数值差异主要由损失气体量造成。高含气量样品集中分布在古沟乡附近,平面上具有南高北低的特征;纵向上,当埋藏深度在500m以下时,含气量与埋藏深度具有明显的正线性相关关系;当埋藏深度超过900m时,含气量增加速率变慢,含气量数值趋于定值。对比发现,煤层有效埋藏深度与煤层气含量关系较埋藏深度更明显。     

基于异常分布导向的智能Fuzzing方法

现有主流智能Fuzzing测试一般通过对程序内部结构的精确分析构造新测试样本,因而严重依赖于当前计算机的性能,往往忽略了已发现的程序异常信息对新测试样本构造的指导意义。为了克服上述缺陷,该文提出一种基于异常分布导向的智能Fuzzing方法。该方法针对二进制程序测试,建立了TGM(Testcase Generation Model)样本构造模型:首先根据计算能力收集测试样本集的相关信息;然后随机选择初始测试样本进行测试;最后,基于测试结果初始化模型参数,根据模型优先选择更有效的输入属性构造新样本并进行新一轮测试,通过重复进行该步骤,在迭代测试中不断更新模型参数,用于指导下一轮新测试样本构造。实验数据表明该方法可以辅助Fuzzing选择更有效的样本优先进行测试,设计的原型工具CombFuzz在异常检测能力和代码覆盖能力上都有良好表现,同时,在对大型应用程序进行测试时,与微软SDL实验室的MiniFuzz测试器相比,在限定时间内平均异常发现率提高近18倍,并在WPS 2013等软件中发现了7个MiniFuzz无法发现的未公开可利用脆弱点。     

载体复合方式对加氢裂化催化剂性能的影响

以β分子筛、Y分子筛和无定形硅铝（ASA）为载体组分,考察了加氢裂化催化剂制备过程中,采用不同复合方式制备载体对催化剂理化性质及性能的影响。研究发现,原位复合所制备载体的催化剂比表面积、孔体积、平均孔径低于将分子筛与ASA进行机械混合所制备载体的催化剂。以大庆减压蜡油的加氢精制油为原料,在温度360 ℃、压力8.0 MPa、空速2.0 h-1、氢油体积比1 000的条件下,原位复合载体的催化剂上转化率、石脑油选择性、化工原料收率低于机械混合方式制备载体的催化剂;而原位复合载体的催化剂上液体收率高于机械混合所制备载体的催化剂。     

四旋翼两栖机器人姿态求解与控制

介绍了一种基于四旋翼驱动的两栖移动机器人。首先简要介绍了该机器人的机械结构与控制及传感系统,并介绍了机器人由四旋翼机构提供动力,并通过对4个旋翼的转动速度和方向进行配置,从而实现在空中飞行或在地面滚动的原理。然后,采用四元数方法对该两栖机器人进行了姿态求解,在此基础上,基于PID算法开发了机器人的飞行控制算法,并进行了相应的仿真。最后通过实验验证了该两栖机器人能够实现预期的两种运动模式,即空中飞行和地面滚动。该机器人提高了传统只具有单一运动模式的移动机器人的环境适应能力。     

一种改进的多模式匹配算法

针对WM算法在模式集规模大且最短模式长度小的情况下性能较低的问题,分析了WM算法及其改进的快速WM(QWM)算法的优缺点,在此基础上提出了模式分集思想,并优化了跳跃和确认机制,设计了子集WM(SWM)算法;然后针对该算法在域名过滤中的应用,对hash函数、匹配顺序等进行进一步优化．针对域名过滤的实验结果表明,当模式数量超过10000条时,SWM算法匹配时间是WM算法的8.9％～11.6％,说明SWM算法在模式集规模较大时,匹配速度能显著提高．     

库车坳陷北部山前带中生界泥岩元素地球化学特征及其沉积环境意义

应用元素地球化学方法,对库车坳陷北部山前带中生界三叠系和侏罗系泥岩的主量元 素、微量元素和稀土元素(REE)特征进行了研究,并探讨了其沉积环境意义。 结果表明:库车坳 陷北部山前带中生界泥岩主要为陆相淡水沉积,稀土元素具有轻稀土富集特征,稀土元素总量反 映有机质快速堆积、陆源细碎屑补给速度慢的沉积特征。 从三叠纪到侏罗纪古盐度略有上升,古 气候以温暖湿润为主,整体处于贫氧—缺氧环境。 黄山街组沉积时期温暖湿润的气候与较低的 古盐度有利于有机质的形成,贫氧—缺氧环境提供保存条件。 至恰克马克组沉积时期古气候开 始向干燥炎热转化, 且古盐度较高,影响有机质产量,但缺氧环境更有利于其保存。     

基于工程教育专业认证理念的实验教学改革实践

石油加工工程实验是基于项目研究的综合实验,要求学生以团队的形式完成。基于工程教育专业认证的三个理念和成果导向评价,我们确定了5种学生能力和5个课程目标,设计了以学生为中心的12个教学环节,建立了过程性考核评价方法。实践表明,学生的终身学习能力有待改进。将达成度计算结果反馈到后续实验教学安排和指导的具体过程,有助于实现实验教学的目标。     

扫描电化学显微镜压电工作台的建模与控制

为提高扫描电化学显微镜(SECM)微定位系统的运动定位精度,对其压电工作台的数学模型和控制器设计进行了研究.介绍了压电工作台的动态迟滞模型方程和采用Prandtl-Ishlinskii(PI)迟滞算子的动态迟滞模型,并在此基础上设计了压电工作台的复合控制方案.以CHI900B型扫描电化学显微镜的三维压电工作台为实验对象,对动态迟滞模型的具体建模过程进行了阐述,并验证了控制器的性能.在100 V/s和900 V/s两种不同输入电压速率下进行运动定位实验,动态迟滞模型平均误差分别为0.08μm和0.11μm,精度明中显优于压电工作台的线性动态模型和PI迟滞模型.复合控制方案下,系统跟踪±400μm/s任意三角波的平均误差为0.085μm,最大误差为0.105μm;跟踪复频波的平均误差为0.105μm,最大误差为0.115μm.控制效果较好.     

炉水泵电动机效率降低的原因分析与对策

本文通过对华能大连电厂炉水循环泵检修所作的探索性工作介绍,分析了炉水循环泵电动机在运行中效率降低的根本原因,阐述了炉水循环泵定期检修的重要性.     

支持多媒体业务的呼叫模型研究

多媒体业务是下一代网络最重要的特点之一,同时也对下一代网络的核心控制实体软交换提出了新的要求。本文介绍了呼叫模型的基本思想和概念,分析了现有的呼叫模型及其优缺点,进而针对多媒体呼叫的特殊要求,提出了一种基于分层结构的呼叫状态模型,并详细阐述了其结构和特点。