化LF(X)中任一公式为可归约形式的算法

针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究．简述了LF(X)及其中公式的相关概念，证明了对LF(X)中公式进行转化的若干理论结果，并由此给出化LF(X)中任一公式为可归约形式的理论基础和基本算法．     

无网格方法在二维弹性力学计算中的应用

通过选取合适的权函数和基函数，将无网格局部伽辽金法用于二维弹性力学计算．计算中，积分都在规则形状边界子域上完成，因而容易实现；通过罚因子添加本质边界条件，从而使得到的刚度矩阵是正定对称矩阵．将计算结果与ANSYS有限元法的计算结果进行比较，结果表明，无网格法用于二维弹性力学计算具有精度高、稳定性好和适应性强等优点．     

铜包钢线连续挤压包覆工艺试验研究

采用连续挤压包覆法生产铜包钢线是连续挤压技术的一次飞跃，为了对该技术进行深入研究，对连续挤压包覆成形进行了工艺分析，并通过工艺试验获得了质量良好的铜包钢线．研究结果表明，单槽连续挤压包覆工艺更适合于铜包钢线的生产．     

浅谈GPS测量在公路测量中的应用

GPS(Global Positioning System)全球定位系统是美国研制并在1994年投入使用的卫星导航与定位系统。其应用技术已遍及国民经济的各个领域。在测量领域，GPS系统已广泛用于大地测量、工程测量、航空摄影测量以及地形测量等各个方面。这主要依赖于GPS系统向全球任何用户全天候地连续提供高精度的三维坐标、三维速度和时间信息等技术参数。     

粉煤灰在高速公路水泥混凝土路面中的应用

通过试验与施工表明，在高速公路路面的水泥混凝土混合料中掺入一定用量的粉煤灰可以改善混合料的性能，且有利于滑模摊铺施工。阐述了粉煤灰的技术性能和粉煤灰混凝土的配合比设计及工程实用效果，同时也指出了存在的问题和解决办法。     

交叉口渠化的理论与实践

随着经济的迅猛的发展，城市机动车的保有量及交通量也呈现了较快的增长速度，而城市的路网建设和交通管理水平却始终处于相对滞后的状态，从而引发的交通拥挤及堵塞，是当今困扰城市发展的一个重大问题．通过概述大连交叉口渠化的工程，系统阐述了路口渠化的理论、特点与实践．     

试谈收费路的设置与管理

道路收费政策的实施,需要在周密的战略决策的基础上逐步展开,采取一揽子方案的解决措施,包括道路收费加上改善公共交通措施,开展道路使用者选择行为、市场价格信息作用的调查与研究等,以便使预期的道路收费方案能够真正有效,预期的道路收费的效益能够在实施过程中得以实现.     

���Ǹ��ٹ�·�Գ��в�ҵ��չ��Ӱ���о�

环城高速公路作为联结城市内外部交通的枢纽，直接影响着城市的产业发展规划与布局，是促进城市社会经济发展的重要基础设施.其建设带动了城市交通经济的一体化发展.本文着重说明了环城高速公路的规划建设及其沿线产业带的形成在促进城市产业布局优化和产业结构调整中的作用;描述和分析了环城高速公路促进城市产业发展的机理，建立了相应的交通经济多因素灰关联矩阵模型，并引用沈阳环城高速公路建设的实例进行了具体分析和论证.     

两种大间隙磁流体密封聚磁结构性能的对比

用有限元方法分析了对齿聚磁结构的大间隙聚磁性能,并与同尺寸的单侧极齿聚磁结构比较.结果表明,对齿聚磁结构的磁通汇聚作用较好,在沿平行于密封间隙的方向上中间极齿间隙磁场的最大磁通密度差远大于单侧极齿聚磁结构,密封性能约为单侧极齿聚磁结构的2倍,而且有利于克服高速旋转时作用在磁流体的离心力,以适应高速转动轴类的磁流体密封.     

公路路政管理难度系数综合评价模型

在分析影响公路路政管理难度的各种因素的基础上，提出了一种基于模糊理论、层次分析法和群决策理论的新模型．该模型以模糊理论为基础对路政管理信息进行标准化处理．用层次分析法构造了评价指标体系．用群体一致性算法检验专家评估提出的意见，并最终获得权重．用归一化的专家权重、专家个人效用函数的权重以及标准化后的指标，计算群效用函数，即可确定公路路政管理难度系数．