钱俊彦 教授

---

职称/职务：教授/博导
研究方向/教研室：形式化分析、验证；VLSI容错；软件测试；物联网及安全
电子邮件：qianjunyan@gxnu.edu.cn
通信地址：广西桂林市七星区育才路15号广西师范大学计算机科学与信息工程学院
研究生招生优先考虑：
1、愿意将来继续到国内外攻读博士学位的同学！
2、本科为计算机或应用数学专业，英语六级，理论基础扎实或应用能力强。
3、孝顺、诚信，认同儒释道中华优秀传统文化，读过《弟子规》等传统文化书籍，或读过南怀瑾先生的书。
4、无抽烟等不良习惯。


[个人简介] [研究兴趣] [工作经历][科研项目][代表性成果] [主要教学工作]

---

个人简介
钱俊彦(1973-)，男，博士/教授，博士生导师。中国计算机学会(CCF)高级会员，理论计算机科学专委会委员，形式化方法专委会委员，主要研究方向：VLSI容错、形式化分析与验证、软件测试、物联网及安全等。主持国家自然科学基金、国防项目、广西自然科学重点基金在内项目20多项。在计算机领域国际顶级期刊IEEE TPDS、IEEE TCAD、ACM TOSEM、IEEE TFS，国际权威期刊IET software、WWWJ、DKE、SQJ、SCN，国内一级学报《计算机学报》、《软件学报》、《电子学报》、《计算机研究与发展》，以及ACM MobiCom、FORTE、APLAS、PRICAI、TASE等重要国际会议上发表及录用学术论文60多篇。同时注重把科技转化为应用，服务于国防事业、政府机关，致力于公共事业的信息化改造，获得发明专利6项，实用新型专利1项、软件著作权11项。

---

研究兴趣
形式化分析与验证、软件测试；VLSI容错；物联网及安全

---

学习工作经历
2000.3-2019.12: 桂林电子科技大学，
2020.1- 至今, 广西师范大学, 计算机科学与信息工程学院。
2002年讲师、2005年副教授、2008年教授，2018年评为博士生导师。
2017年获广西“十百千”人才工程第二层次人选；
2014年获“可信软件”广西高等学校高水平创新团队及卓越****资助；
2008年“广西高等学校优秀人才资助计划”人选；

---

科研项目
“基于下推网络的实时并发递归程序可达性分析及增量式验证”，国家自然科学地区基金，编号： **，负责人：钱俊彦，2016.01-2019.12，主持
“基于抽象和符号技术的并发软件验证研究”，国家自然科学地区基金，编号：**，负责人：钱俊彦，2011.01-2013.12，主持
“基于依赖公式抽象的软件模型检测研究”，国家自然科学基金地区项目，编号：**，负责人：钱俊彦，2007.01-2009.12，主持
“基于PE级方法的VLSI子阵列重构研究”，广西自然科学重点基金，编号：2018GXNSFDA138003，2018.08-2022.07，主持
“基于下推系统的实时复杂系统抽象验证”，广西自然科学重点基金，编号：2015GXNSFDA139038，2015.09-2018.08，主持
“基于抽象的并发软件安全性验证研究”，广西自然科学基金，编号：2011GXNSFA018164，2011.03-2014.03，主持
“UML Statecharts及其时间扩展的模型检验技术研究”，广西自然科学青年基金，**，2005.07-2007.12，主持
“经费管理系统”，国防支撑项目，2013.09-2015.12，主持
“********系统”，国防预研基金项目，2011.01-2013.12，主持
“**********验证”，国防预研基金项目，2010.05-2012.05，主持
“高可信软件的安全性验证研究”，广西教育厅重点项目，2012.05-2014.05，主持
“桂林市车辆驾驶员档案数字影像管理系统”，桂林市科学研究与技术开发项目，编号：**-2，2011.05-2012.05，合作单位主持
“桂林市交警支队C分标（包括车辆驾驶员档案数字影像管理系统、机动车辆远程审验系统、评价系统）”，桂林市交警支队横向项目，2011.12-2012.12，主持

---

