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

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

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

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

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

[導師姓名]
錢俊彥

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

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

[通訊方式]
電子郵件：[email protected]

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

[科研工作]
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.錢俊彥,徐力,古天龍,趙嶺忠,蔡國永. 基于時間動態下推網絡可達性分析. 電子學報, 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.錢俊彥,甘鵬程,郭云川,趙嶺忠,古天龍. 基于時間多棧下推網絡的實時系統驗證. 計算機學報,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.姜淑娟,韓寒,史嬌嬌,張艷梅,鞠小林,錢俊彥.基于分支相關性分析的不可達路徑檢測方法.計算機研究與發展,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-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并行性的并發程序可達性分析.計算機工程與科學, 2013,35(2):1-6.鄧薇,何锫,錢俊彥.深度優先的多基因表達式程序設計.模式識別與人工智能, 26(9), pp 819-828, 2013.錢俊彥,黃國旺,趙嶺忠.基于答案集的Web服務組合驗證.計算機科學, 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. 國家自然科學基金“基于下推網絡的實時并發遞歸程序可達性分析及增量式驗證”(No.61562015)國家自然科學基金“基于抽象和符號技術的并發軟件驗證研究”(No.61063002) 國家自然科學基金“基于依賴公式抽象的軟件模型檢測研究”(No.60663005) 中國博士后基金“基于抽象解釋的限界模型檢驗研究”(No. 20090450211)廣西自然科學重點基金"基于下推系統的實時復雜系統抽象驗證" (2015GXNSFDA139038)廣西自然科學基金“基于抽象的并發軟件安全性驗證研究”(No. 2011GXNSFA018164)廣西自然科學青年基金“UML Statecharts及其時間擴展的模型檢驗技術研究”(No. 0542036) 桂林市科學研究與技術開發項目“桂林市車輛駕駛員檔案數字影像管理系統” (No.20110109-2)項目“桂林市交警支隊C分標（包括機動車輛遠程審驗系統、車輛駕駛員檔案數字影像管理系統、評價系統）”

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

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