智能立体停车系统的设计

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

都市圈产业结构与空间结构演化的互动关系及协调机理研究

都市圈产业结构演化表现为在发展过程中产业的内容和结构不断自我更新,向高级化和合理化演进。都市圈空间结构演化包括规模结构、地域结构和职能结构三方面的内容。本文从系统论的角度证明了都市圈产业结构演化和城市空间结构演变是一个互相促进、有着明显耦合性和协同性的协调发展系统,总结出系统演化的内部协调机理。     

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

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

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

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

一种自适应正则化参数和模数的图像去卷积方法

自适应正则化方法是解决图像去卷积问题中平滑噪声和保持边缘矛盾的一种方法,传统的自适应正则化方法只考虑到图像的整体信息而忽略了图像内部不同区域的细节信息,本文提出的自适应正则化方法,利用Katsaggelos自适应正则化参数,自适应的改变正则化参数,并通过图像内部不同区域的信息自适应改变正则化模数矩阵．从而实现了平滑噪声和保持边缘的平衡,既保持了边缘又抑制了噪声,取得了更好的去卷积效果．     

基于MATLAB的高速公路计重收费基本费率确定方法

随着高速公路计重收费的实施,如何合理确定计重收费的基本费率也成为重点研究的问题。通过采集样本数据,提出基于MATLAB的三次样条插值确定计重收费基本费率的方法,并建立确定基本费率的计算模型,以供同行参考和借鉴。     

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

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

VxWorks环境下socket的实现

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