桂林電子科技大學計算機與信息安全學院導(dǎo)師：錢俊彥

發(fā)布時間：2021-11-20 編輯：考研派小莉推薦訪問：

桂林電子科技大學計算機與信息安全學院導(dǎo)師：錢俊彥內(nèi)容如下，更多考研資訊請關(guān)注我們網(wǎng)站的更新！敬請收藏本站，或下載我們的考研派APP和考研派微信公眾號（里面有非常多的免費考研資源可以領(lǐng)取，有各種考研問題，也可直接加我們網(wǎng)站上的研究生學姐微信，全程免費答疑，助各位考研一臂之力，爭取早日考上理想中的研究生院校。）

+桂林電子科技大學研究生
微信,為你答疑,送資源

桂林電子科技大學計算機與信息安全學院導(dǎo)師：錢俊彥正文

[導(dǎo)師姓名]
錢俊彥

[所屬院校]
桂林電子科技大學

[基本信息]
導(dǎo)師姓名：錢俊彥
性別：
人氣指數(shù)：4609
所屬院校：桂林電子科技大學
所屬院系：計算機與信息安全學院
職稱：教授
導(dǎo)師類型：碩導(dǎo)
招生專業(yè)：軟件工程（學術(shù)型）、計算機科學與技術(shù)（學術(shù)型）
研究領(lǐng)域：軟件工程；軟件分析、驗證與測試；信息安全；VLSI容錯技術(shù)

[通訊方式]
電子郵件：qjy2000@guet.edu.cn

[個人簡述]
錢俊彥，男，教授，1973年生。主持國家自然科學基金、國防項目、廣西自然科學重點基金在內(nèi)項目20多項。在計算機領(lǐng)域國際頂級期刊IEEE TPDS、ACM TOSEM，國際權(quán)威期刊WWWJ、DKE、SQJ、SCN，國內(nèi)一級學報《計算機學報》、《軟件學報》、《電子學報》、《計算機研究與發(fā)展》，以及FORTE、APLAS、PRICAI、TASE等重要國際會議上發(fā)表及錄用學術(shù)論文100余篇，其中SCI、EI收錄60多篇。同時注重把科技轉(zhuǎn)化為應(yīng)用，服務(wù)于國防事業(yè)、政府機關(guān)，致力于公共事業(yè)的信息化改造，獲得發(fā)明專利3項，實用新型專利1項、軟件著作權(quán)11項，廣西“十百千”人才工程第二層次人選；“可信軟件”廣西高等學校高水平創(chuàng)新團隊及卓越學者資助；廣西青年科技獎；“軟件系統(tǒng)的模型抽象與安全性驗證”獲廣西區(qū)自然科學獎三等獎；“廣西高等學校優(yōu)秀人才資助計劃”人選；“廣西區(qū)物價收費管理系統(tǒng)”獲廣西區(qū)科技進步三等獎；桂電科研先進個人；首屆優(yōu)秀研究生指導(dǎo)教師.

