基本信息
李轶 男 硕导 中国科学院重庆绿色智能技术研究院
电子邮件: liyi@cigit.ac.cn
通信地址: 重庆市渝北区金渝大道85号汉国中心B座10层
邮政编码:
电子邮件: 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] 计算机工程. 2024, 第 3 作者[2] 软件学报. 2024, 第 1 作者[3] 计算机科学. 2024, 第 2 作者[4] 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, 第 1 作者935: 1-20, http://dx.doi.org/10.1016/j.tcs.2022.07.002.[5] 谭旺, 李轶. 循环程序的界函数合成. 计算机应用[J]. 2022, 第 2 作者42(2): 565-573, http://lib.cqvip.com/Qikan/Article/Detail?id=7106610733.[6] Tan, Wang, Li, Yi. Synthesis of ranking functions via DNN. NEURAL COMPUTING & APPLICATIONS[J]. 2021, 第 2 作者 通讯作者 33(16): 9939-9959, http://dx.doi.org/10.1007/s00521-021-05763-8.[7] 谭旺, 李轶. 循环程序的界函数计算. 计算机应用. 2021, 第 2 作者https://nxgp.cnki.net/kcms/detail?v=3uoqIhG8C46NmWw7YpEsKHTPvOGrUOOqX1coEOzL8AHHv1ZR4f8kbaf66jwfkbbjpUjlBtYMn4WNwljeRYaiuFAVWJ0oB03X&uniplatform=NZKPT.[8] 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, 第 2 作者 通讯作者 23(1): 55-67, https://www.webofscience.com/wos/woscc/full-record/WOS:000610088700003.[9] Yi Li. SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM.. ESEC/FSE2020. 2020, 第 1 作者[10] 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, 第 1 作者 通讯作者 22(6): 655-666, https://www.webofscience.com/wos/woscc/full-record/WOS:000496208800001.[11] 李轶, 冯勇. 多项式循环程序的秩函数探测. 软件学报[J]. 2019, 第 1 作者30(11): 3243, http://lib.cqvip.com/Qikan/Article/Detail?id=7100192736.[12] 李轶. 基于SVM的多项式循环程序秩函数探测. 软件学报. 2019, 第 1 作者[13] Yuan, Yue, Li, Yi. Ranking Function Detection via SVM: A More General Method. IEEE ACCESS[J]. 2019, 第 2 作者 通讯作者 7: 9971-9979, https://doaj.org/article/f2a807ce3da04aeeae8621caccc1bbe6.[14] Yi Li. Synthesizing Nested Ranking Functions for Loop Programs via SVM. ICFEM2019. 2019, 第 1 作者[15] 李轶, 蔡天训, 樊建峰, 吴文渊, 冯勇. 基于SVM的多项式循环程序秩函数生成. 软件学报[J]. 2019, 第 1 作者30(7): 1903-1915, http://lib.cqvip.com/Qikan/Article/Detail?id=7002464565.[16] 袁月, 李轶. 基于Dixon结式和逐次差分代换的多项式秩函数探测方法. 计算机应用[J]. 2019, 第 2 作者39(7): 2065-2073, http://lib.cqvip.com/Qikan/Article/Detail?id=7002445339.[17] Huang, Fangjian, Li, Yi. PARAMETERIZED INEQUALITIES ABOUT A POINT IN THE PLANE OF A TRIANGLE. JOURNAL OF MATHEMATICAL INEQUALITIES[J]. 2018, 第 2 作者12(4): 953-960, http://119.78.100.138/handle/2HOD01W0/7063.[18] 李轶, 蔡天训, 吴文渊. 基于k阶秩函数的线性赋值循环程序的终止性分析. 计算机科学[J]. 2018, 第 1 作者45(6): 151-155, http://lib.cqvip.com/Qikan/Article/Detail?id=676176291.[19] 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 2017. 2018, 第 1 作者857: 223-237, [20] Yi Li. Termination of semi-algebraic loop programs. SETTA2017. 2017, 第 1 作者[21] 朱广, 李轶, 吴文渊. 计算最终线性秩函数的新方法. 计算机科学[J]. 2017, 第 2 作者44(1): 194-198,213, http://lib.cqvip.com/Qikan/Article/Detail?id=671087372.[22] Li, Yi. Witness to non-termination of linear programs. THEORETICAL COMPUTER SCIENCE[J]. 2017, 第 1 作者 通讯作者 681: 75-100, http://dx.doi.org/10.1016/j.tcs.2017.03.036.[23] 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). 2016, 第 1 作者30-37, http://dx.doi.org/10.1109/TASE.2016.8.[24] 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). 2016, 第 11 作者331-337, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000389505000070.[25] 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, 第 4 作者13(1): 803-811, [26] 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, 第 2 作者27(3): 517-526, http://www.chinair.org.cn/handle/1471x/1659861.[27] 李轶, 冯勇. 有界闭连通域上的非线性循环终止性分析. 软件学报[J]. 2016, 第 1 作者517-526, http://lib.cqvip.com/Qikan/Article/Detail?id=668151121.[28] Li Yi, Sampaio A, Wang F. Termination of Single-Path Polynomial Loop Programs. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016. 2016, 第 1 作者9965: 33-50, [29] Yi Li. Termination of Initialized Two Variable Homogeneous Linear Loops. ICSESS. 2015, 第 1 作者[30] 李轶, 李传璨, 吴文渊. 多分支单变量循环程序的终止性分析. 软件学报[J]. 2015, 第 1 作者26(2): 297-304, http://lib.cqvip.com/Qikan/Article/Detail?id=663638146.[31] Li Yi, Li ChuanCan, Wu WenYuan. Termination analysis of multipath loop programs with one variable. RUAN JIAN XUE BAO/JOURNAL OF SOFTWARE[J]. 2015, 第 1 作者26(2): 297-304, http://www.chinair.org.cn/handle/1471x/1660800.[32] Yi Li. Termination Analysis of Programs with Periodic Orbit on the Boundary. ISRME. 2015, 第 1 作者[33] 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, 第 5 作者11(9): 1942-1946, https://www.webofscience.com/wos/woscc/full-record/WOS:000338426800011.[34] Li Yi. A recursive decision method for termination of linear programs. 2014 SYMPOSIUM ON SYMBOLIC-NUMERIC COMPUTATION, SNC 2014. 2014, 第 1 作者97-106, http://www.chinair.org.cn/handle/1471x/1660809.[35] 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, 第 4 作者14(1): 104-112, https://www.webofscience.com/wos/woscc/full-record/WOS:000330160200009.[36] 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, 第 1 作者25(6): 1133-1142, http://www.chinair.org.cn/handle/1471x/1659876.[37] 吴文渊, 李轶, 李传璨. 一类带初始输入的线性循环终止性分析. 四川大学学报:工程科学版[J]. 2014, 第 2 作者81-87, http://lib.cqvip.com/Qikan/Article/Detail?id=83677672504849524853484950.[38] 李轶, 吴文渊, 冯勇. 有界闭域上的线性赋值循环终止性分析. 软件学报[J]. 2014, 第 1 作者25(6): 1133-1142, http://lib.cqvip.com/Qikan/Article/Detail?id=49761051.[39] 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). 2014, 第 1 作者10-13, [40] 李轶. 基于完全判别系统的程序终止性证明. ISISE’12. 2013, 第 1 作者[41] 李轶. 线性循环程序的终止性判定. 系统科学与数学[J]. 2013, 第 1 作者33(5): 626-638, [42] Yi Li. Proving Program Termnation by Discoverer and Complete Discrimination System. ISISE. 2012, 第 1 作者[43] 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, 第 1 作者[44] Yi Li. Termination of Programs over the Union of Intervals. ICACIT’10. 2010, 第 1 作者[45] 李轶. 有理单变元表示在最优化问题上的应用. 系统科学与数学. 2009, 第 1 作者[46] 李骏, 李轶, 冯勇. 一类循环条件非线性的程序终止性. 四川大学学报:工程科学版[J]. 2009, 第 2 作者129-133, http://lib.cqvip.com/Qikan/Article/Detail?id=1000618803.[47] 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 1. 2009, 第 1 作者 通讯作者 402-406, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000279807700088.[48] 李骏, 李轶, 冯勇, 秦小林. 线性程序的Ranking函数自动合成. 四川大学学报:工程科学版[J]. 2009, 第 2 作者176-181, http://lib.cqvip.com/Qikan/Article/Detail?id=1001030592.[49] Li, Yi. An effective hybrid algorithm for computing symbolic determinants. APPLIED MATHEMATICS AND COMPUTATION[J]. 2009, 第 1 作者 通讯作者 215(7): 2495-2501, https://www.webofscience.com/wos/woscc/full-record/WOS:000271640200011.[50] 李轶. 一类半正定多项式的配平方和算法. 系统科学与数学[J]. 2008, 第 1 作者28(4): 490-504, http://lib.cqvip.com/Qikan/Article/Detail?id=27099132.[51] Li, Yi. An effective algorithm of computing symbolic determinants with multivariate polynomial entries. APPLIED MATHEMATICS AND COMPUTATION[J]. 2007, 第 1 作者 通讯作者 192(2): 382-388, https://www.webofscience.com/wos/woscc/full-record/WOS:000253495100009.[52] 李轶. 基于降维的并行符号行列式计算. 四川大学学报:工程科学版[J]. 2007, 第 1 作者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