时间自动机的自动抽象算法

为对付时间自动机规格分析验证中的状态爆炸问题，提出了一种自动抽象算法．它是直接在时间自动机描述规格上而不是在规模大得多的语义模型上进行抽象，从而取得不大于时间自动机拓扑复杂性的四次方的多项式复杂度，实验证明，该算法可应用于任何满足线性复位性质的时间自动机。此外，这种算法还可以用来简化系统描述，提高其可理解性。     

高速客车非线性模型动力学分析

本文建立客车动力学的非线性模型,分析各种非线性结构,悬挂参数对车辆动力性能的影响,着重讨论高速车辆的横向稳定性和在轨道随机不平顺激扰下的运行平稳性。本文还应用研究结果优选出适合我国高速铁路运行的车辆参数匹配。     

乳化沥青稀浆封层施工技术初探

主要对乳化沥青稀浆封层混合料组成设计、机械设备的选择、施工工艺、施工质量控制等方面进行了介绍     

准高速客运机车KONI减振器性能研究

本文通过建立准高速六轴机车动力学模型与理想的ＫＯＮＩ减振器阻尼特性模式。利用机车动力学动态和准静态相结合的计算方法，分析安装ＫＯＮＩ抗蛇行运动减振器对准高速客动机车地运动稳定性和曲线通过性能的影响。为我国新型准高速客运机在的参数设计提供理论分析的参考。     

摊铺作业对沥青路面平整度的影响

结合沈大高速公路四车道沥青路面施工经验，依据摊铺机浮动摊铺工作原理，浅析摊铺作业影响路面平整度的几个主要方面，并提出相应的解决方法。     

奇异性阶的B—样条小波数值分析

对基数Ｂ－样条尺度函数和基数Ｂ－小波函数，建立了广义积分求积公式，并提出奇异性阶的小波数值探测方法，对具有奇异性的函数进行了数值计算，验证了方法的有效性，为探测奇异性位置和奇异性阶提供了有效的方法。     

AK、SMA、0GFC、SAC型沥青混合料路用性能的研密

笔者选用AK-16B、SMA-16、OGFC-16及SAC—16型等4种我国常用的抗滑级配沥青混合科，比较系统地分桥对比了高温稳定性、低温抗裂性、抗疲劳性、水稳性等力学性能，以及表面的抗滑性及透水性，为我国在抗滑沥青混合科的应用和推广上提供参考。     

沥青面层结构层厚度与沥青混合料最大粒径关系研究

沥青面层结构厚度与沥青混合料最大粒径的关系是影响沥青混合压实性能和耐久性的因素之一，笔者从压实性能和路用性能两方面对沥青面层结构层厚度的合理比例进行了室内试验研究，研究结果表明，沥青面层结构层厚度与沥青混合料最大粒径的比例为2．5时，沥青路面具有优良的性能．     

HM21锚固体系

为了解决大吨位预应力混凝土中预应力筋的锚固、连接技术问题，交通部行业联合科技攻关组（湖南）研究设计成功一种ＨＭ２１群锚。文章介绍了这种群锚的结构、用途及其性能特点，产品试验结果，推广应用效果。     

大管棚法处理隧道下穿老公路的施工技术

大管棚施工工艺在磨石岭隧道施工中获得了良好的施工效果，此技术对于处理溶洞和塌体以及洞口坡积层等松散体积的进洞施工同样适用。