近断层地震作用下基础隔震层弹簧限位振动台试验研究

近断层脉冲型地震作用下基础隔震结构隔震层会产生过大变形,导致隔震支座侧倾失稳,隔震体系破坏.本文设计制作了一个3层基础隔震钢框架试验模型与三类钢弹簧软碰撞限位器,进行了近断层脉冲型地震作用下基础隔震层软碰撞限位振动台模型试验.试验表明,弹簧限位器具有很好的弹性性能,近断层地震作用下基础隔震层软限位可有效控制隔震层变形,隔震结构体系减震效果良好.     

AZ31镁合金板材低温双向反复弯曲及退火下的织构弱化

对AZ31镁合金热轧板材在423 K进行6道次双向反复弯曲变形,随后在523 K退火1 000 s,利用光学显微镜和电子背散射衍射(EBSD)技术研究该工艺过程中组织及织构的演变规律。结果表明:孪生是主要变形机制;在523 K退火1 000 s后,边部组织已经完全静态再结晶,晶粒明显细化,而中部组织仅发生晶粒长大,最终形成两边晶粒细小、中间晶粒粗大的双向梯度组织。退火态样品内部织构得到弱化,从板材几何中心处至两表面,织构强度逐渐降低,沿板厚方向呈不严格的对称梯度分布;靠近板材上表面区域织构发生弱化和随机化,靠近板材下表面区域晶粒取向集中在取向因子为0.5的方向,而板材几何中心处仅部分晶粒取向发生偏转,取向因子呈双峰分布。     

AZ21镁合金降温多向压缩过程中的组织和微观织构演化

对AZ21镁合金进行了降温多向压缩变形,利用OM及SEM/EBSD技术观察和分析了其显微组织和微观织构的演化.结果表明,随着变形道次的增加,晶粒尺寸迅速减小,经4道次的变形晶粒可细化至0.8μm.高温变形时生成的相互交叉的扭折带可将原始晶粒有效地分割而细化.673 K第1道次变形至ε=1.2时,几乎所有的晶粒都发生了90°的转动,基面由变形前平行于压缩方向转至与压缩方向垂直,基面织构强度先减小后增大;第2道次变形时,织构变化与第1道次基本一样,表现为与变形温度无关,仅取决于变形程度.第2道次变形后织构强度低于第1道次,变形道次的增加可以弱化织构.     

命令式动态规划类算法程序推导及机械化验证

动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态规划类算法程序与其的等价性,避免证明正确性时处理复杂的依赖关系和约束条件,提出命令式动态规划类算法程序设计框架及其机械化验证.首先,根据动态规划类算法的优化方法(备忘录方法)和性质(最优子结构性质和子问题重叠性质)描述问题规约、归纳递推关系式和形式化构造出循环不变式,并且基于递推关系式生成IMP (Minimalistic Imperative Programming Language)代码;其次,将问题规约、循环不变式和生成的IMP代码输入VCG (Verification Condition Generator),自动生成正确性的验证条件;然后,在Isabelle/HOL定理证明器中对验证条件进行机械化验证.算法首先设计为命令式动态规划类算法的一般形式,并进一步实例化得到具体算法.最后,例证了所提框架的有效性,为动态规划类算法的自动化推导和验证提供参考价值.     

国内外导电胶的发展现状

由于铅对人体及环境有害,使得铅锡焊料的使用受到了限制.目前无铅焊料和导电胶被认为是理想的铅锡焊料替代品.本文介绍国内外无铅连接材料的最新进展,重点论及作为环境友好型的无铅连接材料的导电胶及其组成、应用和最新进展.     

基于联合估计迭代算法的三轴磁力仪标定补偿方法

地磁场测量过程中,三轴磁力仪受到多种干扰因素的影响而产生误差,对测量精度造成影响。在分析地磁场测量值误差来源的基础上,建立了三轴磁力仪测量一体化模型,提出采用联合估计迭代算法对其进行标定,并比较了该方法与扩展卡尔曼滤波算法、非线性最小二乘算法的性能。在仿真结果基础上,构建实验系统对所提方法进行实验验证。仿真和实验结果表明：3种方法中,联合估计迭代算法补偿误差均值和标准差最小,且收敛速度最快,可将三轴磁力仪测量值误差均值由142.4 nT降至12.5 nT,标准差由170.0 nT降至29.2 nT, 抑制比达到84.51%;为三轴磁力仪的标定补偿提供了一种有效的方法。     

大肠杆菌温敏耐热系统的构建与应用

发酵过程中热胁迫不仅影响微生物的生长和生产,还因冷却控温增加了生产成本。通过人工设计合成的温敏型RNA开关调控来源于腾冲嗜热菌(Thermoanaerobacter tengcongensis MB4)的热激蛋白DnaK的表达,该温敏型耐热系统显著提高了大肠杆菌的耐热性,同时还减少了大肠杆菌在37℃过表达热激蛋白的代谢负荷。将该系统应用于产赖氨酸大肠杆菌的高温发酵,不仅强化了其在40℃下的生长能力,而且显著提高了其在高温下的生产能力,赖氨酸产量比对照组提高了2.95倍。温敏型耐热系统的应用为人工耐热生物系统的构建提供了新方法。     

数码涡旋与变频涡旋空调系统性能比较

通过对变频涡旋压缩机和数码涡旋压缩机从工作原理上进行分析,指出了各自适合的应用范围;对当前市场上流行的变频和数码多联空调机组进行了综合比较,阐述了这两种空调机组各自的优势和不足;指出了进一步研究和推广两种空调系统需要解决的问题.     

预作用自动喷水灭火系统浅析

《自动喷水灭火系统设计规范》GB50084-2017自2018年开始实施,对比新旧规范,对于自喷系统中的预作用系统改动较大,系统分为了两类,控制也有相应的改变,本文基于新规,对预作用系统的分类、阀组、控制等做了分析.     

油基增黏剂的研制及在榆林气田下古水平井的应用

榆林气田二开φ311.2 mm井眼属于大井眼、长裸眼井段,具有岩性多变、多套地层压力系统共存、水敏性黏土矿物含量高等特点,易出现起钻阻卡、拔活塞等复杂情况,决定使用油基钻井液,但必须解决其黏度控制问题。为此,以油酸为链终止剂,二甲苯为溶剂,以二聚酸和二乙烯三胺为原料,在230℃条件下合成了一种油基钻井液增黏剂,用红外光谱对该产品进行了表征,并对其性能进行了评价。实验结果表明:加入该增黏剂后钻井液在120℃热滚前后的表观黏度、塑性黏度值均比基浆高1倍;且加增黏剂后热滚前后的破乳电压基本保持不变。加有该剂的油基钻井液在靖平10-20、榆39-2H1、榆42-5H3和榆42-5H4井等4口水平井的二开井段进行了试验。通过现场试验发现,应用井段均未发生井壁失稳现象;泥饼光滑致密,有韧性;井径规则,井径扩大率小于5%;润滑性良好,现场滑动无托压现象。所以该体系适合四开下古水平井二开直井段大井眼施工。