基于SCADE的城轨联锁软件开发方法的研究

CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题.文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法.     

公共自行车租赁时长分布特性的引力场模型

租赁时长分布特性是公共自行车系统中一项重要的基本特性,通过获取乘客刷卡信息数据,得到了宁波、杭州和北京3 座城市多个工作日的公共自行车租赁时长特性 数据.统计分析得出,不同城市、不同工作日的公共自行车租赁时长分布特性差异较小,由此表明租赁时长分布特性的研究具有一般性意义.在此基础上,基于物理学中的引力场理 论,建立了租赁时长分布特性的两个引力场模型,实际数据检验表明,模型1 和模型2 分 别与租赁时长大于11 min 时及小于11 min 时的分布特性能较好地吻合,并得到了引力场模型的具体函数表达式.研究成果将为公共自行车系统租赁需求预测、租赁站点规划和站 点车辆配置等方面的工作提供重要的理论支撑.     

土工格栅拉拔试验与离散元数值模拟研究进展

为深入研究土工格栅的加筋机理,基于前人的研究成果,阐述拉拔试验中影响土工格栅与筋土界面特性的因素,介绍土工格栅和土体离散元建模以及拉拔荷载下筋土相互作用的可视化和量化分析结果,并提出有待深入研究的方向。研究表明：在试验研究方面,研究人员多采用传统试验方法,从试验边界条件、土工合成材料类型、土料类型及参数、加载条件等方面较为系统地研究各因素对筋土相互作用的影响;随着测试技术的发展,新型试验仪器可有效弥补传统测试方法的不足,并实现筋土界面作用分析的可视化。此外,离散元数值模拟是试验研究的重要补充,大量模拟结果可从细观层面更为深入地阐述筋土界面的作用机理。     

A flexible,adaptive traffic network simulation with parameter estimation

This article deals with macroscopic traffic modeling and online parameter estimation suitable for real-time simulation of complex road configurations. A numerical model for the nonlinear hyperbolic transport equation is introduced that works with a fundamental diagram of arbitrary shape and piecewise differentiable, discontinuous initial conditions. Suitable boundary conditions at road inlets and outlets are realized. A method to identify parameters of the underlying fundamental diagram via aggregated traffic sensor data is presented and the Fisher Information Matrix is utilized to optimize traffic sensor placement. The choice of parameterization, sensor placement, and the range of sensor data affect identifiability of the parameters of the fundamental diagram. The results are validated by comparison with a microscopic traffic simulation based on a car-following model.     

Travel time statistical modeling with the Halphen distribution family

ABSTRACT

This article introduces the Halphen distribution family for modeling travel time distributions and their reliability on single road links. This probability family originally used in hydrology has a set of relevant characteristics. It is composed of three probability distribution functions for which the mathematical properties are described here. The article uses a graphical representation, the δ-Moment Ratio Diagram (δ-MRD). This tool allows characterizing travel time reliability as well as selecting best distribution candidates within the fitting processes, by considering empirical data sets. A systematic methodology is developed to take advantage of both aspects. From maximum log-likelihood estimation, it is shown that Halphen distributions are among the best state-of-the-art solutions for the travel time modeling purpose. This global framework is validated using two empirical data sets: an urban data set gathered in Portland, Oregon (USA), and a periurban data set from Lyon (France). The model calibration is eased through the use of the δ-MRD; this property opens new research directions about the mapping between traffic states and statistical modeling. It comes from all these considerations that the Halphen family is suitable to describe accurately the travel time dynamics on single links. Therefore, it could be part of a decision support system for practitioners interested in travel time variability.     

基于混凝土组合箱梁残缺三维激光点云的自动逆向建模方法

针对虚拟预拼装过程中,施工现场条件与构件本身性质对混凝土桥梁构件三维激光扫描及其后续逆向建模质量产生不良影响的问题,以混凝土组合箱梁为背景,提出残缺三维激光点云的自动逆向建模方法.该方法利用实测点云与设计数据最佳匹配的数学优化问题提高自动性,并采用k-d tree和最小生成树(MST)等数据结构以及算法提高计算效率和鲁...     

公路隧道快速参数化建模及自动分析平台研究

为解决公路隧道有限元分析对工程人员的有限元软件使用能力和专业力学理论要求高、建模过程繁琐、耗时较长等问题,通过对公路隧道力学模型和设计施工特点等进行分析研究,建立公路隧道数值建模的通用数据结构;以Python语言为二次开发和界面设计工具,基于PyQt5和Matplotlib图形模块,搭建公路隧道快速参数化建模平台;以ABAQUS为核心计算平台,利用其强大的二次开发能力,研制集成前、后处理和计算分析于一体的公路隧道自动建模与分析平台,并通过三心圆公路隧道算例对研制的参数化建模与自动分析平台的完整性、可用性和正确性进行测试。研究结果表明：该快速参数化建模与自动分析平台极大地简化了公路隧道的有限元建模分析流程,降低了工程人员的建模难度和使用代价。     

车联网环境下自动驾驶车辆车道选择决策模型

试验车道选择行为是自动驾驶车辆最基本的决策行为之一,利用车联网技术可以使车道选择结果更加全面、合理.首先,对高速公路自动驾驶车辆车道选择决策过程进行分析,并以车联网感知通信范围内的车辆的平均速度、重车比例及前往车道的理想换道时间为主要指标创建成本函数,根据计算结果输出最优车道序列;然后,以Gipps安全驾驶模型为基础,...     

基于模块化设计理念的北京品牌越野车造型设计研究

模块化设计理念作为提高零件通用化率和缩短开发周期的有效手段,在汽车设计和生产中已广泛应用.如今,随着消费者购买第二辆车,个性化消费热度提升,模块化设计理念在个性化定制方面有了新的应用意义.在这个消费时期,具有可玩性的越野车受到了消费者的关注,其独特的车身结构十分适合应用模块化设计理念.在对世界经典越野车型、相关消费者个...