基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。     

Research on the high-speed railway catenary systems online real-time testingEI北大核心

Research purposes: Some catenary system vibrated largely after the train since Chinese high-speed railway running, which came from an oral report of one rail worker on duty. Its accurate displacement must be measured in order to solve the problem. The measurement technique based on image has the advantages of non-contact and dynamic which is suitable for unique structure such as catenary system. The computer gets displacement value through analyzing image which may ensure train's safety when on-line test is carrying out. The research not only can be used to analyze the cause of abnormal existing catenary shaking and swaying amplitude, but also can provide the technical support for catenary of electrified railway online real-time test. Research conclusions: (1) The measured amplitude of cantilever, shoulder brace of positive feeder and carrier cable was small relatively and consistent with other normal sections of the whole line. (2) The interaction between catenary and pantograph was the main reason for its vibration, without the coupling effect between up-bound and down-bound. (3) The accurate value of test result indicated that the amplitude of catenary is under the range allowably, which verified the uncertainty of human sense and further clarified the safety hazard. (4) The non-contact measurement technique based on image can get the dynamic real time test data and have simple and convenient operation, which supplies subtle and suitable way for high-speed railway catenary systems real-time on-line test.     

AM12软件电气建模优化方法探讨

本文介绍了我院应用AM12（AVEVA Marine 12）软件进行海洋工程设计的背景及使用情况,分析了现有的电气建模方式与方法,并着重讨论了自主完成的电气建模优化方法与AM12软件电气设计相关的二次开发情况。     

Virtually being there: Human aspects of shore-based ship assistance

Shore-based ship assistance is a topic that increasingly is attracting attention from the maritime community. Subjects such as shore-based pilotage and VTS are often discussed and there is technological and political pressure towards more extensive forms of such assistance. Perhaps less often mentioned, but not less important, is the human side of these subjects. The present paper examines two of the central concerns for the people who actually work within today’s VTS centers, namely communication and trust. The study consisted of a literature review, study visits, observations and interviews. Communication and trust are found to be closely related, and one main finding is that adapting one’s means of communication to the context can be a very powerful (and necessary) tool for the creation of trust. Another important result is that the ability of the shore-based operator to see the situation from the viewpoint of the crew is crucial for the creation and maintenance of trust.     

松花江干流大顶子山航电枢纽工程库区蓄冰处理及枢纽导冰措施研究

通过实地调研、原型观测、现场实验等手段和方法对“水库冰冻对通航的影响问题及降低和消除影响措施已是目前急需解决的关键问题”进行了较系统的研究,提出了水库蓄冰处理及枢纽导冰措施方案,并在工程运行中得到验证,取得了预期的效果。     

Plan implementation in the Florida keys through land acquisition

Abstract

The Florida Keys are an example of a fragile resource threatened by development. The early division of the area into small lots made conventional planning and regulation difficult. This paper describes the creation of a conservancy for the Keys—the history of development, the conditions necessitating a conservancy, and the political wrangling it took to implement the conservancy.     

关于船舶UPS的容量估算

伴随着不间断电源(UPS)技术在船舶以及海洋工程项目中的使用日益广泛,人们对不间断电源技术的了解也日益增加。该文通过实船案例结合理论知识详细介绍UPS的工作方式以及UPS的容量确定、蓄电池容量确认等内容。     

集装箱物联网的应用前景

物联网被称为继计算机、互联网之后世界信息产业的第三次浪潮。[1]2009年温家宝总理基于物联网技术发展提出"感知中国"理念并将其上升为国家战略,美国总统奥巴马也把IBM基于物联网技术提出的"智慧地球"理念上升为国家战略。由此可见,当前许多国家都把发展新兴产业的突破口聚焦     

锂离子电池应用于潜艇动力可行性分析

本文总结了锂离子动力电池特点,分析了潜艇环境对锂离子动力电池提出的要求,立足我国现有锂离子动力电池产业现状,简要梳理了我国锂离子动力电池在潜艇上应用所面临的问题,并得出体积比能量与电池安全性是锂离子动力电池装艇应用需要解决的关键问题的结论.     

Application of genetic algorithms for joint optimization of signal setting parameters and dynamic traffic assignment for the real network data

This paper presents the joint optimization of signal setting parameters and dynamic user equilibrium (DUE) traffic assignment for the congested urban road network. The simulation-based approach is employed to obtain the DUE condition for the case of multiple-origin multiple-destination traffic flows. The dynamic traffic assignment simulation program (DTASP), developed in C language is used to assign the traffic dynamically on the road network, whereas method of successive averages (MSA) is modified and used to arrive at the DUE condition. The artificial intelligence technique of genetic algorithms (GAs) is applied to obtain the optimal signal setting parameters and path flow distribution factor for DUE condition. The methodology developed in such a way that joint optimization of signal setting parameters with DUE is obtained. The proposed method is applied to the real network data of Fort Area of Mumbai city comprising of 17 nodes and 56 unidirectional links with 72 Origin–Destination pairs, where all the 17 nodes are signalized intersections. The traffic flow condition for the optimized signal setting parameters is considerably improved compared to the existing signal settings. The results prove that the GA is an effective technique to solve the joint optimization problem for the real network data.