混凝土施工裂缝分析与预防措施

本文笔者通过多年的现场施工经验，对混凝土温度裂缝产生的原因、温度控制和裂缝预防措施进行了阐述。     

MARG-MU(2)的结构和复杂度

SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.本文主要利用(1,*)-消解方法研究了差为2的边缘极小不可满足公式集(MARG-MU(2))的结构和复杂度:在结构方面,MARG-MU(2)中的公式要么是F22,要么是某一文字在其中仅出现一次的公式;在复杂度方面,如果MARG-MU(2)对(1,*)-消解封闭,则某个含有n个变元和n+2个子句的公式是否为MARG-MU(2)中的公式的问题可以在时间0(n3)内被判定.     

输送带应力波传播速度

着重研究大型带式输送机主要动态参数－输送应力波的传播速度，引入折算弹性模量的概念，将输送带的垂度考虑在其中，推导出了应力波传播速度。     

利用等效和磁场测平面残余应力

基于等效应力磁场理论，给产面应力状态下，材料沿（垂直于）焊缝方向磁导率与两个主应力之间的函数关系，从而可以独立地测量任意点的残余应力，实验结果了方法的正确性。     

钻井船实测中的若干技术问题

介绍了港海一号钻井船实测情况 ,讨论了钻井船实测中的若干技术问题 ,给出了港海一号钻井船强度实测结果 ,对于钻井船的研究开发和钻井船规范修订具有一定意义 .     

利用计算机求解实际应力应变方程

本文从理论上分析了可用最小二乘法替代经验方法近似求解实际应力应变方程的可行性，并用Ｑｕｉｃｋ Ｂａｓｉｃ语言编制程序，求出方程的解，提出了拉伸试验的一体化设想。     

关于国标GB150-98压力试验应力校核问题的探讨

通过对压力容器压力试验时应力的分析。提出了新的校核条件。     

一种基于图像分割的绣花针法生成算法

该针法生成算法是在对embird绣花软件进行分析并仿制的过程中提出的。该算法解决了将一幅灰度图像由单一绣钱来绣成的问题，在国内绣花软件领域中具有一定的创造性及领先性，同时具有较高的推广价值。     

浅谈混凝土施工温度裂缝产生原因及对策

通过多年的现场观察，并查阅混凝土内部应力方面的有关著作，对混凝土施工温度裂缝产生原因、现场混凝土温度的控制和预防裂缝的措施等进行阐述。     

露天矿用钻机钻架结构强度

针对钻机钻架使用过程中出现弯曲、断裂和扭胀的现象,应用Pro/E软件中有限元模块建立钻架有限元模型,对不同工况下,天车不同位置时"П"型截面钻架的力学性能进行数值模拟,并对正常钻进工况下天车不同位置时立柱等效应力、扭转应力和弯曲应力分布规律进行分析,找出钻架发生弯曲、断裂和扭胀的原因.研究结果表明:作为导轨两个立柱弯曲应力大,两个后立柱扭转应力大;钻架横隔上加强梁和横梁扭转应力相对较大,容易出现扭胀和断裂;两侧面斜缀弯曲应力相对较大,容易出现弯曲和断裂.