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

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

浅谈山区改建公路线形设计

以山区改建公路工程勘察设计实践为基础,介绍了公路线形设计的选线原则、放坡、平面线形设计以及高新技术的应用等内容,为今后的同类设计提供借鉴与参考.     

字典序多目标多阶段决策问题的嘉量解法

建立了字典序多目标多阶段决策模型，并用嘉量原理解决字典序多目标多阶段决策问题．在字典序多目标多阶段决策的赋嘉量有向图中，从任意出发点到终点的嘉量等于出发点经过中间状态的诸顶点到终点的嘉量摹和,这个摹和与出发点之前、终点之后的状态无关．在计算过程中，将合取作为摹和，常义加法作为摹乘，则字典序多目标多阶段决策问题的递推运算转换为多阶段的摹矩阵运算．     

江津四面山风景旅游区红岩山危岩初步研究

对江津四面山红岩山危岩进行稳定性验算,计算结果表明红岩山危岩存在进一步发生崩塌的可能性.危岩治理十分必要.对此,提出了该地区危岩灾害防治措施,建议综合采用主被动联合方法进行危岩防治工作.用运动学方法进行落石冲击力检算、腾越计算及弹跳计算,以此结果再结合观测落石的运动轨迹和弹跳高度,以确定拦截防治工程结构物的设计尺寸和材料强度参数.     

基于 UL 法的 CR 列式三维梁单元计算方法

为了提高大位移、大转动问题的计算效率和精度，提出了基于更新拉格朗日法（UL法）的三维梁单元分析的CR列式算法．这种方法采用更新拉格朗日列式，运用最小势能原理建立结构的平衡方程，并导出梁单元的刚度矩阵．求解过程中，根据CR列式的原理，采用大转动理论计算更新后的单元和节点坐标，通过扣除结构位移中的刚体位移得到结构变形，进而获得单元的准确内力．最后，给出了2个算例，以证明该方法的正确性和精度．     

粉土压实机理及施工技术研究

以靖安高速公路含砂低液限粉土为研究对象,研究了该粉土的颗粒组成、击实特性等物理机械性质及工程特性。利用冲击振动复合压路机模型,进行了粉土的压实机理试验研究,并经实际现场施工验证了该模型的显著压实效果。     

大跨度斜拉桥的静风非线性稳定分析

同时考虑静风荷载非线性和结构几何非线性的影响 ,运用增量迭代法分析计算大跨度斜拉桥非线性空气静力稳定性 ,编制相应的计算程序 ;并结合一座主跨为 10 0 0m的钢斜拉桥进行分析计算 ,验证该分析方法的可行性。最后 ,讨论静风荷载非线性、初始攻角等因素对大跨度斜拉桥静风失稳临界速度的影响     

公路大桥上部箱梁滑移模架施工

介绍了滨州徒骇河大桥上部连续箱梁滑移模架施工,结合工程实际阐述了移动支撑系统的功能、原理、工艺流程及施工过程中控制要点。     

长自回归谱的快速滤波算法

本文提出一种快速递推滤波算法,用于估计自回归(AR)模型系数。数值试验表明高分辨率的功率谱都是由高阶AR模型构成,高阶范围内有一最佳阶数存在,由于本算法是一种最优滤波算法,对噪声不敏感,小数据量时优于Marple算法,大数据量时优于快速付利叶变换,从文献记载的结果以及我们计算的实例看,有较高的分辨率。从本算法原理还能派生出若干类似算法。     

千米级斜拉桥主梁挠度非线性随机静力分析

采用响应面法对千米级斜拉桥主梁最大挠度进行静力可靠度分析,考察主梁最大挠度随结构材料、几何尺寸及外荷载等不确定因素的变异而发生变化的规律。算例研究表明,主梁挠度可靠指标对各随机变量平均值和标准差的敏感程度不同。同其它随机变量相比,斜拉索弹性模量变异对千米级斜拉桥主梁挠度影响最为显著。主梁截面面积变异对千米级斜拉桥主梁挠度具有显著的影响,但与对千米以下斜拉桥主梁挠度的影响规律不同。