天河站便衣组 旅客的“防火墙”——天河客运站便衣组工作侧记

<正>2014年8月10日,广州市公安局便衣侦察支队向天河客运站送来一面"警民携手灭罪、共筑一方平安"的锦旗,感谢天河站便衣组多年来出色的表现,对他们协助警方作战取得的成绩表示肯定。组建2006年起,随着地铁3号线的开通运行,天河站运送客流量增长迅速。据统计现在每天从天河站区域(长途、公交、地铁)进出的客流超过约20万人次。随着客流量增大,天河站及周边治安环境日见     

本刊声明

近年来,学术不端事件时有发生,给科技期刊界造成了极坏的影响,学术诚信已经引起了相关部门的高度重视。为杜绝学术不端行为,净化科研环境,营造公平、公正、严谨、求实的学术交流氛围,履行科技期刊的社会责任与使命,本刊坚决抵制抄袭、     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

美国交通研究学会开始启用新网站

从有人类社会开始，客货运就产生了。起初，人们只是依靠自身力量完成客货运输。随着社会、技术的进步，今天的客货运输方式已非常多元化，常见的有高铁、航空、汽车、管道等。从20世纪50年代起，以芝加哥地区交通研究为代表的四阶段交通模型，     

国际油运市场2017年回顾与2018年展望

2017年全球经济表现乐观,发达经济体整体回暖,主要新兴经济体总体向好,世界经济进入新常态,国际原油市场深度博弈加剧,新能源冲击传统化石能源,油价围绕价值中枢上下波动,油轮运输市场陷入困境。展望2018年,世界经济增长趋强,全球贸易反弹和投资环境改善,但全球经济仍面临风险,在欧佩克"限产协议"和美国页岩油大力发展的博弈下,国际油市能否恢复平衡、国际油价涨跌难测。国际油轮运输市场运价将会继续承压,船东经营局面困难。     

上汽大通创领科技 担当社会责任

11月11日,2012中国国际商用车展在武汉国际博览中心隆重举行。本届车展上,上汽大通以"国际基准,创领科技"为主题,携旗下5款车型亮相,并在车展现场首发新一代专用校车守护星,与之匹配的InteCare行翼通全网智能价值解决方案也在当天正式上线,自此,商用车行业正式迈入全网智能新时代。与此同时,上汽大通VIP高端移动商务车的首次亮相更将其品牌一贯的价值完美呈现。借助中国国际商用车展这一商用车领域最高规格的展示平台,守护星、VIP高端移动商务车及     

该超越的是威权政治,而非激进主义

民族主义、国家主义、自由派、新左派、民粹极端主义,都是近年来在网上流传,热度始终不减的词汇,也是持续引发着激烈争论的几类政治思想观点。虽然争论激烈,但这几种观点的主张人群,所采用的论证和辩论方式都是相似的——自己以"唯一真理"及其守护者自居,将对方贬低到无以复加的糟糕层次,乐意以口水之争决定胜负。在诸多国内外政     

高速轮轨系统与高速磁浮交通系统选择及案例研究

本文针对高速轮轨系统和高速磁浮交通系统孰优孰劣的争论,在对二者的成本和效益进行分析的基础上,基于成本效益分析法,以寻求社会总成本最小为原则,构建了高速轮轨系统和高速磁浮交通系统的选择评价模型。针对京沪第二高速铁路通道的案例研究,基于本文所构建评价模型,得出的结论是,京沪第二高速铁路通道选择高速磁浮交通系统的社会总成本相对较低。     

十二月份长江集装箱运输市场行情评述

<正>随着经济增长趋缓的势头逐渐明显,长江集装箱运输需求放缓,运输行情小幅调整。12月份长江集装箱综合运价指数为992.92点,较上月下降0.54%。其中:上游集装箱市场行情小幅波动。上游集装箱运价指数为1024.00点,较上月下降0.35%。