螺纹锁紧环换热器内漏原因分析及处理

本文介绍了260万吨／年柴油加氢精制装置螺纹锁紧环换热器结构和运行情况，分析了该换热器内漏的原因，校核了内法兰和内圈压紧螺栓上紧力，并提出了相应的处理措施和建议。     

锁扣钢管桩围堰施工技术

本文论述了临既有线铁路时应用锁口钢管桩围堰施工承台是比较合适的;介绍了该围堰的设计及施工;展望了该围堰应用前景。     

影响密度锁内热-冷流体分界面因素的实验研究

对3种不同管径的实验管段进行实验，研究稳态工况下扰动和热-冷流体温度差对密度锁内热-冷流体分界面位置的影响，结果表明，随着扰动的增大，扰动产生的湍流作用逐渐增强，从而使稳定的分界面向下移动；而温度差的增大，使热流体向冷流体的传热能力增强，导致分界面的位置下降，另外，对不同管径的实验管段的研究表明，在密度锁内布置一个蜂窝结构可有效地抑制扰动作用，使其内部的分界面更稳定。     

广西传销观察

"这是广西的耻辱!"广西壮族自治区副主席兼公安厅长梁胜利在今年6月30日召开的打击传销犯罪专项整治会议上声色俱厉地说到。让这位政府高官如此愤怒的正是广西屡打不绝、屡禁不止的传销活动。     

Java程序数据竞争的增量式检测

针对静态竞争检测无额外运行开销但精度低,而动态竞争检测精度高但因插桩有额外运行开销,在实际Java虚拟机的即时编译器中以竞争检测遍形式设计实现了一种精确有效的增量式竞争检测算法.结合锁集和发生序关系,依次对即时编译的每个方法进行一次方法内分析,收集独立于上下文的方法摘要,并以方法摘要为基础自下而上进行上下文敏感的跨线程方法间分析,增量计算并及时输出潜在的竞争信息.实验表明,算法对应用程序无插桩且不受程序规模限制,具有与O'Callahan等人的动态竞争检测算法类似的精度,检测时间仅占总编译时间的2%～4%.     

离散剪切约束的4节点矩形弯曲单元

提出一种基于Ｍｉｎｄｌｉｎ理论的４节点矩形薄板单元，该单元满足应变能正交准则下的收敛性充要条件，具有插值方式简单和相当二次数值精度等优点。在避免单元剪切自锁中，引入较严格沿单元边界法向剪切应变约束处理技术，使单元具有真实Ｋｉｒｃｈｈｏｆｆ单元的变形特点。     

位同步提取中相位抖动、同步带宽与倒π误锁

本文论述了数字锁相环位同步提取的原理和防止倒π误锁的方法,在此基础上,对相位抖动、同步带宽的制约因素作了分析,提出了不同设计要求对调整步数的选取原则.实验结果与理论分析相吻合.     

λ-Horn集上的λ-单元锁归结

本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。     

独立闭合三角锁的平差和应用

提出独立闭合三角锁的平差方法，在村镇扩建或是郊区开发郊区的测图工作中，它具有工效高，成本低。出成果快的特点。     

对扩展树证明的可靠性与完全性的简化证明(英文)

本文对扩展树给出一个不同的证明．它的长度比起Ｍｉｌｌｅｒ的证明要简短得多，而且改正了 Ｍｉｌｌｅｒ证明中的某些错误。