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

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

智能立体停车系统的设计

从立体车库的框架结构、控制系统、管理软件这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.     

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

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

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

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

随机利率下的外汇欧式期权定价

在随机利率情况下,利用鞅方法研究了外汇欧式期权的定价问题,得到了欧式期权(看涨和看跌)价格的解析表达式,及其评价关系.文中考虑了期权的对冲问题及本国和外国利率波动的非零相关性,本国和外国利率波动对汇率波动的影响.     

VxWorks环境下socket的实现

介绍了TCP/IP模型下socket的实现过程,详细阐述了socket接口所提供的常用函数及其使用方法,解决了嵌入式系统同PC或工作站之间的网络通信问题,并给出一种基于VxWorks操作系统的TCP服务器端的实现方法。     

船舶科研测试设备在远洋教学实习船中的应用

远洋教学实习船是在大连海事大学提出建成“世界一流高等航海学府”的目标基础上建成的,专供航海学员航行实习的船舶。结合远洋教学实习船的详细设计,搭建“数字船舶”的测试平台。简要介绍了为其配备的先进船舶科研设备的功能和应用。该船为今后数字化信息化航海技术工作者的学习与探索提供了经验及资料数据。     

爆炸作用下钢绞线斜拉索破坏模式和剩余承载性能试验

为研究爆炸荷载作用下斜拉桥钢绞线斜拉索的破坏模式和剩余承载性能,开展了8根15.7-7钢绞线斜拉索试件的野外爆炸试验以及爆炸损伤钢绞线的静力轴向拉伸试验,得到了钢绞线斜拉索在接触爆炸及近距离爆炸作用下的破坏形态和损伤钢绞线的剩余承载力;并根据断丝数量和承载力损失定量比较了高密度聚乙烯护套(HDPE)、单层钢管护套(SST)、双层钢管护套(DST)以及泡沫铝夹层钢管护套(FAFST)4种不同防护措施的抗爆防护效果。研究结果表明：在接触/近距离爆炸作用下,钢绞线斜拉索的损伤破坏主要表现为正对爆炸作用区域部分钢丝断裂和局部横向变形;采用FAFST防护可以有效地改善钢绞线斜拉索的破坏程度,HDPE防护效果有限;相较于无防护的祼索,SST与DST防护反而加剧了斜拉索试件的损伤程度;爆炸损伤钢绞线的剩余承载力与剩余钢丝数量成正比。基于试验结果和回归分析方法,提出了爆炸损伤钢绞线斜拉索剩余承载力评估的实用公式,可以在爆炸灾害后根据钢绞线断丝破坏情况,快速评估斜拉索的剩余承载能力。