基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。     

富水砂层盾构始发井防涌水检测与加固

基于广州地铁6号线大坦沙站盾构始发井的实践,研究富水砂层中破除盾构井端头门时防涌水的施工监测和工程检测方法,根据检测和监测结果,基于朗金土压力理论进行计算分析,提出相应的加固措施和方法。介绍了具体的防水加固措施和效果。     

A simple formulation for predicting the ultimate strength of ships

The aim of this study is to derive a simple analytical formula for predicting the ultimate collapse strength of a single- and double-hull ship under a vertical bending moment, and also to characterize the accuracy and applicability for earlier approximate formulations. It is known that a ship hull will reach the overall collapse state if both collapse of the compression flange and yielding of the tension flange occur. Side shells in the vicinity of the compression and the tension flanges will often fail also, but the material around the final neutral axis will remain in the elastic state. Based on this observation, a credible distribution of longitudinal stresses around the hull section at the overall collapse state is assumed, and an explicit analytical equation for calculating the hull ultimate strength is obtained. A comparison between the derived formula and existing expressions is made for largescale box girder models, a one-third-scale frigate hull model, and full-scale ship hulls.List of symbols A _B total sectional area of outer bottom - A _B total sectional area of inner bottom - A _D total sectional area of deck - A _S half-sectional area of all sides (including longitudinal bulkheads and inner sides) - a _s sectional area of a longitudinal stiffener with effective plating - b breadth of plate between longitudinal stiffeners - D hull depth - D _B height of double bottom - E Young's modulus - g neutral axis position above the base line in the sagging condition or below the deck in the hogging condition - H depth of hull section in linear elastic state - I _s moment of inertia of a longitudinal stiffener with effective plating - l length of a longitudinal stiffener between transverse beams - M _E elastic bending moment - M _p fully plastic bending moment of hull section - M _u ultimate bending moment capacity of hull section - M _uh ,M _us ultimate bending moment in hogging or sagging conditions - r radius of gyration of a longitudinal stiffener with effective plating [=(I _s /a _s )^1/2] - t plate thickness - Z elastic section modulus at the compression flange - Z _B ,Z _D elastic section modulus at bottom or deck - slenderness ratio of plate between stiffeners [= (b/t)(_y/E)^1/2] - slenderness ratio of a longitudinal stiffener with effective plating [=(l/r)(_y/E)^1/2] - _y yield strength of the material - _yB , _yB , _yD yield strength of outer bottom, inner bottom - _yS deck, or side - _u ultimate buckling strength of the compression flange - _uB , _uB , _uD ultimate buckling strength of outer bottom - _uS inner bottom, deck, or side     

Performance indicators for transit management

Transit performance can be evaluated through quantitative indicators. As the provision of efficient and effective transit service are appropriate goals to be encouraged by federal and state governments, these goals are used to develop performance indicators.Three efficiency and four effectiveness indicators are described, together with two overall indicators. These nine indicators are analyzed for comparability utilizing operating and financial data collected from public transit agencies in California.Performance indicators selected for this study should not be viewed as final. Twenty-one performance indicators proposed by previous studies were reviewed. Theoretical considerations and unavailability or unreliability of data caused omission of several useful measures like passenger-miles. Circumstances such as improved data, emphasis upon goals other than efficiency and effectiveness, and local conditions might warrant the inclusion of indicators deleted from this research.This paper is based on work conducted for the Urban Mass Transportation Administration under University Research and Training Grant CA-11-0014, Development of Performance Indicators for Transit. The views expressed herein are those of the authors and not necessarily those of the University of California or the United States Government. We are indebted to John Feren for assistance with the statistical processing and data gathering.     

Correlation between automotive CO, HC, NO, and PM emission factors from on-road remote sensing: implications for inspection and maintenance programs

