斜拉索索状态的精确计算

介绍了计算斜拉索的3种方法：悬链线法、抛物线法和有限元法，推导了悬链线法弹性伸长的计算公式，推导出了斜拉索精确的计算公式。结合长沙洪山庙大桥实际施工中的挂索问题，运用3种方法对3根代表性的索进行了计算，分析了3种方法的优缺点。     

工艺数字化系统中工艺尺寸及其精度的确定

说明了工艺数字化系统（PDS）中工艺尺寸及其精度确定的意义，分析了已有的计算机辅助确定工艺尺寸方法的特点，研究了确定工艺尺寸的数学模型，开发了计算机辅助确定合理工艺尺寸及其精度的系统，并论述了系统的工作模式及特点。     

鼓型橡胶护舷重力链设计

阐述了ＳＵＣ橡胶护和链的设计方法，其中包括重力链的布置，选择及重力链的计算方法等。     

悬链线拱桥实腹段恒重的精确解答

本文分别导出了悬链线与腹拱圆弧线交点的坐标计算、悬链线拱拱上侧墙面积及其重心计算以及计算拱上侧墙体积的精确公式,通过算例说明了现行公路设计手册《拱桥》中的有关公式在某些情况下具有不容忽视的误差。为了方便计算,笔者还利用计算机编制了计算用表可供查用。     

软件Markov测试的使用链及测试充分性研究

基于有限Markov链理论，形式化的描述了软件统计测试，提出了一种频率计数算法，它能够同时解决软件Markov，测试中存在的两个难题：1．建立精确的使用链(或用户剖面)；2．确定满足测试充分性的最优用例数。算例表明该算法是十分有效的。