平尺磨削工艺研究

平尺是一种较为典型的窄长型、精度要求较高的零件,磨削加工中受磨削热和磨削力的影响极易变形,加工的关键就是如何控制和消除变形。我们通过合理的选用砂轮、磨削用量以及采用正确的测量及装夹方法等工艺措施．较好地解决了磨削变形问题,保证了零件的加工质量。     

测定较大K数碳纤维拉伸强度样品的制备

本文简要介绍了较大数碳纤维拉伸强度样品的制备工艺,并对采用各国树脂配方制样进行了比较探 K 讨,总结出了适合国内测定较大数碳纤维拉伸强度样品的制备方法。     

预氧化停留时间及低温炉温度废气排放对碳纤维性能的影响

本文论述了预氧化停留时间和低温炉温度及其废气排放对碳纤维力学性能的影响,在碳纤维生产过程中,预氧化停留时间适当增加有利于碳纤维性能的提高,低温炉温度及其废气排放是影响碳纤维力学性能指标的一个重要因素,低温炉温度应在400－800℃分布,废气排放应具有较强方向性,并应尽力避免废气排放不畅。     

浅层气井产能资料异常原因分析及修正方法

浅层气井由于井筒积液排除和表皮系数变化,造成稳定产能资料异常、二项式产能直线方程出现反向的情况,致使不能得到气井稳定产能方程,更得不到气井无阻流量。为了使测试资料得到有效利用,根据稳定产能评价理论和试井基础知识,通过考虑表皮系数的变化,折算各工作制度下附加压降,对各工作制度流压进行表皮效应附加压降修正,得到正常的二项式直线方程,得到气井产能方程和无阻流量。采用不稳定IPR产能评价方法,对修正后得到的无阻流量进行验证,表明该修正方法合理可靠。     

基于层次分析的辫状河储层水平井地质导向策略

苏里格气田盒8下亚段气藏纵向多期河道砂体依次切叠,横向同一期次内不同河道砂体相互拼接、同一河道内辫状水道砂体与心滩砂体交错切割,形成了层次复杂的辫状河储层。沉积层次的复杂多样导致储层内部发育不同层次的隔夹层,其产状、规模及发育位置均存在较大差异。正确识别并“有效避开”这些隔夹层从而达到提高砂体钻遇率的目的是辫状河储层水平井地质导向的重点和难点。以苏里格气田中区下二叠统石盒子组盒8下亚段储层为研究对象,运用Miall的储层构型基本理论,将研究区隔夹层划分为3个层次：①垂向层间隔层;②侧向河间泛滥泥;③单砂体内部夹层。对不同层次隔夹层进行了成因分析,分别阐述了其空间分布、测井响应特征,在此基础上提出了相应的水平井地质导向策略：钻遇垂向层间隔层适当角度（<1.5°）穿越泥岩;钻遇侧向河道间泥质体大角度（2°~3°）快速穿越或实施侧钻;钻遇单砂体内部夹层略微调整井斜（<0.5°）。2014年该套方法在苏里格气田某区块进行现场应用,与邻区相比砂岩钻遇率、有效储层钻遇率分别提高了5%和3%,具有一定的推广价值。     

石油企业员工技能培训探析

本文分析了目前石油企业员工技能培训中存在的问题,并从做好训前测评与培训计划调整工作、理论教学多媒体化、实训教学项目化、强化心智训练、开发配套的声像资料与试题库等方面具体阐述了如何做好员工技能培训工作。     

基于谱残差和梯度纹理融合特征的舰船检测

本文提出一种谱残差和梯度纹理融合特征来检测可见光遥感图像中复杂海面背景下的舰船目标。首先,使用谱残差模型定位疑似舰船目标,并采用自适应动态阈值法获取候选目标区域。然后,根据舰船的形状特点,对梯度方向直方图特征进行改进,设计出表征舰船特性的梯度方向特征。同时,将提取候选目标区域的统一化LBP特征的方差以及灰度共生矩阵特征相结合来描述舰船的纹理信息,得到30维特征向量。最后,通过训练好的AdaBoost分类器来完成舰船目标鉴别。本文的检测算法,针对尺寸为1024×1024的可见光遥感图像,检测时间为4.7926s,检测精度为95.51%,召回率为96.65%。实验结果表明：本文算法能准确提取海面舰船目标,获取舰船目标的数量和位置信息,从检测时间和精度上来看,可以作为实际工程参考。     

Büchi自动机确定化分析工具

无限字自动机的确定化是理论计算机研究重要的一部分,在形式化验证,时序逻辑,模型检测等方面有重要应用.自Büchi自动机提出半个世纪以来,其自动机的确定化算法始终是其中的基础.有别于当初只是在理论上对其大小上下界的探索,利用日新月异的高性能计算机技术不失为一种有效的辅助手段.为了深入研究非确定性Büchi自动机确定化算法的实现过程,我们希望重点研究确定化过程中的索引能否继续被优化的问题,实现了确定化研究工具NB2DR.可以对非确定性Büchi自动机进行高效的确定化,并通过工具提供的分析其确定化过程来达到对其确定化算法改进的目的.通过对生成的确定性无限字自动机的索引的深入分析来探索相关索引的理论.该工具还实现了可以根据需要的Büchi自动机的大小与字母表参数,生成确定化的Rabin自动机族,亦可以反向根据需要的指定索引的大小来生成全部Büchi自动机族,测试生成无限字自动机的等价性等功能.     

基于逆变器直流电压模式波能装置并网接入方法

针对采用蓄电池提供直流母线电压难于满足波能装置装机容量不断增长需求的问题,提出基于逆变器直流电压模式的多液压发电机组并网接入方法。逆变器为液压发电机组直接提供直流母线电压,组建成波能装置无蓄电池组支撑的直流纳电网。建立了逆变器直流电压模式电路拓扑和直流电压外环控制回路。通过多液压发电机组波能装置基于逆变器直流电压模式仿真试验,验证了无蓄电池组波能装置并网接入方法的可行性。该研究成果已应用到500 kW“长山号”波能装置中,为大功率波能装置并网系统研究奠定了基础。     

Streett自动机确定化工具

自动机的确定化是将非确定性自动机转换为接收相同语言的确定性自动机,是自动机理论的基本问题之一.ω自动机的确定化是诸多逻辑,如SnS, CTL*,μ演算等,判定过程的基础,同时也是解决无限博弈求解问题的关键,因此对ω自动机确定化的研究具有重要意义.主要关注一类ω自动机——Streett自动机的确定化.非确定性Streett自动机可以转换为等价的确定性Rabin或Parity自动机,在前期工作中已经分别得到了状态复杂度最优以及渐进最优算法,为了验证提出的算法的实际效果,也为了形象地展示确定化过程,开发一款支持Streett自动机确定化的工具是必要的.首先介绍4种不同的Streett确定化结构:μ-Safra tree和H-Safra tree (最优)将Streett确定化为Rabin自动机, compact Streett Safra tree和LIR-H-Safra tree (渐进最优)将Streett确定化为Parity自动机;然后,根据Streett确定化算法,基于开源工具GOAL (graphical tool for omega-automata and logics),实现...