超声反射波法检测水泥混凝土板厚度的研究

为实现超声平测法反射波起跳点的识别,采用两阶段法予以实现.通过分析声波的传播特性,应用数学分析方法排除表面波、横波的干扰,通过预估检测结构面的厚度,判断反射纵波到达的大致范围,结合波形分析,确定反射纵波的到达时间点.在此基础上,考虑到尺寸效应,在实验室模拟研究进行了验证.应用该方法可以较好的实现水泥混凝土板厚度的检测.     

智能立体停车系统的设计

从立体车库的框架结构、控制系统、管理软件这3个方面介绍,设计并开发出一套适用的智能立体停车系统的原型。实现了停取车过程的智能化。     

Bit stream oriented enumeration tree pruning algorithm

Packet analysis is very important in our digital life. But what protocol analyzers can do is limited because they can only process data in determined format. This paper puts forward a solution to decode raw data in an unknown format. It is certain that data can be cut into packets because there are usually characteristic bit sequences in packet headers. The key to solve the problem is how to find out those characteristic sequences. We present an efficient way of bit sequence enumeration. Both Aho-Corasick (AC) algorithm and data mining method are used to reduce the cost of the process.     

External equality and absolute equality coincide in finite CCS and <Emphasis Type="Italic">π</Emphasis> calculus without summation

External equality and absolute equality are defined model independently by Fu. It is interesting and important to know whether these two equalities coincide or not. There are some results in Fu’s paper for this issue. It is relatively easy to prove the coincidence if the summation operator is in the language, otherwise it is harder. In fact Fu proposed it as an open problem whether the two equalities coincide in some languages without summation. In this paper, the proofs of the coincidence in finite CCS and π calculus without summation are given.     

库水位等速下降中均质库岸塌岸现象试验研究

为研究库水位等速下降过程中均质水库岸坡的塌岸现象及岸坡内浸润线的变化特点,以取自三峡库区的含黏粒粉砂为主要试验土料,对建立的4个不同结构的均质岸坡模型进行了7种不同速率的水位下降试验.试验结果表明,库水位下降速率越大,均质水库岸坡的塌岸现象越易发生,但库水位下降速率的大小并不与塌岸现象的严重程度成正相关关系;试验测得浸...     

冷冻法在开挖隧道联络通道中的应用研究

目前,随着中国各大城市建造地铁的火热进行,隧道施工的工艺也在不断提高。地铁区间联络通道由于受空间限制,其施工相当有难度。冷冻法因具有实用性强、效果好、保护环境等优点,已经成为联络通道主要的施工方法。通过工程实例,研究冷冻法在开挖隧道联络通道中应用以及其在区间联络通道施工中的一些注意事项,可为类似工程提供一定程度上的借鉴。     

高速公路改扩建工程交通组织

不中断交通进行扩建施工是目前高速公路扩建工程的一大特点,对其改扩建期间交通组织的原则进行全面分析,并就两种交通组织方案分别予以阐述,对高速公路改扩建期间的交通组织可起到参考作用。     

济青高速公路沥青路面维修后车辙深度数值模拟

依托济青高速公路,用ABAQUS有限元分析软件对车辙深度进行数值模拟,结果表明计算和实测的车辙深度基本吻合;分析得出了轴次、沥青面层铣刨重铺厚度、车辙深度三者之间的数学模型以及沥青路面维修后车辙最小的最优方案。     

热压烧结制备无粘结剂碳化钨硬质合金

利用球磨过程细化WC粉体颗粒,采用热压烧结的方法制备了具有较高硬度的无粘结剂WC硬质合金.扫描电镜观察结果表明,球磨后WC粉体颗粒明显变细,经热压烧结后形成组织致密的硬质合金,样品的显微硬度已经达到2294 HV;X-射线分析结果表明,热压烧结过程中,WC没有发生氧化脱碳现象.球磨处理使原始WC粉体颗粒积聚了很高的表面能和较大的畸变能,有利于烧结过程中WC粉末颗粒间冶金结合的形成.     

国产CBTC系统安全认证模式探索

轨道交通系统作为大容量公共交通工具,其安全性直接关系到广大乘客的生命安全．为了保证轨道交通系统的运行安全性,系统必须在其投入运行之前进行安全认证,只有取得相应的安全授权才能投入运行．结合北京轨道交通亦庄线示范工程中信号系统的安全认证过程,探讨适合我们国家的地铁建设过程中的安全认证模式,在应用国际安全标准的同时,必须结合我们国家的实际情况开展相关的研究工作,从产品研发和工程实施全生命周期各个阶段进行安全分析和设计,把风险控制到可以接受的水平以下．