基本信息
薛云志  男  硕导  中国科学院软件研究所
电子邮件: yunzhi@iscas.ac.cn
通信地址: 北京市中关村南四街四号软件所4号楼
邮政编码:

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
人工智能
可信赖人工智能
无人自主系统

教育背景

2012-09--2015-06   清华大学   工商管理硕士
2001-09--2009-06   中国科学院软件研究所   博士
1997-09--2001-06   中南大学   学士

工作经历

   
工作简历
2009-07~2017-06,中国科学院软件研究所, 高级工程师
社会兼职
2018-04-01-今,ISO/IEC JTC1 SC42, 专家组成员
2017-04-01-今,CCF区块链专委会委员, 专委会委员及发起人
2016-12-01-今,主题组专家, 国防科技创新特区

专利与奖励

   
奖励信息
(1) 中国标准创新贡献奖, 一等奖, 部委级, 2018
专利成果
[1] 董乾, 薛云志, 孟令中, 王鹏淇, 杨光, 师源, 武斌. 一种仿真图像数据自动标注方法及系统. CN: CN113222070A, 2021-08-06.
[2] 薛云志, 孟令中, 董乾, 康舒婷, 杨光, 师源, 武斌. 一种基于覆盖率的神经网络有效数据增强方法. CN: CN112712163A, 2021-04-27.
[3] 孟令中, 薛云志, 王鹏淇, 董乾, 武斌, 杨光, 师源. 一种基于任务驱动的图像预处理算法评估方法. CN: CN112614039A, 2021-04-06.
[4] 董乾, 薛云志, 孟令中, 杨光, 丁明明, 师源, 武斌. 一种无人车仿真测试用例生成方法及系统. CN: CN111983934A, 2020-11-24.
[5] 董乾, 薛云志, 孟令中, 杨光, 丁明明, 师源, 武斌. 可视化无人车决策控制仿真测试方法及系统. CN: CN111813650A, 2020-10-23.
[6] 毕翔, 薛云志, 刘张宇. 一种基于SVM文本分类的简历精确解析方法. CN: CN107392143B, 2019-12-27.
[7] 刘晓伟, 刘张宇, 薛云志. 一种基于区域识别与分割的PDF表格数据解析方法. CN: CN107622230B, 2019-12-06.
[8] 孟令中, 薛云志, 董乾, 武斌, 师源, 杨光, 司宏远. 一种智能无人系统的自主性评估方法及系统. CN: CN109960148A, 2019-07-02.
[9] 薛云志, 孟令中, 武斌, 董乾, 师源. 一种深度学习算法的可靠性评估方法及系统. CN: CN109711165A, 2019-05-03.
[10] 薛云志, 陈军成, 郑东阳, 张亚峰, 安朗. 一种面向Android及其衍生系统的软件操作录制回放方法. 中国: CN101957793A, 2011-01-26.
[11] 薛云志, 陈军成, 郑东阳, 张亚峰, 安朗. 一种面向Android及其衍生系统的UI对象操作模拟方法. 中国: CN101944022A, 2011-01-12.
[12] 赵琛, 薛云志, 郭亮, 侯玮玮. 一种TTCN语言与数据描述语言的集成方法. 中国: CN101930362A, 2010-12-29.
[13] 薛云志, 陈军成, 郑东阳, 张亚峰, 安朗. 一种应用软件GUI对象自动识别方法. 中国: CN101853157A, 2010-10-06.
[14] 赵 琛, 潘远明, 陈 伟, 薛云志, 杨宗奎, 孙丽霞. 基于C++映射的TTCN-3测试系统及测试方法. 中国: CN100435113, 2008-11-19.

