Basic Simulation Environment for Highly Customized Connected and Autonomous Vehicle Kinematic Scenarios

Size: px
Start display at page:

Download "Basic Simulation Environment for Highly Customized Connected and Autonomous Vehicle Kinematic Scenarios"

Transcription

1 sensors Article Basic Simulation Environment for Highly Cusmized Connected and Aunomous Vehicle Kematic Scenarios Lguo Chai 1, Baigen Cai 2, Wei ShangGuan 1, *, Jian Wang 1 and Huashen Wang 1 1 School Electronics and Information Engeerg, Beijg Jiaong University, NO. 3 Shangyuancun, Haidian, Beijg 144, Cha; lgchai@bjtu.edu.cn (L.C.); wangj@bjtu.edu.cn (J.W.); hswang@bjtu.edu.cn (H.W.) 2 School Computer and Information Technology, Beijg Jiaong University, Beijg 144, Cha; bgcai@bjtu.edu.cn * Correspondence: wshg@bjtu.edu.cn; Tel.: ; Fax: Received: 2 July 217; Accepted: 2 August 217; Publhed: 23 August 217 Abstract: To enhance reality Connected and Aunomous Vehicles (CAVs) kematic simulation scenarios and guarantee accuracy and reliability verification, a four-layer CAVs kematic simulation framework, which composed with road network layer, vehicle operatg layer, uncertaties lg layer and demonstratg layer, proposed th paper. Properties tersections are defed describe road network. A target position based vehicle position updatg method designed simulate such vehicle behaviors as lane changg and turng. Vehicle kematic s are implemented mata status vehicles when y are movg wards target position. Priorities for dividual vehicle control are authorized for different layers. Operation mechanms CAVs uncertaties, which are defed as position error and communication th paper, are implemented simulation enhance reality simulation. A simulation platform developed based on proposed methodology. A comparon simulated and oretical vehicle has been analyzed prove validity and creditability platform. The scenario rear-end collion avoidance conducted verify uncertaties operatg mechanms, and a slot-based tersections (SIs) control strategy realized and verified simulation platform show supports platform CAVs kematic simulation and verification. Keywords: connected and aunomous vehicles; road network description; vehicle kematic s; uncertaties lg; application verification; simulation platform 1. Introduction Traffic simulation stware widely used verifyg and optimizg traffic coordatg algorithms, due its charactertics repeatability, maneuverability, accuracy and low-cost. For purpose beg aimed at different requirements, different traffic simulation stware developed. CORSIM, SimTraffic, AIMSUN, VISSIM, PARAMICS, etc., are mostly used microscopic traffic simulation, while CORFLO, KRONOS, KWaves [1], etc., are used macroscopic traffic simulation and SPSS, STATISTICA [2,3] are mostly used vehicle dynamical analyzg. To better simulate different traffic scenarios, most stware supports application program terfaces (APIs) are for secondary developg, and researchers have obtaed achievements based on traffic simulation stware. As development sensor and communication technology improves, connected and aunomous vehicles (CAVs), connected vehicles (CVs) and aunomous vehicles (AVs) [4] are able better serve traffic. Due advantages simulation, many control strategies CAVs have been conducted simulation environment. Sensors 217, 17, 1938; doi:1.339/s

2 Sensors 217, 17, Gueriau [5] proposed a simulation framework by troducg cooperative traffic s based on Multi-Agent ory an open-source traffic simular. The resultg simulation framework robust and able assess potential benefits cooperative traffic control strategies different traffic configurations. Zha [6] proposed and evaluated a dilemma zone protection framework via vehicle frastructure communications, and examed effectiveness proposed framework a simulation test bed built VISSIM. Fredette [7] developed a simulated road network resolve dconnect between powertra engeerg and eco-drivg by presentg development a simplified methodology for ensurg that eco-drivg scenarios are contextualized agast traditional drive-cycle based text techniques. Goodall [8] proposed a novel technique estimate positions unconnected vehicles based on behaviors communicatg vehicles along a signalized arterial and simulated and verified method microscopically usg a commercial traffic simulation stware package. From analys above, we can conclude that s and control strategies verification can be grouped three categories: first category API based verification commercial traffic simulation stware, such as Paramics and Vsim; second category redevelopment beyond open source traffic simulation stware, such as MITSIMLab [9] and SUMO [1]; and third category establh a new fundamental simulation environment. The ma difference between CAVs simulation and traditional traffic simulation controllg objects. In traditional traffic simulation, parameters signal formation, channelization, lk properties, etc., are changed enforce vehicles change behaviors. In CAVs simulation, based on V2X communication and status perception, control strategies should be generated each dividual vehicle better simulate aunomy vehicle. Due operation mechanm traffic simulation stware, sometimes it very complicated for researchers implement cusmized s or control strategies with API constrats, or s and algorithms we implement stware are not able operate as we anticipate. In th situation, fundamental simulation environment should be built verify s and control strategies. Control strategies CAVs are usually generated based on status perception and communication. Radar [11], LIDAR, camera, GPS, etc., are equipped on vehicle or mounted on frastructure perceive vehicle and environment status. The purpose perceivg vehicle and environment status precely judge spatial and temporal relationship between two traffic objects, so decion-makg component can generate an optimal control strategy and better coordate traffic. The perceived status can be transmitted by several kds communication modes, like DSRC [12], 4G, 3G, WIFI, etc. The performance different communication modes have been deeply researched help fd appropriate communication mode applied a certa traffic scenario [13]. In CAVs based scenarios and applications simulation, accuracy perceived status and performance communication should be taken account enhance reality simulation. In th paper, framework, s and implementation CAVs kematic simulation and verification are dcussed. A four-layer framework for CAVs kematic simulation proposed. Properties tersections are defed describe road network. A target position based vehicle position updatg method designed restrict vehicles move with lks, as well as simulate behaviors lane changg and turng. Vehicle kematic s are implemented mata status vehicles. Priorities for dividual vehicle control are authorized different layers. Operatg mechanms CAVs uncertaties, which are defed as position error and communication, are implemented simulation. A simulation platform based on proposed methodology developed, and experiments are conducted prove reliability methodology.

3 Sensors 217, 17, Sensors 217, 17, Multi-Layer Simulation Framework A multi-layer framework troduced accomplh simulation. Four layers are designed: road network layer, vehicle operatg layer, uncertaties lg layer and demonstratg layer. Relationship each layer showed Figure 1. Figure 1. Framework Connected and Aunomous Vehicles (CAVs) kematic simulation. The road network layer defe properties tersection and describe road network. Intersections are are considered as as basic basic elements, elements, lks are lks generated are generated based onbased properties on properties each tersection. each tersection. Signal control Signal strategy control andstrategy sp signand control sp strategy sign control tersections strategy are tersections deployed are road deployed network layer. road network In vehiclelayer. operatg In vehicle layer, operatg vehicles are layer, generated vehicles fromare zone generated tersections, from zone and tersections, move with and rules move with vehicle followg, rules vehicle lane changg, followg, route lane selectg changg, androute or selectg vehicle kematic and or vehicle s. kematic In CAVs, vehicle s. position In CAVs, error vehicle and communication position error and communication always ext. Positiong always errorext. and Positiong communicatg error and s communicatg are implemented s error are lg implemented layer enhance error lg reality layer enhance simulation. The reality demonstratg simulation. layer The fordemonstratg vualization and layer evaluation. for vualization and evaluation. Based on CAVs kematic simulation framework, one vehicle able move from its start zone its destation zone along pre-generated route. For CAVs applications, scenarios and control strategies would be be implemented simulation, and and several several components would would modify modify status status vehicles. vehicles. Thus, Thus, priority priority vehicle vehicle control control authorized authorized different different layers layers ensure ensure stability stability simulation. simulation. A hazardous A hazardous over-speed over-speed scenario scenario and pre-warng and pre-warng control control strategy strategy would would be analyzed be analyzed as example as an example expla expla vehicle control vehicle priorities. control When priorities. one vehicle When one generated vehicle generated road network, road basic network, vehicle kematic basic vehicle s, kematic whichs, are vehicle which followg are vehicle, followg lane changg, lane, changg route selectg,, route selectg turng, etc., turng would, generate etc., vehicle would status generate stepvehicle by stepstatus leadstep vehicle by step movg lead its vehicle destation movg tersection. its destation When tersection. scenario conditions When are scenario satfied, conditions vehicle are would satfied, be controlled vehicle would by be scenario controlled component. by scenario Meanwhile, component. control Meanwhile, strategy control would monir strategy would status monir vehicle, status and generate vehicle, pre-warng and generate suggestions pre-warng suggestions control vehicle control if necessary. vehicle After if necessary. pre-warng After pre-warng relieved, relieved, authority authority control vehicle control would vehicle be given would back be given vehicle back kematic vehicle s. kematic Thus, s. control Thus, strategies, control scenarios strategies, and scenarios basic vehicle and basic kematic vehicle s kematic are s authorized are with authorized priority with high, priority medium and high, lowmedium respectively. and low Vehicle respectively. control component Vehicle control would component realize its function would by realize eir its changg function by acceleration eir changg vehicle, acceleration or alterg vehicle, or trajecry. alterg vehicle When deployg trajecry. CAV-based applications reality, usually frastructures should be built. As one When most important deployg components CAV-based applications CAV system, frastructure reality, usually apparently frastructures has a number should be functions: built. As one most important components CAV system, frastructure apparently has a number

4 Sensors 217, 17, transferrg formation, surveillg vehicle and environment status, makg decions, etc. For functions communicatg and computg, re no need set up frastructures simulation, because simulation, status every dividual unit can be obtaed and computg would be executed aumatically based on pre-designed algorithms. For roadside sensors, which are aimg surveil vehicle and environment status, y can be simulated as scenario and control strategy. Surveillance radar would be analyzed as an example. Surveillance radars are usually dtributed at high rk pots, such as road-crossg, railroad crossg, and givg formation vehicles about presence movg or still objects a certa area. To simulate function surveillance radar, firstly, operatg mechanm radar should be ed, and data type surveillg formation should be designed based on pre-extg simulation environment. Then a new programmg object should be defed mata formation collected by sensor each simulation step. The programmg object should clude position movg or still object, length detection capability, ID vehicles with detection range, etc. More attributes programmg object can be designed based on different simulation goals. Then a control strategy, which process formation collected by radar, should be designed and applied simulation. The output control strategy can be cusmized by user. It can be eir speed suggestion vehicle, or lane suggestion vehicle. Lastly, we can evaluate performance surveillance radar by analyzg movement vehicles. In th paper, properties vehicles and tersections are defed detail for vehicle control components better control vehicles, and a target position based vehicle position updatg method troduced accomplh change vehicle trajecry. 3. Defition Properties Intersections and Vehicles 3.1. Properties Intersection Intersections are basic elements composg road network. Lks can be described accordg properties tersections. In th paper, tersection properties are defed describe a road network. The properties are defed Table 1. Table 1. Defitions tersection properties. Basic Lk Name Details Fixed f slot The value equals 1 if tersection slot based tersection (SIs) Yes f sp The value equals 1 if tersection sp sign based tersection Yes f zone The value equals 1 if vehicles can be generated and ended th tersection f sign The value equals 1 if tersection signalized Yes pt Position tersection center Yes lnk n Index nth lk Yes lnk num Count lks connected th tersection Yes lnk cid n Intersection ID at or side lnk n Yes lnk l_num n Count lanes lnk n Yes lnk l_w n Lane width lnk n Yes lnk edge n Direction lnk n tersection A Yes lnk v_num n Count vehicles lnk n at a certa simulatg step No lnk len n Lk length lnk n Yes Yes

