首页 > 形式化模型

形式化模型

发布时间：来源：文档文库

小中大

字号：

手机查看

Goodmorningeveryone,thetopicofmyspeechisFormalModelingOfDriverlessCarsOvertakingBehaviorInHighway

Idividedthereportintofourparts,theyareBackground
、
Technical
route:Event-B、Modeling、ResultsAndConclusion

Let'sgotothefirstpart:Background。

Thereisadriverlesscarinthispicture.
Laserradarsysteminstalledonthetopofthecar
Andithasthefunctionofrangingandpositioning

Driverlesscarshavesixmodulestocontrolittheyare
：

Forexampleturnleftturnrighttrackingandbraking.
Thisisaschematicdiagramoftheovertakingbehaviormodelofadriverlesscar.
Let'sgotothesecondpart:Technicalroute:Event-BWhatisEvent-B?

Whatisformalmethod?
Inthefieldofcomputerscienceandsoftwareengineering,theformalmethodisaspecialtechniquebasedonmathematics,suitableforthedescription,developmentandverificationofsoftwareandhardware

systems.
Whatdoesitdoinrealworld?

Let'sgotothethirdpart:

Modeling
Thesepicturesshowushowthedriverlesscarworks.
Inmymodel,Ifirstinitializedtwocarsandsixareas,andthespeedoftherearcarisgreaterthanthepreviouscar,asshowninthepreviouspicture

Whenthereisnocarinarea3and6,thenyoucanovertaketotheleft.
Ifthearea6hasacar,butthespeedofthearea6carisgreaterthanthespeedofthearea2,stillturnleftovertaking

Ifthespeedofthecarinarea6islessthanthespeedofthecarinarea2,andfollowthecar.
Ifthearea3hasacar,andthecarpassingthroughthecalculationarea1mustcollidewiththecarofthearea2,itwillovertakefromtherightside

Thisisjustabriefintroduction,theactualmodelingsituationismorecomplicatedthanthis

Let'sgotothefourpart:
Results
andconclusion

UsingEvent-Bsoftware,themodelfinallypassedthecertification,andobtainedthecertificationobligationofall108certificates.
Inthispaper,event-bmethodwasusedtoexplorethemodelinginthefieldofintelligentinformation,andasystemmodelofdriverlesscarsovertakingonhighwayswasbuilt

本文来源：https://www.2haoxitong.net/k/doc/2fecfe66a66e58fafab069dc5022aaea998f41dd.html