动态OD反推理论中的关键问题研究

针对ITS研究中动态OD矩阵难以获得的问题,回顾动态OD反推理论的发展历程,在此基础上明确了该领域研究中的四个关键问题:状态变量的选择、系统方程的确定、OD量与路段流量的关系和OD矩阵动态特性的体现,在对其进行分析的基础上提出每个关键问题的解决方法,为动态OD反推理论的进一步研究垫定基础。     

汽车轮胎结构非线性有限元分析

本文综述了轮胎力学的发展历史与现状，阐明了轮胎结构分析的几各主要方法、研究内容及其优缺点，并重点介绍了在子午三维非线性有限元结构分析方面的工作，包括轮胎的充气，竖直加载、稳态滚动、滚动阻力及温度场分析，给出了相应的算例。由于采用一些新的方法和技术，考虑了更真实的轮胎材料模型，结构和载荷，使得分析更为有效、精确，分析结果可作为轮胎的设计，试验与改进的依据。     

沥青混凝土摊铺机熨平板与热沥青混合料相互作用的动力学模型

在介绍了沥青混凝土摊铺机熨平板与热沥青混合料相互作用的特点后，叙述了热沥青混合料的流变特性，并给出了流变模型，就此得出了熨平板与沥青混合料相互作用的三种动力学模型。     

南京长江二桥斜拉桥施工过程稳定性分析

针对南京二桥南汊钢斜拉桥,考虑结构的非线性和构件的极限承载能力,计入施工过程的变形和应力的叠加效应,用包含梁和索单元的空间组合结构模型,进行了大桥的结构行为分析,着重研究了在施工全过程中的结构稳定性问题。     

汽车DYC装置液压系统建模与仿真

汽车DYC装置可以通过产生横摆力矩克服过多转向或不足转向,提高汽车高速和恶劣道路等极限条件下的操纵稳定性。对汽车DYC装置的液压系统特性进行了分析,建立了液压回路和制动器模型,分析了液压系统的工作原理和工作过程,并运用matlab/simulink对液压系统进行建模与仿真。     

FSQ6125客车设计

简要介绍FSQ6125客车的设计目的、整车造型、主要结构特点和技术参数。     

Modeling duration choice in space–time multi-state supernetworks for individual activity-travel scheduling

Multi-state supernetworks have been advanced recently for modeling individual activity-travel scheduling decisions. The main advantage is that multi-dimensional choice facets are modeled simultaneously within an integral framework, supporting systematic assessments of a large spectrum of policies and emerging modalities. However, duration choice of activities and home-stay has not been incorporated in this formalism yet. This study models duration choice in the state-of-the-art multi-state supernetworks. An activity link with flexible duration is transformed into a time-expanded bipartite network; a home location is transformed into multiple time-expanded locations. Along with these extensions, multi-state supernetworks can also be coherently expanded in space–time. The derived properties are that any path through a space–time supernetwork still represents a consistent activity-travel pattern, duration choice are explicitly associated with activity timing, duration and chain, and home-based tours are generated endogenously. A forward recursive formulation is proposed to find the optimal patterns with the optimal worst-case run-time complexity. Consequently, the trade-off between travel and time allocation to activities and home-stay can be systematically captured.     

Dynamic stride length adaptation according to utility and personal space

Pedestrians adjust both speed and stride length when they navigate difficult situations such as tight corners or dense crowds. They try to avoid collisions and to preserve their personal space. State-of-the-art pedestrian motion models automatically reduce speed in dense crowds simply because there is no space where the pedestrians could go. The stride length and its correct adaptation, however, are rarely considered. This leads to artefacts that impact macroscopic observation parameters such as densities in front of bottlenecks and, through this, flow. Hence modelling stride adaptation is important to increase the predictive power of pedestrian models. To achieve this we reformulate the problem as an optimisation problem on a disk around the pedestrian. Each pedestrian seeks the position that is most attractive in a sense of balanced goals between the search for targets, the need for individual space and the need to keep a distance from obstacles. The need for space is modelled according to findings from psychology defining zones around a person that, when invaded, cause unease. The result is a fully automatic adjustment that allows calibration through meaningful social parameters and that gives visually natural results with an excellent fit to measured experimental data.     

Comparing different contour methods with response-based methods for extreme ship response analysis

Environmental contours are often applied in probabilistic structural reliability analysis to identify extreme environmental conditions that may give rise to extreme loads and responses. They facilitate approximate long term analysis of critical structural responses in situations where computationally heavy and time-consuming response calculations makes full long-term analysis infeasible. The environmental contour method identifies extreme environmental conditions that are expected to give rise to extreme structural response of marine structures. The extreme responses can then be estimated by performing response calculations for environmental conditions along the contours.Response-based analysis is an alternative, where extreme value analysis is performed on the actual response rather than on the environmental conditions. For complex structures, this is often not practical due to computationally heavy response calculations. However, by establishing statistical emulators of the response, using machine learning techniques, one may obtain long time-series of the structural response and use this to estimate extreme responses.In this paper, various contour methods will be compared to response-based estimation of extreme vertical bending moment for a tanker. A response emulator based on Gaussian processes regression with adaptive sampling has been established based on response calculations from a hydrodynamic model. Long time-series of sea-state parameters such as significant wave height and wave period are used to construct N-year environmental contours and the extreme N-year response is estimated from numerical calculations for identified sea states. At the same time, the response emulator is applied on the time series to provide long time-series of structural response, in this case vertical bending moment of a tanker. Extreme value analysis is then performed directly on the responses to estimate the N-year extreme response. The results from either method will then be compared, and it is possible to evaluate the accuracy of the environmental contour method in estimating the response. Moreover, different contour methods will be compared.     

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

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