基本信息
李轶  男  硕导  中国科学院重庆绿色智能技术研究院
电子邮件: liyi@cigit.ac.cn
通信地址: 重庆市渝北区金渝大道85号汉国中心B座10层
邮政编码:

研究领域

软件形式化方法、符号计算、信息安全技术

招生信息

   
招生专业
081203-计算机应用技术
招生方向
软件形式化验证
符号计算
信息安全技术

教育背景

2003-09--2009-07   中国科学院成都计算所   工学博士

工作经历

   
工作简历
2012-02~现在, 中国科学院重庆绿色智能技术研究院, 副研究员
2009-07~2012-02,电子科技大学, 讲师

专利与奖励

   
奖励信息
(1) 团队突出贡献奖, , 研究所(学校), 2005
专利成果
( 1 ) 一类有界闭连通域上的循环程序终止性判断方法, 发明, 2015, 第 1 作者, 专利号: 2015101811056
( 2 ) 一种用于符号线性系统的快速高斯约当消去方法, 发明, 2015, 第 1 作者, 专利号: 201510362146.5

出版信息

   
发表论文
[1] Li, Yi, Li, Xie, Li, Yong, Sun, Xuechao, Turrini, Andrea, Zhang, Lijun. Synthesizing ranking functions for loop programs via SVM. THEORETICAL COMPUTER SCIENCE[J]. 2022, 935: 1-20, http://dx.doi.org/10.1016/j.tcs.2022.07.002.
[2] 谭旺, 李轶. 循环程序的界函数合成. 计算机应用[J]. 2022, 42(2): 565-573, http://lib.cqvip.com/Qikan/Article/Detail?id=7106610733.
[3] Tan, Wang, Li, Yi. Synthesis of ranking functions via DNN. NEURAL COMPUTING & APPLICATIONS[J]. 2021, 33(16): 9939-9959, http://dx.doi.org/10.1007/s00521-021-05763-8.
[4] 谭旺, 李轶. 循环程序的界函数计算. 计算机应用. 2021, https://nxgp.cnki.net/kcms/detail?v=3uoqIhG8C46NmWw7YpEsKHTPvOGrUOOqX1coEOzL8AHHv1ZR4f8kbaf66jwfkbbjpUjlBtYMn4WNwljeRYaiuFAVWJ0oB03X&uniplatform=NZKPT.
[5] Yuan, Yue, Li, Yi, Shi, Wenchang. Detecting multiphase linear ranking functions for single-path linear-constraint loops. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER[J]. 2021, 23(1): 55-67, https://www.webofscience.com/wos/woscc/full-record/WOS:000610088700003.
[6] Yi Li. SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM.. ESEC/FSE2020. 2020, [7] Li, Yi, Wu, Wenyuan, Feng, Yong. On ranking functions for single-path linear-constraint loops. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER[J]. 2020, 22(6): 655-666, https://www.webofscience.com/wos/woscc/full-record/WOS:000496208800001.
[8] 李轶, 冯勇. 多项式循环程序的秩函数探测. 软件学报[J]. 2019, 30(11): 3243-, http://lib.cqvip.com/Qikan/Article/Detail?id=7100192736.
[9] 李轶. 基于SVM的多项式循环程序秩函数探测. 软件学报. 2019, [10] Yuan, Yue, Li, Yi. Ranking Function Detection via SVM: A More General Method. IEEE ACCESS[J]. 2019, 7: 9971-9979, https://doaj.org/article/f2a807ce3da04aeeae8621caccc1bbe6.
[11] Yi Li. Synthesizing Nested Ranking Functions for Loop Programs via SVM. ICFEM2019. 2019, [12] 李轶, 蔡天训, 樊建峰, 吴文渊, 冯勇. 基于SVM的多项式循环程序秩函数生成. 软件学报[J]. 2019, 30(7): 1903-1915, http://lib.cqvip.com/Qikan/Article/Detail?id=7002464565.
[13] 袁月, 李轶. 基于Dixon结式和逐次差分代换的多项式秩函数探测方法. 计算机应用[J]. 2019, 39(7): 2065-2073, http://lib.cqvip.com/Qikan/Article/Detail?id=7002445339.
[14] Huang, Fangjian, Li, Yi. PARAMETERIZED INEQUALITIES ABOUT A POINT IN THE PLANE OF A TRIANGLE. JOURNAL OF MATHEMATICAL INEQUALITIES[J]. 2018, 12(4): 953-960, http://119.78.100.138/handle/2HOD01W0/7063.
[15] 李轶, 蔡天训, 吴文渊. 基于k阶秩函数的线性赋值循环程序的终止性分析. 计算机科学[J]. 2018, 45(6): 151-155, http://lib.cqvip.com/Qikan/Article/Detail?id=676176291.
[16] Li Yi, Cai Tianxun, Feng Yong, Bi Y, Chen G, Deng Q, Wang Y. A Sufficient Criterion for Termination of Multi-path Linear Assignment Loops. EMBEDDED SYSTEMS TECHNOLOGY, ESTC 2017null. 2018, 857: 223-237, [17] Yi Li. Termination of semi-algebraic loop programs. SETTA2017. 2017, [18] 朱广, 李轶, 吴文渊. 计算最终线性秩函数的新方法. 计算机科学[J]. 2017, 44(1): 194-198,213, http://lib.cqvip.com/Qikan/Article/Detail?id=671087372.
[19] Li, Yi. Witness to non-termination of linear programs. THEORETICAL COMPUTER SCIENCE[J]. 2017, 681: 75-100, http://dx.doi.org/10.1016/j.tcs.2017.03.036.
[20] Li Yi, Zhu Guang, Feng Yong, IEEE. The L-depth Eventual Linear Ranking Functions for Single-path Linear Constraint Loops. 2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)null. 2016, 30-37, http://dx.doi.org/10.1109/TASE.2016.8.
[21] Zhu Guang, Li Yi, Wu Wenyuan, Xu B. Eventual Linear Ranking Functions for Multi-path Linear Loops. 2016 IEEE INFORMATION TECHNOLOGY, NETWORKING, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (ITNEC)null. 2016, 331-337, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000389505000070.
[22] Wu Wenyuan, Feng Yong, Ji Zhenyi, Li Yi, Qin Xiao Lin, 秦小林. Numerical method for real root isolation of semi-algebraic system and its applications. JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE[J]. 2016, 13(1): 803-811, [23] Feng Yong, Li Yi. Termination analysis of non-linear loops over closed and bounded connected domain. RUAN JIAN XUE BAO/JOURNAL OF SOFTWARE[J]. 2016, 27(3): 517-526, http://www.chinair.org.cn/handle/1471x/1659861.
[24] 李轶, 冯勇. 有界闭连通域上的非线性循环终止性分析. 软件学报[J]. 2016, 517-526, http://lib.cqvip.com/Qikan/Article/Detail?id=668151121.
[25] Li Yi, Sampaio A, Wang F. Termination of Single-Path Polynomial Loop Programs. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016null. 2016, 9965: 33-50, [26] Yi Li. Termination of Initialized Two Variable Homogeneous Linear Loops. ICSESS. 2015, [27] 李轶, 李传璨, 吴文渊. 多分支单变量循环程序的终止性分析. 软件学报[J]. 2015, 26(2): 297-304, http://lib.cqvip.com/Qikan/Article/Detail?id=663638146.
[28] Li Yi, Li ChuanCan, Wu WenYuan. Termination analysis of multipath loop programs with one variable. RUAN JIAN XUE BAO/JOURNAL OF SOFTWARE[J]. 2015, 26(2): 297-304, http://www.chinair.org.cn/handle/1471x/1660800.
[29] Yi Li. Termination Analysis of Programs with Periodic Orbit on the Boundary. ISRME. 2015, [30] 吴文渊, 李轶, 李传璨. 一类带初始输入的线性循环终止性分析. 四川大学学报:工程科学版[J]. 2014, 81-87, http://lib.cqvip.com/Qikan/Article/Detail?id=83677672504849524853484950.
[31] Li Yi, Feng Yong, Wu WenYuan. Termination analysis of loops with linear assignment over closed and bounded domains. RUAN JIAN XUE BAO/JOURNAL OF SOFTWARE[J]. 2014, 25(6): 1133-1142, http://www.chinair.org.cn/handle/1471x/1659876.
[32] 李轶, 吴文渊, 冯勇. 有界闭域上的线性赋值循环终止性分析. 软件学报[J]. 2014, 25(6): 1133-1142, http://lib.cqvip.com/Qikan/Article/Detail?id=49761051.
[33] Li, Yi, Li, Chuancan, Wu, Wenyuan, Feng, Yong, IEEE. Termination of Two Variable Homogeneous Linear Loops. 2013 SIXTH INTERNATIONAL CONFERENCE ON BUSINESS INTELLIGENCE AND FINANCIAL ENGINEERING (BIFE)null. 2014, 10-13, [34] Ji, Zhenyi, Liu, Zijian, Wu, Wenyuan, Feng, Yong, Li, Yi. Numerical Method for Computing the Stable Equilibrium of High Dimensional Predator Prey System. JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE[J]. 2014, 11(9): 1942-1946, https://www.webofscience.com/wos/woscc/full-record/WOS:000338426800011.
[35] Li Yi. A recursive decision method for termination of linear programs. 2014 SYMPOSIUM ON SYMBOLIC-NUMERIC COMPUTATION, SNC 2014null. 2014, 97-106, http://www.chinair.org.cn/handle/1471x/1660809.
[36] Zhou, Shuang, Feng, Yong, Wu, WenYuan, Li, Yi, Liu, Jiang. Low-dimensional chaos and fractal properties of long-term sunspot activity. RESEARCH IN ASTRONOMY AND ASTROPHYSICS[J]. 2014, 14(1): 104-112, https://www.webofscience.com/wos/woscc/full-record/WOS:000330160200009.
[37] 李轶. 基于完全判别系统的程序终止性证明. ISISE’12. 2013, [38] 李轶. 线性循环程序的终止性判定. 系统科学与数学[J]. 2013, 33(5): 626-638, [39] Yi Li. Proving Program Termnation by Discoverer and Complete Discrimination System. ISISE. 2012, [40] Yi Li. Automatic synthesis of multiple ranking functions with supporting invariants via DISCOVERER. Proc. of the 3rd International Conference on Advanced Computer Theory and Engineering. 2010, [41] Yi Li. Termination of Programs over the Union of Intervals. ICACIT’10. 2010, [42] 李轶. 有理单变元表示在最优化问题上的应用. 系统科学与数学. 2009, [43] 李骏, 李轶, 冯勇. 一类循环条件非线性的程序终止性. 四川大学学报:工程科学版[J]. 2009, 129-133, http://lib.cqvip.com/Qikan/Article/Detail?id=1000618803.
[44] Li Yi, Li WH, Zhou JH. Automatic Discovery of Non-Linear Ranking Functions of Loop Programs. 2009 2ND IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, VOL 1null. 2009, 402-406, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000279807700088.
[45] 李骏, 李轶, 冯勇, 秦小林. 线性程序的Ranking函数自动合成. 四川大学学报:工程科学版[J]. 2009, 176-181, http://lib.cqvip.com/Qikan/Article/Detail?id=1001030592.
[46] Li, Yi. An effective hybrid algorithm for computing symbolic determinants. APPLIED MATHEMATICS AND COMPUTATION[J]. 2009, 215(7): 2495-2501, https://www.webofscience.com/wos/woscc/full-record/WOS:000271640200011.
[47] 李轶. 一类半正定多项式的配平方和算法. 系统科学与数学[J]. 2008, 28(4): 490-504, http://lib.cqvip.com/Qikan/Article/Detail?id=27099132.
[48] Li, Yi. An effective algorithm of computing symbolic determinants with multivariate polynomial entries. APPLIED MATHEMATICS AND COMPUTATION[J]. 2007, 192(2): 382-388, https://www.webofscience.com/wos/woscc/full-record/WOS:000253495100009.
[49] 李轶. 基于降维的并行符号行列式计算. 四川大学学报:工程科学版[J]. 2007, 39(2): 133-139, http://lib.cqvip.com/Qikan/Article/Detail?id=25825050.

科研活动

   
科研项目
( 1 ) 软件正确性分析的自动推理方法及工具的开发, 负责人, 地方任务, 2012-07--2015-08
( 2 ) 陆地交通混成系统安全性分析与验证, 参与, 中国科学院计划, 2013-01--2015-12
( 3 ) 微分代数方程中的误差可控计算理论与算法, 参与, 国家任务, 2015-01--2018-12
( 4 ) 零误差计算理论与应用, 参与, 中国科学院计划, 2014-06--2016-12
( 5 ) 多项式循环程序的终止性研究及其应用, 负责人, 国家任务, 2016-01--2019-12
( 6 ) 几类While循环终止性分析的理论、方法及其应用, 负责人, 国家任务, 2012-01--2014-12
( 7 ) 参数半代数系统的误差可控计算理论与算法, 参与, 国家任务, 2018-01--2021-12
( 8 ) 基于计算机代数的代码终止性分析方法研究, 负责人, 地方任务, 2019-08--2022-07
( 9 ) 基于格密码的轻量级同态加密理论与应用, 参与, 地方任务, 2019-12--2022-12
( 10 ) 灵动公交算法研究, 负责人, 企业委托, 2021-03--2021-12