薛云志

作品数：17被引量：89H指数：6
导出分析报告
供职机构：中国科学院软件研究所更多>>
发文主题：自动驾驶存储介质测试用例被测对象仿真测试更多>>
发文领域：自动化与计算机技术农业科学文化科学环境科学与工程更多>>
发文期刊：《计算机研究与发展》《软件学报》《中文信息学报》《计算机学报》更多>>
所获基金：国家自然科学基金国家科技重大专项国家高技术研究发展计划国家科技攻关计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向开放文本的逻辑推理知识抽取与事件影响推理探索被引量：4
《中文信息学报》2021年第10期56-63,共8页刘焕勇 薛云志 李瑞 任红萍 陈贺 张鹏 
国家自然科学基金(11701545)
开放文本中蕴含着大量的逻辑性知识,以刻画事物之间逻辑传导关系的逻辑类知识库是推动知识推理发展的重要基础,研发大规模逻辑推理知识库有助于支持由实体或事件等传导驱动的决策任务。该文围绕逻辑推理知识库,论述了知识库的概念、类...
关键词：逻辑推理 描述性知识 推理系统 知识抽取 
基于可解释基拆解和知识图谱的深度神经网络可视化被引量：8
《计算机学报》2021年第9期1786-1805,共20页阮利 温莎莎 牛易明 李绍宁 薛云志 阮涛 肖利民 
国家重点研究计划(2017YFB0202004);软件开发环境国家重点实验室课题(SKLSDE-2020ZX-15);国家自然科学基金青年项目(11701545,61772053)资助.
近年来,以卷积神经网络(CNN)等为代表的深度学习模型,以其深度分层学习,无标签化学习等优势,已在图像识别为代表的各个领域得到日益广泛的应用.然而,深度神经网络模型由于其内在的黑盒原理,对其内部工作机制的解释仍然面临巨大挑战,其...
关键词：深度神经网络 可视化 可解释基拆解模型 知识图谱 解释深度学习模型 
ObjectGAN:自动驾驶评估数据集构建
《测控技术》2020年第8期112-117,共6页王鹏淇 孟令中 董乾 杨光 师源 薛云志 
2019年产业技术基础公共服务平台项目—面向人工智能领域的产业技术公共服务平台建设(2019-00893-1-1);国家自然科学基金青年科学基金项目(11701545)。
自动驾驶评估数据集的构建在很大程度上取决于能否覆盖复杂多样的交通场景。但是通过人工获取数据工作量巨大,且难以覆盖所有场景,在这种情况下,虚拟引擎可以提供极大的便利。利用UE4(Unreal Engine 4)虚拟引擎构建常见驾驶场景,并结合...
关键词：虚拟仿真 数据生成 目标检测 域适应 
软件失效模式的自动生成方法研究被引量：2
《计算机科学与探索》2018年第11期1758-1766,共9页孟令中 王航 薛云志 武斌 马兰 
国家重点研发计划No.2017YFB0801902~~
软件失效模式的使用可以帮助开发人员与测试人员高效地开展失效的预防和发现等工作,进而提高软件质量。现有软件失效模式的通用性使得在实际工作中难以发挥更大作用,且目标软件的失效模式难以人工提炼,因此提出利用失效原因和失效影响...
关键词：软件失效模式 文本挖掘 聚类分析 文本相似度 自动抽取 
区块链或将改变公司形态
《今商圈》2018年第5期24-25,共2页薛云志 
我从2012年接触区块链技术至今，已有6个年头。区块链从技术角度来说就是一个分布式的数据库，其特点就是去中心化、去信任和不可篡改。如果说人工智能是发展生产力，区块链技术则着限于生产关系，有可能改变未来公司的形态。
关键词：公司形态 区块 去中心化 人工智能 生产关系 技术 数据库 分布式 
一种Android平台混合应用运行环境被引量：1
《计算机系统应用》2016年第9期98-103,共6页宋小远 薛云志 
中国科学院先导专项(XDA06010600);国家自然科学基金青年基金(61402454)
随着智能终端设备以及移动互联网的发展,智能手机等设备越来越普遍,其上的应用也越来越丰富.如何能够更快、更高效的开发智能终端上的应用成为开发者面临的巨大问题之一.在分析了当前存在的跨平台混合应用开发的基础上,设计并实现了一种...
关键词：ANDROID平台 混合应用 运行环境 跨平台 WEB技术 
基于粒子群优化的测试数据生成及其实证分析被引量：20
《计算机研究与发展》2014年第4期824-837,共14页毛澄映 喻新欣 薛云志 
国家自然科学基金项目(61063013;61100070);江西省自然科学基金项目(2010GZS0044);武汉大学软件工程国家重点实验室开放基金项目(SKLSE2010-08-23)
运用元启发式搜索进行结构性测试数据生成已经被证实是一种有效的方法.在讨论基于搜索的测试数据生成基本框架的基础上,以分支覆盖作为测试覆盖准则,给出了基于粒子群优化(particle swarm optimization,PSO)的测试数据生成算法,并通过...
关键词：结构性测试 测试数据生成 分支覆盖 搜索算法 粒子群优化 
基于谓词执行信息分析的自适应缺陷定位算法被引量：7
《计算机学报》2014年第3期500-511,共12页郝鹏 郑征 张震宇 高乙超 宫成 薛云志 
国家自然科学基金(60904066;61003027);国家科技重大专项经费(2012ZX01039-004)资助~~
查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通...
关键词：统计学缺陷定位 谓词执行信息 自适应 软件测试 程序分析中图法 
基于pCTL的循环优化测试用例自动生成方法
《小型微型计算机系统》2010年第3期436-440,共5页余侠 薛云志 陶秋铭 
国家"八六三"高技术研究发展计划项目(2007AA010601;2006AA010201)资助
循环优化测试对保证现代编译器质量有着重要作用.传统手工构造测试用例方法面临着效率低的问题,而目前的自动构造方法对循环优化的针对性不足.提出并实现了一种基于参数化分支时序逻辑(pCTL)的循环优化测试用例自动生成方法.并用生成的...
关键词：pCTL 循环优化 测试用例生成 覆盖率 
一种编译优化测试用例自动生成方法的设计与实现被引量：2
《小型微型计算机系统》2009年第1期13-18,共6页曾伟明 薛云志 赵琛 贺也平 
国家科技攻关计划项目(2005BA113A02)资助
编译器的质量保证对提高软件产品的质量有着重要作用,对编译优化的测试是其中的核心部分.对编译优化的测试需要大量的测试用例程序.要构造这些测试用例,使用传统手工构造方法面临着效率低的问题,而基于文法的构造方法则针对性不足.从对...
关键词：编译器测试 覆盖率 编译优化 时序逻辑 测试用例 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部