全国主要港口运行综述

1～9月份我国港口货物吞吐量继续小幅增长，其中内贸货物吞吐量9月完成42625万吨，同比增长16．7％。增长比较明显。港口生产形势继续保持积极变化态势。     

角色访问控制在列车移动补票系统中的应用

基于角色的访问控制(RBAC)是一种方便、安全、高效的访问控制机制.文章概述访问控制的基本思想,分析基于角色的访问控制的基本模型和特点,介绍RBAC在列车移动补票系统的应用情况.     

2005年4月份全国主要港口运行综述

港口生产经营继续保持好的发展势头,货物吞吐量、外贸吞吐量、集装箱吞吐量等主要经济指标均实现高速增长.     

基于UML2.0活动图的车载设备测试用例生成方法研究

重点研究基于UML2.0活动图的CTCS-2级车载设备测试用例生成方法.介绍车载设备的构成和功能,对活动图进行形式化定义,阐述测试用例的设计,包括车载设备活动图建模规则、测试用例的形式化定义、测试覆盖准则的定义、基于深度优先搜索并且带回溯的遍历算法的测试场景生成,以及测试用例的生成算法,最后实现了测试用例生成.     

智能视频分析在乘客拥挤检测方面的应用

本文以轨道交通中普遍存在的乘客拥挤问题为例,简述智能视频分析系统在轨道交通中的实现过程.智能视频分析技术是轨道交通系统运营管理及公共安全保障的重要部分,也是处理轨道交通突发事件及防范恶性事件的必要手段.它能帮助工作人员进行安全监控,尽可能地避免各类突发事件的发生,在事发后迅速做出反应,并根据视频记录提取各类证据.     

基于XML的时间自动机状态可达性分析在RBC子系统中的应用

时间自动机中的状态可达性分析是模型建立完成之后的一个重要验证工作,大多数时间自动机建模工具均为非开源代码,不能与实际系统进行有机的结合.本文以CTCS-3中的无线闭塞中心(RBC)[1]为实际系统,提出基于XML的时间自动机状态可达性分析[2],实现了建模工具与实际测试平台不同开发环境下的数据交互,为完善整个测试平台在理论方法与实际应用相结合方面提出一个较为可行的方法.     

全国主要港口

2011年7月份,我同港口生产经营形势稳定,货物吞吐量、外贸吞吐量、集装箱吞吐量等主要指标同比均实现较快增长.     

全国主要港口运行综述

10月,港口生产经营情况稳定,货物吞吐量、外贸吞吐量、集装箱吞吐量等主要指标同比较快增长。     

高速铁路列车运行控制系统车载设备安全性设计

在分析安全性、可靠性关系基础上,讨论了高速铁路列车运行控制系统车载设备的安全性设计及电磁兼容性设计。     

北京地铁双超列车运行图编制方法

为研究疫情期间北京地铁"超常"条件下的"超强"运行图编制方法,根据"双超"运行图编制流程提出一种面向车厢低满载率的双层规划优化模型.上层模型基于客流的时空分布规律优化列车的开行方案;下层模型优化列车运行图中全周转运行时分,停站时分,运行时分,折返时分等要素.双层规划模型转化为线性模型并用CPLEX软件通过迭代算法求解"...