Human and bicycle detection system using range sensor

This paper presents a full-scale solution to the detection of the traffic data using laser device. Range images, gathered by a particular laser camera, are used in the multi-threshold segmentation. The multi-threshold segmentation is based on the height of the moving objects. In order to get the precise height of the moving objects, mapping of the original terrain is performed on the first step. On each layer, the clustering algorithm called iteration-self organizing data analysis techniques algorithm (ISODATA) is conducted afterwards. Kalman filtering technique is applied to recognize and track the moving objects. Extensive experiments show that these algorithms are effective in object recognition and tracking, as well as robust in the applications.     

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.     

可拓学方法在城市公交服务质量评价中的应用

城市公共交通是城市子系统中最为复杂的系统之一,应用可拓学理论方法,在可拓集合理论及物元理论基础上,利用公交系统服务质量等级分类和评价公交性能指标隶属度,构造经典物元及节域物元,建立公交系统服务质量等级的可拓模型,将公交服务质量评价中的定性指标转化为定量指标,从而可以较准确地反映公交服务质量的服务水平,最后举例表明可拓学理论方法能较真实地反映城市公共交通的服务情况。     

基于部分随机用户平衡的可靠性网络设计

为减少交通事故导致的路网性能不确定性,基于部分随机用户平衡描述交通事故影响下的路网状态,建立了可靠性网络设计问题的双层规划模型.上层模型将期望总行程时间作为路网可靠性指标,并将其与投资费用的加权和作为优化目标;下层模型综合考虑出行者信息的不完备以及交通事故影响的局部性,扩展了部分用户平衡模型,描述交通事故发生时的交通流模式.用基于蒙特卡洛模拟的遗传算法求解模型.算例表明:与已有确定性网络设计方法相比,本文方案鲁棒性更好,在需求水平为100、150和200辆/h时,社会成本平均增加了18%,社会成本的增加率随交通需求的增加而减少.     

农村公路网等级结构灰色多目标优化模型研究

通过分析当前农村公路网等级结构确定方法,指出路网等级结构确定方法中优化目标的优先顺序以及在约束条件下的技术系数和资源约束都存在灰度的问题.运用灰色系统理论原理,构建了农村公路网等级结构灰色多目标优化模型.该模型使公路网规划者在农村公路网等级结构确定存在灰度的情况下,得到满意可行的结论.     

304不锈钢在混合菌种共同作用下的腐蚀行为

利用间歇式方法培养海水中硫酸盐还原菌和需钠弧菌,采用自腐蚀电位、极化曲线、冷场扫描电镜观察等方法,研究了304不锈钢在硫酸盐还原菌和需钠弧菌共同作用下的腐蚀电化学行为,分析了东海中的微生物腐蚀特征和机理.结果表明:硫酸盐还原菌和需钠弧菌在混合培养过程中相互促进生长,在混合微生物介质中的腐蚀速率大于在单一微生物中的腐蚀速率;混合微生物的共同作用使微生物膜加大加厚以及产生更多的腐蚀产物和代谢物,加速了不锈钢钝化膜的溶解,进而加速了304不锈钢表面的点蚀.     

带有压力补偿模块的容积式阀位指示器

文章分析了造成容积式阀位指示器在船舶液压阀门遥控系统中应用产生误差的因素,介绍了一种新颖的带有压力补偿模块的容积式阀位指示器.这种阀位指示器可在系统工作压力高、控制管路长的工况下有效提高阀位指示器的测量精度,可广泛应用于大型船舶液压阀门遥控系统.     

DAT温拌沥青混合料压实特性分析

为研究温拌混合料的压实特性,利用旋转压实仪(SGC)成型不同温度下的温拌混合料试件,并与热拌混合料试件空隙率与压实曲线变化趋势进行对比分析。试验结果表明,温拌混合料在压实温度为145℃时能满足相应的空隙率要求,并且能够达到与热拌混合料相同的压实效果。     

承台-群桩结构波浪力理论分析

目前桥梁基础的波浪力计算大多采用数值模拟的方式进行研究,但数值模拟存在计算成本高、耗时长等缺点。因此基于线性势流理论首次推导了承台-群桩结构的波浪绕射作用计算公式,求解得到了承台波浪力的半解析解。首先将承台-群桩结构简化为上层穿出水面、下层嵌入水底的双层多柱体结构,其中上层单柱体代表承台,下层多柱体代表群桩。然后将计算域划分为承台外侧和下侧2个子域,子域间的交界面函数通过傅里叶级数处理,通过匹配特征函数展开法对每一个子域的速度势函数进行求解,最终得到承台表面波浪力。在进行解的收敛性分析和与边界元软件进行大量的对比验证后,分析了桩半径和承台高度对承台表面波浪力的影响。研究发现：在小波数范围内,承台表面的量纲一的波浪力会随着群桩的存在而增大,并随着桩半径的增加而进一步增大;同时承台高度的增加会首先对波浪力的增加有促进作用,但在承台高度达到某一临界值后,承台量纲一的波浪力将会减小。首次基于势流理论推导的双层多柱体波浪作用的理论公式,为承台-群桩结构表面波浪力的求解提出了一种新的半解析方法,相较于数值模拟,其能在保证结果准确性的同时,也能使得计算更加方便快捷、成本低廉,为之后波浪作用理论的进一步完善提供有力支撑。     

满足IGC规则的燃气日用系统应用研究

船双燃料主机和发电机在利用LNG这种清洁能源作为燃料时,能够满足IMO对氮氧化物（NOX）和硫化物（SOX排放的要求,并能够减少二氧化碳（CO2）和颗粒物的排放。如何能够确保安全使用LNG作为燃料是该文对燃气日用系统应用研究的主要目的,也是《国际散装运输液化气体船舶构造和设备规则》（IGC规则）的主要要求。文中介绍了某LNG加注船中1台主机和2台发电机共用1套燃气日用系统的设计方案,在IGC规则要求的燃气主阀设计、通风流量计算、危险区设置等方面进行计算研究和分析,总结出满足IGC规则的1个燃气主阀用于多个设备的燃气日用系统的设计要求,优化了系统设计,并满足了IGC规则的安全使用LNG燃料的要求。