代表性成果
1.论文
（1）Junyan Qian, Hao Ding, Hanpeng Xiao, Zhide Zhou, Lingzhong Zhao, and Zhongyi Zhai. Efficient Reconfiguration Algorithm with Flexible Rerouting Schemes for Constructing 3D VLSI Sub-Arrays.IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2020, 39(1):267-271. DOI:10.1109/TCAD.2019.**. (SCI+EI, CCF-A类期刊)
（2）Zhongyi Zhai, Junyan Qian*, Yuan Tao, Lingzhong Zhao,Bo Cheng. A Lightweight Timestamp-based MAC Detection Scheme for XOR Network Coding in Wireless Sensor Networks. ACM MobiCom 2018:735-737. (EI, CCF-A类会议)
（3）Junyan Qian, Zhide Zhou, Tianlong Gu, Lingzhong Zhao, Liang Chang. Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow. IEEE Transactions on Parallel and Distributed Systems, 2016,27(12):3575-3587. (SCI+EI, CCF-A类期刊)
（4）钱俊彦,徐力,古天龙,赵岭忠,蔡国永. 基于时间动态下推网络可达性分析. 电子学报, 2017, 45 (9): 2241-2249. (EI, CCF-中文A类期刊)
（5）于巧, 姜淑娟, 张艳梅, 王兴亚, 高鹏飞, 钱俊彦*. 分类不平衡对软件缺陷预测模型性能的影响研究. 计算机学报, 2018,41(4):809-824. (EI, CCF-中文A类期刊)
（6）Junyan Qian, Zhide Zhou, Lingzhong Zhao, Jingwei Zhang, Fengying Li. Accelerating Reconguration for VLSI Arrays with A-star Algorithm. IEEJ Transactions on Electrical and Electronic Engineering. 2018: 13(10):1511-1519. (SCI+EI)
（7）Junyan Qian, Yiping Wang, Liang Chang, Zhide Zhou, Lingzhong Zhao. A mathematical model for reconfiguring VLSI subarrays under row and column rerouting. IEEE Access, 2017, 5: 23912 – 23919. (SCI+EI)
（8）Junyan Qian, Zhangshun Bai,Zhide Zhou, Lingzhong Zhao,Liang Chang. Effcient Abstraction Algorithms for Accelerating Reconfiguration of VLSI Arrays. IEEJ Transactions on Electrical and Electronic Engineering. 2017, 12(5): 759–769.　(SCI+EI)
（9）Junyan Qian, Cong Chen, Lingzhong Zhao, Yunchuan Guo. An Efficient Method for Reconfiguring Power Efficient VLSI Array with Maximum Satisfiability. IEEJ Transactions on Electrical and Electronic Engineering. 2018,13(5):770-776. (SCI+EI)
（10）Chenghua Tang, Yang Xiang, Yu Wang, Junyan Qian* and Baohua Qiang. Detection and Classification of Anomaly Intrusion Using Hierarchy Clustering and SVM. Security and Communication Networks. 2016,9:3401–3411. (SCI+EI, CCF-C类期刊)
（11）Junyan Qian, Wei Cao, Jia Hu, Jingwei Zhang, Zhoubo Xu, Zhide Zhou. Satisfiability-Based Method for Reconfiguring Power Efficient VLSI Array. IEICE Electronics Express, 2016,13(23):1-11. 　(SCI+EI)
（12）Junyan Qian, Zhide Zhou, Lingzhong Zhao, Tianlong Gu, Liang Chang. An Integer programming method for constructing tightly coupled VLSI subarrays. IEICE Electronics Express, 13(11): 1-9. (SCI+EI)
（13）钱俊彦,甘鹏程,郭云川,赵岭忠,古天龙. 基于时间多栈下推网络的实时系统验证. 计算机学报,2016, 39(11)：2253-2269. (EI, CCF-中文A类期刊)
（14）赵岭忠,翟仲毅,钱俊彦*,郭云川.基于Mini-trace 和ASP 的CSP 模型检测. 软件学报，2015, 26(10): 2521-2544. (EI, CCF-中文A类期刊)
（15）钱俊彦,赵岭忠,蔡国永.基于完备抽象解释的性质强保留抽象研究.计算机学报, 2014,37(8):1754-1767. (EI, CCF-中文A类期刊)
（16）钱俊彦,贾书贵,赵岭忠,郭云川.基于上下文定界的递归队列并发程序可达性分析.计算机学报. 2014, 37(12)：2574-2584. (EI, CCF-中文A类期刊)
（17）Haiyu Pan, Fu Song, Yongzhi Cao, and Junyan Qian. Fuzzy pushdown termination games. IEEE Transactions on Fuzzy Systems (TFS), 2019, 27(4): 760-774. (SCI一区+EI，CCF-B类期刊)
（18）Lina Gong, Shujuan Jiang, Lili Bo and Li Jiang, Junyan Qian. A Novel Class-Imbalance Learning Approach for Both Within-Project and Cross-Project Defect Prediction. IEEE Transactions on Reliability. DOI:10.1109/TR.2019.**.
（19）Bo Cheng, Shuai Zhao, Junyan Qian, Zhongyi Zhai, Junliang Chen. Lightweight Service Mashup Middleware with REST Style Architecture for IoT Applications. IEEE Transactions on Network and Service Management, 2018,15(3):1063-1075. (SCI+EI)
（20）Yuming Zhou, Yibiao Yang, Hongmin Lu, Lin Chen, Yangyang Zhao, Junyan Qian, Baowen Xu. How far we have progressed in the journey? An examination of cross-project defect prediction, ACM TOSEM, 2018,27(1):1:1-1:51. (SCI+EI, CCF-A类期刊)
（21）Shujuan Jiang, Jieqiong Chen, Yanmei Zhang, Junyan Qian, Rongcun Wang, Meng Xue. An Evolutionary Approach to Generating Test Data for Data flow Test. IET Software,2018,12(4):318-323(2018). (SCI+EI, CCF-B类期刊)
（22）孙晋永,古天龙,闻立杰,钱俊彦,刘华东.基于行为特征的语义工作流修正算法. 软件学报,2018,29(11):3260-3277. (EI, CCF-中文A类期刊)
（23）薛猛,姜淑娟,张争光,钱俊彦,张艳梅,曹鹤玲. 一种基于Kalman滤波和粒子群优化的测试数据生成方法,电子学报,2017,45(10):2473-2483. (EI, CCF-中文A类期刊)
（24）孙晋永,古天龙,闻立杰,钱俊彦,孟瑜. 基于行为和结构特征的相似语义工作流检索. 计算机研究与发展, 2017,54(9):1880-1891. (EI, CCF-中文A类期刊)
（25）曹鹤玲,姜淑娟,王兴亚,薛猛，钱俊彦. 面向有效错误定位的偶然正确性识别方法. 电子学报, 2016, 44(12):3026-3031. (EI, CCF-中文A类期刊)
（26）姜淑娟,韩寒,史娇娇,张艳梅,鞠小林,钱俊彦.基于分支相关性分析的不可达路径检测方法.计算机研究与发展,2016, 53(5):1072-1085. (EI, CCF-中文A类期刊)
（27）李文杰,姜淑娟,钱俊彦,王兴亚,鞠小林.基于对象引用关系的Java程序内存行为分析方法.电子学报, 2015, 43(7): 1336-1343. (EI, CCF-中文A类期刊)
（28）Lingzhong Zhao, Junyan Qian, Liang Chang, and Guoyong Cai. Using ASP for Knowledge Management with User Authorization. Data & Knowledge Engineering, 2010, 69(8): 737-762. (SCI+EI, CCF-B类期刊)
（29）Lingzhong Zhao, Xuesong Wang, Junyan Qian, and Tianlong Gu. Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning, Proceedings of the 11th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2010), LNAI, 6230, pp.384-396. 　(EI, CCF-C类会议)
（30）钱俊彦,徐宝文. 基于完备抽象解释的模型检验CTL公式研究.计算机学报, 2009,31(5):101-110. (EI, CCF-中文A类期刊)
（31）Lingzhong Zhao, Tianlong Gu, Junyan Qian. Test Frames Updating in CPM Testing of Prolog Programs. Software Quality Journal, 2008, 16(2): 277-298.　(SCI+EI, CCF-C类期刊)
（32）Junyan Qian and Baowen Xu. Formal Verification for C Program. Informatica, 18(2), 289-304, 2007. (SCI)
（33）Zhao lingzhong, Gu Tianlong, Qian Junyan and Cai Guoyong. A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. Proceedings of the APLAS 2007,LNCS 4807, pp.105-121, 2007. (EI, CCF-C类会议)
（34）Zhao lingzhong, Gu Tianlong and Qian Junyan. Constraint-based Correct Partial Answer Semantics for the Analysis of Prolog Programs. Proceedings of the TASE 2007, pp.261-270, 2007. (EI, CCF-C类会议)
（35）Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. Designing Prolog Semantics for a Class of Observables. Proceedings of Ninth Pacific Rim International Conference on Artificial Intelligence (PRICAI’06), Lecture Notes in Artificial Intelligence, 2006, 4099: 1052-1057. (EI, CCF-C类会议)
（36）Junyan Qian and Baowen Xu. Model Checking for Timed Statecharts. Proceedings of the 25thFORTE, Lecture Notes in Computer Science 3731, Oct. 2005, pp.261-274.(EI, CCF-C类会议)
2.发明专利
（1）钱俊彦,贾书贵,赵岭忠,蔡国永,郭云川.基于上下文定界的队列通信并发递归程序验证方法，专利号：ZL1.8, 申请日：2013.2，授权公告日：2015-8-26
（2）钱俊彦;曾宇清;赵岭忠;郭云川;李凤英.基于树语义的异步动态下推网络可达性分析方法. 专利号: ZL8.8.申请日：2014-09-16，授权公告日：2017-10-17
（3）钱俊彦;甘鹏程;郭云川;赵岭忠;古天龙.时间多栈下推网络的动态转换方法. 专利号: ZL3.1. 申请日：2015-09-14，授权公告日：2018-8-14
（4）钱俊彦;甘鹏程;郭云川;赵岭忠;古天龙.时间多栈下推网络的静态转换方法. 专利号: ZL6.2 申请日：2015-09-14，授权公告日：2018-9-25
（5）钱俊彦;徐力;古天龙;赵岭忠;蔡国永.时间动态下推网络的转换方法. 专利号: ZL7.5 申请日：2015-09-14，授权公告日：2018-1-30
（6）钱俊彦,白章顺,古天龙,陈光喜,周志德,赵岭忠.一种可重构处理器阵列的抽象模型方法. 专利号: ZL 2.4，申请日：2016-12-21.
（7）钱俊彦,胡佳,徐周波,常亮,赵岭忠.一种重构高性能目标阵列的方法. 专利号: ZL4.3，申请日：2016-12-07.
（8）钱俊彦,周志德,古天龙,赵岭忠,常亮.一种快速重构高性能目标阵列的方法. 专利号: ZL3.9，申请日：2016-12-14，授权公告日：2019-12-02


