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长短后悬低入口城市客车.     

浅谈船舶建造成本的控制

成本控制已经成为企业生存和发展的重要环节,也是使企业在竞争中保持领先优势的关键因素,成本控制效果的好坏直接影响到企业的利润。本文通过阐述成本控制的含义,分析造船企业成本控制中存在的问题,并提出改进建议。     

舰机协同反潜导航问题研究

文章从目前舰机协同反潜中存在的导航精度不高和抗干扰性差的问题出发,分析了影响反潜导航的因素,提出了应用舰艇编队雷达组网方法提高导航能力的思路。     

Jotun COSCO:Being the Forerunner of Conventions

With the gradual implementation and promotion of the new coating standard PSPC, IMO has already meant to expand the PSPC application scope from ballast tanks to void tanks and cargo oil tanks. Lately, Maritime Safety Committee MSC87 approved the standard and the draft, which made     

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

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

车辆无线电遥控装置自适应波特率的设计和实现

本文介绍了车辆无线电遥控装置自适应波特率的设计和实现,该无线电遥控装置实现了软件自适应修正波特率偏差从而减小无线电遥控装置引入的系统误差和相邻信道的无线电干扰,提高了装置的稳定性,扩大了遥控装置的工作范围。     

桥墩盖梁加固设计与施工探讨

以实际工程为背景，探讨了体外预应力加固桥墩盖梁的方法，经过优化设计采用钢锚梁进行预应力锚固。介绍了钢锚梁的具体构造，采用土木仿真有限元软件模拟分析，对盖梁混凝土承载能力、正常使用和持久状况应力、钢锚梁强度和稳定性进行研究，研究结果验证了加固措施的合理性，探讨了加固施工工艺。     

南宁市交通管理和控制系统优化方案分析工具的建立

交通仿真是采用计算机数字模型来反映复杂的交通现象,对交通运动随时间和空间的变化进行跟踪描述和分析。不同精度的交通仿真模型有不同的优缺点,要客观的评估城市的交通管理和控制系统优化措施,应将不同精度的模型配合,作为分析工具。本次研究采用中宏观的SATURN作为主导模型,对南宁市的宏观的交通进行整体分析,以及对不同交通改善方案进行评估。选用TSIS、SYNCHRO交通仿真软件作为辅助的交通分析工具,对局部地区的交通及信号配时作较为具体的分析,以利于本研究针对各种建议方案进行客观性的整合分析与应用。