钱俊彦 教授
职称：教授/博导
研究方向：智能安全；形式化分析与验证；VLSI容错
电子邮件：qianjunyan@gxnu.edu.cn
通信地址：广西桂林市七星区育才路15号广西师范大学计算机科学与工程学院
招收博士和硕士研究生
招收专业：
博士生：软件工程；
学硕：计算机科学与技术、软件工程；
专硕：电子信息、软件工程
招生需求：
1、招收硕士生不强调本科是计算机专业，只要数学或相关工科专业都可；若愿意继续读博或出国深造更佳。
2、认同中国优秀传统文化，拥有贤善的人格，诚信的品质，无抽烟等不良习惯。
3、若你具有兼济天下的大志向、或较扎实的数学基础、或较强的英文阅读、或较强的编程能力，将可能取得更好的成绩。
心得：以德为先、以学为本、以勤为径。
[个人简介] [科研项目] [代表性成果] [主要教学工作]
钱俊彦，男，教授/博导，广西师大“漓江学者”，计算机学会理论计算机科学、形式化方法、分布式计算与系统专委会委员,主要研究方向：形式化验证、智能安全、VLSI容错等。广西“十百千”人才工程第二层次人选，广西高校卓越学者，2013年获广西青年科技奖；2011和2004年分别获广西区自然科学和科技进步三等奖。主持国家自然科学基金、广西自然科学基金等项目20多项。在计算机领域的国际顶级期刊IEEE TPDS、IEEE TCAD、ACM TOSEM、IEEE T RELIAB、IEEE TFS，国内一级学报《计算机学报》、《软件学报》、《电子学报》，以及ACM MobiCom等重要国际会议上发表学术论文100多篇。获发明专利11项，实用新型专利1项，软件著作权13项。
“基于开关结构的VLSI处理器阵列降阶重构技术研究”国家自然科学地区基金，编号：62162004，2022.01-2025.12， 主持
“基于下推网络的实时并发递归程序可达性分析及增量式验证”，国家自然科学地区基金，编号： 61562015，2016.01-2019.12，主持
“基于抽象和符号技术的并发软件验证研究”，国家自然科学地区基金，编号：61063002，2011.01-2013.12，主持
“基于依赖公式抽象的软件模型检测研究”，国家自然科学基金地区项目，编号：60663005，2007.01-2009.12，主持
1、论文
[1] Junyan Qian; Fan Shi; Yong Cai; Haiyu Pan*. Approximate Safety Properties in Metric Transition Systems. IEEE Transactions on Reliability, 2022, 71(1): 221-234. 10.1109/TR.2021.3139616 中科院SCI二区
[2] 丁艳茹,张艳梅,姜淑娟,袁冠,王荣存,钱俊彦.面向类集成测试序列生成的强化学习研究.软件学报, 2022,33(5):1674-1698. DOI: 10.13328/j.cnki.jos.006555
[3] Zhongyi Zhai, Guibing Lai, Bo Cheng, Junyan Qian*, Lingzhong Zhao*, and Jinsong Wu. Lightweight Secure Detection Service for Malicious Attacks in WSN with timestamp-based MAC. IEEE Transactions on Network and Service Management, 2022, 19(4): 5299–5311. DOI 10.1109/TNSM.2022.3194205. Early Access Article. 中科院SCI二区
[4] Yanmei Zhang; Shujuan Jiang*; Yanru Ding; Guan Yuan; Junjie Liu; Dongyu Lu; Junyan Qian*, Generating Optimal Class Integration Test Orders Using Genetic Algorithms, International Journal of Software Engineering and Knowledge Engineering, 2022, 32(6):871-892. CCF C类
[5] Hao Ding, Junyan Qian*, Bisheng Huang, Lingzhong Zhao, Zhongyi Zhai. Flexible scheme for reconfiguring 2D mesh-connected VLSI subarrays under row and column rerouting. Journal of Parallel and Distributed Computing, 2021, 151:1–12. https://doi.org/10.1016/j.jpdc.2021.01.003. CCF B类
[6] Hao Ding, Junyan Qian*, Lingzhong Zhao, Zhongyi Zhai. A high-performance VLSI array reconfiguration scheme based on network flow under row and column rerouting. Journal of Parallel and Distributed Computing, 2021, 158: 176–185. https://doi.org/10.1016/j.jpdc.2021.08.005. CCF B类
[7] Junyan Qian, FuhaoMo, HaoDing, ZhideZhou, LingzhongZhao, ZhongyiZhai*. An improved algorithm for accelerating reconfiguration of VLSI array, Integration, the VLSI Journal, 2021,79: 124-132. https://doi.org/10.1016/j.vlsi.2021.04.005 CCF C类
[8] Hao Ding, Junyan Qian*, Lingzhong Zhao, Zhongyi Zhai. A mathematical programming method for constructing the shortest interconnection VLSI arrays. Integration, the VLSI Journal, 2021, 81:167-174. https://doi.org/10.1016/j.vlsi.2021.07.004 CCF C类
[9] Zhongyi Zhai, Peipei Liu, Lingzhong Zhao*, Junyan Qian*, Bo Cheng. An efficiency‑enhanced deep learning model for citywide crowd flows prediction. International Journal of Machine Learning and Cybernetics, https://doi.org/10.1007/s13042-021-01282-z.
[10] Haiyu Pan, Yongzhi Cao, Liang Chang, Junyan Qian, Yuming Lin. Fuzzy Alternating Refinement Relations Under the Godel Semantics. IEEE Transactions on Fuzzy Systems. 2021, 29(5): 953-964. DOI: 10.1109/TFUZZ.2020.2965860 中科院SCI一区
[11] 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.2891984. (SCI+EI, CCF-A类期刊)
[12] 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类会议)
[13] 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类期刊)
[14] 钱俊彦,徐力,古天龙,赵岭忠,蔡国永. 基于时间动态下推网络可达性分析. 电子学报, 2017, 45 (9): 2241-2249. (EI, CCF-中文A类期刊)
[15] 于巧, 姜淑娟, 张艳梅, 王兴亚, 高鹏飞, 钱俊彦*. 分类不平衡对软件缺陷预测模型性能的影响研究. 计算机学报, 2018,41(4):809-824. (EI, CCF-中文A类期刊)
[16] 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)
[17] 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)
[18] 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)
[19] 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)
[20] 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类期刊)
[21] 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)
[22] 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)
[23] 钱俊彦,甘鹏程,郭云川,赵岭忠,古天龙. 基于时间多栈下推网络的实时系统验证. 计算机学报,2016, 39(11)：2253-2269. (EI, CCF-中文A类期刊)
[24] 赵岭忠,翟仲毅,钱俊彦*,郭云川.基于Mini-trace 和ASP 的CSP 模型检测. 软件学报，2015, 26(10): 2521-2544. (EI, CCF-中文A类期刊)
[25] 钱俊彦,赵岭忠,蔡国永.基于完备抽象解释的性质强保留抽象研究.计算机学报, 2014,37(8):1754-1767. (EI, CCF-中文A类期刊)
[26] 钱俊彦,贾书贵,赵岭忠,郭云川.基于上下文定界的递归队列并发程序可达性分析.计算机学报. 2014, 37(12)：2574-2584. (EI, CCF-中文A类期刊)
[27] 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类期刊)
[28] 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.2895462. 中科院SCI二区
[29] 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)
[30] 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类期刊)
[31] 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类期刊)
[32] 钱俊彦,徐宝文. 基于完备抽象解释的模型检验CTL公式研究.计算机学报, 2009,31(5):101-110. (EI, CCF-中文A类期刊)
[33] Junyan Qian and Baowen Xu. Formal Verification for C Program. Informatica, 18(2), 289-304, 2007. (SCI)
[34] Junyan Qian and Baowen Xu. Model Checking for Timed Statecharts. Proceedings of the 25th FORTE, Lecture Notes in Computer Science 3731, Oct. 2005, pp.261-274. (SCI+EI, CCF-C类会议)
2、发明专利
[1] 钱俊彦,贾书贵,赵岭忠,蔡国永,郭云川.基于上下文定界的队列通信并发递归程序验证方法，专利号：ZL201210450761.8, 申请日：2013.2，授权公告日：2015-8-26
[2] 钱俊彦;曾宇清;赵岭忠;郭云川;李凤英.基于树语义的异步动态下推网络可达性分析方法. 专利号: ZL201410470378.8.申请日：2014-09-16，授权公告日：2017-10-17
[3] 钱俊彦;甘鹏程;郭云川;赵岭忠;古天龙.时间多栈下推网络的动态转换方法. 专利号: ZL201510581423.1. 申请日：2015-09-14，授权公告日：2018-8-14
[4] 钱俊彦;甘鹏程;郭云川;赵岭忠;古天龙.时间多栈下推网络的静态转换方法. 专利号: ZL201510581206.2 申请日：2015-09-14，授权公告日：2018-9-25
[5] 钱俊彦;徐力;古天龙;赵岭忠;蔡国永.时间动态下推网络的转换方法. 专利号: ZL201510581987.5 申请日：2015-09-14，授权公告日：2018-1-30
[6] 钱俊彦,周志德,古天龙,赵岭忠,常亮.一种快速重构高性能目标阵列的方法. 专利号: ZL201610628003.9，申请日：2016-12-14，授权公告日：2019-12-02
[7] 钱俊彦,邵怀禹,翟仲毅,赵岭忠,李杰. 一种基于区块链的隐私数据保护方法.ZL202010948750.7, 授权公告日：2021-6-22
[8] 钱俊彦;沈荔萍;翟仲毅;赵岭忠;李杰.面向稀有攻击的网络入侵检测方法.ZL202010928410.8, 授权公告日：2022-4-1
程序分析与验证（研究生）
信息检索（工程硕士）
数据库原理（本科生）
数据结构（本科生）
软件工程（本科生）
形式语言与自动机（本科生）
面向对象程序设计（本科生）
Windows程序设计（本科生）
Delphi程序设计（本科生）
数据库应用技术（本科生）