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

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

长庆油田多层系精准堵漏技术研究与应用

为保证油气当量的稳步增加,钻井区域在逐年拓展,井漏问题日益凸显,已严重制约着钻井提速增效。单一漏失层位堵漏难题已形成高效的治理手段,但针对长裸眼井段多套易漏层位治理目前无有效手段,因此文章通过对长庆油田漏失层位分析,明确易漏层位的漏失机理;发生漏失后采用以井温法和流量法为主的“多参数”测漏工具,进行长裸眼井段漏失层位识别,明确漏失位置;最后应用研发的高效疏水堵漏工作液进行专项堵漏,形成了一套长庆油田长裸眼多层系精准堵漏技术。多参数测漏工具漏层识别精度±30 m,测漏时间4 ~ 6 h,为后续堵漏提供数据支撑;高效疏水堵漏工作液由胶凝材料和惰性材料进行配伍,2 mm缝板承压可达12 MPa,满足高承压堵漏需求。该技术现场应用三口井,均实现一次堵漏成功,为我国非常规油气井钻井勘探中遇到的堵漏难题提供技术借鉴,助力钻井提速增效。     

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

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

分布式CAD协同设计中的冲突消解

本文提出了一个分布式三维CAD （Computer Aided Design）协同设计环境中进行冲突避免、检测和解决的模型DCCMDCCM（Distributed Cooperation Conflicts Model）．DCCM将具有语义的CAD命令分为两类，混合使用操作序列化和半乐观锁机制进行并发控制；提供协同感知机制避免协作冲突；采用两级冲突解决模式，基于命令的语义进行冲突检测，提供仲裁者机制协商解决冲突．     

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

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

论大学生休闲教育

大学生休闲教育是大学生成为人过程的重要环节。我国当代大学生的休闲活动通常都比较消极,而对大学生休闲的教育又困境重重。要通过大学生休闲教育引导大学生开展积极、有价值的休闲活动,必须有明确而清晰的教育的目标和内容,还必须理顺大学生休闲教育中的大学生活与休闲教育、职业教育与休闲教育、大学生休闲教育的供求等三大关系,并实施多元化的教学手段、多元化的教学主体、多元化的休闲空间的休闲教育策略。     

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

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

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

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

计算机技术在包装领域中的应用研究

近年来,计算机已成为我国社会发展和生活中不可缺少的一部分,同时,计算机技术也在人们现实需求的满足中逐渐发展和的突破.而随着我国的经济体制的转变,我国也开始大力推广计算机技术的应用,在和社会生产有效结合的过程中,我国为提升相关的经济效益和生产速度,开始对包装领域的计算机技术应用进行相关研究.     

冷冻剑结构对块冰机制冰性能影响的数值模拟

目的：在直冷式块冰机冰模蒸发器内部增设冷冻剑以实现快速制冰。方法：使用COMSOL模拟冷冻剑截面形状及冷冻剑倾角对制冰过程的影响。结果：随着制冰过程的持续进行,增设不同截面形状冷冻剑的冰模内部平均温度不断降低,冰模内固相体积分数也随时间而增加,但在相同时间内增设圆形截面冷冻剑的冰模内部平均温度要比三角形、矩形和菱形低0.1～0.2 ℃。此外,冷冻剑倾角越小制冰速率越快。结论：冷冻剑截面形状为圆形或近圆形时,制冰速率较快;且在保证便于脱冰的前提下,应尽可能减小冷冻剑倾角。