薛云志 - 中国科学院大学 - 计算机科学与技术学院

个人简介

招生专业 081202-计算机软件与理论招生方向人工智能，自然语言处理，大数据分析教育背景 2012-09--2015-06 清华大学工商管理硕士 2001-09--2009-06 中国科学院软件研究所博士 1997-09--2001-06 中南大学学士工作简历 2009-07~2017-06,中国科学院软件研究所, 高级工程师专利成果（ 1 ）一种应用软件GUI对象自动识别方法, 发明, 2010, 第 1 作者, 专利号: 201010177854.9 （ 2 ）一种TTCN语言与数据描述语言的集成方法, 发明, 2010, 第 2 作者, 专利号: PCT/CN2011/071888 （ 3 ）一种面向Android及其衍生系统的软件操作录制回放方法, 发明, 2010, 第 1 作者, 专利号: 201010273044.3 （ 4 ）一种面向Android及其衍生系统的软件操作录制回放方法, 发明, 2012, 第 1 作者, 专利号: PCT/CN2011/071889 （ 5 ）一种面向Android及其衍生系统的UI对象操作模拟方法, 发明, 2010, 第 1 作者, 专利号: 201010272826.5 （ 6 ）一种TTCN语言与数据描述语言的集成方法, 发明, 2010, 第 2 作者, 专利号: 201010247053.5 （ 7 ）一种基于区域识别与分割的 PDF 表格数据解析方法, 发明, 2017, 第 3 作者, 专利号: 201710760650X （ 8 ）一种智能无人系统的自主性评估方法及系统, 发明, 2019, 第 2 作者, 专利号: 2019102123780 （ 9 ）一种深度学习算法的可靠性评估方法及系统, 发明, 2018, 第 1 作者, 专利号: 2018114433779 （ 10 ）一种基于SVM文本分类的简历精确解析方法, 发明, 2017, 第 2 作者, 专利号: 2017105931709 发表著作（1）区块链核心算法解析, Science in Blockchain, 电子工业出版社, 2017-06, 第 2 作者科研项目（ 1 ）面向实时通信协议的结构化测试用例自动生成方法研究, 主持, 国家级, 2012-01--2014-12 （ 2 ）开源操作系统内核分析与安全性评估, 参与, 国家级, 2012-01--2014-12 （ 3 ）环境规划中的舆情监测系统, 参与, 国家级, 2014-06--2015-07 （ 4 ）钢铁行业供应链中的信用模型及价格预测方法研究, 主持, 院级, 2017-03--2018-02 （ 5 ）环境舆情检测平台V1.0开发, 主持, 国家级, 2017-04--2018-03 （ 6 ）开放网络环境下科技群智汇聚与问题求解系统研究 - 基于区块链的科技社区联盟, 主持, 国家级, 2017-05--2018-12 （ 7 ）钢铁行业供应链中的信用模型及价格预测方法研究（二期）, 主持, 院级, 2018-03--2018-12 （ 8 ）地球大数据-项目2中知识图谱相关工作, 参与, 部委级, 2018-01--2020-12 （ 9 ）复杂环境下智能感知测评技术研究, 主持, 国家级, 2019-01--2020-12 （ 10 ）智能雷达测评技术研究, 主持, 院级, 2019-01--2019-12 （ 11 ）医疗健康领域人工智能应用分类评价研究, 主持, 国家级, 2019-01--2019-12 参与会议（1）Automated Test Program Generation for an Industrial Optimizing Compiler 自动化软件测试会议 Chen Zhao, Yunzhi Xue, Qiuming Tao 2009-05-08

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（1）构造基于区块链的大数据交易生态系统, Bootstrapping a Blockchain Based Ecosystem for Big Data Exchange, IEEE Big Data Conference, 2017, 第 2 作者（2）多错误定位问题参数化研究, Factorising the Multiple Fault Localization Problem, Proceedings of The 19th Asia-Pacific Software Engineering Conference, 2012, 通讯作者（3） Android应用测试驱动开发过程实例研究, An Empirical Study Test Driven Development Process for Android Applications, International Conference on Software Engineering and Application, 2011, 第 2 作者（4）基于pCTL的循环优化测试用例自动生成方法, Automatic Generation of Test Cases for Loop Optimizations Based on pCTL, 小型微型计算机系统, 2010, 第 2 作者（5）一个工业级优化编译器重的测试程序自动生成方法, Automated Test Program Generation for an Industrial Optimizing Compiler, International Workshop on Automated Software Testing , 2009, 通讯作者（6）一种编译优化测试用例自动生成方法的设计与实现, Design and Implementation of an Automatic Test Case Generation Method for Compiler Optimization, 小型微型计算机系统, 2009, 第 2 作者（7）基于Polyhedron模型的循环优化过程定制方法, Automated Phase-Ordering of Loop Optimizations Based on Polyhedron Model, Internaltional Conference on High Performance Computing and Communication, 2008, 第 1 作者（8）一种基于时间自动机的实时系统测试方法, A Method for Testing Real-Time System Based on Timed Automata, 软件学报, 2007, 第 2 作者（9）一种基于Messy GA的结构测试数据自动生成方法, An Automated Approach for Structural Test Data Generation Based on Messy GA, 软件学报, 2006, 第 1 作者

学术兼职

2018-04-01-今,ISO/IEC JTC1 SC42, 专家组成员 2017-12-31-今,中国轻工业联合会智能制造专家委员会专家, 专家组成员 2017-04-01-今,CCF区块链专委会委员, 专委会委员及发起人 2016-12-01-今,主题组专家, 国防科技创新特区