3.软著
（1）一种家用安防数码相框装置，实用新型专利，专利号：7.5
（2）高校学费学分制收费管理信息系统，登记号:22011SR042119
（3）通用收银管理软件，登记号:22011SR042061
（4）通用收费统计软件，登记号:22011SR041956
（5）通用票据打印系统软件，登记号:22011SR041957
（6）车管所机动车档案影像系统，登记号:22013SR090658
（7）车管所机动车远程审验系统，登记号:22013SR090630
（8）检车站系统软件，登记号:22013SR090432


4.获奖情况
（1）2013年获广西青年科技奖；
（2）2014年桂电科研先进个人；
（3）2017年桂电首届优秀研究生指导教师；
（4）2019年桂电首届优秀研究生指导导师团队负责人；
（5）2011年“软件系统的模型抽象与安全性验证”获广西区自然科学奖三等奖；
（6）2004年“广西区物价收费管理系统”获广西区科技进步三等奖；

---

主要教学工作

?程序分析与验证（研究生）
?信息检索（工程硕士）
?数据库原理（本科生）
?数据结构（本科生）
?软件工程（本科生）
?形式语言与自动机（本科生）
?面向对象程序设计（本科生）
?Windows程序设计（本科生）
?Delphi程序设计（本科生）
?数据库应用技术（本科生）