CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。     

基于SIMPACK软件的某型城市轨道交通车辆运行安全仿真及平稳性研究

利用多体动力学软件SIMPACK对国内某型城市轨道交通车辆进行整体建模,分析车辆以不同速度过弯道时的脱轨系数、轮重减载率和倾覆系数等3个安全性指标。仿真结果表明,随着运行速度的增大,3个安全性指标均相应增大且过弯道时变化更加明显。通过在车体安装加速度传感器获取车辆实际运行过程中垂向和横向振动响应,运用Sperling指标对车辆平稳性进行评定,得出该型城市轨道交通车辆垂向和横向平稳性等级均为优。     

面向城市轨道交通网络规划的多粒度仿真建模

研究目的:目前,仿真技术开始在城市轨道交通网络规划方案的分析与评估中发挥重要作用。在网络化运营条件下,城市轨道交通路网规模和复杂性增加,使得系统建模和仿真评估的难度加大。为了高效、灵活地构建仿真系统,实现城市轨道交通路网规划方案的综合分析与评估,有必要研究城市轨道交通网络系统的多粒度建模与仿真方法。研究结论:(1)本文结合城市轨道交通各车站的地理分布特点,采用不同粒度的路网拓扑设施仿真模型和乘客仿真模型作为基本单元,通过集成的方式来构建多粒度的城市轨道交通路网仿真系统;(2)构建分层路网拓扑模型,可解决不同粒度仿真模型的空间一致性问题;(3)采用聚合建模的方法可解决多粒度车站模型的对象状态一致性的问题;(4)运用代理技术可实现多粒度模型间信息交互的管理,能够在系统集成中满足可扩展性与运行灵活性的要求;(5)运用本文构建的仿真模型,可对城市轨道交通新线接入后的路网客流分布与能力负荷状况进行仿真,以实现新线规划方案的分析与评估。     

箱梁三维实体自动建模方法研究

三维实体模型能够直观、完整地反映立体的几何与特征信息。在对结构特征、模型变量与建模过程进行分析的基础上,总结箱梁结构的建模规律,提出适合于不同类型桥梁结构的建模方法及建模中应注意的问题。借助VC++和ObjectARX工具,通过创建图形实体及其面域,形成建模参数,运用AcDb3dSolid类建立的对象容器,建立桥梁结构三维实体的拉伸、扫掠和放样接口函数,并对立体添加颜色或材质。运用图形变换和布尔运算,对三维实体进行整体组装,实现了桥梁结构三维实体自动建模。     

基于建筑信息模型(BIM)的城市轨道交通设施设备分类与编码研究

城市轨道交通涉及多专业的设施设备,建设项目从设计、施工到运营维护,各阶段的设施设备信息采用不同的分类编码体系,难以开展设施设备的统一化管理。调研上海轨道交通既有的设施设备分类编码体系,基于建筑信息模型(BIM)技术研究,建立城市轨道交通全生命周期的设施设备分类编码体系。该分类编码体系是以城市轨道交通资产管理的分类编码为基础进行编制的,划分了21类,具有唯一性、稳定性、可扩展性等特点,可兼容既有的设施设备分类编码体系,并能够满足城市轨道交通运营维护管理的需求。     

LARGE SIGNAL DISCRETE-TIME MODEL FOR PARALLELED BUCK CONVERTERS

Introduction　　 In recent years,due to the rapid advances ofcomputer and communication,the power suppliesmust provide high current up to hundreds of am-peres and still have high efficiency and reliability.Under such requirements,multimodule- parallelingstructure is usually used and the load current isequally shared. The practical implementation ofthese distributed converters system is not alwaysstraightforward and various control problems arisebecause of undesirable interaction among subsys-t…     

New Retrieval Method Based on Relative Entropy for Language Modeling with Different Smoothing Methods

A language model for information retrieval is built by using a query language model to generate queries and a document language model to generate documents. The documents are ranked according to the relative entropies of estimated document language models with respect to the estimated query language model. Two popular and relatively efficient smoothing methods, the Jelinek- Mercer method and the absolute discounting method, are used to smooth the document language model in estimation of the document language, A combined model composed of the feedback document language model and the collection language model is used to estimate the query model. A performacne comparison between the new retrieval method and the existing method with feedback is made, and the retrieval performances of the proposed method with the two different smoothing techniques are evaluated on three Text Retrieval Conference （TREC） data sets. Experimental results show that the method is effective and performs better than the basic language modeling approach; moreover, the method using the Jelinek-Mercer technique performs better than that using the absolute discounting technique, and the perfomance is sensitive to the smoothing peramters.     

Nonlinear inverse modeling of sensor based on back-propagation fuzzy logical system

Objective To correct the nonlinear error of sensor output, a new approach to sensor inverse inodeling based on Back-Propagation Fuzzy Logical System （BP FS） is presented. Methods The BP FS is a computationaiiy efficient nonlinear universal approximator, which is capable of implementing complex nonlinear mapping from its input pattern space to the output with fast convergence speed. Results The neuro-fuzzy hybrid system, i.e. BP FS, is then applied to construct nonlinear inverse model of pressure sensor. The experimental results show that the proposed inverse modeling method automatically compensates the associated nonlinear error in pressure estimation, and thus the performance of pressure sensor is significantly improved. Conclusion The proposed method can be widely used in r nonlinearity correction of various kinds of sensors to compensate the effects of nonlinearity and temperature on sensor output.     

汊道水流数值模拟

笔者建立了水流运动二维数学模型 ,给出了处理分汊河道复杂边界的方法 .通过梅子洲河段流速、水位及分流比的验证 ,计算结果与实测资料吻合较好 .说明二维水流数学模型的建立和以及处理方法合理     

驾驶模拟器视景仿真系统的模块化建模方法

在KMRTS驾驶模拟系统的核心模块——视景仿真系统已有的研究基础上,提出一种模块化方法来提高视景建模的效率,并给出该方法的基本思想、关键理论、程序设计流程及相应实例,应用结果证明该方法满足驾驶模拟器视景仿真系统的实时性与逼真性的要求,提高视景建模的效率。