【摘 要】
：
无人驾驶车辆技术是当前科学研究的重点领域之一,目前无人车决策系统的开发过程中面临着安全性不足的问题。针对该问题,提出了验证驱动的基于代码自动生成的无人车决策系统开
【机 构】
：
国防科学技术大学计算机学院,国防科学技术大学计算机学院计算机科学与技术系
【基金项目】
：
国家自然科学基金(60873120);国家重点基础研究发展规划(973)(2009CB723803)资助
论文部分内容阅读
无人驾驶车辆技术是当前科学研究的重点领域之一,目前无人车决策系统的开发过程中面临着安全性不足的问题。针对该问题,提出了验证驱动的基于代码自动生成的无人车决策系统开发框架。该框架利用模型检验技术对无人车决策系统进行环境建模,通过验证可以发现无人车决策系统的设计过程中不易发觉的缺陷,解决其安全性不足的问题,同时能够将安全检查与软件开发同步,降低其维护成本。基于该框架,设计并实现了无人车决策系统辅助开发工具UNMANNED_RULE_EDIT（URE）,目前该工具已初步应用于国内某单位研制的无人车上,为其开发研
其他文献
本文简单介绍了工程项目管理中PDCA循环法的应用基础,针对工程项目管理PDCA循环法的具体应用展开了深入的研究分析,希望可以提高PDCA循环法应用有效性,实现对工程项目有效管
本文探讨了以下几个问题:收入差距的基本情况、当前收入分配差距的估计结果、针对当前有关中国收入分配差距的一些估计上存在的争论以及对当前收入差距扩大问题的看法。本文
蓝海战略是一种以创造出一个未知市场为目标的战略。本文以深圳聚成管理咨询有限公司的发展历史为例来讲述蓝海的发掘、开拓、执行和巩固过程,着重论述了蓝海战略的精髓即价
本文拟就后种族隔离时代的南非外交政策为分析对象进行研究，特别是在曼德拉和姆贝基政府时期政治文化对非外交政策原则的影响。政治文化被界定为共同的历史态度。相比于经济因
中国-东盟基础设施互联互通是服务于“一带一路”建设规划的重要内容,而进行基础设施项目建设,最为关键的问题就是如何适用投融资模式。从传统的在基础设施领域实行政府垄断,
<正>玉树"4·14"地震后,玉树州委、州政府在玉树灾后重建中优先恢复发展玉树文化,从基础设施、软件建设等方面投入大量资金扶持文化发展,并按照青海省文化改革发展大会要求,
《劳动合同法》的颁布施行,充分调动了劳动者的积极性和创造性,有利于企业实现人力资源法制化管理,增强企业凝聚力,促进企业健康发展,对企业人力资源管理工作具有重大而深远
<正>韩跃红等著的《生命伦理学维度:艾滋病防控难题与对策》一书由人民出版社出版,该书是2006年的国家社会科学基金项目"艾滋病防控中的生命伦理难题及公共政策研究——以云
随着当前形式的发展,人们的文化生活越来越丰富,思维也越来越活跃,因而也就对文化生活的意义认识的越来越深刻。只有在基层文化中不断的开展群众文化,才能使群众文化工作在整
水路交通突发事件严重威胁人的生命及财产安全,危害水域（海洋、内河）环境。尽管各国政府和国际海事组织在提高船舶设计制造标准，强制配备先进航行设备，提高航运管理质量，加强船员