特大型桥梁工程地质勘察区域地壳稳定性研究

重大工程区域地壳稳定性研究，是工程前期工程地质勘察的重要内容之一，并越来越多地为工程建设所重视。大桥工程地质勘察以往对此涉及较少，也无明确的统一规定，以长江上所建特大桥为例，对此项工程作了些探索性的研究，重点研究的问题是：区域构造环境及构造变形，地壳结构和深部构造，新构造活动，断裂活动，地震活动等，为大桥建设宏观决策和抗震设计提供依据。     

深层搅拌水泥桩复合地基在工程中的应用

简要介绍了深层搅拌水泥桩的加固机理和适用条件。详细阐述了深层搅拌水泥桩的加固设计，其内容包括布桩形式，单桩竖向承载力及复合地基承载力的确定以及下卧层与沉降变形的验算。指出了施工中应注意的事项和应通过的质量检验项目，并通过工程实例进行了验证。     

佛山市中心组团桥梁群对河道影响的数值分析

在不同频率流量和阻水程度条件下,采用一维明渠非恒定流网河数学模型,分析规划中的佛山市桥梁群对区间河道洪季行洪、枯季水环境的影响,计算洪季不同频率洪峰流量下规划桥梁群对区间河道行洪洪水位、分流比的影响,枯季时规划桥梁群对区间河道过流量、分流比的影响,结果表明,利用一维网河数学模型计算佛山市中心组团规划桥梁群对区间河道断面平均水位、流量和流速的影响,结果有足够的数值精度,是可信的。     

主跨348m+348m三塔单索面PC梁斜拉桥

宜昌市夷陵长江大桥采用三塔斜拉桥，总体布置为(128．08 348 348 120．35)m。介绍了该桥的合理性及结构特点。     

CRC计算方法的研究

本文丛面地介绍了ＣＲＣ的基本原理和计算方法，并给出了编程实例。     

The formalization and analysis of a communications protocol

The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench.     

Neural networks for contract bridge bidding

The objective of this study is to explore the possibility of capturing the reasoning process used in bidding a hand in a bridge game by an artificial neural network. We show that a multilayer feedforward neural network can be trained to learn to make an opening bid with a new hand. The game of bridge, like many other games used in artificial intelligence, can easily be represented in a machine. But, unlike most games used in artificial intelligence, bridge uses subtle reasoning over and above the agreed conventional system, to make a bid from the pattern of a given hand. Although it is difficult for a player to spell out the precise reasoning process he uses, we find that a neural network can indeed capture it. We demonstrate the results for the case of one-level opening bids, and discuss the need for a hierarchical architecture to deal with bids at all levels.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

铝电解多功能天车轨道接头磨损的机理分析

分析铝电解多功能天车轨道接头的受力情况、轮轨磨损机理和现场采集的数据照片,指出轨道经过碾压后的硬度变化以及氧化铝灰对天车轨道接头磨损的影响,提出相应措施.     

桥梁颤振气动导数识别的迭代法

本文提出一种利用自由振动响应通过年顿－拉夫逊迭代同时识别出桥梁全部8个颤振气动导的方法。此法具有对迭代初值要求不高，识别结果稳定的特点，并具有一定的抗噪声干扰能力。数字仿真与实物试验结果表明本文方法有效，可行。