5 Sensors 217, 17, Table 1. Cont. Signalization Name Details Fixed Lane lnk left n,m The value equals 1 if lane m authorized for left turng Yes lnk str n,m The value equals 1 if lane m authorized for straight gog Yes lnk right n,m The value equals 1 if lane m authorized for right turng Yes lnk allow n,m Determed by real-time signalization and channelization. If value equals 1, vehicle allowed enter tersection with lane m lnk vhc n,m Count vehicles with lane m No lnk vhc n,m,l ID vehicle which queued lth with lane m lnk n No lnk limit n Speed limit lnk n Yes lnk cid_e n Direction lnk n lnk cid n ph n Index nth phase Yes ph num Count signal phases Yes ph north n,m ph south n,m ph east n,m ph west n,m m {, 1, 2}, and, 1, 2 represent left turng, straight gog and right turng respectively. If ph north n,m equals 1, correspondg movement authorized for vehicle comg from north. See ph north n,m See ph north n,m See ph north n,m ph time n Duration phase n Yes ph g_r n The remag green time phase n No ph Index phase beg executed No No Yes No No No No Each tersection would have correspondg properties and properties are itialed before simulation starts. After simulation begs, properties are updated each simulation step. The column that marked as fixed dicates that wher value would change each simulation step. The proposed method supports up four directions one tersection. The up edge tersection figured as north, botm edge figured as south, left edge figured as west, and right edge figured as east. In order make properties tersections easier understand, a road network with two tersections troduced expla meangs properties Figure 2. Sensors 217, 17, lnk 2 lnk l_num 2 2 ph ph ph ph num time 1 g_r s 25 s lnk edge 2 1 pt fzone 1 allow lnk2, m 1, m,1 lnk lnk lnk vhc 1,1 2 1, lnk 1 str 1, lnk 1 str right 1,1 1,1 left 1,2 1,2 len lnk 1 vhc lnk 1,1,1 vhc lnk 1,1,2 lnk 1 limit lnk1 2 m/s l_w lnk1 3.5 m lnk cid_e 1 4 cid lnk 1 lnk 3 f f f sign sp slot 1 lnk 4 allow m lnknum 4 south ph1, m 1, m 1, 2,3 lnk4, 1, m,1 vhc lnk 1,2,1 lnk v_num 1 3 Connection between two tersections can be defed Figure 2. Properties tersection. Paper uses properties tersection defe properties lk. When one tersection beg placed simulation environment, relationship tersection and pre-selected tersection would be establhed aumatically (connectg lk exts). The lks would aumatically be updated if positions tersections are changed, and connectg edge lk tersection would be updated. When simulation began, each tersection

6 Sensors 217, 17, Paper uses properties tersection defe properties lk. When one tersection beg placed simulation environment, relationship tersection and pre-selected tersection would be establhed aumatically (connectg lk exts). The lks would aumatically be updated if positions tersections are changed, and connectg edge lk tersection would be updated. When simulation began, each tersection would have a correspondg programmg object mata status tersection by updatg parameters object each simulation step. In th way, we can built enough large road network and guarantee simulation reliability Properties Vehicle The properties vehicle are designed as below Table 2. Table 2. Defitions vehicle properties. Name Details Fixed pt Present position a certa simulation step No pt en Position that vehicle movg No v Speed vehicle No st Previous tersection id No en Next tersection id No l Index lane vehicle No sta pt The value equals 1 if vehicle lk No des Destation tersection Yes r n ID nth tersection vehicle should travel through Yes r Count tersections vehicle has already passed No sta run The value equals 1 if vehicle reaches its destation tersection No sta sp The value equals 1, vehicle sps Yes d Dtance from pt pt en Yes l des Destation lane, determed by route and channelization Yes r num Count tersections cluded r n Yes vhc ahd ID vehicle ahead. The value equals 1 if no ahead vehicle exts No vhc bhd ID vehicle behd. The value equals 1 if no behd vehicle exts No sta lane The value equals 1 if vehicle changg lane No l old Previous lane No a Acceleration vehicle No vhc old Previous behd vehicle ID No sta sc The value equals 1 if vehicle volved scenarios No t re Driver s reactg time when vehicle brakes Yes vhc type Vehicle type, bus, truck or car Yes r lc Determes when change lane a lk Yes sta slot The value equals 1 if vehicle controlled by slot based algorithm No t sp Waitg time when vehicle a sp sign tersection No sta sp The value equals 1 if vehicle spped by sp sign tersection No Same with tersection properties, each vehicle would have correspondg properties. The properties would be itialed when vehicle released, and would be updated each simulation step. The column that marked as fixed dicates that wher value would change each simulation step. When one vehicle released road network from zone tersections based on Orig Destation (OD) formation, properties that conta route, lane, destation lane, itial speed, ahead vehicle, start tersection, end tersection, destation tersection, lane changg rate, etc., vehicle would be set defaults. All default values can be cusmized based on different requirements by users. The route formation calculated based on a mimum route dtance method [14], and or route selectg methods apply. Then vehicle would move a straight way wards target position. Vehicle queues each lane would be mataed rigorously apply vehicle followg. When vehicle changg lane or enterg tersection, target position would be changed simulate different vehicle behaviors. For vehicle that enterg tersection, if vehicle turng, a circular movg [15] implemented update its position, else straight position updatg method applied. And if tersection

7 Sensors 217, 17, destation vehicle, sta run vehicle would be set 1 and vehicle would not be updated or dplayed simulation. Acceleration and target position are ma attributes that are leadg vehicle. Acceleration determed by vehicle followg and crug s, and target position determed by vehicle trajecry. To better expla how vehicles are controlled by each component, Figure 3 presented below show vehicle operation process from time it generated time it fhes its journey. Sensors 217, 17, Start Kematic s Position updatg Endpt determation Simulatg one timestep Release lk sta pt 1 stapt 1 Yes No If vehicle startsection No stapt 1 Update d pt If vehicle endsection No Behd or ahead vehicle changed Yes end yes Circular movg en no des stapt yes starun 1 dtance( pt, pt ) 1 m en yes Change vhc ahd stalane 1, vhc d bhd no Yes Straight movg Yes No st en en r ( nr ) n yes stalane l des no l no yes stapt 1 Set en sp le as new end pt en Set en sp le as new end pt en d r lnk lc yes len n no Add vehicle new vhc queue lnk nml,, no set new ddd vhc ahd Lane changg criterion Speed v set new vhc ahd ddd set new vhc ahd ddd yes stalane 1 no Acceleration ad vhc bhd Set Behi -1 l old Set ol l l l l des des l l Refresh vhc status bhd ahead vehicle Set old vhc old Add vehicle lane vhc queue lnk nml,, Followg criterion r r 1 Delete from oldlane vhc queue lnk nml,, Set new d pt en Figure Vehicle operation process Matag Vehicle Kematic Status 4.1. Vehicle Speed Determation by by Followg and Crug Models Movements followg vehicle are significantly fluencedby by leadg vehicle. A A segmented queue ory applied mata sequence vehicles each lane. The segmented queues are are defed as as below Figure 4. 4.

8 4.1. Vehicle Speed Determation by Followg and Crug Models Movements followg vehicle are significantly fluenced by leadg vehicle. A segmented queue ory applied mata sequence vehicles each lane. The segmented queues are defed as below Figure 4. Sensors 217, 17, Figure 4. Segmented queue ory. Figure 4. Segmented queue ory. As shown figure, queues are defed based on lanes. When one vehicle crosses sp le tersection or change anor lane, vehicle volved anor queue and would be deleted from previous queue. In some tersections, due channelization tersection, right turng vehicles and straight gog vehicles may merge same queue. In th situation, tersection control strategy would decide which be leadg vehicle and which be followg vehicle as vehicles are prioritized enter tersection. The queue formation saved lnk vhc n,m,l and updated as simulation proceeds. Mimum safe dtance vehicle followg [16] and constant speed crug are applied determe acceleration and speed vehicles. The vehicle followg can be described as below. s gap + v2 v 2 l f τ + 2a dcc 2(a dcc /2) (1) where v l denotes leadg vehicle speed, v f denotes followg vehicle speed, a dcc = 6 m/s 2 maximum deceleration [17], s gap gap between two vehicles, τ mimum safe dtance between two vehicles with value 5 m. Vehicle speed can be updated as below: v n+1 = v n + a dcc t step /2 (s gap + v 2 l /(2a dcc ) τ + v 2 f /a dcc & v n < v limit ) v n+1 = v n (s gap + v 2 l /(2a dcc ) τ + v 2 f /a dcc & v n v limit ) v n+1 = v n a dcc t step /2 (s gap + v 2 l /(2a dcc ) < τ + v 2 f /a dcc ) (2) v n denotes vehicle speed time step n, and v n+1 denotes vehicle speed time step n + 1, v limit denotes lk speed limit, t step terval time step, usually range t step from 1 ms 1 s [18]. When one vehicle approachg tersection sp le, vehicle should sp if wayleave lane not authorized. The wayleave lane determed by attributes signal and channelization Vehicle Position Updatg Method Figure 5 shows vehicle position updatg processes straight gog and turng.

