运行时验证及其在列车运行控制系统中的应用

运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。     

石河子独塔斜拉桥横向抗震合理约束体系研究

以石河子独塔斜拉桥为工程背景,建立有限元抗震模型,采用非线性动力时程分析方法对该桥进行罕遇地震作用下的横桥向抗震分析。为研究横向约束体系对独塔斜拉桥抗震性能的影响,主塔处分别采用塔梁固结、塔梁分离、塔梁铰接、竖向支承、竖向支承加弹性索、竖向支承加黏滞阻尼器(FVD)等不同横向约束形式、边墩处分别采用横向铰接、竖向支承、铅芯支座、竖向支承加黏滞阻尼器等不同约束形式进行抗震计算,通过分析对比,得出以下结论:若边墩受力不控制设计,则主塔处采用竖向支承加黏滞阻尼器、边墩横向铰接是相对最优的约束体系;若边墩受力控制设计,则主塔处采用竖向支承加弹性索、边墩设置铅芯支座是相对最优的约束体系。     

上海地铁地下车站排水系统的设计要点

根据已有的工程实例和国家相关规范的规定,对上海地铁地下车站的排水系统(包括污水排水系统、废水排水系统、雨水排水系统)的设计要点及注意问题进行了总结,并详细梳理出了地下车站的各排水点及相应的排水措施,以供今后地铁工程相关设计作借鉴和参考。     

ZooKeeper在复杂事件处理系统中的应用

复杂事件的分布式计算处理与协调一直是分布式计算的难题,尤其是基于低成本的高可用性技术实践.提出了把ZooKeeper应用于以Esper为核心的复杂事件处理系统的一种技术解决方案.该方案通过ZooKeeper协调多个复杂事件处理引擎,并作为控制台和复杂事件处理引擎的交互媒介,能够实现复杂事件处理分布式计算的集群技术应用,可提高系统的可用性和实时性.所提出的方案在3台PC机搭建的仿真实验平台进行了验证,说明是可行的.     

高速铁路接触网风致振动与风偏的动态计算方法

利用ANSYS软件建立接触网弹链、简链风致响应有限元模型,从导线弛度、张力及弹性角度,验证有限元模型的准确性;采用谐波合成法(WAWS)模拟针对接触网结构特点的脉动风场;计算系统在风荷载作用下的动态响应,利用空气动力学理论计算接触网平均位移,采用时程分析方法计算接触网动态位移,并将二者叠加得到接触网风致响应总位移。通过开展接触网气动弹性风洞试验,结果表明:提出的基于有限元的风致振动与风偏的动态计算方法与风洞试验结果基本吻合;该方法计算结果准确,具有较好的工程应用价值。     

II 型大城市轨道交通发展的 几点思考与建议

针对当前城区人口规模在 100 万～300 万之间的 II 型大城市在轨道交通规划审批及建设实践中存在的问 题,深入剖析 II 型大城市轨道交通现实发展中面临的客流需求与社会经济、被动追赶与提前谋划、系统制式与敷 设方式 3 大困惑,从客观认识交通需求、准确把握功能定位、合理确定线网层次和规模、选择适宜的敷设方式和 系统制式、多元化的运营组织模式等方面提出若干建议,为部分自身财务能力允许,并且城市用地形态特殊、人 口集聚程度较高、交通拥堵严重的 II 型大城市的轨道交通长期健康发展提供借鉴。     

万吨组合列车综合试验分布式测试系统开发

文章分析了万吨组合列车综合试验的测试需求,详细介绍了该分布式测试系统的各个组成部分:基于GPRS的无线数字通讯网络、基于GPS的时钟同步方法、主控子系统、机车测试子系统、货车测试子系统的主要功能、技术优势、设计思路和硬件/软件实现方案。     

System convergence — The potential for an integrated road transport environment

This chapter discusses the potential for co-ordinating developments in Road Transport Informatics (RTI) in what could otherwise be a number of fragmented approaches, in order to approach what the DRIVE programme calls the Integrated Road Transport Environment (IRTE). The discussion is presented with particular reference to European developments such as the PROMETHEUS and DRIVE research programmes, but is intended to encompass possible progress towards worldwide standardisation.The role of consensus formation in Europe in the DRIVE projects SECFO and TARDIS is described. The importance of dynamic route guidance and of automatic debiting systems are highlighted in identifying the likely impetus towards the implementation of RTI systems. Finally, some outstanding issues are presented briefly, and the possible emergence of international standards leading to compatible systems worldwide is discussed.     

关联时滞大系统的保性能控制

针对关联项具有N×N个任意未知常时滞的线性连续大系统,采用线性矩阵不等式(LM Is)方法,提出了一种分散的无记忆状态反馈二次保性能控制器的存在条件和设计方法.最后用一个示例说明分散无记忆状态反馈二次保性能控制器的设计方法.     

Ŭ������������й��ۺϽ�ͨ������ϵ ��2005�������й���ͨ��̳���Ŀ�Ļ��

发言中在祝贺北京交通大学建校109周年的同时，介绍了我国城市交通和区域交通发展现状，我国最近时期交通建设取得的成绩，特别提到电动助力车使用的蓄电池的新发展.并预期今后由于高效蓄电池的发展，我国主要靠汽油的汽车时代会有新的变化发言中特别介绍交通是一门多学科结合的复杂的行业，提出了要在我国建立综合运输体系，分析了城市交通也是综合交通，要加快城市地铁和机道交通的建设，加快新交通工具的研制，号召全国交通运输工作者，努力工作共同把中国综合运输交通体系建设好，为世界交通运榆事亚做出新的贡献.