青藏铁路昆仑山隧道排水侧沟模型试验研究

以青藏铁路昆仑山隧道排水侧沟为实体,通过室内模型试验,采取在隧道排水侧沟内铺设加热电缆,进行加热除冰,研究寒季隧道侧沟电热除冰对隧道围岩的影响程度和范围,分析在极端不利条件下隧道侧沟电热除冰方案的可行性。在隧道侧沟内积满冰后进行加热,冰完全融化后对隧道围岩温度的最大影响深度为2.95 m,围岩温度最大升高值为0.71℃,发热电缆加热化冰过程会使隧道围岩温度有所升高,但不会导致隧道围岩融化。在极端不利情况下(气温-13.0℃),水沟流量为50 m3.d-1,采用70 W.m-1的发热电缆,水沟温度保持在-0.5~1.0℃,侧沟内水温基本在-0.1~0.3℃之间波动,沟内水不结冰,水沟排水通畅,而且对隧道围岩的影响很小。     

基于弹性需求均衡分配的道路网络扩容模型及算法

通过改进现有道路网络中某些路段的通行能力,从而使整个道路网络通行能力达到系统最优,采用双层最优化数学模型对基于弹性需求的均衡分配道路网络设计的扩容问题进行了描述,给出了求解该模型的模拟退火算法,通过算例验证了该模型的可行性,说明该方法具有较好的实用性。     

钢筋用量对体外预应力混凝土梁力学性能的影响分析

利用全过程分析的方法,进行了体外预应力钢筋和普通钢筋用量对体外预应力混凝土梁力学性能影响的定性分析。     

模糊优选理论在选择桥梁方案中的应用

针对现行优选桥梁方案方法上的不足,如难以将定量指标与定性因素综合量化评价、受主观因素影响大、误选的可能性较大等。笔者根据模糊优选理论建立和求解桥梁方案优选模型,结合实例介绍该方法的具体运用。实例研究表明:运用模糊优选理论优选桥梁方案能有效减少主观因素的影响,优选结果准确,方法简便实用。     

基于双倍视距的交通信号控制的元胞自动机模型

Nagel和Schreckenberg于1992年提出了著名的Nagel-Schrechenberg（NaSch）元胞自动机模型，该模型虽然形式十分简单，但却可以描述一些实际交通现象。同时也存在很多不足之处，如NaSch模型的最大流量和临界密度远低于实际交通中的数值，它也不能重现交通流的一些重要特性。本文提出了一种考虑当前车辆前方两个车辆影响的具有交通信号控制的单车道元胞自动机模型，根据双倍视距模型的思想修改了NaSch模型的加速规则，计算机模拟结果表明，考虑了次近邻影响的模型能够呈现真实交通中观察到的一些复杂交通流现象，且最大流量和临界密度比未考虑次近邻影响的模型都有了显著提高；此外，模拟结果也表明了交通信号周期对最大流量和临界密度的影响，最大流量随交通信号周期的增大而减小，临界密度随交通信号周期的增大而增大；最后，文中还讨论了近邻车辆的敏感系数和次近邻车辆的敏感系数的影响。模拟结果表明，固定任何一个参数的值，最大流量都会随另一个参数的增大而增加，但是对流量的影响显著，说明近邻车辆的影响大于次近邻车辆的影响。     

���ڻ�ɫϵͳ���۵Ĺ�·��Ŀ���Ч������

运用系统工程理论方法，针对目前我国公路建设项目后评价工作中所面临的社会经济效益定量评价这一难题，提出当统计数据缺乏的情况下选择、运用灰色预测模型对指标进行定量分析、预测的新思路；以厦门海沧公路大桥项目为背景，结合定性分析，采用灰色系统理论中的缓冲算子公理，建立了GM(1,1)模型和灰色线性回归组合模型对数据进行拟合和预测，取得了满意的结果.     

我国车辆荷载特性及其对路面结构的影响分析

随着国民经济的飞速发展,我国行驶在公路上的汽车轴载特性发生了很明显的变化,而这种变化性又会引起沥青路面结构受力特性的改变。本文借助现有我国公路上的调查统计资料,分析了这种变化对路面结构所带来的影响。     

对格式合同利弊的思考

格式合同既给人们带来了方便快捷的生活又在社会上产生了诸多问题。文章通过对格式合同的历史回顾和特点分析,重点探讨了格式合同的利弊并在此基础上提出了强化行政模式规制和社会监督模式规制,以求对格式合同的研究有所裨益．     

Software Testing Method Based on Model Comparison

A model comparison based software testing method (MCST) is proposed. In this method, the requirements and programs of software under test are transformed into the ones in the same form, and described by the same model describe language (MDL).Then, the requirements are transformed into a specification model and the programs into an implementation model. Thus, the elements and structures of the two models are compared, and the differences between them are obtained. Based on the diffrences, a test suite is generated. Different MDLs can be chosen for the software under test. The usages of two classical MDLs in MCST, the equivalence classes model and the extended finite state machine (EFSM) model, are described with example applications. The results show that the test suites generated by MCST are more efficient and smaller than some other testing methods, such as the path-coverage testing method, the object state diagram testing method, etc.     

Experiments of Multi-element Composite Foundation with Steel Pipe Pile and Gravel Pile

A set of self-developed apparatus for foundation physical model were utilized to conduct model tests of the multi-element composite foundation with a steel pipe pile and several gravel piles. Some load-bearing characteristics of the multi-element composite foundation, including the curves of foundation settlement, stresses of piles, pile-soil stress ratio, and load-sharing ratio of piles and soil, were obtained to study its working performances in silty sand soil. The experimental results revealed that the multi-element composite foundation with steel pipe pile and gravel pile contributed more than the gravel pile composite foundation in improving the bearing capacity of the silty fine sand.