面向驾驶模拟器的高等级公路三维视景建模与实现

随着汽车驾驶模拟器在道路交通仿真中的广泛应用,驾驶员对视景的逼真度也相应地提出了较高的要求。视景仿真系统作为模拟器的一个子系统,其逼真度和实时的动态显示是影响道路交通仿真的关键因素。文中介绍了高等级公路三维视景的建模过程、实现方法,以及地形的简化技术。设计成果表明,这种方法对于利用驾驶模拟器进行道路交通仿真等方面的研究是可行的。     

考虑泥沙淤积的三峡水库9月分旬控制水位研究

采用9月分旬蓄水的方式,可以较好地应对三峡水库汛后提前蓄水时特大洪水的可能威胁。但随着水库运用时间的增加,泥沙淤积将造成大量库容损失,9月分旬控制水位确定时必须要考虑泥沙淤积的影响。本文通过水库泥沙淤积计算,考虑了泥沙淤积造成的库容损失,对三峡水库9月分旬控制水位进行了深入研究。结果表明,与不考虑泥沙淤积情况下的控制水位相比,考虑泥沙淤积的9月分旬控制水位进一步降低了可能的防洪风险,同时,虽然水库发电效益也略有减小,但影响不大。     

电力补偿系统在轮胎式集装箱门式起重机上的应用

目前大部分轮胎式集装箱门式起重机都是由发动机-发电机组提供电能,其电力系统为独立系统,不与电网相连,多余的电能不能回馈给电网.起重机在装卸作业时,起升、大车、小车三大机构的拖动电动机都有工作在制动状态的情况.     

变频调速技术应用的经验

介绍变频调速技术的特点,以及在港口装卸设备电气传动控制系统改造中选择和应用变频器的技巧和经验.     

设置导流岛的信号交叉口交通流特性研究

应用统计推理方法分析设置导流岛后信号交叉口交通流特性.结果表明,设置导流岛后交叉口行人和自行车到达符合泊松分布；行人和自行车分三阶段过街;机非冲突集中在右转车道的人行横道上,机非冲突面大大缩小.     

红色歌谣研究综述

在回顾20世纪80年代中后期以来红色歌谣在历史、文学、传承和人物等领域的研究现状的基础上,提出红色歌谣研究与现实社会生活相互动的方向,实现研究空间拓展,研究方法创新和研究导向的现实介入.     

Collection, spillback, and dissipation in pedestrian evacuation: A network-based method

We present a method of predicting pedestrian route choice behavior and physical congestion during the evacuation of indoor areas with internal obstacles. Under the proposed method, a network is first constructed by discretizing the space into regular hexagonal cells and giving these cells potentials before a modified cell transmission model is employed to predict the evolution of pedestrian flow in the network over time and space. Several properties of this cell transmission model are explored. The method can be used to predict the evolution of pedestrian flow over time and space in indoor areas with internal obstacles and to investigate the collection, spillback, and dissipation behavior of pedestrians passing through a bottleneck. The cell transmission model is further extended to imitate the movements of multiple flows of pedestrians with different destinations. An algorithm based on generalized cell potential is also developed to assign the pedestrian flow.     

抗紫外老化剂对沥青性能的影响

为解决南方湿热地区沥青路面受紫外光老化影响问题，利用紫外老化环境箱和动态剪切流变仪研究老化时间和受阻胺类抗紫外老化卉l】（GW一944）对沥青高温动态力学性能、低温和疲劳性能的影响。试验结果表明：强紫外光降低了沥青疲劳性能和低温性能，改善了抗车辙性能，且随老化时间延长而加剧；受阻胺类抗紫外老化剂（GW-944）能较好地对SBS改性沥青进行抗老化性能改善，且对其性能改善存在合适的掺量范围，适宜掺量为0．5％，而对基质沥青性能改善并不适用。研究成果为沥青路面有效防治紫外光老化提供了技术依据。     

换乘客运中心分类标准探讨

目前换乘客运中心定义及分类标准还存在缺失。鉴于此,阐述了换乘客运中心的概念和内涵,分析了换乘客运中心的功能作用及其与换乘枢纽站场的关系,提出了换乘客运中心的分类及级别标准,可为同行提供一定的参考与借鉴。     

Behavior-consistent service substitutions in dynamic environments

In this paper, a novel approach for service substitutions based on the service type in terms of its interface type and behavior semantics is proposed. In order to analyze and verify behavior-consistent service substitutions in dynamic environments, we first present a formal language to describe services from control-flow perspective, then introduce a type and effect system to infer conservative approximations of all possible behaviors of these services. The service behaviors are represented by concurrent behavior expressions （CBEs）. Built upon the interpretation of CBEs, behavior-consistent service substitutions are defined and analyzed by subtyping technology. The correctness of the analysis approach is guaranteed by type safety theorem, which is mechanically proved in the Coq proof assistant. Finally, applications in web services show that our method is effective and feasible.