（增刊投稿）酸解烃技术在青海祁连山天然气水合物勘探中的应用（增刊）

油气化探作为油气勘探的一种手段,在油气勘探中已经取得了明显效果。本文利用祁连山木里地区浅表层地球化学特征和井中化探资料,发现酸解烃指标可以指示天然气水合物的分布情况,也可以对天然气水合物储层进行预测和识别,对圈定天然气水合物远景靶区有重要参考意义。     

高速列车铝合金车体典型接头激光-MIG复合焊接特性研究

针对传统高速列车3 mm厚A6N01S-T5铝合金型材典型接头结构开展激光-MIG复合焊接试验,优化复合焊接工艺参数,分析接头组织性能,研究激光-MIG复合焊的工程适应性。结果表明,在最佳工艺参数下,焊缝成形良好、无气孔缺陷。焊缝中心为树枝状铸态组织,靠近熔合线焊缝为柱状晶组织,熔合区较窄但热影响区存在晶粒轻微粗大现象;焊缝区硬度低于母材区,硬度最小值位于熔合线附近的热影响区;最佳工艺参数下接头的平均抗拉强度为204.6 MPa,达到母材的83.5%;断裂发生在熔合线附近,断口形貌呈现典型的塑性断裂特征;接头的弯曲性能良好;组对间隙小于1.0 mm时,最佳工艺参数具有通用性,焊缝成形及接头抗拉强度良好;组对间隙增至1.5 mm时,优化工艺参数焊缝成形及接头抗拉强度依然良好。结果表明,激光-MIG复合焊对高速列车铝合金车体典型接头具有良好的焊接可行性和工程适应性。     

神府矿区大型水库旁烧变岩保水开采技术研究

神府矿区是我国重要的煤炭生产基地和典型的高强度开采矿区,同时也是我国典型的干旱半干旱生态环境脆弱区,烧变岩水是区内的主要地下水资源之一。为研究区内烧变岩水对采煤的影响和烧变岩水的保护问题,以张家峁井田首采区首采地段5-2煤开采为例,通过对水文地质结构系统和5-2煤顶板导水裂隙带的分析,查明了研究区的水资源类型和特征,确立了5-2煤保水开采对象,划分了5-2煤保水开采分区,提出了烧变岩注浆帷幕截流保水开采新技术。研究结果表明:研究区的水资源类型主要有6类,其中仅有4-2煤烧变岩水具有保水开采意义,5-2煤开采划分为4-2煤烧变岩水无水开采区和保水限采区。5-2煤保水限采区设计的帷幕墙空间形态、帷幕线位置及数量、注浆钻孔排间距及结构合理,制定的钻探和注浆施工工序和工艺科学,实施的双位双向引流注浆、烧变岩全断面分区注浆、防渗截流效果即时检验等注浆帷幕关键技术可行。保水限采区5-2煤工作面采前上覆4-2煤烧变岩水预疏放和采后工作面涌水量实测结果表明,保水限采区内4-2煤烧变岩水静储量约20 000 m3,动态补给量不足5 m3/h,注浆帷幕截流实现了帷幕内外4-2煤烧变岩水的有效隔离,大幅减少了4-2煤烧变岩水及与其有直接水力联系的常家沟水库水的排放,水资源保护性开采效果显著。     

面向自然语言需求的验证性质生成方法

安全关键系统和软件的安全性、可靠性需要形式化验证来保障,使用形式化验证的前提是从自然语言需求文本中提取相关验证性质并将其转化为形式化规约,这已成为当前形式化验证领域研究的热点和难点.当前的形式化规约提取工作大多针对英文需求,较少针对中文自然语言需求.此外,由于AADL具有强大的表达能力和完善的验证机制,已成为航空航天领域的主要建模语言之一,而现有的工作较少考虑如何从需求中提取AADL模型的验证性质.为了解决上述问题,本文提出一种面向自然语言需求的AADL模型验证性质自动生成方法,从自然语言需求中提取验证的相关性质,并将其转化为AADL模型验证工具AGREE可识别的形式化规约.首先,定义了模式定义语言(Contract Pattern Language, CPL),将需求划分为不同模式,并给出由固定句型和占位符组成的需求模板;其次,通过自然语言处理技术解析需求文本,获取替换需求模板中占位符的原子命题,以便生成完整的形式化规约;最后,设计并实现了相关工具,并将其用于工业界实际案例来说明该方法的可用性和有效性.     

铝合金激光-MIG复合焊气孔缺陷影响规律研究

针对铝合金激光-MIG复合焊接气孔缺陷突出的问题,系统研究了激光功率、电弧电流、焊接速度、热源间距、离焦量等工艺参数对气孔缺陷分布、大小及含量的影响规律.研究结果表明:保证实现全熔透焊接时,激光功率对焊缝气孔缺陷的影响较小;气孔缺陷含量及大小均随电弧电流增加而增加,当电弧电流大于150 A时,因电弧压力较大,气孔缺陷主...     

稠油出砂冷采技术在河南油田的应用

稠油出砂冷采是使油层大量出砂形成蚯蚓洞和形成稳定泡沫油而获得较高的原油产量,通过稠油出砂冷采领域的攻关研究,河南油田形成了普通稠油出砂冷采开采技术,成功地将稠油难采储量投入开发,第一口稠油出砂冷采先导试验井日产油量是常规试油产量的8倍以上,是蒸汽吴吐产量的4倍以上,开采成本比蒸汽吞吐降低47%,已成功地将出砂冷采技术应用于普通稠油低周期蒸汽吞吐井中,日产油提高1～3倍。     

基于限定中文自然语言需求的SysML模型自动生成方法

模型驱动开发方法逐渐成为安全关键信息物理融合系统(safety-critical cyber-physical system, SC-CPS)设计与开发的重要手段.然而,安全关键信息物理融合系统需求往往是通过自然语言描述的,如何自动化或半自动化链接自然语言需求和基于模型驱动的系统设计与开发过程是目前面临的重要挑战.面向...     

对于提高34CrNi3MoV钢低温冲击韧性的探索

34CrNi3MoV是一种高强度合金结构钢,具有良好的综合机械性能和工艺性能,广泛应用于发动机转子和汽轮机叶轮的生产。钢的性能、用途与30Cr2Ni2Mo相似。34CrNi3MoV钢大锻件在经过正火+调质的热处理工艺后容易在组织晶粒中混杂大的晶粒,而物理性能中的低温冲击韧性也会降低,进而降低零件的实际使用寿命。消除冲击韧性骤降的现象是制定工艺的重要标准。通过对34CrNi3MoV钢的研究实验,发现原因在于组织中出现了夹杂大晶粒的现象,而夹杂大晶粒的形成在于这种材料本身具有的的现象,正常的正火及调质对现象的影响不大,只有通过退火才能消除夹杂大晶粒,细化晶粒,从而提高低温冲击韧性。     

七大误区影响对卡片机选择

随着家用数码相机市场格局的变化，卡片式数码相机已经成为市场中最受欢迎的一类产品之一。毕竟卡片机有着很多先天的优势；外观纤小符合人们对便携的体积要求；卡片机时尚另类的产品风格尤其受到年轻人的喜爱；第三．卡片式数码相机往往也是厂商专注开发的产品．一般新技术、新功能会及时得到应用。     

单辊破碎机传动机构的改进

本文总结了成功地改造破碎机传动机构的经验,并取得了较显著的经济效益。