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

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

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

激光层裂技术测量涂层与基体结合强度研究

激光层裂法测量涂层结合强度是近年来新发展的一种方法，文中介绍了该方法检测的基本原理与实验方法，并对该测量方法的几个关键技术，即应力波生成与传播的数学模型、约束怪与能量吸收层对应力波形的影响、应力波形的测量与临界值的判定，进行评述，并讨论了该技术的研究进展。     

细观尺度C0和C1理论及有限元分片检验函数

细观尺度理论有多种理论和不同分类, 其中值得关注的分类是转角（或应变）和位移变量“独立”和“不独立”细观理论, 按有限元法可称为C0和C1理论. 细观尺度理论有限元收敛性条件还远不如经典板弯曲理论清楚, 本文基于增强型分片检验理论, 对两类细观理论建立了检验这类细观单元收敛性的分片检验的检验函数. 进一步研究了两种细观理论和有限元模型的区别和联系, 两种理论模型引出细观理论有限元法新提法： （ⅰ） 位移-转角不独立理论的C1类单元, 要求单元函数同时满足C0和C1连续; （ⅱ） 位移-转角独立理论的C0类有限元提出新的收敛条件： 非零常剪力增强分片检验, 和C0单元逼近C1单元要求通过零剪力增强分片检验.