Teitl: Cymhwyso Dysgu Atgyfnerthu i Wirio Cyd-gloi Rheilffyrdd
Crynodeb
Mae dilysu ffurfiol (FV) yn ddull cynyddol boblogaidd ar gyfer gwarantu cywirdeb mewn systemau diogelwch critigol. Fel parth cymhwysiad, mae'r rheilffordd yn rhannu hanes â dilysu ffurfiol sy’n rhychwantu degawdau. Mae dyfeisiau cyd-gloi, y systemau sy'n gyfrifol am fonitro ymyriadau diogelwch o fewn rhwydwaith reilffordd wedi'i ffinio, yn gofyn am ddulliau cadarn o brofi oherwydd eu lefel uniondeb uchel. Dangoswyd bod dilysu ffurfiol yn cefnogi'r broses hon ond mae rhai cyfyngiadau wedi rhwystro mabwysiadu eang mewn diwydiant. Yn y traethawd ymchwil hwn, rydym yn archwilio technegau gwirio a gymhwysir i gyd-gloi rheilffyrdd a sut y gellir defnyddio dysgu peiriant i gefnogi gwirio modelau ar sail SAT yn benodol. Rydym yn darparu trosolwg byr o'r ddwy ddisgyblaeth a'r cefndir angenrheidiol sy'n ofynnol i ddeall, dyblygu a datblygu ein dull gweithredu. Rydym yn cynnig gweithredu amgylchedd dysgu atgyfnerthu sy'n modelu gofod cyflwr rhaglen rhesymeg ysgol ddringo sy'n gyfrifol am amgodio nodweddion diogelwch sylfaenol ar gyfer croesfan golau a reolir gan gerddwyr. Yna caiff asiant dysgu atgyfnerthu (RL) ei hyfforddi'n llwyddiannus i gynhyrchu dwy set o drawsnewidiadau minimol ar gyfer croesi'r gofod cyflwr i gynorthwyo i adnabod llwybrau di-ddolen ar gyfer gwirio modelau.