本文選題：無人駕駛車輛 + 決策系統(tǒng)��； 參考：《國防科學(xué)技術(shù)大學(xué)》2015年碩士論文

【摘要】：隨著信息技術(shù)的發(fā)展,無人駕駛車輛技術(shù)日漸成為科學(xué)研究的重點領(lǐng)域之一,各國都在其中投入了大量的人力物力。無人駕駛車輛技術(shù)能夠?qū)⑷祟愸{駛員從枯燥危險的駕駛工作中解放出來,減少了車輛行為的隨機性,使車輛的行為變得可預(yù)測,可以極大地提高車輛行駛的穩(wěn)定性。另外,無人駕駛車輛技術(shù)提高了車輛對環(huán)境的反應(yīng)速度,增強了車輛的安全性,也可以大大縮短行車間距,從而增加公路的運輸能力。同時,無人駕駛車輛技術(shù)改善了車輛對環(huán)境的感知精度,消除了因駕駛員個人問題而造成的交通事故。無人駕駛車輛技術(shù)的核心在于其決策系統(tǒng)的開發(fā),當(dāng)前無人車決策系統(tǒng)開發(fā)過程中面臨著諸多難題,主要包括以下幾點:由人工編寫的代碼成本高且維護困難;決策規(guī)則與系統(tǒng)軟件沒有實現(xiàn)分離;設(shè)計過程中可能存在潛在的缺陷和錯誤;軟件開發(fā)與安全檢查不同步。針對以上問題,課題組提出了驗證驅(qū)動的基于代碼自動生成的無人車決策系統(tǒng)開發(fā)框架。課題組早期的工作包括設(shè)計了描述無人車決策規(guī)則的中間語言,并設(shè)計實現(xiàn)了無人車決策系統(tǒng)輔助開發(fā)工具,解決了開發(fā)過程中的前兩個難題。為了解決無人車決策系統(tǒng)中的安全性問題,本文在代碼自動生成技術(shù)的基礎(chǔ)上引入了模型檢驗技術(shù),自動生成無人車的模型代碼,并對無人車決策系統(tǒng)進行環(huán)境建模,通過形式化驗證可以發(fā)現(xiàn)無人車決策系統(tǒng)設(shè)計過程中不易察覺的缺陷和錯誤,解決其安全性不足的問題,同時能夠?qū)踩珯z查與軟件開發(fā)過程同步,降低其維護成本�；谠摽蚣�,本文將模型檢驗?zāi)K集成到已有的無人車決策系統(tǒng)輔助開發(fā)工具UNMANNED_RULE_EDIT(URE)中,為無人車決策系統(tǒng)的開發(fā)工作提供幫助,為其安全性提供保障。
[Abstract]:With the development of information technology, driverless vehicle technology has increasingly become one of the key areas of scientific research, in which countries have invested a lot of manpower and material resources. Driverless vehicle technology can liberate human drivers from the boring and dangerous driving work, reduce the randomness of vehicle behavior, make vehicle behavior predictable, and greatly improve the stability of vehicle driving. In addition, the technology of driverless vehicles can improve the response speed of vehicles to the environment, enhance the safety of vehicles, and greatly shorten the distance between vehicles, thus increasing the transportation capacity of highways. At the same time, the driverless vehicle technology improves the environmental perception accuracy of the vehicle and eliminates the traffic accidents caused by the driver's personal problems. The core of driverless vehicle technology is the development of its decision-making system. At present, there are many difficulties in the development of unmanned vehicle decision system, including the following: the cost of manual code is high and the maintenance is difficult; Decision rules are not separated from system software; there may be potential defects and errors in the design process; and software development and security checking are out of step. In view of the above problems, the research group proposed a verification driven development framework for unmanned vehicle decision system based on automatic code generation. The early work of the research group includes the design of an intermediate language to describe the decision-making rules of the unmanned vehicle, and the design and implementation of an assistant development tool for the decision-making system of the unmanned vehicle, which solves the first two difficult problems in the development process. In order to solve the security problem in the unmanned vehicle decision system, this paper introduces the model checking technology on the basis of the code automatic generation technology, automatically generates the model code of the unmanned vehicle, and carries on the environment modeling to the unmanned vehicle decision system. Through formal verification, we can find the imperceptible defects and errors in the design process of the unmanned vehicle decision system, solve the problem of insufficient security, synchronize the security inspection with the software development process, and reduce the maintenance cost. Based on this framework, the model checking module is integrated into Unmannet\
【學(xué)位授予單位】：國防科學(xué)技術(shù)大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：U463.6;TP311.52

【參考文獻】

相關(guān)期刊論文 前4條

1 蘭韻;劉萬偉;董威;劉斌斌;付辰;劉大學(xué);;無人駕駛汽車決策系統(tǒng)的規(guī)則描述與代碼生成方法[J];計算機工程與科學(xué);2015年08期

2 韓仁輝;趙祥君;于坤炎;王賢章;;外軍軍用無人車發(fā)展現(xiàn)狀及特點與趨勢[J];汽車運用;2011年08期

3 喬維高;徐學(xué)進;;無人駕駛汽車的發(fā)展現(xiàn)狀及方向[J];上海汽車;2007年07期

4 林惠民,張文輝;模型檢測:理論、方法與應(yīng)用[J];電子學(xué)報;2002年S1期

相關(guān)博士學(xué)位論文 前5條

1 王瑞;基于SAT的符號化模型檢驗技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2014年

2 辛煜;無人駕駛車輛運動障礙物檢測、預(yù)測和避撞方法研究[D];中國科學(xué)技術(shù)大學(xué);2014年

3 陳佳佳;城市環(huán)境下無人駕駛車輛決策系統(tǒng)研究[D];中國科學(xué)技術(shù)大學(xué);2014年

4 沈勝宇;模型檢驗的反例解釋[D];國防科學(xué)技術(shù)大學(xué);2005年

5 孫振平;自主駕駛汽車智能控制系統(tǒng)[D];國防科學(xué)技術(shù)大學(xué);2004年

，

本文編號：2017630