姓名： 钱俊彦
教授 男 桂林电子科技大学 邮箱:qjy2000@guet.edu.cn





研究领域VLSI容错；软件分析、验证与测试；物联网及信息安全
个人简介钱俊彦，男，教授，1973年生，理论计算机科学专委会委员，形式化方法专委会委员，主要研究方向：VLSI容错、软件分析与验证、物联网及信息安全等。主持国家自然科学基金、国防项目、广西自然科学重点基金在内项目20多项。在计算机领域国际顶级期刊IEEE TPDS、IEEE TCAD、ACM TOSEM、IEEE TFS，国际权威期刊IET software、WWWJ、DKE、SQJ、SCN，国内一级学报《计算机学报》、《软件学报》、《电子学报》、《计算机研究与发展》，以及ACM MobiCom、FORTE、APLAS、PRICAI、TASE等重要国际会议上发表及录用学术论文100余篇，其中SCI、EI收录60多篇。同时注重把科技转化为应用，服务于国防事业、政府机关，致力于公共事业的信息化改造，获得发明专利5项，实用新型专利1项、软件著作权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), DOI:10.1109/TCAD.2019.**. 　CCF A类
Haiyu Pan,Fu Song,Yongzhi Cao,,and Junyan Qian.Fuzzy pushdown termination games. IEEE Transactions on Fuzzy Systems. DOI:10.1109/TFUZZ.2018.**. 　CCF B类
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.**.
Qiao Yu,JunyanQian,Shujuan Jiang,Zhenhua Wu,Gongjie Zhang. An Empirical Study on the Effectiveness of Feature Selection for Cross-Project Defect Prediction.　IEEE Access, Online.
张娜,赵泽丹,包晓安,钱俊彦,吴彪. 基于改进的Tent 混沌万有引力搜索算法.控制与决策,DOI: 10.13195/j.kzyjc.2018.0795.
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. 　CCF A类
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
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. 　CCF A类
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). 　CCF B类
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
于巧, 姜淑娟, 张艳梅, 王兴亚, 高鹏飞, 钱俊彦. 分类不平衡对软件缺陷预测模型性能的影响研究. 计算机学报, 2018,41(4):809-824.
孙晋永,古天龙,闻立杰,钱俊彦,刘华东.基于行为特征的语义工作流修正算法. 软件学报,2018,29(11):3260-3277.
李龙,古天龙,常亮,徐周波,钱俊彦.快速解密且私钥定长的密文策略属性基加密方案,电子与信息学报,2018,40(7):1661-1668.
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. 　CCF A类
钱俊彦,徐力,古天龙,赵岭忠,蔡国永. 基于时间动态下推网络可达性分析. 电子学报, 2017, 45 (9): 2241-2249
薛猛,姜淑娟,张争光,钱俊彦,张艳梅,曹鹤玲. 一种基于Kalman滤波和粒子群优化的测试数据生成方法,电子学报,2017,45(10):2473-2483.
孙晋永,古天龙,闻立杰,钱俊彦,孟瑜. 基于行为和结构特征的相似语义工作流检索. 计算机研究与发展, 2017,54(9):1880-1891.
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
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
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
钱俊彦,甘鹏程,郭云川,赵岭忠,古天龙. 基于时间多栈下推网络的实时系统验证. 计算机学报,2016, 39(11)：2253-2269.
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. 　CCF C类
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
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
QIAN Jun-Yan, YAO Guo-Qing, CHEN Guang-Xi, ZHAO Ling-Zhong. Linearizability Proof of Stack Data. The 16th International Conference on Computational Science and Its Applications (ICCSA 2016), Part IV, LNCS 9787, 2016.
Junyan Qian, Zhide Zhou, Lingzhong Zhao, Tianlong Gu. An Improved Reconfiguration Algorithm for VLSI Arrays with A-star. The 16th International Conference on Computational Science and Its Applications (ICCSA 2016), Part II, LNCS 9787, 2016.
曹鹤玲,姜淑娟,王兴亚,薛猛，钱俊彦. 面向有效错误定位的偶然正确性识别方法. 电子学报, 2016, 44(12):3026-3031.
姜淑娟,韩寒,史娇娇,张艳梅,鞠小林,钱俊彦.基于分支相关性分析的不可达路径检测方法.计算机研究与发展,2016, 53(5):1072-1085.
张？,钱俊彦,李舟军,马殿富. 基于抽象不变式的程序安全性验.清华大学学报（自然科学版），2016, 56(7): 777-784.
孙晋永,古天龙,闻立杰,钱俊彦.用于面向过程的基于实例推理的语义工作流相似性算法.计算机集成制造系统，2016,22(2):381-394.
许碧欢,钱俊彦,张迎周,陈蕾.一种基于余代数单子的Web服务形式化模型.南京航空航天大学学报, 2016,48(5): 668-676.
赵岭忠,翟仲毅,钱俊彦*,郭云川.基于Mini-trace 和ASP 的CSP 模型检测. 软件学报，2015, 26(10): 2521-2544.
李文杰,姜淑娟,钱俊彦,王兴亚,鞠小林.基于对象引用关系的Java程序内存行为分析方法.电子学报, 2015, 43(7): 1336-1343
钱俊彦,赵岭忠,蔡国永.基于完备抽象解释的性质强保留抽象研究.计算机学报, 2014,37(8):1754-1767.
钱俊彦,贾书贵,赵岭忠,郭云川.基于上下文定界的递归队列并发程序可达性分析.计算机学报. 2014, 37(12)：2574-2584
H. ZHANG, Z. SHOU, J. ZHANG, Q. HE AND J. QIAN. Building Reputation for Service-Oriented Ami: Modeling, Algorithms, And Analysis. IJST, Transactions of Electrical Engineering, 2014, 38(E1): 99-109. 　SCI
Qian Junyan, Wu Juan, Zhao Lingzhong, Guo Yunchuan. SUMMARIZATION OF BOOLEAN SATISFIABILITY VERIFICATION. Journal of Electronics (China),2014,31(3):232-245
钱俊彦,贾书贵,蔡国永,赵岭忠.基于上下文定界的Fork/Join并行性的并发程序可达性分析.计算机工程与科学, 2013,35(2):1-6.
邓薇,何锫,钱俊彦.深度优先的多基因表达式程序设计.模式识别与人工智能, 26(9), pp 819-828, 2013.
钱俊彦,黄国旺,赵岭忠.基于答案集的Web服务组合验证.计算机科学, 2011,38(12): 131-134
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.　CCF B类
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. 　CCF C类
钱俊彦,徐宝文. 基于完备抽象解释的模型检验CTL公式研究.计算机学报, 2009,31(5):101-110.
Lingzhong Zhao, Tianlong Gu, Junyan Qian. Test Frames Updating in CPM Testing of Prolog Programs. Software Quality Journal, 2008, 16(2): 277-298.　CCFC类
Junyan Qian, Lingzhong Zhao, Tianlong Gu and Guoyong Cai. Formula-dependent abstraction for CTL model checking. Proceedings of the ICCSA 2008, Lecture Notes in Computer Science 5073, July, 2008, pp.1035-1048.
Junyan Qian, Guoyong Cai, Tianlong Gu and Lingzhong Zhao. Abstract Model Checking for Web Services. Wuhan University Journal of Natural Science.2008,13(4):466-470.
Junyan Qian and Baowen Xu. Formal Verification for C Program. Informatica, 18(2), 289-304, 2007. 　SCI
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.　CCF C类
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. 　CCF C类
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. 　CCF C类
Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. On the New Application of Call Patterns to CPM Testing of Prolog Programs. The 19^th ACS Australian Joint Conference on Artificial Intelligence (AI’06), Lecture Notes in Artificial Intelligence, 4304: 1265-1270.
Junyan Qian and Baowen Xu. Model Checking for Timed Statecharts. Proceedings of the 25^th FORTE, Lecture Notes in Computer Science 3731, Oct. 2005, pp.261-274.　CCF C类
科研项目国家自然科学基金“基于下推网络的实时并发递归程序可达性分析及增量式验证”(2016-2019)
国家自然科学基金“基于抽象和符号技术的并发软件验证研究”(2011-2013)
国家自然科学基金“基于依赖公式抽象的软件模型检测研究”(2007-2009)
中国博士后基金“基于抽象解释的限界模型检验研究”(2009-2011)
国防项目“经费管理系统”（2013-2015）
国防项目“********系统”（2011-2013）
国防项目“**********验证”（2010-2012）
国防项目“国防科研试制费财务管理系统”（2007-2008）
广西自然科学重点基金“基于PE级方法的VLSI子阵列重构研究”(2018-2022)
广西自然科学重点基金“基于下推系统的实时复杂系统抽象验证”(2015-2018)
广西自然科学基金“基于抽象的并发软件安全性验证研究”(2011-2014)
广西自然科学青年基金“UML Statecharts及其时间扩展的模型检验技术研究”(2005-2007)
广西教育厅重点项目“高可信软件的安全性验证研究”（2012-2014）
桂林市科学研究与技术开发项目“桂林市车辆驾驶员档案数字影像管理系统” (2011-2012)
项目“桂林市交警支队C分标（包括机动车辆远程审验系统、车辆驾驶员档案数字影像管理系统、评价系统）”（2011-2012）
专利及知识产权
联系信息junyanq@gmail.com
优先考虑：
1、愿意将来继续到国内外攻读博士学位的同学！
2、本科为计算机或应用数学专业，英语六级，理论基础扎实或应用能力强。
3、孝顺、诚信，认同儒释道中华优秀传统文化，读过《弟子规》等传统文化书籍，或读过南怀瑾先生的书。
4、无抽烟等不良习惯。