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

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

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

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

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

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

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

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

关于SLP问题最优解的探析

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

浅析个体软件过程(PSP)

介绍和分析了PSP的基本概念、作用和进化框架等内容 ,给出了PSP和CMM之间的联系 .CMM被软件业界公认为是当前最好的软件过程 ,PSP是CMM在软件工程师等级上的应用 ,是针对个体软件过程的改进 .     

在Authorware中如何巧用框架和定向设计图表

本文主要以具体实例的形式详细地阐述了在Authorware多媒体制作软件中[定向]设计图表和[框架]设计图表的个性化制作方式，对提高本软件的使用率和使其大众化有非常积极的意义。