≤T^nph极小集与Homer—Spies猜测

本文定义了在多项式时间界下不确定图灵纯正多项式归约(记为≤_T~(n p h))的概念,讨论了≤_T~(n p h)极小集的性质、≤_T~(n p h)极小集与≤_T~(p h)极小集的关系。据此,对Homer-Spies猜测提供了一个解答:P=NP当且仅当存在一个集合A,既是≤_T~(p h)极小集,又是≤_T~(n p h)极小集,且deg_T~(p h)(A)=deg_T~(n p h)(A)。     

Simulation Approach to the Effect of the Ratio Changing Speed of a Metal V-Belt CVT on the Vehicle Response

In regard to the belt and pulley system of a metal V-belt CVT, the characteristics of the ratio changing speed is obtained by experiments. It is summarized in a practical and simple experimental equation. By using this equation a simulation model is developed to analyze the response of a vehicle with a metal V-belt CVT to a rapid pulley ratio change. The simulation results are in reasonable agreements with experimental results.     

货运电力机车

概述货运电力机车的技术要求和欧洲货运电力机车的技术现状,重点介绍意大利货运机车的特点.     

A capacity restraint transit assignment with elastic line frequency

This paper proposes a new formulation for the capacity restraint transit assignment problem with elastic line frequency, in which the line frequency is related to the passenger flows on transit lines. A stochastic user equilibrium transit assignment model with congestion and elastic line frequency is proposed and the equivalent mathematical programming problem is also formulated. Since the passenger waiting time and the line capacity are dependent on the line frequency, a fixed point problem with respect to the line frequency is devised accordingly. The existence of the fixed point problem has been proved. A solution algorithm for the proposed model is presented. Finally, a numerical example is used to illustrate the application of the proposed model and solution algorithm.     

Flexible Bodies in Multibody System Codes

Multibody codes are'efficient tools to simulate nonlinear dynamic behaviour of rigid and flexible multibody systems undergoing large overall motions overlaid by small elastic deformation. This paper gives an overview of common approaches for the equations of motion of flexible body models and presents a general way to prepare the required data including geometric stiffening terms. In particularly, for the nodal approach the data are derived using standard results of a finite element analysis of the body. The computation of coefficient matrices describing the equations of motion is done outside the finite element code by matrix manipulations only. The data are stored in a standardised object-oriented structure. Consequently, the data set is independent of the formulation of the multibody system code.     

与速度有关的高负荷轮轨接触的粘着力(一)

为确定与速度有关的轮轨间的粘着力,设计了一种包含了与温度、弹性模数以及屈服点有关的动力学模型.     

Application of NETSIM in modeling B‐signals

NETSIM is a powerful microscopic simulation model and has been applied to numerous traffic studies. However, it appears that there are few attempts to use it to study bus operations. One of the possible reasons may be the difficulty in modeling some of the unique characteristics in bus operations. A similar challenge was faced when a recent evaluation on bus operations involving priority signals (B‐signals) was undertaken in Singapore. This paper describes the difficulties faced when NETSIM was applied in modeling bus priority signals and the techniques adopted to overcome them. This study shows that, by incorporating innovative techniques, NETSIM can be effectively used to model bus operations along with other traffic in a network.     

The effect of plastic constraint on the initiation of ductile tears in shipbuilding structural steels

In this paper, the effect of plastic constraint on the initiation of ductile tears in four different shipbuilding structural steels has been experimentally studied by measuring the J-integral and crack opening displacement COD at initiation in three-point bend specimens with deep and shallow notches. Experimental results of seven groups of different strength alloy steels show that both Si and Ji values of ductile tear from the shallow crack specimens which have less constraint flow field are significantly higher than those of deeply notched specimens. Slip-line-field analysis shows that, for shallow crack, the hydrostatic stress is lower than that from standard deeply cracked bend specimen, which develops a high level of crack tip constraint, provides a lower bound estimate of toughness, and will ensure an unduly conservative approach when applied to structural defects, especially if initiation values of COD and J-integral are used.     

暗挖双连拱隧道穿越浅基础高层楼群区施工技术

北京城市铁路东直门区间采用双连拱隧道结构形式 ,在富水松散地层中从两栋浅基础高层居民楼中间采用浅埋暗挖法通过 ,施工难度极大。本文主要阐述针对该段复杂的施工边界及约束条件 ,在处理地层与结构、隧道施工与既有建筑物相互作用 ,所采用的技术方法和特殊条件下的高层建筑防护技术 ,以及监测在施工中的应用 ,以期为今后类似工程的施工提供参考和借鉴。