In this paper, an extended car-following model is proposed based on an optimal velocity model (OVM), which takes the speed limit into consideration. The model is analyzed by using the linear stability theory and nonli...In this paper, an extended car-following model is proposed based on an optimal velocity model (OVM), which takes the speed limit into consideration. The model is analyzed by using the linear stability theory and nonlinear analysis method. The linear stability condition shows that the speed limit can enlarge the stable region of traffic flow. By applying the reductive perturbation method, the time-dependent Ginzburg-Landau (TDGL) equation and the modified Korteweg-de Vries (mKdV) equation are derived to describe the traffic flow near the critical point. Furthermore, the relation between TDGL and mKdV equations is also given. It is clarified that the speed limit is essentially equivalent to the parameter adjusting of the driver’s sensitivity.展开更多
介绍了OVM(Open Verification Methodology)验证方法学的基本概念和技术,从验证环境的体系架构、验证组件的可重用性和验证过程等方面进行详细说明,给出一个使用e语言实现的基于OVM的可重用自动化验证平台的实例。基于OVM的可重用自动...介绍了OVM(Open Verification Methodology)验证方法学的基本概念和技术,从验证环境的体系架构、验证组件的可重用性和验证过程等方面进行详细说明,给出一个使用e语言实现的基于OVM的可重用自动化验证平台的实例。基于OVM的可重用自动化验证平台可提高SoC(System on a chip)功能验证的可重用性、可扩展性和验证效率。展开更多
This paper investigated the performances of a well-known car-following model with numerical simulations in describing the deceleration process induced by the motion of a leading car. A leading car with a pre-specilied...This paper investigated the performances of a well-known car-following model with numerical simulations in describing the deceleration process induced by the motion of a leading car. A leading car with a pre-specilied speed profile was used to test the above model. The results show that this model is to some extent deficient in performing the process aforementioned. Modifications of the model to overcome these deficiencies were demonstrated anda modified car-following model was proposed accordingly. Furthermore, the delay time of car motion of the new model were studied.展开更多
This paper introduces the concept of orthogonal vector measures, and gives the Yosida-Hewittdecomposition theorem for this kind of vector measures. The major results are(a) Any orthogonal vector measure can gain it c... This paper introduces the concept of orthogonal vector measures, and gives the Yosida-Hewittdecomposition theorem for this kind of vector measures. The major results are(a) Any orthogonal vector measure can gain it countable additivity by enlarging its domain;(b) Every orthogonal vector measure can be represented as the sum of two orthogonal vectormeasures, one of which is countably additive, and the other is purely finitely additive. Furthermore,these vector measures are completely perpendicular to each other.展开更多
Headquartered in Liuzhou, south China＇s Guangxi Zhuang Autonomous Region, Liugong Machinery Group Co. Ltd. is China＇s lead- ing construction machinery producer and also China＇s first listed company in the construct...Headquartered in Liuzhou, south China＇s Guangxi Zhuang Autonomous Region, Liugong Machinery Group Co. Ltd. is China＇s lead- ing construction machinery producer and also China＇s first listed company in the construction machinery sector. At the end of 2010, Liugong acquired OVM Machinery Co. Ltd., a leading prestressing producer in the country. After the purchase, OVM＇s profits grew rapidly against a headwind.展开更多
文摘In this paper, an extended car-following model is proposed based on an optimal velocity model (OVM), which takes the speed limit into consideration. The model is analyzed by using the linear stability theory and nonlinear analysis method. The linear stability condition shows that the speed limit can enlarge the stable region of traffic flow. By applying the reductive perturbation method, the time-dependent Ginzburg-Landau (TDGL) equation and the modified Korteweg-de Vries (mKdV) equation are derived to describe the traffic flow near the critical point. Furthermore, the relation between TDGL and mKdV equations is also given. It is clarified that the speed limit is essentially equivalent to the parameter adjusting of the driver’s sensitivity.
文摘介绍了OVM(Open Verification Methodology)验证方法学的基本概念和技术,从验证环境的体系架构、验证组件的可重用性和验证过程等方面进行详细说明,给出一个使用e语言实现的基于OVM的可重用自动化验证平台的实例。基于OVM的可重用自动化验证平台可提高SoC(System on a chip)功能验证的可重用性、可扩展性和验证效率。
基金National Basic Research (973) Program(No.G1998030408)
文摘This paper investigated the performances of a well-known car-following model with numerical simulations in describing the deceleration process induced by the motion of a leading car. A leading car with a pre-specilied speed profile was used to test the above model. The results show that this model is to some extent deficient in performing the process aforementioned. Modifications of the model to overcome these deficiencies were demonstrated anda modified car-following model was proposed accordingly. Furthermore, the delay time of car motion of the new model were studied.
文摘 This paper introduces the concept of orthogonal vector measures, and gives the Yosida-Hewittdecomposition theorem for this kind of vector measures. The major results are(a) Any orthogonal vector measure can gain it countable additivity by enlarging its domain;(b) Every orthogonal vector measure can be represented as the sum of two orthogonal vectormeasures, one of which is countably additive, and the other is purely finitely additive. Furthermore,these vector measures are completely perpendicular to each other.
文摘Headquartered in Liuzhou, south China＇s Guangxi Zhuang Autonomous Region, Liugong Machinery Group Co. Ltd. is China＇s lead- ing construction machinery producer and also China＇s first listed company in the construction machinery sector. At the end of 2010, Liugong acquired OVM Machinery Co. Ltd., a leading prestressing producer in the country. After the purchase, OVM＇s profits grew rapidly against a headwind.
