半潜式支持平台靠泊海洋生产平台碰撞概率建模

为有效解决深水半潜式支持平台靠泊海洋生产平台过程中存在的碰撞问题,从碰撞事故发生原因入手,借鉴挪威船级社(Det Norske Veritas,DNV)DNV-RP-107规范中的船与海洋平台碰撞概率模型和美国公路与运输协会(American Association of State Highway and Transportation Officials,AASHTO)《美国公路桥梁防船撞设计指南》中的船桥碰撞概率模型,将支持平台发生向前的过分偏移引起的碰撞场景分为漂移碰撞和动力碰撞2种,建立事件树,得到支持平台靠泊海洋生产平台碰撞概率模型。在此基础上,估算支持平台靠泊碰撞海洋生产平台的概率,由此评估碰撞风险,为半潜式支持平台靠泊碰撞海洋生产平台场景下的相关规范制定提供参考。     

舰载作战指挥系统软件构件库技术研究(续三):检索和管理

软件构件的检索和管理是软件构件库技术的两个必要方面。重点分析了舰载作战指挥系统软件构件库的检索技术，包括基于关键词的软件构件检索、基于刻面的软件构件检索以及软件构件全文检索。     

舰载作战指挥系统软件构件库技术研究(续一):体系结构

舰载作战指挥系统是一个复杂的信息收集、处理与控制系统，它的开发和研制面临着具体需求不确定、技术环境快速变化等诸多问题。为了实现其软件的模块化、通用化和系列化，提高舰载作战指挥系统软件的研制效率和质量以及软件的标准化程度，其软件构件库的研制是一个关键环节，通过对一般软件构件库技术和舰载作战指挥系统的具体分析，给出了舰载作战指挥系统软件构件库的体系结构。     

A scenario on the evolving road service informatics in Europe

Road Transport Informatics is being developed to improve road transport. Telecommunication links will connect microcomputers in vehicles with roadside beacons and traffic control centers. Drivers can get better information and guidance en route. If these functions are charged as services rather than sold as products, a better traffic can be obtained. This can improve traffic safety, efficiency and the environment.     

城市轨道交通BIM项目协同平台应用研究

从轨道交通项目实际应用需求出发,设计BIM项目协同平台的网络架构以及各大功能模块,包括文档管理模块、流程管理模块、设施设备构件库模块以及数据校验模块,并依托上海市轨道交通在建项目,验证平台应用的可行性及价值,提高轨道交通项目建设管理的质量和效率。     

Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions

The Traffic Alert and Collision Avoidance System (TCAS) is a world-wide accepted last-resort means of reducing the probability and frequency of mid-air collisions between aircraft. Unfortunately, it is widely known that in congested airspace, the use of the TCAS may actually lead to induced collisions. Therefore, further research regarding TCAS logic is required. In this paper, an encounter model is formalised to identify all of the potential collision scenarios that can be induced by a resolution advisory that was generated previously by the TCAS without considering the downstream consequences in the surrounding traffic. The existing encounter models focus on checking and validating the potential collisions between trajectories of a specific scenario. In contrast, the innovative approach described in this paper concentrates on quantitative analysis of the different induced collision scenarios that could be reached for a given initial trajectory and a rough specification of the surrounding traffic. This approach provides valuable information at the operational level. Furthermore, the proposed encounter model can be used as a test-bed to evaluate future TCAS logic changes to mitigate potential induced collisions in hot spot volumes. In addition, the encounter model is described by means of the coloured Petri net (CPN) formalism. The resulting state space provides a deep understanding of the cause-and-effect relationship that each TCAS action proposed to avoid an actual collision with a potential new collision in the surrounding traffic. Quantitative simulation results are conducted to validate the proposed encounter model, and the resulting collision scenarios are summarised as valuable information for future Air Traffic Management (ATM) systems.     

防止高校图书馆电子阅览室功能弱化的对策

高校网络的发展和计算机的普及,弱化了电子阅览室的功能,而高校图书馆信息资源建设和读者服务与用户需求存在着差距,所以高校图书馆应加强特色信息数据库建设,加强区域合作,开展特色服务,是电子阅览室可持续发展的对策。     

论图书馆开架借阅所产生的违章行为及防范措施

文中总结了在读者借阅活动当中出现的各种违章行为,并对其进行了系统的分析;最后,根据分析的结果提出了防范读者借阅违章行为的相应措施。     

浅议绿色图书馆的建设

绿色图书馆的提出、发展及其推广,是社会经济发展到一定阶段的产物。文章从"绿色环境、绿色服务、绿色馆藏、绿色管理"四个方面探讨了如何将图书馆创建成一个绿色的图书馆。     

港口岸线环境补偿人工沙滩工程理论与实践

依托港口岸线建设环境补偿人工沙滩工程是践行国家生态文明建设战略,实现港、城一体化发展的有益举措。针对人工沙滩建设中的理论和关键技术问题,通过自主研发,取得以下主要创新性成果:1)发展了沙、泥并存下沙滩动力地貌学基础理论;2)形成先进的数值、物理模拟技术;3)提出适用于各种复杂泥沙环境下的人工沙滩设计原则;4)研发了人工沙滩防侵蚀、防泥化的整治与养护措施。研究成果已成功应用于不同复杂泥沙环境下的实际沙滩工程中,实现了良好的经济、社会和生态环境效益,具有广阔的推广应用前景。