刘斌斌

作品数：4被引量：29H指数：3
导出分析报告
供职机构：国防科学技术大学计算机学院更多>>
发文主题：决策系统无人驾驶汽车软件开发智能化规则语言更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《软件学报》《软件》《计算机工程与科学》《计算机科学》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
程序合成研究进展
《软件》2019年第4期25-30,共6页张银珠 董威 刘斌斌 
国家自然科学基金项目(批准号:61690203)
在软件工程领域中,程序自动合成是一个非常核心的研究方向,并且在软件开发活动如此普及的社会中有望成为未来软件工程变革的核心技术。随着多年该领域的研究发展,已经衍生出了很多种不同的流派与技术路线。本文针对程序合成领域的发展...
关键词：程序合成 搜索排序 程序结构 
智能化的程序搜索与构造方法综述被引量：13
《软件学报》2018年第8期2180-2197,共18页刘斌斌 董威 王戟 
国家自然科学基金(61690203;61532007);国家重点基础研究发展计划(973)(2014CB340703)~~
互联网、机器学习、人工智能等技术的迅速发展以及大量开源软件和开源社区的出现,给软件工程的发展带来了新的机遇和挑战.目前,在互联网上已经存在了数十亿行的各类程序代码,这些代码中存在着各种知识,尤其是众多已被广泛使用、高质量...
关键词：程序搜索 程序构造 群体智慧 智能化软件开发 机器学习 
无人驾驶汽车决策系统的规则正确性验证被引量：7
《计算机科学》2017年第4期72-74,113,共4页刘斌斌 刘万伟 毛晓光 董威 
国家自然科学基金(60873120);国家重点基础研究发展规划(973)(2009CB723803)资助
无人驾驶车辆技术是当前科学研究的重点领域之一,目前无人车决策系统的开发过程中面临着安全性不足的问题。针对该问题,提出了验证驱动的基于代码自动生成的无人车决策系统开发框架。该框架利用模型检验技术对无人车决策系统进行环境建...
关键词：无人驾驶汽车 决策系统 模型检验 环境建模 
无人驾驶汽车决策系统的规则描述与代码生成方法被引量：9
《计算机工程与科学》2015年第8期1510-1516,共7页兰韵 刘万伟 董威 刘斌斌 付辰 刘大学 
国家973计划资助项目(2009CB723803);国家自然科学基金资助项目(60873120;61103012)
无人驾驶汽车的高层决策系统是其实现自主驾驶功能的核心,在决策系统的开发过程中,由于信号变量与状态数量庞大等原因,系统面临着可维护性与可拓展性差的难题。UNMANNED_RULE_EDIT是面向无人车高层决策系统的规则编辑与代码自动生成辅...
关键词：无人驾驶汽车 决策系统 规则语言 代码自动生成 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部