2011中国城市轨道交通关键技术论坛在西安成功举行

"2011中国城市轨道交通关键技术论坛(第21届地铁学术交流会)"于2011年11月24日上午9:00,在古城西安钟楼饭店隆重开幕,中国工程院、住房和城乡建设部、中国土木工程学会、北京市、西安市的有关领导出席开幕式并做了重要讲话。来自全国各有关城市轨道交通建设、运营、设计、施工、科研院所、大专院校的领导、专家、工程技术人员200余人参加了大会。     

基于HCSP的列控系统安全性建模与验证分析

高速铁路列车运行控制系统是保证列车安全、高效运行的核心设备，如何验证系统功能的正确性从而提高系统的安全性是至关重要的。引入了一种基于进程演算的方法—混合通信顺序进程（HCSP ，Hybrid Communication Sequential Process），利用该方法对列控系统进行了形式化描述，并针对典型的场景—注册与启动场景进行了HCSP建模，通过引入转换规则，进行了相应模型转换，应用模型检验工具UPPAAL进行了仿真和功能验证，验证结论表明了场景模型功能的正确性以及方法的可行性。     

武汉交科工程咨询有限公司

武汉交科工程咨询有限公司成立于1996年3月,原名为“武汉交通科技大学土木工程研究所”。2000年3月。企业名称变更为“武汉交科交通工程咨询监理中心”．2007年3月。因企业发展需要，公司进行了改制，更名为“武汉交科工程咨询有限公司”。     

我国注册会计师行业发展的相关问题分析及建议

全球经济格局深度调整,国际竞争更趋激烈,新技术革命孕育的产业升级和生产要素转移步伐加快,服务业日益成为促进世界经济复苏和引领经济转型发展的新方向,也成为我国经济发展质量提升与产业优化升级的新动力。国家的"十二五"规划将发展会计审计服务列入国民经济发展规划任务。尽管在改革开放之后我国注册会计师行业取得了很大的发展,但面对新形势也存在不少问题。本文对我国注册会计师行业发展的相关问题进行了分析,并提出相关建议。     

土木工程专业人才培养模式探索

随着我国高等教育的发展，一批高等工业专科学校合并升格为本科学院。建立新型的人才培养模式是这些院校生存和发展的重要条件。就应用型本科院校土木工程专业如何科学定位、突出特色和构建人才培养新模式进行探讨。     

新征程 新跨越 新辉煌——写在《汽车工程师》更改刊名二周年之际

尊敬的读者朋友们：大家好!当大家翻开新年第一期《汽车工程师》杂志时,春天已悄然向我们走来。     

第八届全国工程排水与加固技术研讨会召开

由中国土木工程学会港口工程分会工程排水与加固专业委员会主办,福建省建筑科学研究院承办的第八届全国工程排水与加固技术研讨会于2011年11月11―13日在福州顺利召开。来自高校、科研、设计、施工及土工材料生产企业等单位的148名代表出席了本次研讨会。本次会议是工程排水与加固专业委员会自1992年成立以来连续举办的第八次全国性技术研讨会。     

膨胀土地基的特性及处理

通过对膨胀土工程特性分析,结合对膨胀土地基有效处理的经验,提出对膨胀土地基处理的要点,供大家参考。     

中交第二航务工程勘察设计院

中交第二航务工程勘察设计院于1958年由北京分迁至武汉．是我国交通系统成立较早的交通工程勘察、咨询．设计单位之一。现有员工566人．其中享受国务院政府津贴专家32人．教授级高级工程师和高级工程师200余人。拥有一批咨询（投资）．港航、岩土、公用设备、电气．化工、造价、监理等专业的注册工程师和一级注册建筑师．一级注册结构师．一级注册建造师等从业人员。     

NK继续全球网点扩张

日本船级社（NK）正式宣布开设两个新的专职验船师办事处．它们分别位于俄罗斯的圣彼得堡和斯里兰卡的首都科伦坡。至此．日本船级社全球服务网点增设至118家（其中21个在日本本土．97个在海外）。2010年，NK共开设了7个新的专职验船师办事处。位于圣彼得堡和科伦坡的办事处是日本船级社分别在俄罗斯和斯里兰卡设立的首个办事处。