出版信息

   
发表论文
[1] \tGuang Yang, Yunzhi Xue, Lingzhong Meng, Pengqi Wang, Yuan Shi, Qinghong Yang, Qian Dong. Survey on Autonomous Vehicle Simulation Platforms. 2021 8th International Conference on Dependable Systems and Their Applicationsnull. 2021, [2] 王鹏淇, 孟令中, 董乾, 杨光, 师源, 薛云志. ObjectGAN:自动驾驶评估数据集构建. 测控技术[J]. 2020, 39(8): 112-117, [3] 薛云志. T2AD:一种面向自动驾驶的测试与测试控制语言. 第20届全国图形图像学术会议. 2020, [4] Xue Yunzhi. Task-driven Image Preprocessing Algorithm Evaluation Strategy. 2020 7th International Conference on Dependable Systems and Their Applications. 2020, [5] 薛云志. 虚拟仿真场景中的遮挡目标自动BBX标注. Proceedings of the 5th International Conference on Multimedia and Image Processing. 2020, [6] 孟令中, 王航, 薛云志, 武斌, 马兰. 软件失效模式的自动生成方法研究. 计算机科学与探索[J]. 2018, 12(11): 1758-1766, [7] 薛云志. 构造基于区块链的大数据交易生态系统. IEEE Big Data Conference. 2017, [8] 宋小远, 薛云志. 一种Android平台混合应用运行环境. 计算机系统应用. 2016, 98-103, http://lib.cqvip.com/Qikan/Article/Detail?id=670083708.
[9] 陈军成, 薛云志, 陶秋铭, 赵琛. 基于事件处理函数的GUI测试用例集约简技术. 软件学报[J]. 2015, 26(8): 1871-1885, http://lib.cqvip.com/Qikan/Article/Detail?id=665619629.
[10] 毛澄映, 喻新欣, 薛云志. 基于粒子群优化的测试数据生成及其实证分析. 计算机研究与发展. 2014, 51(4): 824-837, http://lib.cqvip.com/Qikan/Article/Detail?id=49020454.
[11] 郝鹏, 郑征, 张震宇, 高乙超, 宫成, 薛云志. 基于谓词执行信息分析的自适应缺陷定位算法. 计算机学报. 2014, 37(3): 500-511, http://lib.cqvip.com/Qikan/Article/Detail?id=48850727.
[12] 陈军成, 薛云志, 赵琛. 一种基于事件处理函数的GUI测试方法. 软件学报. 2013, 24(12): 2830-2842, http://lib.cqvip.com/Qikan/Article/Detail?id=47889944.
[13] 张灿, 薛云志, 陈军成. 一种基于Android平台GUI录制回放工具的设计与实现. 计算机应用与软件. 2012, 29(12): 6-9, http://lib.cqvip.com/Qikan/Article/Detail?id=44180795.
[14] 薛云志. 多错误定位问题参数化研究. Proceedings of The 19th Asia-Pacific Software Engineering Conference. 2012, [15] Chen Juncheng, Xue Yunzhi, Chen Zhao. An empirical study on test driven development process for android applications. Proceedings of the IASTED International Conference on Software Engineering and Applications, SEA 2011null. 2011, 137-144, http://ir.iscas.ac.cn/handle/311060/16287.
[16] 薛云志. Android应用测试驱动开发过程实例研究. International Conference on Software Engineering and Application. 2011, [17] 余侠, 薛云志, 陶秋铭. 基于pCTL的循环优化测试用例自动生成方法. 小型微型计算机系统. 2010, 436-440, http://lib.cqvip.com/Qikan/Article/Detail?id=33330909.
[18] 曾伟明, 薛云志, 赵琛, 贺也平. 一种编译优化测试用例自动生成方法的设计与实现. 小型微型计算机系统. 2009, 30(1): 13-18, http://lib.cqvip.com/Qikan/Article/Detail?id=29132304.
[19] 薛云志. 一个工业级优化编译器重的测试程序自动生成方法. International Workshop on Automated Software Testing. 2009, [20] Xue Yunzhi, Zhao Chen. Automated phase-ordering of loop optimizations based on polyhedron model. Proceedings - 10th IEEE International Conference on High Performance Computing and Communications, HPCC 2008null. 2008, 672-677, http://ir.iscas.ac.cn/handle/311060/10736.
[21] 薛云志. 基于Polyhedron模型的循环优化过程定制方法. Internaltional Conference on High Performance Computing and Communication. 2008, [22] 夏勇, 薛云志, 赵琛. 基于时序逻辑的编译优化测试用例生成方法. 计算机应用研究. 2007, 24(7): 46-48, http://lib.cqvip.com/Qikan/Article/Detail?id=24990301.
[23] 陈伟, 薛云志, 赵琛, 李明树. 一种基于时间自动机的实时系统测试方法. 软件学报. 2007, 18(1): 62-73, http://lib.cqvip.com/Qikan/Article/Detail?id=23680168.
[24] 夏勇, 薛云志, 陶秋铭, 赵琛. 基于CTL的循环优化变换描述方法. 计算机应用研究. 2007, 24(7): 49-51, http://lib.cqvip.com/Qikan/Article/Detail?id=24990303.
[25] 薛云志, 陈伟, 王永吉, 赵琛, 王青. 一种基于Messy GA的结构测试数据自动生成方法. 软件学报. 2006, 17(8): 1688-1697, http://lib.cqvip.com/Qikan/Article/Detail?id=22590174.
发表著作
(1) 区块链核心算法解析, Science in Blockchain, 电子工业出版社, 2017-06, 第 2 作者

科研活动

   
科研项目
( 1 ) 复杂环境下智能感知测评技术研究, 负责人, 国家任务, 2019-01--2020-12
( 2 ) 人工智能检测检验基础服务平台, 负责人, 国家任务, 2019-06--2021-07
( 3 ) xx环境下智能无人系统可信赖性度量与测试技术研究, 负责人, 国家任务, 2020-01--2021-12
( 4 ) 无人系统测评技术研究, 负责人, 国家任务, 2021-01--2021-12
( 5 ) 可信任性度量模型于关键技术研究, 负责人, 国家任务, 2019-07--2022-12
参与会议
(1)Automated Test Program Generation for an Industrial Optimizing Compiler   自动化软件测试会议   Chen Zhao, Yunzhi Xue, Qiuming Tao   2009-05-08

指导学生

已指导学生

宋小远  硕士研究生  081202-计算机软件与理论  

王航  硕士研究生  085211-计算机技术  

现指导学生

康舒婷  硕士研究生  083500-软件工程