9 if wayleave lane not authorized. The wayleave lane determed by attributes signal and channelization Vehicle Position Updatg Method Sensors 217, 17, Figure 5 shows vehicle position updatg processes straight gog and turng. 3.5 x 6 = 21 m 3.5 m pt ( x, y ) n1 n1 pt (, ) xn yn 3.5 m pt (, ) en x y Next tersection Green belt r n1 n1 position updatg lk position updatg tersection pt ( x, y ) 3.5 m 3.5 m 3.5 m 3.5 m ( x, y ) r r pt (, ) xn yn 3.5 m Figure 5. Position updatg. Figure 5. Position updatg. (x n, y n ) denotes position vehicle at simulation step n, (x, y ) denotes pt en at simulation step n, (x n+1, y n+1 ) denotes position vehicle at simulation step n + 1, r denotes vehicle turng radius which can be calculated with properties tersection, (x r, y r ) denotes center turng circle, (x n+1, y n+1 ) calculated with criteria vehicle kematic s and trajecries. For turng vehicles, (x n+1, y n+1 ) can be calculated by formula below. θ = t step v/r + arcs((y n y r )/r) x n+1 = x r + r cos θ y n+1 = y r + r s θ (3) For straight gog vehicles, (x n+1, y n+1 ) can be calculated by formula below. { (xn+1 x n )/(y n+1 y n ) = (x x n )/(y y n ) (x n+1 x n ) 2 + (y n+1 y n ) 2 = ( v t step ) 2 ( y n < x n+1 < x y n < y n+1 < y ) (4) As showed formula, updatg position turng vehicle does not rely on pt en but based on properties tersection stead. However, straight gog vehicle position updatg should relate pt en. A target position matag method proposed lead vehicle move along its trajecry Target Position Updatg There are two situations that target position vehicle should be modified. One when vehicle changg lane, and or when vehicle enterg tersection. The equation below shows a mimum safety dtance based vehicle lane changg criterion implemented platform. s lon s f s l + L + W s θ (5) where s lon longitudal gap between lane changg vehicle and its behd vehicle target lane, s f longitudal dtance behd vehicle has moved durg lane changg duration t c, s l longitudal dtance lane changg vehicle has moved durg lane changg duration t c. In th paper, t c set 3s [19]. L length vehicle, W width vehicle, θ denotes angle between lane and direction that lane changg vehicle moves. When

10 As shown figure, vehicle operatg layer, vehicles are movg accordg vehicle kematic s. In uncertaties lg layer, observed positions vehicles are changed due overlapped position error and communication. The demonstratg layer for dplayg and dplay vehicles and road network can be scaled and translated. Lateral position error maly effects lane identification vehicle. Now th target lane, s f longitudal dtance behd vehicle has moved durg lane changg sl longitudal dtance lane changg vehicle has moved durg lane t duration c, t t changg duration c. In th paper, c set 3s [19]. L length vehicle, W Sensors 217, 17, width vehicle, denotes angle between lane and direction that lane changg r vehicle attributemoves r lc and. When mimum attribute safety dtance lc and based lane mimum changg safety criterion dtance are satfied, based lane vehicle changg starts criterion changeare lane, satfied, target vehicle position starts can change be calculated lane, Figure target position 6. can be calculated Figure 6. Lane changg time t c Next step pt ( xn 1, yn 1) Present trajecry ( ) en x 1, y1 After lane changg be calculated pt ( x, y ) en pt ( xn, yn) Sensors 217, 17, Figure 6. Target position redefed when vehicle changg lane. By solvg equations below, target position can be obtaed. By solvg equations symsbelow, x ( x,x target ), y position (, ) can be obtaed. 1 n ( x1 xn) syms +( y1 x 1 y n) (x =( n v, nx t c), ) y 1 (, ) { (x1 n ) 2 (6) ( y + (y y n ) 2 = (v t c ) 2 yn) x1( x xn) y1xyn yxn (6) (y y n )x 1 (x x n )y 1 +x y n y x n w 2 2 l sqrt(( y y = w sqrt((y n) ( x x y n ) 2 +(x n) x n ) 2 l When one vehicle fhes lane changg movement, or enters tersection, new target When one vehicle fhes lane changg movement, or enters tersection, new target position would be set middle sp le present lane. Except for lane changg position would be set middle sp le present lane. Except for lane changg triggerg condition, target position should be updated when dtance between vehicle triggerg condition, target position should be updated when dtance between vehicle and and target position smaller than 1 m. target position smaller than 1 m. 5. Uncertaties Operatg Mechanms Qualities communication and positiong would significantly fluence effectiveness applied algorithms and control strategies. Position Position error error and communication s and operatg mechanms mechanms are are analyzed analyzed th th paper. paper. Figure Figure 7 shows 7 shows observg observg position position vehicle that vehicle fluenced that fluenced by uncertaties by uncertaties vehicle vehicle operatg operatg layer, uncertaties layer, uncertaties lg lg layer andlayer demonstratg and demonstratg layer. layer. Communication Positiong error Prece Figure 7. Observg positions vehicles fluenced by uncertaties. Figure 7. Observg positions vehicles fluenced by uncertaties.

11 Sensors 217, 17, As shown figure, vehicle operatg layer, vehicles are movg accordg vehicle kematic s. In uncertaties lg layer, observed positions vehicles are changed due overlapped position error and communication. The demonstratg layer for dplayg and dplay vehicles and road network can be scaled and translated. Lateral position error maly effects lane identification vehicle. Now th problem can be well resolved by real-time video processg technology with accuracy 97% [2]. In th case, only longitudal position error dcussed. Communication would fluence punctuality formation transmittg. Frequent formation teractg would significantly fluence performance system. A CAV system contas variety communication teractg types: teraction with one sgle device, transmsion between two different equipment, multi-hop transmsion among several components. Different communication procols would lead different communication s. In th paper, sgle-hop transmsion dcussed as an example for lg communication. Or communication s can be applied by replace proposed Sensors 217, 17, th paper. Longitudal position error and communication would affect observg dtance would between affect two vehicles. observg Indtance th case, between it may lead two vehicles. false pre-warng In th case, or it pre-warng may lead false failure prewarng no filterg or algorithms pre-warng are failure taken. if no filterg algorithms are if taken Gaussian Gaussian Dtribution Dtribution Based Based Position Position Error Error Model Model It It difficult difficult establh establh an an accurate accurate error error for for position position error; error; adays, adays, most most extg extg methods methods are are based based on on Gaussian Gaussian dtribution. dtribution. Lee Lee [21] [21] defed defed Gaussian Gaussian dtribution-based dtribution-based trajecry trajecry s s design design threshold threshold parameters parameters for for a rear-end rear-end collion collion avoidance avoidance system. system. Although Although some some researchers researchers use use or or methods methods GPS GPS positiong positiong error error as as a practical practical alternative alternative [22], [22], we we still still propose propose mostly mostly adopted adopted boundg boundg method method (Gaussian (Gaussian dtribution dtribution function) function) represent represent dtribution position error ϕ. dtribution position error. ϕ ( F(ϕ) = 2πσ 2 e (y µ)2 y) /2 /2σ F( ) e dy 2 dy (7) (7) 2 2 To determe value σ and and µ above above equation, equation, an experiment an experiment has has been been conducted conducted Shanghai, Cha. Cha. AA car car equipped with three kds positiong systems are driven on express way generate positiong data. The three kds positiong systems are: INS (Inertial Navigation System) with RTK (Real Time Kematic) positiong (th system considered as most prece system experiment, or two systems are compared with th one), RTK positiong system and RTD (Real Time Differential) positiong system. The trajecry experiment showed Figures 8 and 9. Figure 8. Vehicle trajecry experiment. ude

12 Sensors 217, 17, latitude Figure 8. Vehicle trajecry experiment. Sensors 217, 17, Figure Figure Data Data map map and and pot pot set. set. Positiong data collected once per second each positiong system. Invalid pot sets (at a certa time, one or more positiong systems did not generate valid position data) are deleted ( Positiong data collected once per each positiong system. Invalid pot setspot (at a dcontuity trajecry because second th) from data sheet. Total number valid certa time,position one or more did not generate position data) are deleted sets error positiong defed assystems dtance between INSvalid position and RTK/RTD position.( So dcontuity trajecry because th) from data sheet. Total number valid pot we can get position error matrix ek and ed. ek denotes error RTK positiong system, sets Position error defed as dtance between INS position and RTK/RTD position. ek and ed error and RTD system. are both 1 positiong 4728 matrix. With and So weedcandenotes get position errorpositiong matrix ek and ed. ek denotes RTK system, ed denotesekand RTDepositiong system. e and ed areboth 4728 matrix. WithConsiderg defition ek 1and ed are defition positive. that d, we can see that all k values ek and ed,value we can see that all values approximates ek and ed are positive. Considerg that mean value mean positiong error should and symmetry position error, we positiong error should approximates and symmetry position error, we establh new establh new position error matrix [ ek ek ] and [ ed ed ] for analyzg. The densities RTK position error matrix [ ek ek ] and [ ed ed ] for analyzg. The densities RTK and RTD position error and RTD position error are showed Figure 1.are showed Figure RTK RTK fittg.2 RTD RTD fittg error (m) (a) RTK error, fittg curve 5 = 2.17, error (m) (b) RTD error, fittg curve 5 = 4.37, 1 15 Figure 1. Density RTK and RTD position error: (a) density RTK positiong error and its Figure 1. Density RTK and RTD position error: (a) density RTK positiong error and its fittg curve; and (b) density RTD positiong error and its fittg curve. fittg curve; and (b) density RTD positiong error and its fittg curve. The position position error error dtribution dtribution subject Gaussian dtribution. RTK RTK positiong positiong system system The more prece than RTK position error error density fittgfittg curve. more than RTD RTDpositiong positiongsystem, system,sosoσ smaller RTK position density smaller In fact,in σ differs different systems and different Dion [23] has establhed curve. fact, differs positiong different positiong systems andenvironments. different environments. Dion [23] has a position error error with σ equals 2.8. th paper, usepaper, RTD. error establhed a position with equals 2.8. we In th weerror use RTDPosition error. In complyg with dtribution above superposed onsuperposed each vehicle. Position error complyg with dtribution above on each vehicle Uniform Uniform and and Rayleigh Rayleigh Dtribution-Based Dtribution-Based Communication Communication Delay Delay Model Model 5.2. Due different different system system structures structures and and formation formation retransmsion retransmsion mechanms, mechanms, communication communication Due difficult evaluate. For V2V communication, DSRC widely used. In th paper, DSRC-based difficult evaluate. For V2V communication, DSRC widely used. In th paper, DSRCsgle-hop V2V communication dcussed. The communication generatg can based sgle-hop V2V communication dcussed. The communication process generatg be described Figure 11. Figure 11. process can bedescribed Generally, positiong devices output vehicle position data 1 times per second. The positiong time followg vehicle and leadg vehicle cannot be accurately synchronized. Th kd asynchronization leads communication, and formation transmsion also results d communication. For part communication 1 caused by asynchronization

13 Sensors 217, 17, Generally, positiong devices output vehicle position data 1 times per second. The positiong time followg vehicle and leadg vehicle cannot be accurately synchronized. Th kd asynchronization leads communication, and formation transmsion also results communication. For part communication d 1 caused by asynchronization positiong time, uniform dtribution applied describe it. The dtribution function can be defed as below. F 1 (d 1 ) = Sensors 217, 17, d 1 1 dy (8) 1 Followg Vehicle (FV) Leadg Vehicle (LV) FV position LV position LV position Positiong out sync Transmit FV position LV position LV position Positiong out sync Transmit Figure 11. Communication generatg process. The The transmsion transmsion establhed establhed based based on on data data paper paper [23]. [23]. After After analyzg analyzg data data fiducial fiducial probability probability.5,.5, we we found found that that data data subject subject Rayleigh Rayleigh dtribution dtribution with with mean mean value value equals equals ms. ms. Probability Probability density density function function Rayleigh Rayleigh dtribution dtribution defed defed as as below. below. x f2( x) e x /2 f 2 (x) = x (9) σ 2 e x2 /2σ 2 (9) And due characters Rayleigh dtribution, mean value defed as below. E(D 2E(D ) 2 ) = σ / 2π/ σ = (1) (1) Then Then we we can can get get value value σ = With With Equation Equation (9), (9), we we can can get get transmsion transmsion as as below. below. d d 2 2 y y y 2 / F2( df 2 (d ) 2 ) = e e y2 / dy dy (11) (11) The communication sum asynchronization and transmsion. The communication sum asynchronization and transmsion. To To implement communication simulation, an array with 4 rows has been defed implement communication simulation, an array with 4 rows has been defed computer memory. The communication simulatg process showed Figure 12. computer memory. The communication simulatg process showed Figure 12. Vehicle formation would be saved array step by step. An dex used determe which item should be used be dplayed or be applied applications. For or communication Vehicle formation modes, communication s are able be applied simulation with proposed framework. Status with Adrress at time t Status with at time t +t step Adrress 1 = m*t step Real-time status at time t Real-time status at time t +t step Adrress m-2 Adrress m-1 Adrress m Adrress m+1

14 y y 2 / F2( d2) e dy (11) The communication sum asynchronization and transmsion. To implement communication simulation, an array with 4 rows has been defed Sensors 217, 17, computer memory. The communication simulatg process showed Figure 12. Vehicle formation Status with at time t Status with at time t+tstep Adrress Adrress 1 = m*t step Real-time status at time t Real-time status at time t+tstep Adrress m-2 Adrress m-1 Adrress m Adrress m+1 Sensors 217, 17, 1938 Adrress communication modes, Figure communication 12. Communication s simulatg are able process. be applied simulation with proposed framework. 6. Simulation Vehicle and formation Verification would be saved array step by step. An dex used determe 6. Simulation and Verification which item should be used be dplayed or be applied applications. For or Besides Besides proposed proposed simulation simulation method, method, a user a user terface terface with with a dozen a dozen functions, functions, which which clude establhg clude road establhg network, road settg network, parameters settg parameters put, settg put, consecutive settg consecutive simulation simulation or sgle step, or sgle road step network, road savg, network illustratg savg, illustratg simulation with simulation graphics with device graphics terface device (GDI) or GDI+, terface scalg (GDI) and or translatg GDI+, scalg dplay, and translatg etc., designed dplay, enhance etc., designed simulation. enhance The simulation platform simulation. showed The simulation Figure 13. platform showed Figure 13. Network OD Vehicle status Channelization and Signal Figure Simulation platform. The comparon lk traditional road network, fluence uncertaties prewarng algorithms and a CAVs application are conducted platform verify applicability and reliability platform Vehicle Delay Comparon with Traditional Road Network Scenarios and applications CAVs are all based on traditional traffic flows. That wher

15 Sensors 217, 17, The comparon lk traditional road network, fluence uncertaties pre-warng algorithms and a CAVs application are conducted platform verify applicability and reliability platform Vehicle Delay Comparon with Traditional Road Network Sensors Scenarios 217, 17, 1938 and applications CAVs are all based on traditional traffic flows. That wher basic traffic flow cocides with real traffic flow would significantly fluence results condition any control strategies fixed signal and control algorithms test verified and verify reality platform. Vehicle platform. average Volume capacity analyzed ratio condition troduced fixed signal verification. control The test volume and verify capacity reality ratio defed platform. as below. Volume capacity ratio troduced verification. The volume capacity ratio defed as below. η = ϕ (12) g/c e (12) φg e /C where denotes vehicle arrival flow rate, denotes saturation flow rate, C denotes where ϕ denotes vehicle arrival flow rate, φ denotes saturation flow rate, C denotes traffic traffic signal cycle signal length, cycle length, g e denotes g e denotes effective effective green terval green duration, terval duration, and η denotes and denotes volume volume capacity ratio. capacity Theratio. saturation The saturation flow rate flow valuerate equals value equals 18 vhc/h 18 [24]. vhc/h The [24]. saturation The saturation flow rate flow rate defed defed Figure Figure Lost time Lost time Vehicle flow rate Red Saturation flow rate Green Figure 14. Determtic queug analys. Due 1994 HCM estimate [25], a one-lane-one-tersection scenario set up and simulated for 15 m estimate. The scenario showed Figure Amber Red Simulation parameters Simulation time: 15 m Saturation flow: 18 veh/h Free-flow speed: 6 km/h Signal operation Cycle time: 6 s Red terval : 3 s Green terval: 3 s 2km 1km Figure 15. Delay evaluation scenario. Thanks vehicle kematic s implemented platform, saturation flow approximately 18 vhc/hat at signal tersection. Figure16 16 shows results every vehicle and vehicle average different volume capacity ratio.

16 Figure 15. Delay evaluation scenario. Thanks vehicle kematic s implemented platform, saturation flow approximately 18 vhc/h at signal tersection. Figure 16 shows results every vehicle and vehicle average different volume capacity ratio. Sensors 217, 17, Sensors 217, 17, Sensors 217, 17, Figure 16. Vehicle different volume capacity ratio: (a d) are vehicle when different volume capacity ratio: (a d) are vehicle when equals Figure 16..6, Vehicle.9, 1. and 1.1 different respectively. volume capacity ratio: (a d) are vehicle when η equals equals.6,.9,.6, 1..9, and1. 1.1and respectively. 1.1 respectively. Delay data calculated and saved when one vehicle reached its destation. Sgle vehicle vibrates Delay because data some calculated and vehicles savedare when fluenced one vehicle by reached red its its light destation. while some Sgle vehicles vehicle are not. vibrates because some vehicles are are by red are not. with fluenced by red light while some vehicles are not. Average vehicle res along with. When 1 Average vehicle res along with η. When. When η 1, sgle 1, sgle vehicle value remas a, sgle vehicle vehicle value value remas remas a certa a certa range and when 1 sgle vehicle rg along with time, th condition reflects certa range and range when and η when > 1 sgle 1 sgle vehicle vehicle rg rg along along with with time, time, th th condition condition reflects reflects defition defition defition volume volume volume capacity capacity capacity ration. ration. ration. Average Average Average different different different η simulated simulated simulated and and and showed showed showed Figure Figure Figure HCM value HCM value fittg curve simulatg HCM value fittg curve simulatg value fittg curve simulatg fittg curve Figure 17. Average different conditions. Figure 17. Average different conditions. Compared results from Dion [24], results simulated by platform correspond Compared results from Dion [24], results simulated by platform correspond results calculated by HCM, which dicate that platform reliable. results calculated by HCM, which dicate that platform reliable Verification Uncertaties 6.2. Verification Uncertaties Pre-warngs are adopted analyze effect uncertaties s implemented platform. Pre-warngs Hazardous are adopted vehicle maneuver analyze over effect speed generated uncertaties as basic s scenario, implemented and brakg platform. dtance based Hazardous pre-warng vehicle method maneuver with maximum over speed deceleration generated 6 as m/s basic 2 [26] scenario, embedded and brakg as dtance control strategy. based pre-warng The aforementioned method with Gaussian maximum dtribution deceleration based position 6 m/s error 2 [26] embedded with standard as control deviation strategy The and aforementioned average value Gaussian, and Rayleigh dtribution dtribution based position based DSRC error communication with standard deviation with 4.37 standard and average deviation value 23.93, and and Rayleigh average dtribution value based are DSRC applied communication simulation uncertaties. with standard The speed deviation followg and vehicle average 3 m/s value and speed are applied leadg simulation vehicle 2 uncertaties. m/s. The scenario The was speed executed followg 1 times vehicle and results 3 m/s are and showed speed Figure 18. leadg vehicle 2 m/s. The scenario was executed 1 times and results are showed Figure 18.

17 Sensors 217, 17, deviation 4.37 and average value, and Rayleigh dtribution based DSRC communication Sensors 217, 17, with standard deviation and average value are applied simulation uncertaties. The speed followg vehicle 3 m/s and speed leadg vehicle 2 Sensors m/s. 35 The 217, scenario 17, 1938 was executed 1 times and results 14 are showed Figure test value mimum gap 8.33 m normal condition 12.5 m test value mimum gap 8.33 m normal condition 12.5 m times (a) position error test value mimum gap 8.33 m normal condition 12.5 m test value mimum gap 8.33 m normal condition 12.5 m times 8 (b) communication times times Figure 18. Verification (a) position uncertaties: error (a) gap between two vehicles (b) when communication applyg Gaussian dtribution positiong error ; (b) gap between two vehicles when applyg uniform and Rayleigh Figure 18. dtribution Verificationcommunication uncertaties: (a) gap between two vehicles when applyg Gaussian dtribution positiong error error ; (b) (b) gap between two vehicles when applyg uniform and In Rayleigh figure, dtribution Y-ax communication denotes dtance. between followg vehicle and leadg vehicle when pre-warng generated. The results test value le are based on test uncertaties. In figure, The mimum Y-ax denotes gap le based dtance dtance on between between condition followg that followg vehicle deceleration vehicle and value and leadg warng leadg vehicle method vehicle when when equals pre-warng 6 pre-warng m/s 2 and generated. normal generated. The condition results The test le results value based le test on are value based condition le are that based test on uncertaties. deceleration test value uncertaties. The mimum warng The gapmethod mimum le equals based gap le on4 m/s based condition 2. In position that condition error deceleration and that communication deceleration value warng value simulation, warng method method equals results equals 6fluctuate m/s 2 and 6 m/s around 2 and normal oretical normal condition condition le result. based The le dtribution based condition condition that results corresponds deceleration that deceleration with value Gaussian value warng method warng dtribution equals method equals 4 m/s and 2. Rayleigh In4 position m/s 2. dtribution In error position and error communication. and The communication results proved simulation, reliability simulation, results fluctuate results platform. around fluctuate around oretical oretical result. Theresult. dtribution The dtribution results corresponds results corresponds with Gaussian with Gaussian dtribution dtribution and Rayleigh and dtribution Rayleigh dtribution. The. results proved The results reliability proved reliability platform platform. Verification CAVs Application: Slot-Based Intersections 6.3. Verification CAVs Application: Slot-Based Intersections Tachet [27] proposed a slot-based tersections (SIs) control strategy CAVs. The concept SIs 6.3. Verification Tachet [27] proposed CAVs Application: a slot-based Slot-Based tersections Intersections enlarge dtance between two vehicles deliberately (SIs) control so that strategy conflictg CAVs. The vehicle concept can cross SIs tersection Tachet enlarge[27] with proposed dtance between a gap slot-based between twotersections vehicles deliberately vehicles. (SIs) control The sosis that strategy control conflictg strategy CAVs. The vehicle implemented concept can cross SIs simulation tersection enlarge platform with dtance and between gap between control two vehicles strategy twodeliberately vehicles. realized The between so SIs that control demonstratg conflictg strategy vehicle implemented layer can and cross uncertaties tersection simulationg platform with layer. andgap The between control tersection strategy two properties vehicles. realizedthe are between SIs control same with demonstratg strategy Figure 5. implemented Simulation layer and put uncertaties simulation 36 vhc/h g platform each layer. and lane The has control tersection been strategy conducted properties realized and are between average same with demonstratg Figure vehicles 5. Simulation layer showed and uncertaties put Figure vhc/h g each layer. lanethe hastersection been conducted properties and are average same with Figure vehicles 5. Simulation showed put Figure vhc/h each lane has been conducted and average vehicles showed Figure 19. average (s) average (s) Figure Figure Average Average each each lk lk S. S. comg direction comg direction The comg directions are Figure defed 19. Average properties each tersection. lk S. Furrmore, based on control strategy, simulation with put 55, 65, 75 and 85 vhc/h per each lane has been conducted The comg estimate directions bottleneck are defed method. properties The results tersection. are showed Furrmore, Figure 2. based on control strategy, simulation with put 55, 65, 75 and 85 vhc/h per each lane has been conducted estimate bottleneck method. The results are showed Figure 2.

18 Sensors 217, 17, The comg directions are defed properties tersection. Furrmore, based on control strategy, simulation with put 55, 65, 75 and 85 vhc/h per each lane has been conducted Sensors estimate 217, 17, 1938 bottleneck method. The results are showed Figure average (s) average (s) average (s) average (s) Figure 2. Average different puts: (a d) are average vehicle when put each lane 55, 65, 75 and 85 vhc/h respectively. The The bottleneck bottleneck SIs SIs control control strategy strategy does does ext, ext, and and value value between between and and vhc/h vhc/h per per lane. lane. The The simulation simulation and and results results dicate dicate that that simulation simulation platform platform able able support support simulation simulation and and verification verification CAVs CAVs applications. applications. And And three three different different tersection tersection control control strategies strategies that that are are signal signal control, control, sp sp sign sign control control and and SIs SIs control, control, are are compared compared platform. platform. And And simulation simulation results results are are constent constent with with Tachet Tachet [27]. [27]. The The results results are are showed showed Figure Figure SIs control fixed signal sp sign time (s) Figure 21. Comparon among different control strategies. 7. Conclusions A four-layer framework, which composed with road network layer, vehicle operatg layer, uncertaties lg layer and demonstratg layer, for CAVs kematic simulation proposed th paper. By conductg verification comparon lk traditional road network, fluence uncertaties pre-warng algorithms and a CAVs application, methodology proposed th paper turns out be reliable. Th paper proposed a method how establh basic CAVs kematic simulation environment. Framework and s are dcussed. The correlations different vehicle kematic s, vehicle trajecry and road network are establhed. Based on basic CAVs simulation environment, highly specialized scenarios and control strategies related CAVs are able be realized precely. Due four layer framework

19 Sensors 217, 17, proposed th paper turns out be reliable. Th paper proposed a method how establh basic CAVs kematic simulation environment. Framework and s are dcussed. The correlations different vehicle kematic s, vehicle trajecry and road network are establhed. Based on basic CAVs simulation environment, highly specialized scenarios and control strategies related CAVs are able be realized precely. Due four layer framework methodology, s are easy be replaced or updated as long as outputs new s are subject defitions tersections and vehicles. In proposed method, number maximum directions an tersection designed be four. Although a four-legged tersection can cover most realtic situations, tersection attributes still should be updated volve more tersection charactertics. For different tersections, -tersection trajecry vehicle differs. The vehicle position updatg method not prece enough describe movement vehicles, especially situation when vehicle turns. Infrastructures are not ed and simulated paper. Although frastructure can be simulated by separatg its functions scenario and control strategy, th not an optimal solution. Infrastructure should be considered as an embedded component simulation framework. Basic operatg mechanm frastructure should be designed, and basic attributes frastructure should be mataed. Th work proposed a method build basic CAV kematic simulation environment. The aim work help verify CAV based applications, so performance simulation would directly fluence time-consumg verification. The simulation platform th paper establhed based on basic programmg technology. The simulation would not be smooth enough when road network and traffic large. Stware engeerg computg, dplay based on GDI and synchronization between m should be deeply researched. More uncertaties s should be implemented uncertaties lg layer. Ackledgments: We would like thank reviewers for very helpful comments. Th paper supported by National Key Research and Development Program Cha (216YFB121), State Natural Science Foundation Monumental Projects (614975), Fundamental Research Funds for Central Universities Cha (216YJS35), National Natural Science Foundation Cha ( ) and Beijg Natural Science Foundation (417249). Author Contributions: Baigen Cai and Huashen Wang conceived and designed framework simulation platform; Wei ShangGuan and Jian Wang analyzed data and optimized vehicle kematic s; Lguo Chai wrote paper. Conflicts Interest: The authors declare no conflict terest. References 1. Ratrout, N.T.; Rahman, S.M. A comparative analys currently used microscopic and macroscopic traffic simulation stware. Arabian J. Sci. Eng. 29, 34, Garg, A.; Vijayaraghavan, V.; Zhang, J.; Li, S.; Liang, X. Design robust battery capacity for electric vehicle by corporation uncertaties. Int. J. Energy Res. 217, 41, [CrossRef] 3. Garg, A.; Chen, F.; Jian, Z. State---art designs studies for batteries packs electric vehicles. In Proceedgs IET International Conference on Intelligent and Connected Vehicles (ICV 216), Stevenage, UK, September 216; IET: Stevenage, UK. 4. Mahmassani, H.S. Aunomous vehicles and connected vehicle systems: Flow and operations considerations. Transp. Sci. 216, 5, [CrossRef] 5. Gueriau, M.; Billot, R.; El Faouzi, N.; Monteil, J.; Armetta, F.; Hassas, S. How assess benefits connected vehicles? A simulation framework for design cooperative traffic management strategies. Transp. Res. Part C Emerg. Technol. 216, 67, Zha, L.; Zhang, Y.; Songchitruksa, P.; Middlen, D.R. An tegrated dilemma zone protection system usg connected vehicle technology. IEEE Trans. Intell. Transp. Syst. 216, 17, [CrossRef] 7. Fredette, D.; Pavlich, C.; Ozguner, U. Development a UDDS-Comparable framework for assessment connected and aumated vehicle fuel savg techniques. IFAC PapersOnLe 215, 48, [CrossRef]

20 Sensors 217, 17, Goodall, N.J.; Park, B.B.; Smith, B.L. Microscopic estimation arterial vehicle positions a Low-Penetration-Rate connected vehicle environment. J. Transp. Eng. 214, 14, [CrossRef] 9. Du, L.; Ukkusuri, S.; Del Valle, W.F.Y.; Kalyanaraman, S. Optimization s characterize broadcast capacity vehicular ad hoc networks. Transp. Res. Part C Emerg. Technol. 29, 17, [CrossRef] 1. Griggs, W.M.; Ordonez-Hurtado, R.H.; Crosmi, E.; Haeusler, F.; Massow, K.; Shorten, R.N. A Large-Scale SUMO-Based emulation platform. IEEE Trans. Intell. Transp. Syst. 215, 16, [CrossRef] 11. Saponara, S.; Neri, B. Radar sensor signal acquition and multidimensional FFT processg for surveillance applications transport systems. IEEE Trans. Instrum. Meas. 217, 66, [CrossRef] 12. Cheng, L.; Henty, B.E.; Stancil, D.D.; Bai, F.; Mudalige, P. Mobile vehicle--vehicle narrow-band channel, measurement and characterization 5.9 GHz dedicated short range communication (DSRC) frequency band. IEEE J. Sel. Areas Commun. 27, 25, Saponara, S.; Giannetti, F.; Neri, B.; Anastasi, G. Exploitg mm-wave communications boost performance dustrial wireless networks. IEEE Trans. Ind. Inform. 217, 13, [CrossRef] 14. Shafiee, K.; Leung, V.C.M. Connectivity-aware mimum- geographic routg with vehicle trackg VANETs. Ad Hoc Netw. 211, 9, [CrossRef] 15. Leng, J.; Feng, Y.; Zhai, J.; Bao, L.; He, Y. Travel time Left-Turng vehicles at signalized tersection. Math. Probl. Eng. 212, 212, Qu, D.; Chen, X.; Yang, W.; Bian, X. Modelg Car-Followg required safe dtance based on molecular dynamics. Math. Probl. Eng [CrossRef] 17. Jiang, R.; Wu, Q.S.; Zhu, Z.J. Full velocity difference for a car-followg ory. Phys. Rev. E 21, 64, [CrossRef] [PubMed] 18. Abdelgawad, K.; Henng, S.; Biemelt, P.; Gausemeier, S.; Traechtler, A. Advanced traffic simulation framework for networked drivg simulars. IFAC PapersOnLe 216, 49, [CrossRef] 19. Sheu, J.B.; Ritchie, S.G. Schastic g and real-time prediction vehicular lane-changg behavior. Transp. Res. Part B Methodol. 21, 35, [CrossRef] 2. Gaikwad, V.; Lokhande, S. Lane departure identification for advanced driver asstance. IEEE Trans. Intell. Transp. Syst. 215, 16, [CrossRef] 21. Lee, Y.; Yang, J.H.; Feron, E.; Kulkarni, V. Development a performance-based approach for a rear-end collion warng and avoidance system for aumobiles. In Proceedgs IEEE IV23: Intelligent Vehicles Symposium, Columbus, OH, USA, 9 11 June 23; IEEE: New York, NY, USA, Rife, J.; Pervan, B. Overboundg revited: Dcrete Error-Dtribution g for Safety-Critical GPS navigation. IEEE Trans. Aerosp. Electron. Syst. 212, 48, [CrossRef] 23. Xiang, X.; Q, W.; Xiang, B. Research on a DSRC-Based Rear-End Collion Warng Model. IEEE Trans. Intell. Transp. Syst. 214, 15, [CrossRef] 24. Dion, F.; Rakha, H.; Kang, Y.S. Comparon estimates at under-saturated and over-saturated pre-timed signalized tersections. Transp. Res. Part B-Methodol. 24, 38, [CrossRef] 25. Zhang, H.; Sun, J.; Shao, H. Revion HCM based on Bayesian ference. Comput. Eng. 211, 37, Chen, Y.-L.; Shen, K.-Y.; Wang, S.-C. Forward collion warng system considerg both time--collion and safety brakg dtance. Int. J. Veh. Saf. 213, 6, [CrossRef] 27. Tachet, R.; Santi, P.; Sobolevsky, S.; Reyes-Castro, L.I.; Frazzoli, E.; Helbg, D.; Ratti, C. Revitg street tersections usg Slot-Based systems. PLoS ONE 216, 11, 1 9. [CrossRef] [PubMed] 217 by authors. Licensee MDPI, Basel, Switzerland. Th article an open access article dtributed under terms and conditions Creative Commons Attribution (CC BY) license (

Lisbon Mobility Simulations for Performance Evaluation of Mobile Networks

Lisbon Mobility Simulations for Performance Evaluation of Mobile Networks Lisbon Mobility Simulations for Performance Evaluation of Mobile Networks Pedro Vieira 1,3, Manuel Vieira 1,2 1 DEETC / Instituto Superior de Engenharia de Lisboa, Tel. +351 21 8317291, FAX +351 21 8317114

More information

7.3.3 A Language With Nested Procedure Declarations

7.3.3 A Language With Nested Procedure Declarations 7.3. ACCESS TO NONLOCAL DATA ON THE STACK 443 7.3.3 A Language With Nested Procedure Declarations The C family of languages, and many other familiar languages do not support nested procedures, so we troduce

More information

Hazardous Object Detection by Using Kinect Sensor in a Handle-Type Electric Wheelchair

Hazardous Object Detection by Using Kinect Sensor in a Handle-Type Electric Wheelchair s Article Hazardous Object Detection by Usg Kect Sensor a Hle-Type Electric Wheelchair Jeyeon Kim 1, *, Takaaki Hasegawa 2 ID Yuta Sakamoto 3 1 Department Creative Engeerg at National Institute Technology,

More information

An example DFA: reaching definitions

An example DFA: reaching definitions Dataflow analysis: what is it? Dataflow analysis A common framework for expressg algorithms that compute formation ab a program Why is such a framework useful? Dataflow analysis: what is it? A common framework

More information

On Secure Distributed Data Storage Under Repair Dynamics

On Secure Distributed Data Storage Under Repair Dynamics On Secure Distributed Data Storage Under Repair Dynamics Sameer Pawar, Salim El Rouayheb, Kannan Ramchandran University of California, Bereley Emails: {spawar,salim,annanr}@eecs.bereley.edu. Abstract We

More information

Towards Control of Evolutionary Games on Networks

Towards Control of Evolutionary Games on Networks 53rd IEEE Conference on Decision and Control December 15-17, 2014. Los Angeles, California, USA Towards Control of Evolutionary Games on Networks James R. Riehl and Mg Cao Abstract We vestigate a problem

More information

Influence of NC Program Quality and Geometric Errors of Rotary Axes on S-Shaped Machining Test Accuracy

Influence of NC Program Quality and Geometric Errors of Rotary Axes on S-Shaped Machining Test Accuracy Journal Manufacturg Materials Processg Article Influence NC Program Quality Geometric Errors Rotary Axes on S-Shaped Machg Test Accuracy Ryuta Sa 1, *, Keiichi Shirase 1 Yukishi Ihara 2 1 Department Mechanical

More information

Performance of Integrated Wired (Token Ring) Network and Wireless (PRMA) Network

Performance of Integrated Wired (Token Ring) Network and Wireless (PRMA) Network Performance of Integrated Wired (Token Rg etwork and Wireless (PRMA etwork Amaal Al-Amawi Al-Isra Private University, Jordan amaal_amawi@hotmailcom Khalid Khanfar The Arab Academy for Bankg and Fancial

More information

Global Optimization of Integrated Transformers for High Frequency Microwave Circuits Using a Gaussian Process Based Surrogate Model

Global Optimization of Integrated Transformers for High Frequency Microwave Circuits Using a Gaussian Process Based Surrogate Model Global Optimization of Integrated Transformers for High Frequency Microwave Circuits Usg a Gaussian Process Based Surrogate Model Bo Liu, Yg He, Patrick Reynaert, Georges Gielen ESAT-MICAS, Katholieke

More information

Robust Object Tracking Based on Motion Consistency

Robust Object Tracking Based on Motion Consistency sensors Article Robust Object Trackg Based on Motion Constency Lijun He, Xiaoya Qiao, Shuai Wen Fan Li * ID Department Information Communication Engeerg, School Electronic Information Engeerg, Xi an Jiaong

More information

On Secure Distributed Data Storage Under Repair Dynamics

On Secure Distributed Data Storage Under Repair Dynamics On Secure Distributed Data Storage Under Repair Dynamics Sameer Pawar Salim El Rouayheb Kannan Ramchandran Electrical Engeerg and Computer Sciences University of California at Berkeley Technical Report

More information

DARGS: Dynamic AR Guiding System for Indoor Environments

DARGS: Dynamic AR Guiding System for Indoor Environments computers Article DARGS: Dynamic AR Guidg System for Indoor Environments Georg Gerstweiler *, Karl Platzer Hannes Kaufmann ID Institute Stware Technology Interactive Systems, Vienna University Technology,

More information

Feature-Oriented Modelling in BIP: A Case Study

Feature-Oriented Modelling in BIP: A Case Study Feature-Oriented Modellg BIP: A Case Study Cecylia Bocovich Joanne Atlee University of Waterloo Email: {cbocovic, jmatlee}@uwaterloo.ca Abstract In this paper, we vestigate the usage of Behaviour- Interaction-Priority

More information

Image Recognition of Icing Thickness on Power Transmission Lines Based on a Least Squares Hough Transform

Image Recognition of Icing Thickness on Power Transmission Lines Based on a Least Squares Hough Transform energies Article Image Recognition Icg Thickness on Power Transmsion Les Based on a Least Squares Hough Transform Jgjg Wang 1, Junhua Wang 2, *, Jianwei Shao 2 Jiangui Li 3, * 1 School Geodesy Geomatics,

More information

An Application-Specific Network-on-Chip for Control Architectures in RF Transceivers

An Application-Specific Network-on-Chip for Control Architectures in RF Transceivers An Application-Specific Network-on-Chip for Control Architectures RF Transceivers Siegfried Brandstätter DMCE GmbH & Co KG Freistädter Straße 4, 44 Lz, Austria Email: SiegfriedX.Brandstaetter@tel.com Mario

More information

Received: 28 December 2017; Accepted: 5 February 2018; Published: 28 February 2018

Received: 28 December 2017; Accepted: 5 February 2018; Published: 28 February 2018 sensors Article Real-Time Spaceborne Syntic Aperture Radar Float-Pot Imagg System Usg Optimized Mappg Methodology a Multi-Node Parallel Acceleratg Technique Bgyi Li 1, Hao Shi 1,2, * ID, Liang Chen 1,

More information

Feature-Oriented Modelling in BIP: A Case Study

Feature-Oriented Modelling in BIP: A Case Study Feature-Oriented Modellg BIP: A Case Study Cecylia Bocovich Joanne Atlee University of Waterloo Email: {cbocovic, jmatlee}@uwaterloo.ca Abstract In this paper, we vestigate the usage of Behaviour- Interaction-Priority

More information

Research on PF-SLAM Indoor Pedestrian Localization Algorithm Based on Feature Point Map

Research on PF-SLAM Indoor Pedestrian Localization Algorithm Based on Feature Point Map micromaches Article Research on PF-SLAM Indoor Pedestrian Localization Algorithm Based on Feature Pot Map Jgjg Shi 1,2,3, Mgrong Ren 1,2,3, * ID, Pu Wang 1,2,3 Juan Meng 1,2,3 1 College Automation, Faculty

More information

Static Analysis for Fast and Accurate Design Space Exploration of Caches

Static Analysis for Fast and Accurate Design Space Exploration of Caches Static Analysis for Fast and Accurate Design Space Exploration of Caches Yun iang, Tulika Mitra Department of Computer Science National University of Sgapore {liangyun,tulika}@comp.nus.edu.sg ABSTRACT

More information

ECE3055B Fall 2004 Computer Architecture and Operating Systems Final Exam Solution Dec 10, 2004

ECE3055B Fall 2004 Computer Architecture and Operating Systems Final Exam Solution Dec 10, 2004 Georgia Tech Page of 4 ECE3055B Fall 24 Computer Architecture and Operatg Systems Fal Exam Solution Dec 0, 24. (5%) General Q&A. Give concise and brief answer to each of the followg questions... (2%) What

More information

Modeling Intelligent Control Switch IEC Based Substation Automation Communication

Modeling Intelligent Control Switch IEC Based Substation Automation Communication Article Modelg Intelligent Control Switch IEC 61850 Based Substation Aumation Communication Kutaiba Sabah Nimma 1, * Sabah Nimma Faraj 2 1 Australian Maritime College, University Tasmania, Newnham TAS

More information

Thick separators. Luc Jaulin and Benoît Desrochers. Lab-STICC, ENSTA Bretagne, Brest, France

Thick separators. Luc Jaulin and Benoît Desrochers. Lab-STICC, ENSTA Bretagne, Brest, France Thick separators Luc Jaul and Benoît Desrochers Lab-TICC, ENTA Bretagne, Brest, France Abstract. If an terval of R is an uncerta real number, a thick set is an uncerta subset of R n. More precisely, a

More information

Implementing Routing Policy

Implementing Routing Policy A routg policy structs the router to spect routes, filter them, and potentially modify their attributes as they are accepted from a peer, advertised to a peer, or redistributed from one routg protocol

More information

VISUAL NAVIGATION SYSTEM ON WINDSHIELD HEAD-UP DISPLAY

VISUAL NAVIGATION SYSTEM ON WINDSHIELD HEAD-UP DISPLAY VISUAL NAVIGATION SYSTEM ON WINDSHIELD HEAD-UP DISPLAY Akihiko SATO *, Itaru KITAHARA, Yoshinari KAMEDA, Yuichi OHTA Department of Intelligent Interaction Technologies, Graduate School of Systems and Information

More information

Scheduling complex streaming applications on the Cell processor. LIP Research Report RR-LIP

Scheduling complex streaming applications on the Cell processor. LIP Research Report RR-LIP Schedulg complex streamg applications on the Cell processor Matthieu Gallet 1,3,4 Mathias Jacquel 1,3,4 Loris Marchal 2,4 1 ENS Lyon 2 CNRS 3 Université de Lyon 4 LIP laboratory, UMR 5668, ENS Lyon CNRS

More information

Conditional Random Field-Based Offline Map Matching for Indoor Environments

Conditional Random Field-Based Offline Map Matching for Indoor Environments sensors Article Conditional Rom Field-Based Offle Map Matchg for Indoor Environments Safaa Bataeh 1, *, Alfonso Bahillo 1, Luis Enrique Díez 1, Enrique Onieva 1,2 Ikram Bataeh 3 1 Faculty Engeerg, University

More information

A Comparison of Alternative Distributed Dynamic Cluster Formation Techniques for Industrial Wireless Sensor Networks

A Comparison of Alternative Distributed Dynamic Cluster Formation Techniques for Industrial Wireless Sensor Networks sensors Article A Comparon Alternative Dtributed Dynamic Cluster Formation Techniques for Industrial Wireless Sensor Networks Mohammad Gholami Robert W. Brennan * Received: 23 October 2015; Accepted: 29

More information

Customized Content Dissemination in Peer-to-Peer Publish/Subscribe

Customized Content Dissemination in Peer-to-Peer Publish/Subscribe Customized Content Dissemation Peer-to-Peer Publish/Subscribe Hojjat Jafarpour, Mirko Montanari, Sharad Mehrotra and Nali Venkatasubramanian Department of Computer Science University of California, Irve

More information

Implementing Routing Policy

Implementing Routing Policy A routg policy structs the router to spect routes, filter them, and potentially modify their attributes as they are accepted from a peer, advertised to a peer, or redistributed from one routg protocol

More information

A Hybrid TDMA/CSMA-Based Wireless Sensor and Data Transmission Network for ORS Intra-Microsatellite Applications

A Hybrid TDMA/CSMA-Based Wireless Sensor and Data Transmission Network for ORS Intra-Microsatellite Applications sensors Article A Hybrid TDMA/CSMA-Based Wireless Sensor Data Transmsion Network for ORS Intra-Microsatellite Applications Long Wang 1,2,3, *, Yong Liu 1,3 Zengshan Y 1,2,3 1 Shanghai Institute Microsystem

More information

Implementing Routing Policy

Implementing Routing Policy Implementg Routg Policy A routg policy structs the router to spect routes, filter them, and potentially modify their attributes as they are accepted from a peer, advertised to a peer, or redistributed

More information

An Teaching Quality Evaluation System Based on Java EE

An Teaching Quality Evaluation System Based on Java EE Software Engeerg 2016; 4(2): 27-33 http://www.sciencepublishggroup.com/j/se doi: 10.11648/j.se.20160402.14 ISSN: 2376-8029 (Prt); ISSN: 2376-8037 (Onle) An Teachg Quality Evaluation System Based on Java

More information

Recovery in Channel-Hopping Cognitive Networks Under Random Primary User Activity

Recovery in Channel-Hopping Cognitive Networks Under Random Primary User Activity IEEE TRAS. O VEHICULAR TECHOLOGY, VOL. X, O. Y, 14 1 Recovery Channel-Hoppg Cognitive etworks Under Random Primary User Activity Jelena Mišić, Senior Member, IEEE and Vojislav B. Mišić, Senior Member,

More information

On the Improvement of Weighted Page Content Rank

On the Improvement of Weighted Page Content Rank On the Improvement of Weighted Page Content Rank Seifede Kadry and Ali Kalakech Abstract The World Wide Web has become one of the most useful formation resource used for formation retrievals and knowledge

More information

Data Center Network Topologies using Optical Packet Switches

Data Center Network Topologies using Optical Packet Switches 1 Data Center Network Topologies usg Optical Packet Yuichi Ohsita, Masayuki Murata Graduate School of Economics, Osaka University Graduate School of Information Science and Technology, Osaka University

More information

THE FLUX DISTRIBUTION FROM A 1.25M 2 TARGET ALIGNED HELIOSTAT: COMPARISON OF RAY TRACING AND EXPERIMENTAL RESULTS

THE FLUX DISTRIBUTION FROM A 1.25M 2 TARGET ALIGNED HELIOSTAT: COMPARISON OF RAY TRACING AND EXPERIMENTAL RESULTS THE FLUX DISTRIBUTION FROM A 1.5M TARGET ALIGNED HELIOSTAT: COMPARISON OF RAY TRACING AND EXPERIMENTAL RESULTS Maurice Maliage 1 and Thomas H. Roos 1 Research Scientist CSIR, P O Box 395, Pretoria, 0001,

More information

EQ281/8 & EQ282/8 Digitally Controlled 1/3-Octave Equalizers

EQ281/8 & EQ282/8 Digitally Controlled 1/3-Octave Equalizers EQ/ & EQ/ Digitally Controlled /-Octave Equalizers operation manual // Biamp Systems, 00 S.W. Arctic Drive, Beaverton, Oregon 00 U.S.A. (0) - http://www.biamp.com an affiliate of Rauland Borg Corp. EQ/

More information

Zomerlust Systems Design (CK1997/001363/23) trading as ZSD

Zomerlust Systems Design (CK1997/001363/23) trading as ZSD Zomerlust Systems Design (CK1997/001363/23) tradg as ZSD Unit D11, Clareview Busess Park 236 Lansdowne Rd fo@zsd.co.za http://www.zsd.co.za P.O. Box 46827 Glosderry, 7702 South Africa +27-21-683-1388 +27-21-674-1106

More information

Formal Reasoning about Communication Systems II

Formal Reasoning about Communication Systems II Formal Reasong about Communication Systems II Automated Fast-Track Reconfiguration Christoph Kreitz Abstract. We present formal techniques for improvg the performance of group communication systems built

More information

A Parameter Communication Optimization Strategy for Distributed Machine Learning in Sensors

A Parameter Communication Optimization Strategy for Distributed Machine Learning in Sensors sensors Article A Parameter Communication Optimization Strategy for Distributed Mache Learng Sensors Jil Zhang 1,2,3,4,5,, Hangdi Tu 1,2,, Yongjian Ren 1,2, *, Jian Wan 1,2,4,5, Li Zhou 1,2, Mgwei Li 1,2,

More information

HUE PRESERVING ENHANCEMENT ALGORITHM BASED ON WAVELET TRANSFORM AND HUMAN VISUAL SYSTEM

HUE PRESERVING ENHANCEMENT ALGORITHM BASED ON WAVELET TRANSFORM AND HUMAN VISUAL SYSTEM International Journal of Information Technology and Knowledge Management July-December 011, Volume 4, No., pp. 63-67 HUE PRESERVING ENHANCEMENT ALGORITHM BASED ON WAVELET TRANSFORM AND HUMAN VISUAL SYSTEM

More information

Self-Organization and Self-Coordination in Welding Automation with Collaborating Teams of Industrial Robots

Self-Organization and Self-Coordination in Welding Automation with Collaborating Teams of Industrial Robots maches Article Self-Organization Self-Coordation Weldg Automation with Collaboratg Teams Industrial Robots Günr Starke *, Daniel Hahn, Diana G. Pedroza Yanez Luz M. Ugalde Leal APS GmbH European Centre

More information

Supplementary Notes on Concurrent ML

Supplementary Notes on Concurrent ML Supplementary Notes on Concurrent ML 15-312: Foundations of Programmg Languages Frank Pfenng Lecture 25 November 21, 2002 In the last lecture we discussed the π-calculus, a mimal language with synchronous

More information

15-451/651: Design & Analysis of Algorithms November 20, 2018 Lecture #23: Closest Pairs last changed: November 13, 2018

15-451/651: Design & Analysis of Algorithms November 20, 2018 Lecture #23: Closest Pairs last changed: November 13, 2018 15-451/651: Design & Analysis of Algorithms November 20, 2018 Lecture #23: Closest Pairs last changed: November 13, 2018 1 Prelimaries We ll give two algorithms for the followg closest pair problem: Given

More information

Performance Evaluation of a Novel Propulsion System for the Spherical Underwater Robot (SURIII)

Performance Evaluation of a Novel Propulsion System for the Spherical Underwater Robot (SURIII) applied sciences Article Permance Evaluation a Novel Propulsion System Spherical Underwater Robot (SURIII) Shuox Gu 1 ID Shuxiang Guo 2,3, * 1 Graduate School Engeerg, Kagawa University, Takamatsu, Kagawa

More information

A Bayes Learning-based Anomaly Detection Approach in Large-scale Networks. Wei-song HE a*

A Bayes Learning-based Anomaly Detection Approach in Large-scale Networks. Wei-song HE a* 17 nd International Conference on Computer Science and Technology (CST 17) ISBN: 978-1-69-461- A Bayes Learng-based Anomaly Detection Approach Large-scale Networks Wei-song HE a* Department of Electronic

More information

AC-DC Power Supplies. The PerFormanCe Power PFC250 meets international safety requirements and is CE Marked to the Low Voltage Directive.

AC-DC Power Supplies. The PerFormanCe Power PFC250 meets international safety requirements and is CE Marked to the Low Voltage Directive. AC-DC Power Supplies The PerFormanCe Power PFC250 Series combes Power Factor Correction (PFC) with wide-range outputs to meet the requirements of data counications and dustrial controls. The PFC250-4530G

More information

Constant-Time Approximation Algorithms for the Optimum Branching Problem on Sparse Graphs

Constant-Time Approximation Algorithms for the Optimum Branching Problem on Sparse Graphs 01 Third International Conference on Networkg and Computg Constant-Time Approximation Algorithms for the Optimum Branchg Problem on Sparse Graphs Mitsuru Kusumoto, Yuichi Yoshida, Hiro Ito School of Informatics,

More information

Global System Setup. Front Desk

Global System Setup. Front Desk Setup s Matenance Property Column Look up F8 Look up now available the Prop column of s Matenance screen. Postg Code Matenance - Added More Information to Tax Code Lookup In Postg Code Matenance Screen,

More information

The Traffic Adaptive Data Dissemination (TrAD) Protocol for both Urban and Highway Scenarios

The Traffic Adaptive Data Dissemination (TrAD) Protocol for both Urban and Highway Scenarios sensors Article The Traffic Adaptive Data Dissemation () Protocol for both Urban Highway Scenarios B Tian 1, Kun Mean Hou 1, * Haiyg Zhou 2 1 LIMOS Laboratory CNRS UMR 6158, Blaise Pascal University, Clermont-Ferr

More information

CONTRIBUTION TO THE INVESTIGATION OF STOPPING SIGHT DISTANCE IN THREE-DIMENSIONAL SPACE

CONTRIBUTION TO THE INVESTIGATION OF STOPPING SIGHT DISTANCE IN THREE-DIMENSIONAL SPACE National Technical University of Athens School of Civil Engineering Department of Transportation Planning and Engineering Doctoral Dissertation CONTRIBUTION TO THE INVESTIGATION OF STOPPING SIGHT DISTANCE

More information

Reduced Buffering Solution for Multi-Hop HaRTES Switched Ethernet Networks

Reduced Buffering Solution for Multi-Hop HaRTES Switched Ethernet Networks Reduced Bufferg Solution for Multi-Hop HaRTES Switched Ethernet Networks Mohammad Ashjaei 1, Moris Behna, Paulo Pedreiras 2, Reder J. Bril 1,4, Luis Almeida 3, Thomas Nolte 1 1 MRTC/Mälardalen University,

More information

A Linear Logic Representation for BPEL Process Protocol *

A Linear Logic Representation for BPEL Process Protocol * Applied Mathematics & Information Sciences An International Journal 5 (2) (2011), 25S-31S A Lear Logic Representation for BPEL Process Protocol * Jian Wu 1 and Lu J 2 1 Department of Computer Science and

More information

Improved Jitter Elimination and Topology Correction Method for the Split Line of Narrow and Long Patches

Improved Jitter Elimination and Topology Correction Method for the Split Line of Narrow and Long Patches International Journal Geo-Information Article Improved Jitter Elimation Topology Correction Method for Split Le Narrow Long Patches Chengmg Li 1, Yong Y 1,2, *, Pengda Wu 1, Xiaoli Liu 1 Peipei Guo 1 1

More information

Smart Meter Data Collection Using Public Taxis. and Suvendi Rimer

Smart Meter Data Collection Using Public Taxis. and Suvendi Rimer sensors Article Smart Meter Data Collection Usg Public Tax Kabeya Gilbert Ngu *, Khmaies Ouahada ID Suvendi Rimer Department Electrical Electronic Engeerg Science, University Johannesburg, Johannesburg

More information

Leveraging Social Networks For Effective Spam Filtering

Leveraging Social Networks For Effective Spam Filtering Leveragg Social Networks For Effective Spam Filterg Haiyg Shen*, Member, IEEE, Ze Li, Student Member, IEEE Abstract The explosive growth of unsolicited emails has prompted the development of numerous spam

More information

Enhancement in Weighted PageRank Algorithm Using VOL

Enhancement in Weighted PageRank Algorithm Using VOL IOSR Journal of Computer Engeerg (IOSR-JCE) e-issn: 2278-0661, p- ISSN: 2278-8727Volume 14, Issue 5 (Sep. - Oct. 2013), PP 135-141 Enhancement Weighted PageRank Algorithm Usg VOL Sonal Tuteja 1 1 (Software

More information

VISUAL NAVIGATION SYSTEM ON WINDSHIELD HEAD-UP DISPLAY

VISUAL NAVIGATION SYSTEM ON WINDSHIELD HEAD-UP DISPLAY VISUAL NAVIGATION SYSTEM ON WINDSHIELD HEAD-UP DISPLAY Akihiko SATO *, Itaru KITAHARA, Yoshinari KAMEDA, Yuichi OHTA Department of Intelligent Interaction Technologies, Graduate School of Systems and Information

More information

Loose and Tight GNSS/INS Integrations: Comparison of Performance Assessed in Real Urban Scenarios

Loose and Tight GNSS/INS Integrations: Comparison of Performance Assessed in Real Urban Scenarios sensors Article Loose and Tight GNSS/INS Integrations: Comparison Performance Assessed Real Urban Scenarios Gianluca Falco *, Marco Pi and Gianluca Marucco Istituto Superiore Mario Boella, Toro 10138,

More information

Trajectory Correction and Locomotion Analysis of a Hexapod Walking Robot with Semi-Round Rigid Feet

Trajectory Correction and Locomotion Analysis of a Hexapod Walking Robot with Semi-Round Rigid Feet sensors Article Trajectory Correction Locomotion Analys a Hexapod Walkg Robot with Semi-Round Rigid Feet Yaguang Zhu 1, *, Bo J 2, Yongsheng Wu 1, Tong Guo 1 Xiangmo Zhao 3 1 Key Laboratory Road Construction

More information

Definition and Expansion of Composite Automata in IOA MIT-LCS-TR-959. Joshua A. Tauber and Stephen J. Garland

Definition and Expansion of Composite Automata in IOA MIT-LCS-TR-959. Joshua A. Tauber and Stephen J. Garland Defition and Expansion of Composite Automata IOA MIT-LCS-TR-959 Joshua A. Tauber and Stephen J. Garland July 31, 2004 2 Contents 1 Introduction 1 2 Illustrative examples 3 3 Defitions for primitive automata

More information

A Comparative Study of Page Ranking Algorithms for Information Retrieval

A Comparative Study of Page Ranking Algorithms for Information Retrieval orld Academy of Science, Engeerg and Technology International Journal of Computer and Information Engeerg A Comparative Study of Page Rankg Algorithms for Information Retrieval Ashutosh Kumar Sgh, Ravi

More information

A Review of Vehicle to Vehicle Communication Protocols for VANETs in the Urban Environment

A Review of Vehicle to Vehicle Communication Protocols for VANETs in the Urban Environment future ternet Review A Review Vehicle Vehicle Communication Procols VANETs Urban Environment Irshad Ahmed Abbasi 1,2, * ID Adnan Shahid Khan 1 1 Department Computer Systems Communication Technologies,

More information

Avisual environment for visual languages

Avisual environment for visual languages cience of Computer Programmg 44 (2002) 181 203 www.elsevier.com/locate/scico Avisual environment for visual languages Roswitha Bardohl Technical niversity, Berl, Germany Abstract The visual environment

More information

VANET Applications Use-Cases

VANET Applications Use-Cases VANET Applications Use-Cases VANET communications (V2V and V2I) can be used for dozens of potential applications with highly diverse requirements. Below we identify the most representative VANET applications

More information

A Low-Cost Approach to Automatically Obtain Accurate 3D Models of Woody Crops

A Low-Cost Approach to Automatically Obtain Accurate 3D Models of Woody Crops sensors Article A Low-Cost Approach to Automatically Obta Accurate 3D Models Woody Crops José M. Bengochea-Guevara 1 ID, Dionisio Andújar 1,2, Francisco L. Sanchez-Sardana 1, Karla Cantuña 1,3 Angela Ribeiro

More information

Data Aggregation Gateway Framework for CoAP Group Communications

Data Aggregation Gateway Framework for CoAP Group Communications S S symmetry Article Data Aggregation Gateway Framework for CoAP Group Communications Mki Cha 1, Jung-Hyok Kwon 1, SungJ Kim 2, Taeshik Shon 2 Eui-Jik Kim 1, * 1 Department Convergence Stware, Hallym University,

More information

VARIATIONS IN CAPACITY AND DELAY ESTIMATES FROM MICROSCOPIC TRAFFIC SIMULATION MODELS

VARIATIONS IN CAPACITY AND DELAY ESTIMATES FROM MICROSCOPIC TRAFFIC SIMULATION MODELS VARIATIONS IN CAPACITY AND DELAY ESTIMATES FROM MICROSCOPIC TRAFFIC SIMULATION MODELS (Transportation Research Record 1802, pp. 23-31, 2002) Zong Z. Tian Associate Transportation Researcher Texas Transportation

More information

Lost in space? Generalising subtree prune and regraft to spaces of phylogenetic networks

Lost in space? Generalising subtree prune and regraft to spaces of phylogenetic networks Lost space? Generalg subtree prune and regraft to spaces networks Magnus Bordewich a, Simone Lz b, Charles Semple c a School Engeerg and Computg Sciences, Durham University, Durham DH1 3LE, United Kgdom.

More information

Bridging the Gap Between Requirements and Design with Use Case Maps. Daniel Amyot, Ph.D.

Bridging the Gap Between Requirements and Design with Use Case Maps. Daniel Amyot, Ph.D. Use Case Maps Bridgg the Gap Between Requirements and Design with Use Case Maps Daniel Amyot, Ph.D. Daniel_Amyot@mitel.com http://www.usecasemaps.org Carleton University November 15, 2001 Page 2 Requirements

More information

Detection of Moving Ships in Sequences of Remote Sensing Images

Detection of Moving Ships in Sequences of Remote Sensing Images International Journal Geo-Information Article Detection Movg Ships Sequences Remote Sensg Images Shun Yao 1, Xueli Chang 2,3, *, Yufeng Cheng 1, Shuyg J 1 Deshan Zuo 4 1 State Key Laboratory Information

More information

Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE

Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE arxiv:1505.05265v1 [cs.pl] 20 May 2015 Modellg and Verifyg an Object-Oriented Concurrency Model GROOVE Master s Thesis Claudio Corrodi ETH Zurich clcorrodethz.ch October 10, 2014 April 10, 2015 Supervised

More information

This article was origally published a journal published by Elsevier, and the attached copy is provided by Elsevier for the author s benefit and for the benefit of the author s stitution, for non-commercial

More information

Optimisation of Statistical Feature Extraction Algorithms

Optimisation of Statistical Feature Extraction Algorithms Optimisation of Statistical Feature Extraction Algorithms C. Lombard*, W.A. Smit and J.P. Maré Kentron Dynamics Mache Vision Group Keywords: statistical feature extraction, real-time implementation, optimisation.

More information

3. Sequential Logic 1

3. Sequential Logic 1 Chapter 3: Sequential Logic 1 3. Sequential Logic 1 It's a poor sort of memory that only works backward. Lewis Carroll (1832-1898) All the Boolean and arithmetic chips that we built previous chapters were

More information

The Design of Signal Control Software and Intersection Traffic Simulation Hongke Xu 1, a, Xiaoqing Hou 2,b, Rixing Zhu 3,c

The Design of Signal Control Software and Intersection Traffic Simulation Hongke Xu 1, a, Xiaoqing Hou 2,b, Rixing Zhu 3,c International Conference on Materials Engineering and Information Technology Applications (MEITA 2015) The Design of Signal Control Software and Intersection Traffic Hongke Xu 1, a, Xiaoqing Hou 2,b, Rixing

More information

MIXED-SIGNAL VLSI DESIGN OF ADAPTIVE FUZZY SYSTEMS

MIXED-SIGNAL VLSI DESIGN OF ADAPTIVE FUZZY SYSTEMS IE-SIGNAL VLSI ESIGN OF AAPTIVE FZZY SYSTES I. Baturone, S. Sánchez-Solano, J. L. Huertas Instituto de icroelectrónica de Sevilla - Centro Nacional de icroelectrónica Avda. Rea ercedes s/n, (Edif. CICA)

More information

DSRC Field Trials Whitepaper

DSRC Field Trials Whitepaper DSRC Field Trials Whitepaper August 19, 2017 www.cohdawireless.com 1 Overview Cohda has performed more than 300 Dedicated Short Range Communications (DSRC) field trials, comparing DSRC radios from multiple

More information

Comparative Analysis of LEACH, LEACH-C, K-LEACH, Algorithms in Wireless Sensor Network for Energy Efficient Routing Manpreet Kaur 1 Surender Singh 2

Comparative Analysis of LEACH, LEACH-C, K-LEACH, Algorithms in Wireless Sensor Network for Energy Efficient Routing Manpreet Kaur 1 Surender Singh 2 IJSRD - International Journal for Scientific Research & Development Vol. 3, Issue 04, 2015 ISSN (onle): 2321-0613 Comparative Analysis of LEACH, LEACH-C, K-LEACH, Algorithms Wireless Sensor Network for

More information

Parameter Estimation of a Ground Moving Target Using Image Sharpness Optimization

Parameter Estimation of a Ground Moving Target Using Image Sharpness Optimization sensors Article Parameter Estimation a Ground Movg Target Usg Image Sharpness Optimization Jg Yu * Yaan Li School Mare Science Technology, Northwestern Polytechnical University, Xi an 7007, Cha; liyaan@nwpu.edu.cn

More information

Vision-based Frontal Vehicle Detection and Tracking

Vision-based Frontal Vehicle Detection and Tracking Vision-based Frontal and Tracking King Hann LIM, Kah Phooi SENG, Li-Minn ANG and Siew Wen CHIN School of Electrical and Electronic Engineering The University of Nottingham Malaysia campus, Jalan Broga,

More information

Status of Connected Vehicle technology development for Automated Driving in Japan

Status of Connected Vehicle technology development for Automated Driving in Japan Status of Connected Vehicle technology development for Automated Driving in Japan 2017.11.14 Norifumi Ogawa International Cooperation WG SIP-adus Mazda Motor Corporation INDEX 1. 2. 3. 4. Connected and

More information

Toolbox. A set of direct manipulations that we apply to a set of plot types

Toolbox. A set of direct manipulations that we apply to a set of plot types Toolbox A set of direct manipulations that we apply to a set of plot types Toolbox: plot types Dotplot Jitter Density Grand tour Histogram Barchart 4 Scatterplot 8 6.8 Parallel.6.4.2 coordate plot Scatterplot

More information

Method of Semantic Web Service Discovery and Automatic Composition

Method of Semantic Web Service Discovery and Automatic Composition 298 JOURNAL OF EMERGING TECHNOLOGIES IN WEB INTELLIGENCE, VOL. 6, NO. 3, AUGUST 2014 Method of Semantic Web Service Discovery and Automatic Composition Yuem Wang Suqian College, 3 rd Department, Suqian,

More information

Vehicle Safety Communications Project Final Overview

Vehicle Safety Communications Project Final Overview CAMP IVI Light Vehicle Enabling Research Program Vehicle Safety Communications Project Final Overview Vehicle Safety Communications (VSC) Project 2.5 year program started in May 2002 VSC Consortium Members:

More information

First Spaceborne SAR-GMTI Experimental Results for the Chinese Gaofen-3 Dual-Channel SAR Sensor

First Spaceborne SAR-GMTI Experimental Results for the Chinese Gaofen-3 Dual-Channel SAR Sensor sensors Article First Spaceborne SAR-GMTI Experimental Results for Chese Gaen-3 Dual-Channel SAR Sensor Chenghao Wang, Guheng Liao Qgjun Zhang 2, * National Key Laboratory Radar Signal Processg, Xidian

More information

There is usually quite a big difference

There is usually quite a big difference UNIVERSAL DATA MODELS FOR By Len Silverston There is usually quite a big difference nature various manufacturg enterprises. Each manufacturg enterprise s products may be very unique, ir manufacturg processes

More information

Today Dummynet. KauNet Emulation. What is Dummynet? Why Emulation? What can you do with Dummynet? Application/Protocol testing:

Today Dummynet. KauNet Emulation. What is Dummynet? Why Emulation? What can you do with Dummynet? Application/Protocol testing: KauNet Emulation Part I Dummynet Some of the slides are based on Polly Huang s Dummynet slides Today Dummynet Why Emulation? Dummynet A Network Emulator What is it? What can you do with it? How does it

More information

Optimization of Test/Diagnosis/Rework Location(s) and Characteristics in Electronic Systems Assembly Using Real-Coded Genetic Algorithms

Optimization of Test/Diagnosis/Rework Location(s) and Characteristics in Electronic Systems Assembly Using Real-Coded Genetic Algorithms Proceedgs of the International Test Conference, October 3 Optimization of Test/Diagnosis/Rework Location(s) and Characteristics Electronic Systems Assembly Usg Real-Coded Genetic Algorithms Zhen Shi and

More information

Institute of Electronics, Chinese Academy of Sciences, Beijing , China * Correspondence: Tel.:

Institute of Electronics, Chinese Academy of Sciences, Beijing , China * Correspondence: Tel.: remote sensg Article Identification Stable Backscatterg Features, Suitable for Matag Absolute Syntic Aperture Radar (SAR) Radiometric Calibration Sentel-1 Jtao Yang 1,2,3, Xiaolan Qiu 2,3 ID, Chibiao Dg

More information

A Longitudinal Control Algorithm for Smart Cruise Control with Virtual Parameters

A Longitudinal Control Algorithm for Smart Cruise Control with Virtual Parameters ISSN (e): 2250 3005 Volume, 06 Issue, 12 December 2016 International Journal of Computational Engineering Research (IJCER) A Longitudinal Control Algorithm for Smart Cruise Control with Virtual Parameters

More information

sort items in each transaction in the same order in NL (d) B E B C B C E D C E A (c) 2nd scan B C E A D D Node-Link NL

sort items in each transaction in the same order in NL (d) B E B C B C E D C E A (c) 2nd scan B C E A D D Node-Link NL ppears the st I onference on Data Mg (200) LPMer: n lgorithm for Fdg Frequent Itemsets Usg Length-Decreasg Support onstrat Masakazu Seno and George Karypis Department of omputer Science and ngeerg, rmy

More information

A Design for an Internet Router with a Digital Optical Data Plane

A Design for an Internet Router with a Digital Optical Data Plane applied sciences Article A Design for an Internet Router with a Digital Optical Data Plane Joe Touch 1, *, Joseph Bannister 2, Stephen Suryaputra 1 Alan E. Willner 3 1 University Sourn California/Information

More information

ET 438B Sequential Control and Data Acquisition Laboratory 9 Analog Input and Output Using PLCs

ET 438B Sequential Control and Data Acquisition Laboratory 9 Analog Input and Output Using PLCs ET 438B Sequential Control and Data Acquisition Laboratory 9 Analog Input and Output Usg PLCs Laboratory Learng Objectives 1.) Identify comparison and arithmetic PLC structions both ladder logic and function

More information

Indexing for Moving Objects in Multi-Floor Indoor Spaces That Supports Complex Semantic Queries

Indexing for Moving Objects in Multi-Floor Indoor Spaces That Supports Complex Semantic Queries International Journal Geo-Information Article Indexg for Movg Objects Multi-Floor Indoor Spaces That Supports Complex Semantic Queries Hui L 1,2, *, Lg Peng 1,2, *, Si Chen 3, Tianyue Liu 4 Tianhe Chi

More information

Efficient Identification of Design Patterns with Bit-vector Algorithm

Efficient Identification of Design Patterns with Bit-vector Algorithm Efficient Identification of Design Patterns with Bit-vector Algorithm Olivier Kaczor 1, Yann-Gaël Guéhéneuc 1, and Sylvie Hamel 2 1 GEODES 2 LBIT Department of Informatics and Operations Research University

More information

Dependence-Driven Delimited CPS Transformation for JavaScript

Dependence-Driven Delimited CPS Transformation for JavaScript Dependence-Driven Delimited CPS Transformation for JavaScript Laure Philips Joeri De Koster Wolfgang De Meuter Coen De Roover Software Languages Lab, Vrije Universiteit Brussel, Belgium {lphilips, jdekoste,

More information

The Transition Curves (Spiral Curves)

The Transition Curves (Spiral Curves) The Transition Curves (Spiral Curves) The transition curve (spiral) is a curve that has a varying radius. It is used on railroads and most modem highways. It has the following purposes: 1- Provide a gradual

More information

Contextual Analysis (2) Limitations of CFGs (3)

Contextual Analysis (2) Limitations of CFGs (3) G53CMP: Lecture 5 Contextual Analysis: Scope I Henrik Nilsson University of Nottgham, UK This Lecture Limitations of context-free languages: Why checkg contextual constrats is different from checkg syntactical

More information

A Spatial-Temporal-Semantic Neural Network Algorithm for Location Prediction on Moving Objects

A Spatial-Temporal-Semantic Neural Network Algorithm for Location Prediction on Moving Objects algorithms Article A Spatial-Temporal-Semantic Neural Network Algorithm for Location Prediction on Movg Objects Fan Wu 1,2, Kun Fu 1, *, Yang Wang 1, Zhib Xiao 1 Xgyu Fu 1 1 Key Laborary Spatial Information

More information