由理性到经验--现代数学哲学研究的历史走向

数学基础的研究，形成了逻辑主义、形式主义和直觉主义三大学派，其运用理性主义构造数学，认为数学是一个欧几里得系统。拉卡托斯通过对三大学派所做工作分析之后，认为数学是一个拟经验系统，数学的真理性是被“说明”，而不是被“证明”的，它的发展模式是：问题——猜测——反驳，数学理论具有可证伪性。由理性主义到经验主义是现代数学哲学研究的历史走向，这种走向表明数学在不断追求完美与和谐。     

筒型基础系缆平台沉／拔过程侧摩阻力原型测试

介绍了1999年首次安装在渤海锦州9－3地区多筒基础平台安装施工过程中的侧摩阻力原型测试研究，描述了简型基础上沉和上拔过程中筒壁侧摩阻力的测试系统和测试方法，给出了主要测试结果并与现行规范进行了对比分析，这项成果对筒型基础平台的设计和施工具有直接的参考意义。     

博达国际大厦12 500m3大体积砼裂缝控制

结合具体工程实例，从砼设计、控制理论计算、原材料使用、砼浇筑和养护以及信息化施工等方面介绍了防止砼产生裂缝的措施，最大限度地解决了大体积砼的温度裂缝问题，取得了较好的效果。     

在市场经济体制下发展科学技术

介绍了一些发达国家在发展科学技术方面的做法，分析了他们的特点，结合我国科技发展的实际情况，指出了存在的问题，提出了改进科学技术管理工作的建议。     

关于SLP问题最优解的探析

对标准形式的线性规划问题在已知第一个基础可行解的前提下，运用单纯形方法寻求最优解。视可能出现的唯一、多重及不存在三种情况逐一进行了系统的分析，并给出了相应的证明，深入了对最优解属性的研究。     

高压CMOS管工艺的设计、模拟和验证

模拟和验证了一种低成本的，以标准CMOS工艺为基础，无需对原工艺流程进行改动的高压工艺技术。讨论了低压器件中的各种击穿机理，相应提出了高压器件中所做出的改进，列举了该工艺技术中所用的特殊版图；对此工艺的应用性进行了二维的工艺和器件模拟；将模拟结果与实际测试结果进行了比较，验证了这种高压工艺技术的实用性。