全国主要港口

2011年4月份,我国港口生产经营形势稳吐量等主要指标同比均实现较快增长. 港口货物吞吐量增幅度较大 1-4月份,全国规模以上港口完成货物吞吐量285797万吨,同比增长14.4%.其中,沿海港口完成197107万吨,同比增长13.5%;内河港口完成88690万吨,同比增长16.6%.     

全国主要港口运行综述

2月份，港口生产形势依然保持积极回升的态势。港口生产经营情况良好，货物吞吐量、外贸吞吐量、集装箱吞吐量等主要指标同比较大增长。     

全国主要港口

2012年10月份，我国港口生产经营形势稳定，货物吞吐量、外贸吞吐量、集装箱吞吐量等主要指标继续保持增长态势。     

全国主要港口

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

述评 全国主要港口

2012年3月份,我国港口生产经营形势稳定,货物吞吐量、外贸吞吐量、集装箱吞吐量等主要指标继续保持增长态势。 一、港口货物吞吐量增速有所放缓 1-3月份,全国规模以上港口完成货物吞吐量224177万吨,同比增长6．5％。其中,沿海港口完成157992万吨,同比增长8．1％;内河港口完成66184万吨,同比增长3．1％     

沅陵公安营救司机显真情

大卡车撞断护坎后倾覆,司机身受重伤,卡在驾驶室中生命垂危.湖南沅陵县公安民警和消防官兵临危受命,挺身而出,历经近3小时的营救,顺利将伤者救出.     

基于UPPAAL的城市轨道交通CBTC区域控制子系统建模与验证

CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用.在系统研发过程中需对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性.CBTC区域控制子系统是一实时控制系统,它要求控制时间的精确性和控制过程的准确性.本文通过分析城市轨道交通CBTC区域控制子系统的结构,给出满足该子系统安全性的功能和性能要求,并结合时间自动机理论方法提出包含列车、速度距离控制器、区域控制器和多车控制队列的时间自动机网络模型.同时,应用UPPAAL验证工具对CBTC区域控制子系统进行仿真建模,并验证该子系统功能和性能要求,从而保证了系统模型的安全性和受限活性.     

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

1～8月份港口生产经营继续保持好的发展势头，货物吞吐量、外贸吞吐量、集装箱吞吐量等主要经济指标仍然保持稳步增长。     

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

1～6月份港口生产经营继续保持好的发展势头，货物吞．吐量、外贸吞吐量、集装箱吞吐量等主要经济指标仍然保持稳步增长。 一、港口货物吞吐量继续保持增长 今年以来的港口生产延续了近几年来的良好发展势头。     

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

5月份港口生产经营继续保持好的发展势头,货物吞吐量、外贸吞吐量、集装箱吞吐量等主要经济指标仍然保持稳步增长.