2006年3月份全国主要港口运行综述

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

全国主要港口运行综述

1～5月份我国港口外贸吞吐量、集装箱吞吐量等经济指标同比仍有下降，但继续呈收缓趋势，内贸货物吞吐量持续保持增长。     

实时操作系统及其在列车运行控制系统中的应用分析

介绍了嵌入式系统的现状和发展，具体阐述了实时操作系统（RTOS）的特点，描述了实时操作系统的最新发展以及它的应用前景，并探讨了Nucleus在列车运行控制系统中应用的可行性。     

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

7月份港口生产经营继续保持好的发展势头,货物吞吐量、外贸吞吐量、集装箱吞吐量等主要经济指标仍然保持稳步增长。港口货物吞吐量继续保持增长1～7月,全国规模以上港口累计完成货物吞吐量258240万吨,同比增长18.5%。其中沿海港口完成193104万吨,同比增长17.8%;内河港口完成65136万吨,同比增长20.8%。7月份,全国规模以上港口完成货物吞吐量37248万吨,其中沿海港口完成27660万吨,内河港口完成9588万吨。旅客吞吐量略有下降1～7月,全国规模以上港口累计完成旅客吞吐量4940万人,同比下降3.2%。其中沿海港口完成4240万人,同比持平;内河港口完成7…     

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

港口货物吞吐量继续保持增长 8月份,全国主要港口完成货物吞吐量33.081万吨,同比增长18%.其中沿海主要港口完成24.617万吨,同比增长19%;内河主要港口完成8464万吨同比增长16%.     

计算机联锁控制逻辑的模型检验方法

描述了符号化模型检验策略和相应的工具软件SMV,通过该工具验证了铁路计算机联锁控制逻辑的设计符合其安全规范,最后分析了模型检验面临的困难以及今后的努力方向.     

CBTC数据通信系统性能分析模型及应用研究

数据通信系统DCS(Data Communication System)是影响CBTC系统的控制精度、效率和安全性的主要因素,其通信性能的仿真、验证对于CBTC系统的研发和改进有重要意义。本文介绍利用OPNET模拟自主研发的安全通信协议和构建DCS性能仿真研究平台的方法,给出安全通信协议有限状态机模型和可配置的通信子系统节点通用模型,研究平台可用于分析安全协议在整个通信网络上的总体性能。给出利用节点模型建立整个DCS通信网络的算例和网络性能的仿真结果,实验结果表明,通信周期不完全同步可以减小报文时延,网络出现故障后,改变生成树根节点位置使最大报文时延增加近34%。     

基于V模型的ATS软件验证方法研究

轨道交通信号系统必须经过严格的验证才能进入工程应用。以ATS自动列车监控系统软件为例,研究信号系统在生命周期V模型下的验证方法,把开发周期简要划分为需求分析、设计实现、测试验证3个阶段,用以论述验证活动,阐述在产品生命周期各个阶段采用如评审、追溯分析、测试分析等不同验证方法,从而更大程度地保证系统的正确性。说明ATS系统的验证活动是一个庞大的工程,在产品开发生命周期的各个阶段都应执行充分的验证活动,收集足够的客观证据证明产品各个阶段的输出满足需求。     

述评 全国主要港口

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

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

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