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

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

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

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

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

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

[所屬院校]
桂林電子科技大學(xué)

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

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

[個(gè)人簡述]
錢俊彥，男，教授，1973年生。主持國家自然科學(xué)基金、國防項(xiàng)目、廣西自然科學(xué)重點(diǎn)基金在內(nèi)項(xiàng)目20多項(xiàng)。在計(jì)算機(jī)領(lǐng)域國際頂級(jí)期刊IEEE TPDS、ACM TOSEM，國際權(quán)威期刊WWWJ、DKE、SQJ、SCN，國內(nèi)一級(jí)學(xué)報(bào)《計(jì)算機(jī)學(xué)報(bào)》、《軟件學(xué)報(bào)》、《電子學(xué)報(bào)》、《計(jì)算機(jī)研究與發(fā)展》，以及FORTE、APLAS、PRICAI、TASE等重要國際會(huì)議上發(fā)表及錄用學(xué)術(shù)論文100余篇，其中SCI、EI收錄60多篇。同時(shí)注重把科技轉(zhuǎn)化為應(yīng)用，服務(wù)于國防事業(yè)、政府機(jī)關(guān)，致力于公共事業(yè)的信息化改造，獲得發(fā)明專利3項(xiàng)，實(shí)用新型專利1項(xiàng)、軟件著作權(quán)11項(xiàng)，廣西“十百千”人才工程第二層次人選；“可信軟件”廣西高等學(xué)校高水平創(chuàng)新團(tuán)隊(duì)及卓越學(xué)者資助；廣西青年科技獎(jiǎng)；“軟件系統(tǒng)的模型抽象與安全性驗(yàn)證”獲廣西區(qū)自然科學(xué)獎(jiǎng)三等獎(jiǎng)；“廣西高等學(xué)校優(yōu)秀人才資助計(jì)劃”人選；“廣西區(qū)物價(jià)收費(fèi)管理系統(tǒng)”獲廣西區(qū)科技進(jìn)步三等獎(jiǎng)；桂電科研先進(jìn)個(gè)人；首屆優(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.錢俊彥,徐力,古天龍,趙嶺忠,蔡國永. 基于時(shí)間動(dòng)態(tài)下推網(wǎng)絡(luò)可達(dá)性分析. 電子學(xué)報(bào), 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.錢俊彥,甘鵬程,郭云川,趙嶺忠,古天龍. 基于時(shí)間多棧下推網(wǎng)絡(luò)的實(shí)時(shí)系統(tǒng)驗(yàn)證. 計(jì)算機(jī)學(xué)報(bào),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)性分析的不可達(dá)路徑檢測(cè)方法.計(jì)算機(jī)研究與發(fā)展,2016, 53(5):1072-1085.張 ,錢俊彥,李舟軍,馬殿富. 基于抽象不變式的程序安全性驗(yàn).清華大學(xué)學(xué)報(bào)（自然科學(xué)版），2016, 56(7): 777-784.孫晉永,古天龍,聞立杰,錢俊彥.用于面向過程的基于實(shí)例推理的語義工作流相似性算法.計(jì)算機(jī)集成制造系統(tǒng)，2016,22(2):381-394.許碧歡,錢俊彥,張迎周,陳蕾.一種基于余代數(shù)單子的Web服務(wù)形式化模型.南京航空航天大學(xué)學(xué)報(bào), 2016,48(5): 668-676.趙嶺忠,翟仲毅,錢俊彥*,郭云川.基于Mini-trace 和ASP 的CSP 模型檢測(cè). 軟件學(xué)報(bào)，2015, 26(10): 2521-2544.李文杰,姜淑娟,錢俊彥,王興亞,鞠小林.基于對(duì)象引用關(guān)系的Java程序內(nèi)存行為分析方法.電子學(xué)報(bào), 2015, 43(7): 1336-1343錢俊彥,趙嶺忠,蔡國永.基于完備抽象解釋的性質(zhì)強(qiáng)保留抽象研究.計(jì)算機(jī)學(xué)報(bào), 2014,37(8):1754-1767.錢俊彥,賈書貴,趙嶺忠,郭云川.基于上下文定界的遞歸隊(duì)列并發(fā)程序可達(dá)性分析.計(jì)算機(jī)學(xué)報(bào). 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ā)程序可達(dá)性分析.計(jì)算機(jī)工程與科學(xué), 2013,35(2):1-6.鄧薇,何锫,錢俊彥.深度優(yōu)先的多基因表達(dá)式程序設(shè)計(jì).模式識(shí)別與人工智能, 26(9), pp 819-828, 2013.錢俊彥,黃國旺,趙嶺忠.基于答案集的Web服務(wù)組合驗(yàn)證.計(jì)算機(jī)科學(xué), 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.錢俊彥,徐寶文. 基于完備抽象解釋的模型檢驗(yàn)CTL公式研究.計(jì)算機(jī)學(xué)報(bào), 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. 國家自然科學(xué)基金“基于下推網(wǎng)絡(luò)的實(shí)時(shí)并發(fā)遞歸程序可達(dá)性分析及增量式驗(yàn)證”(No.61562015)國家自然科學(xué)基金“基于抽象和符號(hào)技術(shù)的并發(fā)軟件驗(yàn)證研究”(No.61063002) 國家自然科學(xué)基金“基于依賴公式抽象的軟件模型檢測(cè)研究”(No.60663005) 中國博士后基金“基于抽象解釋的限界模型檢驗(yàn)研究”(No. 20090450211)廣西自然科學(xué)重點(diǎn)基金"基于下推系統(tǒng)的實(shí)時(shí)復(fù)雜系統(tǒng)抽象驗(yàn)證" (2015GXNSFDA139038)廣西自然科學(xué)基金“基于抽象的并發(fā)軟件安全性驗(yàn)證研究”(No. 2011GXNSFA018164)廣西自然科學(xué)青年基金“UML Statecharts及其時(shí)間擴(kuò)展的模型檢驗(yàn)技術(shù)研究”(No. 0542036) 桂林市科學(xué)研究與技術(shù)開發(fā)項(xiàng)目“桂林市車輛駕駛員檔案數(shù)字影像管理系統(tǒng)” (No.20110109-2)項(xiàng)目“桂林市交警支隊(duì)C分標(biāo)（包括機(jī)動(dòng)車輛遠(yuǎn)程審驗(yàn)系統(tǒng)、車輛駕駛員檔案數(shù)字影像管理系統(tǒng)、評(píng)價(jià)系統(tǒng)）”

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

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