某钢厂自备工业水厂设计

自备工业水厂总设计规模3.8×104m3/d,分两期建设,一期规模1.9×104m3/d。净水工艺流程采用折板絮凝池—斜管沉淀池—V型滤池的常规处理工艺。简要介绍了工程主要建、构筑物工艺设计参数、设备配置情况等,并对工艺设计特点及水厂的运行情况进行总结。     

命题逻辑提升到一阶逻辑上的子句消去方法

在基于命题逻辑的可满足性问题（SAT）求解器和基于一阶逻辑的定理证明器上，子句集简化一直是必不可少的步骤，而其中子句消去方法在这些子句集简化方法中是非常重要的组成部分。将命题逻辑中的子句消去方法归结隐藏恒真消去方法（RHTE）和归结隐藏包含消去方法（RHSE）提升到一阶逻辑上，并且利用蕴含模归结原则（IMR）证明了这种提升方式在一阶逻辑上具有可靠性（Soundness），即依据这两种子句消去方法删除一阶逻辑公式集中的子句，并不会改变公式集的可满足性或者不可满足性。此外，将这两个方法与一阶逻辑子句消去方法锁子句消去方法（BCE）和归结包含消去方法（RSE）进行组合推广，发展得到一阶逻辑上新型子句消去方法（BC+RHS）E、（RS+RHT）E和（RHS+RHT）E，并且证明了这3种子句消去方法在一阶逻辑上的可靠性。最后，分析比较了这些子句消去方法的有效性，并且证明了这3种新型子句消去方法比组成它们的原始子句消去方法均具有更高的有效性。     

泛亚C14发动机配气机构单阀系动力学分析

利用TYCON软件分别分析评价了C14配气机构中凸轮与平面挺柱之间的动力学关系、气阀落座情况、气阀弹簧各有效圈动力特性等。     

深水逆作法钢板桩围堰设计与施工

顺作法钢板桩围堰在目前的水利及路桥建设工程中使用较多。结合工程实践提出了深水逆作法钢板桩围堰综合成套技术,一定程度上解决了常规的顺作法钢板桩适用的水深较浅、围堰变形大、整体稳定性偏低、施工风险相对较高的缺点。详细介绍逆作法钢板桩围堰的设计、构造、分析以及施工工艺,并对实际工程施工过程中钢板桩围堰的受力及变形情况进行了监测。结果表明,该技术较好地满足了工程的经济性和安全性的要求。     

铁路隧道事故调查标准化方法的研究

随着我国经济的发展和交通设施建设的逐步完善,我国铁路隧道数量逐渐增多。但是,事故发生的可能性和危害程度也逐渐增加。而目前对于铁路隧道的事故调查通常以调查人员本身的工作经验为依据,具有一定的主观性,这可能导致调查过程效率低下或调查结果出现偏差。因此,建立铁路隧道事故调查方法的标准化是十分必要的。笔者基于目前常用的调查方法,依据铁路隧道事故的分类和调查目的,制定了一套具有针对性的标准化的铁路隧道事故流程,并结合工程实例进行了验证,可供相关人员参考。     

接触面弹粘塑性本构关系研究

推导了三维接触面的弹粘塑性本构关系,并将其与普通单元耦合,研制了三维弹粘塑性有限元软件.以简单案例对有(无)接触面单元物体表面位移进行了对比.     

接触面刚度对双排桩支护结构的影响分析

在深基坑支护结构的科学研究和实际工程设计计算中,有限元数值分析方法得到了越来越广泛的运用。目前一般通过设置接触面单元来模拟支护结构与土之间的相互作用。但在实际应用过程中,接触面参数的取值问题给模拟计算结果带来了许多不确定性,目前其取值仍是一个比较棘手的问题。利用Goodman接触面单元模拟了双排桩支护结构与周围土体之间的相互作用,通过改变Goodman接触面单元的初始法向刚度及初始切向刚度,分析了其变化对双排桩支护结构水平位移、桩顶竖直位移及周围土体沉降及坑底隆起量的影响,对双排桩支护基坑数值分析时接触面初始刚度系数的选取具有重要意义。     

压榨车间电化学杀菌及蔗汁杀菌机

介绍了蔗汁杀菌机的初步使用情况，阐述了它的工作的电化学原理和控制原理，初期运动情况及存在问题。     

基于特征映射的超临界机翼整体壁板板坯快速建模技术研究

将整体壁板分解为特征的集合,并进一步将特征分解为特征的位置、方向、几何尺寸、布尔运算等信息的集合。采用曲面优化展开映射实现了特征映射,通过特征的分解、映射与重构解决了超临界机翼整体壁板板坯快速建模的问题。喷丸成形实验表明,采用特征映射法计算完成的板坯成形后尺寸达到了设计要求的精度。     

蚕丝丝胶戊二醛固着工艺的研究

本文就戊二醛（ＧＡ法）丝胶固着工艺和减少丝胶固着丝的黄变程度进行了研究，提出了高温短时间浸渍加脱水冷堆的ＧＡ法丝胶固着生产工艺。研究结果表明：在酸性条件下，添加适量稀土元素，采用酸性盐类作ｐＨ调节剂，适当降低固着时的ｐＨ值，能有效地提高丝胶固着牢度和降低固着丝的黄变程度．在弱碱性条件下，添加适当的缓冲稳定剂，能提高丝胶固着牢度和减少黄变现象。