船用起重机电气改造

本文对工程船起重机的电控系统的现状进行了介绍和分析,针对目前的系统配置和使用过程中存在的问题,提出了采用交流变频电控系统的改造方案,阐述了系统的配置及设备的选型。通过改造,提升了系统操控性和可靠性。     

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

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

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

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

基于可拓决策理论的城市交通状态识别研究

针对交通状态识别问题,提出了基于可拓决策理论的解决方法,选择适当的交通流特征因素,建立了待识别交通模式的经典域物元及节域物元模型,并从交通流参数的测量值标准化和交通状态的不确定性特点出发,采用隶属度的表示方法来对所选择的特征参数加以映射,应用各特征参数对于4种模式的隶属度来确定经典域及节域的具体区间,通过建立关联函数计算关联度得到定量的交通模式评价结果.     

智能立体停车系统的设计

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

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

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

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

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

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

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