期刊文献+
共找到883篇文章
< 1 2 45 >
每页显示 20 50 100
An extended cellular automata model with modified floor field for evacuation 被引量:4
1
作者 Da-Hui Qin Yun-Fei Duan +2 位作者 Dong Cheng Ming-Zhu Su Yong-Bo Shao 《Chinese Physics B》 SCIE EI CAS CSCD 2020年第9期622-631,共10页
The floor field model has been widely used in evacuation simulation research based on cellular automata model. However, conventional methods of setting floor field will lead to highly insufficient utilization of the e... The floor field model has been widely used in evacuation simulation research based on cellular automata model. However, conventional methods of setting floor field will lead to highly insufficient utilization of the exit area when people gather on one side of the exit. In this study, an extended cellular automata model with modified floor field is proposed to solve this problem. Additionally, a congestion judgment mechanism is integrated in our model, whereby people can synthetically judge the degree of congestion and distance in front of them to determine whether they need to change another exit to evacuate or not. We contrasted the simulation results of the conventional floor field model, the extended model proposed in this paper, and Pathfinder software in a same scenario. It is demonstrated that this extended model can ameliorate the problem of insufficient utilization of the exit area and the trajectory of pedestrian movement and the crowd shape of pedestrians in front of exit in this new model are more realistic than those of the other two models. The findings have implications for modeling pedestrian evacuation. 展开更多
关键词 evacuation simulation cellular automata model floor field model CONGESTION
下载PDF
Cellular automata modeling of pedestrian's crossing dynamics 被引量:6
2
作者 张晋 王慧 李平 《Journal of Zhejiang University Science》 CSCD 2004年第7期835-840,共6页
Cellular automata modeling techniques and the characteristics of mixed traffic flow were used to derive the 2-dimensional model presented here for simulation of pedestrian’s crossing dynamics. A conception of “stop... Cellular automata modeling techniques and the characteristics of mixed traffic flow were used to derive the 2-dimensional model presented here for simulation of pedestrian’s crossing dynamics. A conception of “stop point” is introduced to deal with traffic obstacles and resolve conflicts among pedestrians or between pedestrians and the other vehicles on the crosswalk. The model can be easily extended, is very efficient for simulation of pedestrian’s crossing dy- namics, can be integrated into traffic simulation software, and has been proved feasible by simulation experiments. 展开更多
关键词 Cellular automata modeling Pedestrian’s crossing dynamics Traffic simulation
下载PDF
Effects of rainy weather on traffic accidents of a freeway using cellular automata model 被引量:6
3
作者 庞明宝 任泊宁 《Chinese Physics B》 SCIE EI CAS CSCD 2017年第10期515-526,共12页
The aim of this work is to investigate the influence of rainy weather on traffic accidents of a freeway. The micro-scale driving behaviors in rainy weather and possible vehicle rear-end and sideslip accidents are anal... The aim of this work is to investigate the influence of rainy weather on traffic accidents of a freeway. The micro-scale driving behaviors in rainy weather and possible vehicle rear-end and sideslip accidents are analyzed. An improved CA model of two lanes one-way freeway is presented, where some vehicle accidents will occur when the necessary conditions are simultaneously satisfied. The characteristics of traffic flow under different rainfall intensities are discussed and the accident probabilities are analyzed via the simulation experiments by using variable speed limit (VSL) and incoming flow control. The results indicate that the measures are effective especially during heavy rainstorms or short-time heavy rainfall. According to different rainfall intensities, an appropriate strategy should be adopted in order to reduce the probability of vehicle accidents and enhance traffic flux as well. 展开更多
关键词 cellular automata (CA) model FREEWAY rainy weather rear-end SIDESLIP
下载PDF
A cellular automata model of epidemics of a heterogeneous susceptibility 被引量:3
4
作者 靳祯 刘权兴 《Chinese Physics B》 SCIE EI CAS CSCD 2006年第6期1248-1256,共9页
In this paper we present a model with spatial heterogeneity based on cellular automata (CA). In the model we consider the relevant heterogeneity of host (susceptible) mixing and the natural birth rate. We divide t... In this paper we present a model with spatial heterogeneity based on cellular automata (CA). In the model we consider the relevant heterogeneity of host (susceptible) mixing and the natural birth rate. We divide the susceptible population into three groups according to the immunity of each individual based on the classical susceptible-infectedremoved (SIR) epidemic models, and consider the spread of an infectious disease transmitted by direct contact among humans and vectors that have not an incubation period to become infectious. We test the local stability and instability of the disease-free equilibrium by the spectrum radii of Jacobian. The simulation shows that the structure of the nearest neighbour size of the cell (or the degree of the scale-free networks) plays a very important role in the spread properties of infectious disease. The positive equilibrium of the infections versus the neighbour size follows the third power law if an endemic equilibrium point exists. Finally, we analyse the feature of the infection waves for the homogeneity and heterogeneous cases respectively. 展开更多
关键词 cellular automata epidemic spreading SIR model spatial heterogeneity model evolution
下载PDF
Cellular automata model for traffic flow with safe driving conditions 被引量:4
5
作者 María Elena Lárraga Luis Alvarez-Icaza 《Chinese Physics B》 SCIE EI CAS CSCD 2014年第5期216-226,共11页
In this paper, a recently introduced cellular automata (CA) model is used for a statistical analysis of the inner micro-scopic structure of synchronized traffic flow. The analysis focuses on the formation and dissol... In this paper, a recently introduced cellular automata (CA) model is used for a statistical analysis of the inner micro-scopic structure of synchronized traffic flow. The analysis focuses on the formation and dissolution of clusters or platoons of vehicles, as the mechanism that causes the presence of this synchronized traffic state with a high flow. This platoon formation is one of the most interesting phenomena observed in traffic flows and plays an important role both in manual and automated highway systems (AHS). Simulation results, obtained from a single-lane system under periodic boundary conditions indicate that in the density region where the synchronized state is observed, most vehicles travel together in pla- toons with approximately the same speed and small spatial distances. The examination of velocity variations and individual vehicle gaps shows that the flow corresponding to the synchronized state is stable, safe and highly correlated. Moreover, results indicate that the observed platoon formation in real traffic is reproduced in simulations by the relation between vehicle headway and velocity that is embedded in the dynamics definition of the CA model. 展开更多
关键词 traffic flow models synchronized traffic cellular automata platoons formation
下载PDF
Providing a Therapeutic Scheduling for HIV Infected Individuals with Genetic Algorithms Using a Cellular Automata Model of HIV Infection in the Peripheral Blood Stream
6
作者 Gelayol Nazari Golpayegani Amir Homayoun Jafari Nader Jafarnia Dabanloo 《Journal of Biomedical Science and Engineering》 2017年第3期77-106,共30页
The aim of this study is to develop two-dimensional cellular automata model of HIV infection that depicts the dynamics involved in the interactions between acquired immune system and HIV infection in the peripheral bl... The aim of this study is to develop two-dimensional cellular automata model of HIV infection that depicts the dynamics involved in the interactions between acquired immune system and HIV infection in the peripheral blood stream. The appropriate biological rules of cellular automata model have been extracted from expert knowledge and the model has been simulated with determined initial conditions. Obtained results have been validated through comparing with the accepted AIDS reference curve. The new rules and states were added to the proposed model to show the effects of applying combined antiretroviral therapy. Our results showed that by applying RTI and PI drugs with maximum drug effectiveness, comparing with cases in which no treatment was applied, the steady state concentrations of healthy (infected) CD4+T cells were increased (decreased) 53% (41%). Also, the use of cART with maximum drug effectiveness led to a 69% reduction in the steady state level of viral load. At this time, obtained results have been validated through comparing with available clinical data. Our results showed good agreement with both reference curve and the clinical data. In the second phase of this study, by applying genetic algorithms, a therapeutic schedule has been provided that its use, while maintaining the quality of the treatment, leads to a 47% reduction in both drug dosage and the side effects of antiretroviral drugs. 展开更多
关键词 HIV Infection Cellular automata model Combined ANTIRETROVIRAL Therapy Genetic Algorithms
下载PDF
Study on Simulation of Foreshock Activity Properties before Strong Earthquake Using Heterogeneous Cellular Automata Models
7
作者 Meng Li Feng Yang Tao Zhang 《International Journal of Geosciences》 2014年第3期274-285,共12页
Three different degrees of heterogeneous fault models are simulated by using 2-D random dynamic cellular automata models for analyzing macroscopic behaviors of seismic activity evolution influenced by heterogeneity of... Three different degrees of heterogeneous fault models are simulated by using 2-D random dynamic cellular automata models for analyzing macroscopic behaviors of seismic activity evolution influenced by heterogeneity of fault structures. The results show that the heterogeneities of fault structures can influence evolution properties of the foreshock activity and rupture process, such as the mediate heterogeneous and less heterogeneous structures, which show relatively higher ASR rates and more significant seismic gaps before main shocks. Besides, stress drop distribution ranges of the foreshock events when approaching a main shock show more homogenous (narrower) than that of the foreshock events far from a main shock. So the heterogeneity of fault structures plays an important role in strong earthquake preparation processes. 展开更多
关键词 Cellular automata model SIMULATION HETEROGENEITY FORESHOCK ACTIVITY
下载PDF
A cellular automata model with probability infection and spatial dispersion
8
作者 靳祯 刘权兴 Mainul Haque 《Chinese Physics B》 SCIE EI CAS CSCD 2007年第5期1267-1275,共9页
In this article, we have proposed an epidemic model based on the probability cellular automata theory. The essential mathematical features are analysed with the help of stability theory. We have given an alternative m... In this article, we have proposed an epidemic model based on the probability cellular automata theory. The essential mathematical features are analysed with the help of stability theory. We have given an alternative modelling approach for the spatiotemporal system which is more realistic from the practical point of view. A discrete and spatiotemporal approach is shown by using cellular automata theory. It is interesting to note that both the size of the endemic equilibrium and the density of the individuals increase with the increase of the neighbourhood size and infection rate, but the infections decrease with the increase of the recovery rate. The stability of the system around the positive interior equilibrium has been shown by using a suitable Lyapunov function. Finally, experimental data simulation for SARS disease in China in 2003 and a brief discussion are given. 展开更多
关键词 cellular automata SEIS model STABILITY mean-field approximation spatial epidemic
下载PDF
Urban growth scenario projection using heuristic cellular automata in arid areas considering the drought impact
9
作者 TANG Xiaoyan FENG Yongjiu +7 位作者 LEI Zhenkun CHEN Shurui WANG Jiafeng WANG Rong TANG Panli WANG Mian JIN Yanmin TONG Xiaohua 《Journal of Arid Land》 SCIE CSCD 2024年第4期580-601,共22页
Arid areas with low precipitation and sparse vegetation typically yield compact urban pattern,and drought directly impacts urban site selection,growth processes,and future scenarios.Spatial simulation and projection b... Arid areas with low precipitation and sparse vegetation typically yield compact urban pattern,and drought directly impacts urban site selection,growth processes,and future scenarios.Spatial simulation and projection based on cellular automata(CA)models is important to achieve sustainable urban development in arid areas.We developed a new CA model using bat algorithm(BA)named bat algorithm-probability-of-occurrence-cellular automata(BA-POO-CA)model by considering drought constraint to accurately delineate urban growth patterns and project future scenarios of Urumqi City and its surrounding areas,located in Xinjiang Uygur Autonomous Region,China.We calibrated the BA-POO-CA model for the drought-prone study area with 2000 and 2010 data and validated the model with 2010 and 2020 data,and finally projected its urban scenarios in 2030.The results showed that BA-POO-CA model yielded overall accuracy of 97.70%and figure-of-merits(FOMs)of 35.50%in 2010,and 97.70%and 26.70%in 2020,respectively.The inclusion of drought intensity factor improved the performance of BA-POO-CA model in terms of FOMs,with increases of 5.50%in 2010 and 7.90%in 2020 than the model excluding drought intensity factor.This suggested that the urban growth of Urumqi City was affected by drought,and therefore taking drought intensity factor into account would contribute to simulation accuracy.The BA-POO-CA model including drought intensity factor was used to project two possible scenarios(i.e.,business-as-usual(BAU)scenario and ecological scenario)in 2030.In the BAU scenario,the urban growth dominated mainly in urban fringe areas,especially in the northern part of Toutunhe District,Xinshi District,and Midong District.Using exceptional and extreme drought areas as a spatial constraint,the urban growth was mainly concentrated in the"main urban areas-Changji-Hutubi"corridor urban pattern in the ecological scenario.The results of this research can help to adjust urban planning and development policies.Our model is readily applicable to simulating urban growth and future scenarios in global arid areas such as Northwest China and Africa. 展开更多
关键词 bat algorithm cellular automata(CA) probability-of-occurrence drought intensity algorithm-probability-of-occurrence-cellular automata(BA-POO-CA)model arid areas
下载PDF
Assessment of freeway work zone safety with improved cellular automata model 被引量:4
10
作者 Guohua Liang Fengjing Wang +2 位作者 Wei Wang Xiaoduan Sun Wugong Wang 《Journal of Traffic and Transportation Engineering(English Edition)》 2014年第4期261-271,共11页
To accurately assess the safety of freeway work zones, this paper investigates the safety of vehicle lane change maneuvers with improved cellular automata model. Taking the traffic conflict and standard deviation of o... To accurately assess the safety of freeway work zones, this paper investigates the safety of vehicle lane change maneuvers with improved cellular automata model. Taking the traffic conflict and standard deviation of operating speed as the evaluation indexes, the study evaluates the freeway work zone safety. With improved deceleration probability in car-following rules and the addition of lanechanging rules under critical state, the lane-changing behavior under critical state is defined as a conflict count. Through 72 schemes of simulation runs, the possible states of the traffic flow are carefully studied. The results show that under the condition of constant saturation traffic conflict count and vehicle speed standard deviation reach their maximums when the mixed rate of heave vehicles is 40%. Meanwhile, in the case of constant heavy vehicles mix, traffic conflict count and vehicle speed standard deviation reach maximum values when saturation rate is 0.75. Integrating all simulation results, it is known the traffic safety in freeway work zones is classified into four levels: safe, relatively safe, relatively dangerous, and dangerous. 展开更多
关键词 work zone cellular automata model conflict count safety classification speed standard deviation
原文传递
A cellular automata model for simulating fed-batch penicillin fermentation process
11
作者 Yu Naigong Ruan Xiaogang 《Frontiers in Biology》 CSCD 2006年第2期195-202,共8页
A cellular automata model to simulate penicillin fed-batch fermentation process(CAPFM)was established in this study,based on a morphologically structured dynamic penicillin production model,that is in turn based on th... A cellular automata model to simulate penicillin fed-batch fermentation process(CAPFM)was established in this study,based on a morphologically structured dynamic penicillin production model,that is in turn based on the growth mechanism of penicillin producing microorganisms and the characteristics of penicillin fed-batch fermentation.CAPFM uses the three-dimensional cellular automata as a growth space,and a Moore-type neighborhood as the cellular neighborhood.The transition rules of CAPFM are designed based on mechanical and structural kinetic models of penicillin batch-fed fermentation processes.Every cell of CAPFM represents a single or specific number of penicillin producing microorganisms,and has various state.The simulation experimental results show that CAPFM replicates the evolutionary behavior of penicillin batch-fed fermentation processes described by the structured penicillin production kinetic model accordingly. 展开更多
关键词 penicillin fermentation process fermentation dynamics morphologically structured model cellular automata model
原文传递
On the impact of connected automated vehicles in freeway work zones:a cooperative cellular automata model based approach
12
作者 Yun Zou Xiaobo Qu 《Journal of Intelligent and Connected Vehicles》 2018年第1期1-14,共14页
Purpose–Freeway work zones have been traffic bottlenecks that lead to a series of problems,including long travel time,high-speed variation,driver’s dissatisfaction and traffic congestion.This research aims to develo... Purpose–Freeway work zones have been traffic bottlenecks that lead to a series of problems,including long travel time,high-speed variation,driver’s dissatisfaction and traffic congestion.This research aims to develop a collaborative component of connected and automated vehicles(CAVs)to alleviate negative effects caused by work zones.Design/methodology/approach–The proposed cooperative component is incorporated in a cellular automata model to examine how and to what scale CAVs can help in improving traffic operations.Findings–Simulation results show that,with the proposed component and penetration of CAVs,the average performances(travel time,safety and emission)can all be improved and the stochasticity of performances will be minimized too.Originality/value–To the best of the authors’knowledge,this is the first research that develops a cooperative mechanism of CAVs to improve work zone performance. 展开更多
关键词 Connected and automated vehicles Cooperative cellular automata model Microscopic traffic flow models Work zone
原文传递
Developing land use scenario dynamics model by the integration of system dynamics model and cellular automata model 被引量:23
13
作者 HE Chunyang, SHI Peijun, CHEN Jin, Li Xiaobing, PAN Yaozhong, LI Jing, LI Yuechen & LI Jinggang Key Laboratory of Environmental Change and Natural Disaster, Ministry of Education of China, Beijing Normal University College of Resources Science & Technology, Beijing Normal University, Beijing 100875, China 《Science China Earth Sciences》 SCIE EI CAS 2005年第11期1979-1989,共11页
Modeling land use scenario changes and its potential impacts on the structure and function of the ecosystem in the typical regions are helpful to understanding the interactive mechanism between land use system and eco... Modeling land use scenario changes and its potential impacts on the structure and function of the ecosystem in the typical regions are helpful to understanding the interactive mechanism between land use system and ecological system. A Land Use Scenario Dynamics (LUSD) model by the integration of System Dynamics (SD) model and Cellular Automata (CA) model is developed with land use scenario changes in northern China in the next 20 years simulated in this paper. The basic idea of LUSD model is to simulate the land use scenario de-mands by using SD model at first, then allocate the land use scenario patterns at the local scale with the considerations of land use suitability, inheritance ability and neighborhood effect by using CA model to satisfy the balance between land use scenario demands and supply. The application of LUSD model in northern China suggests that the model has the ability to reflect the complex behavior of land use system at different scales to some extent and is a useful tool for assessing the potential impacts of land use system on ecological system. In addition, the simulated results also indicate that obvious land use changes will take place in the farming-pastoral zone of northern China in the next 20 years with cultivated land and urban land being the most active land use types. 展开更多
关键词 system dynamics CELLULAR automata scenario LAND use model
原文传递
Modeling Passengers Boarding in Aircraft Using Cellular Automata 被引量:5
14
作者 Themistoklis Giitsidis Georgios Ch.Sirakoulis 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI 2016年第4期365-384,共20页
Aircraft are profitable to their owners as long as they are in the air transporting passengers to their destinations;therefore it is vital to minimize as much as possible their preparation time on the ground.In this p... Aircraft are profitable to their owners as long as they are in the air transporting passengers to their destinations;therefore it is vital to minimize as much as possible their preparation time on the ground.In this paper we simulate different boarding strategies with the help of a model based on cellular automata parallel computational tool,attempting to find the most efficient way to deliver each passenger to her/his assigned seat.Two seat arrangements are used,a small one based on Airbus A320/ Boeing 737 and a larger one based on Airbus A380/ Boeing777-300.A wide variety of parameters,including time delay for luggage storing,the frequency by which the passengers enter the plane,different walking speeds of passengers depending on sex,age and height,and the possibility of walking past their seat,are simulated in order to achieve realistic results,as well as monitor their effects on boarding time.The simulation results indicate that the boarding time can be significantly reduced by the simple grouping and prioritizing of passengers.In accordance with previous papers and the examined strategies,the outside-in and reverse pyramid boarding methods outperform all the others for both the small and large airplane seat layout.In the latter,the examined strategies are introduced for first time in an analogous way to the initial small seat arrangement of Airbus A320/ Boeing737 aircraft family.Moreover,since in real world scenarios,the compliance of all the passengers to the suggested group division and boarding strategy cannot be guaranteed,further simulations were conducted.It is clear that as the number of passengers disregarding the priority of the boarding groups increases,the time needed for the boarding to complete tends towards that of the random boarding strategy,thus minimizing the possible advantages gained by the proposed boarding strategies. 展开更多
关键词 Cellular automata aircraft boarding modelING crowd dynamics
下载PDF
An improved urban cellular automata model by using the trend-adjusted neighborhood 被引量:1
15
作者 Xuecao Li Yuyu Zhou Wei Chen 《Ecological Processes》 SCIE EI 2020年第1期314-326,共13页
Background:Cellular automata(CA)-based models have been extensively used in urban sprawl modeling.Presently,most studies focused on the improvement of spatial representation in the modeling,with limited efforts for co... Background:Cellular automata(CA)-based models have been extensively used in urban sprawl modeling.Presently,most studies focused on the improvement of spatial representation in the modeling,with limited efforts for considering the temporal context of urban sprawl.In this paper,we developed a Logistic-Trend-CA model by proposing a trend-adjusted neighborhood as a weighting factor using the information of historical urban sprawl and integrating this factor in the commonly used Logistic-CA model.We applied the developed model in the Beijing-Tianjin-Hebei region of China and analyzed the model performance to the start year,the suitability surface,and the neighborhood size.Results:Our results indicate the proposed Logistic-Trend-CA model outperforms the traditional Logistic-CA model significantly,resulting in about 18%and 14%improvements in modeling urban sprawl at medium(1 km)and fine(30 m)resolutions,respectively.The proposed Logistic-Trend-CA model is more suitable for urban sprawl modeling over a long temporal interval than the traditional Logistic-CA model.In addition,this new model is not sensitive to the suitability surface calibrated from different periods and spaces,and its performance decreases with the increase of the neighborhood size.Conclusion:The proposed model shows potential for modeling future urban sprawl spanning a long period at regional and global scales. 展开更多
关键词 Cellular automata(CA)model Temporal context Urban sprawl Logistic regression NEIGHBORHOOD
原文传递
Modelling vehicular interactions for heterogeneous traffic flow using cellular automata with position preference 被引量:2
16
作者 Gaurav Pandey K.Ramachandra Rao Dinesh Mohan 《Journal of Modern Transportation》 2017年第3期163-177,共15页
This paper proposes and validates a modified cellular automata model for determining interaction rate (i.e. number of car-following/overtaking instances) using traffic flow data measured in the field. The proposed m... This paper proposes and validates a modified cellular automata model for determining interaction rate (i.e. number of car-following/overtaking instances) using traffic flow data measured in the field. The proposed model considers lateral position preference by each vehicle type and introduces a position preference parameter fl in the model which facilitates gradual drifting towards preferred position on road, even if the gap in front is sufficient. Additionally, the model also improves upon the conven- tional model by calculating safe front and back gap dynamically based on speed and deceleration properties of leader and follower vehicles. Sensitivity analysis was carried out to determine the effect of β on vehicular interac- tions and the model was calibrated and validated using interaction rates observed in the field. Paired tests were conducted to determine the determining interaction rates validity of the model in Results of the simulations show that there is a parabolic relationship between area occupancy and interaction rate of different vehicle types. The model performed satisfactorily as the simulated interaction rate between different vehicle types were found to be statistically similar to those observed in field. Also, as expected, the interaction rate between light motor vehicles (LMVs) and heavy motor vehicles (HMVs) were found to be higher than that between LMVs and three wheelers because LMVs and HMVs share the same lane. This could not be done using conventional CA models as lateral movement rules were dictated by only speeds and gaps. So, in conventional models, the vehicles would end up in positions which are not realistic. The position preference parameter introduced in this model motivates vehicles to stay in their preferred positions. This study demonstrates the use of interaction rate as a measure to validate micro- scopic traffic flow models. 展开更多
关键词 Cellular automata Vehicular interaction ratePosition preference Traffic flow modelling Video-graphic survey
下载PDF
Numerical study on photoresist etching processes based on a cellular automata model
17
作者 ZHOU ZaiFa HUANG QingAn +1 位作者 LI WeiHua LU Wei 《Science China(Technological Sciences)》 SCIE EI CAS 2007年第1期57-68,共12页
For the three-dimensional (3-D) numerical study of photoresist etching processes, the 2-D dynamic cellular automata (CA) model has been successfully extended to a 3-D dynamic CA model. Only the boundary cells will be ... For the three-dimensional (3-D) numerical study of photoresist etching processes, the 2-D dynamic cellular automata (CA) model has been successfully extended to a 3-D dynamic CA model. Only the boundary cells will be processed in the 3-D dy-namic CA model and the structure of “if-else” description in the simulation pro-gram is avoided to speed up the simulation. The 3-D dynamic CA model has found to be stable, fast and accurate for the numerical study of photoresist etching processes. The exposure simulation, post-exposure bake (PEB) simulation and etching simulation are integrated together to further investigate the performances of the CA model. Simulation results have been compared with the available ex-perimental results and the simulations show good agreement with the available experiments. 展开更多
关键词 CELLULAR automata process SIMULATION optical LITHOGRAPHY SIMULATION model
原文传递
基于元胞自动机的高速公路主线同侧连续入口间距研究
18
作者 张航 彭翔 +2 位作者 马宝林 王星月 吕能超 《重庆交通大学学报(自然科学版)》 CAS CSCD 北大核心 2024年第7期61-69,共9页
针对高速公路主线同侧连续入口处车辆行驶安全与通行效率问题,对高速公路主线同侧连续入口间距进行了研究。通过建立元胞自动机仿真模型,分析了主线与匝道设计速度的差异以及高速公路主线匝道连续入口间距各部分长度对交通冲突率、平均... 针对高速公路主线同侧连续入口处车辆行驶安全与通行效率问题,对高速公路主线同侧连续入口间距进行了研究。通过建立元胞自动机仿真模型,分析了主线与匝道设计速度的差异以及高速公路主线匝道连续入口间距各部分长度对交通冲突率、平均拥堵车辆数和平均速度的影响;提出了不同主线与匝道设计速度组合下的主线同侧连续匝道入口间距推荐值;并对不同间距组合下的工况进行了仿真对比分析。研究结果表明:当主线与匝道设计速度的差异较大时,现有规范中的高速公路主线同侧连续入口间距难以满足交通安全与通行效率要求;相比采用规范中的一般值,采用文中推荐值时的主线车辆平均速度由81.39 km/h上升到95.29 km/h,匝道车辆冲突率由0.0335次/(km·veh)下降到0.0256次/(km·veh),匝道车辆平均拥堵数由0.0077 veh/s下降到0.0022 veh/s,提高了车辆通行效率,降低了车辆发生事故的风险。 展开更多
关键词 交通工程 连续入口 元胞自动机模型 高速公路 仿真技术
下载PDF
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study
19
作者 Nadeem Akhtar Muhammad Nauman 《Journal of Software Engineering and Applications》 2015年第2期43-50,共8页
A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agent... A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agents have a degree of control on their own actions, have their own threads of control, and under some circumstances they are also able to take decisions. Therefore they are autonomous. The multi-agent system is modeled as a network of timed automata based agents supported by clock variables. The representation of agent requirements based on mathematics is helpful in precise and unambiguous specifications, thereby ensuring correctness. This formal representation of requirements provides a way for logical reasoning about the artifacts produced. We can be systematic and precise in assessing correctness by rigorously specifying the functional requirements. 展开更多
关键词 Software CORRECTNESS FORMAL Verification model CHECKING Timed-automata Multi-Agent System TIMED Computation Tree Logic (TCTL)
下载PDF
基于鱼群效应的智能网联车队形成与演化机理研究
20
作者 魏丽英 吴润泽 《交通运输系统工程与信息》 EI CSCD 北大核心 2024年第2期76-85,共10页
随着智能网联车的快速发展,智能网联车与人工驾驶车辆混行下的交通特性分析和协同控制研究已成为热点。本文构建多车道混合交通流元胞自动机仿真模型,对智能网联车队的形成及状态演化过程进行仿真刻画。首先,基于智能网联车的网联化特征... 随着智能网联车的快速发展,智能网联车与人工驾驶车辆混行下的交通特性分析和协同控制研究已成为热点。本文构建多车道混合交通流元胞自动机仿真模型,对智能网联车队的形成及状态演化过程进行仿真刻画。首先,基于智能网联车的网联化特征,引入鱼群效应来描述4种智能网联车队的形成过程;其次,从车队角度,利用马尔可夫性计算车队规模转移概率,阐述车队状态演化过程;再次,引入Gipps安全距离原则对NaSch模型进行改进,并对智能网联车和智能网联车队进行速度引导;最后,基于实测的车辆到达率,对建立的基于鱼群效应的混合车流元胞自动机模型进行仿真实验。结果表明:智能网联车队可以有效改善混合交通流的运行状态,缓解交通拥堵;在渗透率60%的条件下,智能网联车队规模为3时,与不存在车队相比,拥堵率可减少43.9%,交通流速度约提升43%,并且随着车队规模的增大,交通流平均速度趋于平稳。 展开更多
关键词 智能交通 智能网联车 鱼群效应 马尔可夫性 Gipps安全距离 元胞自动机模型
下载PDF
上一页 1 2 45 下一页 到第
使用帮助 返回顶部