6月份全国主要港口运行综述

6月份港口生产经营继续保持好的发展势头,货物吞吐量、外贸吞吐量、集装箱吞吐量等主要经济指标仍然保持稳步增长。一、港口货物吞吐量继续保持增长1～6月,全国规模以上港口累计完成货物吞吐量219625万吨,同比增长18.4%。其中沿海港口完成164092万吨,同比增长17.6%;内河港口完成55533万吨,同比增长20.9%。6月份,全国规模以上港口完成货物吞吐量38034万吨,其中沿海港口完成28251万吨,内河港口完成9784万吨。二、旅客吞吐量略有下降1～6月,全国规模以上港口累计完成旅客吞吐量4221万人,同比下降2.1%。其中沿海港口完成3617万人,同比增长1.5%;…     

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

港口生产经营继续保持好的发展势头,货物吞吐量,外贸吞吐量,集装箱吞吐量等主要经济指标均实现高速增长。4月份,全国主要港口完成货物吞吐量32012万吨,同比去年增长21%,其中沿海主要港口完成23977万吨,同比去年增长20%;内河主要港口完成8035万吨同比去年增长22%,本月增长趋势平稳。     

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

上半年各主要港口体制改革基本到位，虽遇国民经济宏观调控，港口生产经营仍保持好的发展势头，货物吞吐量，外贸吞吐量、集装箱吞吐量等主要经济指标均实现高速增长。     

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

上半年各主要港口体制改革基本到位,虽遇国民经济宏观调控,港口生产经营仍保持好的发展势头,货物吞吐量、外贸吞吐量、集装箱吞吐量等主要经济指标均实现高速增长.     

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

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

基于PLSA和SVM的道岔故障特征提取与诊断方法研究

铁路局和电务段长期以来保留的道岔故障记录是非常宝贵的数据,对道岔故障类型统计、故障特征分析、故障诊断和故障预测有非常好的参考作用,但这些数据往往保存格式多样,难以直接利用。本文提出基于主题模型PLSA和支持向量机SVM的道岔设备故障特征提取与诊断方法。通过分词算法将故障文档表达在词项特征空间中;采用主题模型算法提取主题特征,并将故障文档表达在主题特征空间上;以SVM算法构造诊断器实现道岔设备的故障诊断。利用中国铁路广州局集团有限公司道岔故障记录的真实数据,对提出的算法有效性进行验证。实验表明,提出的算法能有效实现道岔设备故障诊断,对现场维护有一定的指导意义。     

城市轨道交通信号系统信息安全风险辨识

从城市轨道交通信息安全面临的严峻形势出发,介绍城轨交通信号系统组成,并对信号系统各子系统功能进行阐述。城轨交通信号系统是保证列车安全、准点、高密度运行的重要技术装备,主要由列车自动监控子系统、列车自动防护子系统、列车自动运行子系统、联锁子系统组成。根据信息安全风险分析模型,识别城轨交通信号系统信息安全的威胁来源及核心资产。由于城轨交通系统属于工业控制系统的典型系统,城轨信号系统则具备工控系统的一般性特点,继承工控系统的脆弱性。针对国内城轨交通信息安全研究的空白之处,结合工控系统不同层级结构的脆弱性,从技术和管理两个方面进行信号系统的信息安全风险辨识,通过分析发现存在物理安全、网络安全、主机安全和应用安全等层次上的风险。风险辨识结果反映出城轨交通信息安全存在大量的薄弱环节,以期为日后的研究和防护工作的开展打下基础。