[科研工作]
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.錢俊彥,徐力,古天龍,趙嶺忠,蔡國永. 基于時間動態(tài)下推網(wǎng)絡(luò)可達性分析. 電子學報, 2017, 45 (9): 2241-2249Junyan 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.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.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.錢俊彥,甘鵬程,郭云川,趙嶺忠,古天龍. 基于時間多棧下推網(wǎng)絡(luò)的實時系統(tǒng)驗證. 計算機學報,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.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.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.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.姜淑娟,韓寒,史嬌嬌,張艷梅,鞠小林,錢俊彥.基于分支相關(guān)性分析的不可達路徑檢測方法.計算機研究與發(fā)展,2016, 53(5):1072-1085.張 ,錢俊彥,李舟軍,馬殿富. 基于抽象不變式的程序安全性驗.清華大學學報（自然科學版），2016, 56(7): 777-784.孫晉永,古天龍,聞立杰,錢俊彥.用于面向過程的基于實例推理的語義工作流相似性算法.計算機集成制造系統(tǒng)，2016,22(2):381-394.許碧歡,錢俊彥,張迎周,陳蕾.一種基于余代數(shù)單子的Web服務(wù)形式化模型.南京航空航天大學學報, 2016,48(5): 668-676.趙嶺忠,翟仲毅,錢俊彥*,郭云川.基于Mini-trace 和ASP 的CSP 模型檢測. 軟件學報，2015, 26(10): 2521-2544.李文杰,姜淑娟,錢俊彥,王興亞,鞠小林.基于對象引用關(guān)系的Java程序內(nèi)存行為分析方法.電子學報, 2015, 43(7): 1336-1343錢俊彥,趙嶺忠,蔡國永.基于完備抽象解釋的性質(zhì)強保留抽象研究.計算機學報, 2014,37(8):1754-1767.錢俊彥,賈書貴,趙嶺忠,郭云川.基于上下文定界的遞歸隊列并發(fā)程序可達性分析.計算機學報. 2014, 37(12)：2574-2584H. 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.Qian Junyan, Wu Juan, Zhao Lingzhong, Guo Yunchuan. SUMMARIZATION OF BOOLEAN SATISFIABILITY VERIFICATION. Journal of Electronics (China),2014,31(3):232-245錢俊彥,賈書貴,蔡國永,趙嶺忠.基于上下文定界的Fork/Join并行性的并發(fā)程序可達性分析.計算機工程與科學, 2013,35(2):1-6.鄧薇,何锫,錢俊彥.深度優(yōu)先的多基因表達式程序設(shè)計.模式識別與人工智能, 26(9), pp 819-828, 2013.錢俊彥,黃國旺,趙嶺忠.基于答案集的Web服務(wù)組合驗證.計算機科學, 2011,38(12): 131-134Lingzhong Zhao, Junyan Qian, Liang Chang, and Guoyong Cai. Using ASP for Knowledge Management with User Authorization. Data & Knowledge Engineering, 2010, 69(8): 737-762. 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.錢俊彥,徐寶文. 基于完備抽象解釋的模型檢驗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.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.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.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.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.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.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. 國家自然科學基金“基于下推網(wǎng)絡(luò)的實時并發(fā)遞歸程序可達性分析及增量式驗證”(No.61562015)國家自然科學基金“基于抽象和符號技術(shù)的并發(fā)軟件驗證研究”(No.61063002) 國家自然科學基金“基于依賴公式抽象的軟件模型檢測研究”(No.60663005) 中國博士后基金“基于抽象解釋的限界模型檢驗研究”(No. 20090450211)廣西自然科學重點基金"基于下推系統(tǒng)的實時復(fù)雜系統(tǒng)抽象驗證" (2015GXNSFDA139038)廣西自然科學基金“基于抽象的并發(fā)軟件安全性驗證研究”(No. 2011GXNSFA018164)廣西自然科學青年基金“UML Statecharts及其時間擴展的模型檢驗技術(shù)研究”(No. 0542036) 桂林市科學研究與技術(shù)開發(fā)項目“桂林市車輛駕駛員檔案數(shù)字影像管理系統(tǒng)” (No.20110109-2)項目“桂林市交警支隊C分標（包括機動車輛遠程審驗系統(tǒng)、車輛駕駛員檔案數(shù)字影像管理系統(tǒng)、評價系統(tǒng)）”

[教育背景]
以上老師的信息來源于學校網(wǎng)站，如有更新或錯誤，請聯(lián)系我們進行更新或刪除，聯(lián)系方式

添加桂林電子科技大學學姐微信，或微信搜索公眾號“考研派小站”，關(guān)注[考研派小站]微信公眾號，在考研派小站微信號輸入[桂林電子科技大學考研分數(shù)線、桂林電子科技大學報錄比、桂林電子科技大學考研群、桂林電子科技大學學姐微信、桂林電子科技大學考研真題、桂林電子科技大學專業(yè)目錄、桂林電子科技大學排名、桂林電子科技大學保研、桂林電子科技大學公眾號、桂林電子科技大學研究生招生）]即可在手機上查看相對應(yīng)桂林電子科技大學考研信息或資源。