Carbon monoxide (CO), hydrocarbon (HC), and nitrogen oxide (NO) emission factors (EFs) are measured with a commercial vehicle emissions remote sensing system (VERSS) during a large-scale vehicle exhaust emissions study in Las Vegas. Particulate matter (PM) EFs are simultaneously measured for individual vehicles with a newly developed PM-VERSS based on ultraviolet backscatter light detection and ranging (Lidar). The effectiveness of CO and HC EFs as proxy for NO and PM EFs for spark-ignition vehicles is evaluated. Poor correlations were found between EFs for pollutants on an individual vehicle basis indicating that high EFs for one or more pollutants cannot be used as a predictor of high EFs for other pollutants. Stronger functional relationships became evident after averaging the EF data in bins based on rank-order of a single pollutant EF. Low overlap between the highest 10% emitters for CO, HC, NO, and PM was found. These results imply that for an effective reduction of the four pollutants, inspection and maintenance (I/M) programs, including clean screening, should measure all four pollutants individually. Fleet average CO and HC concentrations determined by gaseous VERSS were compared with fleet average CO and HC concentrations measured at low-idle and at high-idle during local I/M tests for spark-ignition vehicles. The fleet average CO concentrations measured by I/M tests at either idle were about half of those measured by remote sensing. The fleet average high-idle HC concentration measured by I/M tests was about half of that measured by VERSS while low-idle I/M and VERSS HC average concentrations were in better agreement. For a typical vehicle trip, most of the fuel is burned during non-idle conditions. I/M measurements collected during idling conditions may not be a good indicator of a vehicle’s potential to be a high emitter. VERSS measurements, when the vehicle is under a load, should more effectively identify high emitting vehicles that have a large contribution to the mobile emissions inventory.     

Hub location with flow economies of scale

A characteristic feature of hub and spoke networks is the bundling of flows on the interhub links. This agglomeration of flows leads to reduced travel costs across the interhub links. Current models of hub location do not adequately model the scale economies of flow that accrue due to the agglomeration of flows. This paper shows that current hub location models, by assuming flow-independent costs, not only miscalculate total network cost, but may also erroneously select optimal hub locations and allocations. The model presented in this paper more explicitly models the scale economies that are generated on the interhub links and in doing so provides a more reliable model representation of the reality of hub and spoke networks.     

Fuzzy Logic Active and Semi-Active Control of Off-Road Vehicle Suspensions

For off-road vehicles, minimizing the absorbed power is the main objective of suspension control. The primary cause of increase in the absorbed power in off-road vehicles driven at high speeds on harsh courses is the exhaustion of the suspension travel. Fuzzy-logic approach to active and semi-active off-road vehicle suspension control, with the goal of improving the speed of the vehicle over rough terrains are developed. The ride metric used for quantifying improvements is the absorbed power of the sprung mass. Particular attention is paid to the proper modeling of the suspension using both the full kinematic constraints and the more convenient two degree of freedom linear model of the quarter vehicle suspension. The nonlinearities due to the kinematic constraints on motion are accounted for by modifying the stiffness and damping coefficients of the suspension spring and dashpot in the linear model. The control laws are developed using the less complex model and demonstrated in the fully constrained environment. Nonlinearities of the suspension, including tire stiffness/damping and bumpstops are included at all stages of controller development.     

柴油机曲轴有限元计算与台架试验数据对比分析

目前，国内柴油机行业普遍使用的曲轴弯曲疲劳强度试验台架，均采用音叉共振板结构。该试验台架对于大多数常规结构曲轴的连杆轴颈圆角疲劳强度的测定是比较准确的，但对于有些特殊结构曲轴的试验，却未能取得理想结果。以某曲轴台架试验、台架仿真模型及有限元计算模型数据为基础，分析对比了不同模型数据的差异及产生原因。     

Fuzzy-logic applied to yaw moment control for vehicle stability

In this paper, we propose a new yaw moment control based on fuzzy logic to improve vehicle handling and stability. The advantages of fuzzy methods are their simplicity and their good performance in controlling non-linear systems. The developed controller generates the suitable yaw moment which is obtained from the difference of the brake forces between the front wheels so that the vehicle follows the target values of the yaw rate and the sideslip angle. The simulation results show the effectiveness of the proposed control method when the vehicle is subjected to different cornering steering manoeuvres such as change line and J-turn under different driving conditions (dry road and snow-covered).