排序方式: 共有169条查询结果,搜索用时 0 毫秒
91.
94.
95.
96.
燕飞 《中国远洋航务公告》2012,(5):80-80
2012年3月份,我国港口生产经营形势稳定,货物吞吐量、外贸吞吐量、集装箱吞吐量等主要指标继续保持增长态势。
一、港口货物吞吐量增速有所放缓
1-3月份,全国规模以上港口完成货物吞吐量224177万吨,同比增长6.5%。其中,沿海港口完成157992万吨,同比增长8.1%;内河港口完成66184万吨,同比增长3.1% 相似文献
97.
基于UPPAAL的城市轨道交通CBTC区域控制子系统建模与验证 总被引:1,自引:0,他引:1
CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用.在系统研发过程中需对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性.CBTC区域控制子系统是一实时控制系统,它要求控制时间的精确性和控制过程的准确性.本文通过分析城市轨道交通CBTC区域控制子系统的结构,给出满足该子系统安全性的功能和性能要求,并结合时间自动机理论方法提出包含列车、速度距离控制器、区域控制器和多车控制队列的时间自动机网络模型.同时,应用UPPAAL验证工具对CBTC区域控制子系统进行仿真建模,并验证该子系统功能和性能要求,从而保证了系统模型的安全性和受限活性. 相似文献
98.
燕飞 《中国远洋航务公告》2010,(1):80-80
1~11月份我国港口货物吞吐量继续小幅增长,其中内贸货物吞吐量,本月完成40672万吨,同比增长12.5%。港口生产形势依然保持积极变化态势。 相似文献
99.
燕飞 《中国远洋航务公告》2010,(3):80-80
在新的一年里,港口生产形势依然保持积极向上的态势。2010年1月份港口生产经营情况开局良好,货物吞吐量、外贸吞吐量、集装箱吞吐量等主要指标同比大幅增长。其中内贸货物吞吐量本月43404万吨,同比增长30.2%。 相似文献
100.
燕飞 《中国远洋航务公告》2010,(4):82-82
2月份,港口生产形势依然保持积极回升的态势。港口生产经营情况良好,货物吞吐量、外贸吞吐量、集装箱吞吐量等主要指标同比较大增长。 相似文献