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.     

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.     

推动现代物流信息化建设,加快徐州港集团转型发展

为了将徐州港建成京杭运河物流中心,必须进一步推动现代物流信息化建设,形成更加适应未来港口现代物流发展的企业信息与管理运行机制。同时,加强物流信息的整合,构筑港口物流服务与交易平台。只有加强管理,才能有效提高徐州港的集疏运能力和服务水平,提升港口竞争力。     

驾驶员夜间行车视觉增强新技术

针对驾驶员在高速公路夜间和恶劣天气下行车,由于光照条件降低导致驾驶员视觉受限,对路面距离识别和感知速度降低,一旦车速过高极易发生危险造成重大事故等情况,介绍了一套新型主动发光警示诱导系统,详细阐述了其工作原理和系统架构,并通过现场试验证明所开发的系统能够主动对驾驶员在夜间行驶过程中进行警示诱导,有效地增强了人眼的视觉,减低事故发生的概率.     

8m长低入口城市客车的开发

国内已开发出多种11-12m长的低入口城市客车,而市场需求量大的8m长低入口城市客车还是空白.本文应用轮顶悬架前桥及短后悬结构专利技术,成功开发出低成本的8m长短后悬低入口城市客车.     

城市立交曲线钢箱梁顶推安装技术

青岛海湾大桥连接线工程重庆路互通式立交由于其所处地形和吊装作业高度受限,无法进行常规吊装作业,故改为顶推安装施工.重庆路互通式立交的钢箱梁为小半径平曲线和小半径竖曲线相结合的空间曲线形桥梁,该类桥型采用顶推方法作业需解决若干技术难点.介绍此类复杂立交钢箱梁顶推施工采用的各项技术措施,供类似工程施工参考.     

优秀传统文化融入高职学生思政教育路径研究

中华优秀传统文化有着深厚的思想政治教育资源，为思想政治教育提供了价值基础，是新时代提升高职学生综合素质的必然需求，是坚定文化自信的有效路径。通过分析中华优秀传统文化融入高职思想政治教育的现实困境，提出加强中华优秀传统文化课程建设；坚持第二课堂品牌育人工程；发挥社团育人功效，拓展思政教育载体；建设实践育人基地，提升育人亲和力；发挥新媒体育人作用，提升育人实效等路径，使传统文化与思想政治教育双向融合，培养高职学生的文化自信，促进德智体美劳综合素质的全面发展。     

舰船物资转运方案计算机辅助决策算法研究

瞬息万变的现代战场对大中型水面战斗舰船甲板物资转运的效率提出越来越高的要求。引入计算机辅助决策技术,在考虑多种牵制因素的情况下,快速获得最优的物资转运方案。详细分析和阐述舰船物资转运线路规划、时间计算、作业排序以及资源配班等4个主要问题的计算机解决方法,为利用计算机辅助制定最优物资转运方案提供可行途径。     

Color image segmentation by edge linking and region grouping

A novel method toward color image segmentation is proposed based on edge linking and region grouping. Firstly, the edges extracted by the Canny detector are linked to form regions. Each of the end points of edges is connected by a direct line to the nearest pixel on another edge segment within a sub-window. A new distance is defined based on the feature that the edge tends to preserve its original direction. By sampling the lines to the image, the image is over-segmented to labeled regions. Secondly, the labeled regions are grouped both locally and globally. A decision tree is constructed to decide the importance of properties that affect the merging procedure. Finally, the result is refined by user’s selection of regions that compose the desired object. Experiments show that the method can effectively segment the object and is much faster than the state-of-the-art color image segmentation methods.     

基于元胞理论的船厂码头移泊作业问题算法

为了解决大规模船厂的码头移泊作业问题，基于船舶移动路径具有过程演进的特性，建立了码头移泊作业问题的元胞数学模型。按照问题元胞模型的演进特性和演变规则，采用蚁群智能算法来对模型进行求解，并论证了该算法的收敛性。通过实例计算，其结果与船厂实际操作安排进行比较和分析，验证了该算法的有效性和优越性。