点击查看原图

钱俊彦 教授 (junyanq@gmail.com)    

桂林电子科技大学    

研究领域:软件工程;软件分析、验证与测试;信息安全;VLSI容错技术

个人简介

钱俊彦(1973-),男,教授,浙江嵊县人,东南大学博士。中国计算机学会高级会员,理论计算机科学专委会委员,形式化方法专委会委员。主持国家自然科学基金、国防预研、中国博士后基金、广西区自然科学基金等项目20多项,研究内容涉及软件工程、程序分析与验证、信息安全、VLSI容错技术等方面,研究成果主要以论文的形式发表在《IEEE Transactions on Parallel and Distributed Systems》《Data & Knowledge Engineering》、《Software Quality Journal》、《Informatica》、《IJST, Transactions of Electrical Engineering》、《计算机学报》、《软件学报》、《电子学报》等重要期刊及FORTE、APLAS、PRICAI、TASE、ICCSA等重要国际会议上,共计发表核心期刊以上论文70多篇,其中SCI、EI已收录40篇,获得11项专利、软件著作权。

主要荣誉

2014年获“可信软件”广西高校创新团队资助

2014年获广西高校卓越学者

2013年获广西青年科技奖

2011年“软件系统的模型抽象与安全性验证”获广西区自然科学三等奖,第一;

2008年为“广西高校优秀人才资助计划”人选;

2004年“广西区物价系统”获广西区科技进步三等奖,第三;

主要论文
  1. 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.
  2. 钱俊彦,徐力,古天龙,赵岭忠,蔡国永. 基于时间动态下推网络可达性分析. 电子学报, 2017, 45 (9): 2241-2249
  3. 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.
  4. 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. Accepted.
  5. Junyan Qian, Yiping Wang, Liang Chang, Zhide Zhou, Lingzhong Zhao. A mathematical model for reconfiguring VLSI subarrays under row and column rerouting. IEEE Access. DOI 10.1109/ACCESS.2017.2765084, Online. 
  6. 钱俊彦,甘鹏程,郭云川,赵岭忠,古天龙. 基于时间多栈下推网络的实时系统验证. 计算机学报,2016, 39(11):2253-2269. 
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 姜淑娟,韩寒,史娇娇,张艳梅,鞠小林,钱俊彦.基于分支相关性分析的不可达路径检测方法.计算机研究与发展,2016, 53(5):1072-1085.
  13. 张?,钱俊彦,李舟军,马殿富. 基于抽象不变式的程序安全性验.清华大学学报(自然科学版),2016, 56(7): 777-784.
  14. 孙晋永,古天龙,闻立杰,钱俊彦.用于面向过程的基于实例推理的语义工作流相似性算法.计算机集成制造系统,2016,22(2):381-394.
  15. 许碧欢,钱俊彦,张迎周,陈蕾.一种基于余代数单子的Web服务形式化模型.南京航空航天大学学报, 2016,48(5): 668-676.
  16. 赵岭忠,翟仲毅,钱俊彦*,郭云川.基于Mini-trace 和ASP 的CSP 模型检测. 软件学报,2015, 26(10): 2521-2544.
  17. 李文杰,姜淑娟,钱俊彦,王兴亚,鞠小林.基于对象引用关系的Java程序内存行为分析方法.电子学报, 2015, 43(7): 1336-1343
  18. 钱俊彦,赵岭忠,蔡国永.基于完备抽象解释的性质强保留抽象研究.计算机学报, 2014,37(8):1754-1767.
  19. 钱俊彦,贾书贵,赵岭忠,郭云川.基于上下文定界的递归队列并发程序可达性分析.计算机学报. 2014, 37(12):2574-2584
  20. 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.
  21. Qian Junyan, Wu Juan, Zhao Lingzhong, Guo Yunchuan. SUMMARIZATION OF BOOLEAN SATISFIABILITY VERIFICATION. Journal of Electronics (China),2014,31(3):232-245
  22. 钱俊彦,贾书贵,蔡国永,赵岭忠.基于上下文定界的Fork/Join并行性的并发程序可达性分析.计算机工程与科学, 2013,35(2):1-6.
  23. 邓薇,何锫,钱俊彦.深度优先的多基因表达式程序设计.模式识别与人工智能, 26(9), pp 819-828, 2013.
  24. 钱俊彦,黄国旺,赵岭忠.基于答案集的Web服务组合验证.计算机科学, 2011,38(12): 131-134
  25. 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. 
  26. 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.
  27. 钱俊彦,徐宝文. 基于完备抽象解释的模型检验CTL公式研究.计算机学报, 2009,31(5):101-110.
  28. Lingzhong Zhao, Tianlong Gu, Junyan Qian. Test Frames Updating in CPM Testing of Prolog Programs. Software Quality Journal, 2008, 16(2): 277-298.
  29. 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.
  30. 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.
  31. Junyan Qian and Baowen Xu. Formal Verification for C Program. Informatica, 18(2), 289-304, 2007.
  32. 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.
  33. 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.
  34. 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.
  35. Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. On the New Application of Call Patterns to CPM Testing of Prolog Programs. The 19th ACS Australian Joint Conference on Artificial Intelligence (AI’06), Lecture Notes in Artificial Intelligence, 4304: 1265-1270.
  36. 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.

科研项目

国家自然科学基金“基于下推网络的实时并发递归程序可达性分析及增量式验证”(No.61562015)

国家自然科学基金“基于抽象和符号技术的并发软件验证研究”(No.61063002) 

国家自然科学基金“基于依赖公式抽象的软件模型检测研究”(No.60663005) 

中国博士后基金“基于抽象解释的限界模型检验研究”(No. 20090450211)

广西自然科学重点基金"基于下推系统的实时复杂系统抽象验证" (2015GXNSFDA139038)

广西自然科学基金“基于抽象的并发软件安全性验证研究”(No. 2011GXNSFA018164)

广西自然科学青年基金“UML Statecharts及其时间扩展的模型检验技术研究”(No. 0542036) 

桂林市科学研究与技术开发项目“桂林市车辆驾驶员档案数字影像管理系统” (No.20110109-2)

项目“桂林市交警支队C分标(包括机动车辆远程审验系统、车辆驾驶员档案数字影像管理系统、评价系统)”

联系信息

junyanq@gmail.com

 

优先考虑:

1、愿意将来继续到国内外攻读博士学位的同学!

2、本科为计算机或应用数学专业,英语六级,理论基础扎实或应用能力强。

3、孝顺、诚信,认同儒释道中华优秀传统文化,读过《弟子规》等传统文化书籍,或读过南怀瑾先生的书。

4、无抽烟等不良习惯。