考研派 > 院校庫 > 廣西 > 桂林電子科技大學(xué) > 研究生導(dǎo)師 > 桂林電子科技大學(xué)計算機與信息安全學(xué)院導(dǎo)師：趙嶺忠

桂林電子科技大學(xué)計算機與信息安全學(xué)院導(dǎo)師：趙嶺忠

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

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

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

桂林電子科技大學(xué)計算機與信息安全學(xué)院導(dǎo)師：趙嶺忠正文

[導(dǎo)師姓名]
趙嶺忠

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

[基本信息]
導(dǎo)師姓名：趙嶺忠
性別：
人氣指數(shù)：857
所屬院校：桂林電子科技大學(xué)
所屬院系：計算機與信息安全學(xué)院
職稱：教授
導(dǎo)師類型：碩導(dǎo)
招生專業(yè)：軟件工程（學(xué)術(shù)型）、計算機科學(xué)與技術(shù)（學(xué)術(shù)型）
研究領(lǐng)域：并發(fā)程序驗證、邏輯程序的測試驗證及其在知識表示等領(lǐng)域的應(yīng)用

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

[個人簡述]
2002年6月畢業(yè)于桂林電子工業(yè)學(xué)院計算機系，獲工學(xué)碩士. 2007年12月獲西安電子科技大學(xué)工學(xué)博士學(xué)位. 現(xiàn)為桂林電子科技大學(xué)計算機科學(xué)與技術(shù)專業(yè)和軟件工程專業(yè)碩士生導(dǎo)師。近年來主持國家基金項目2項，廣西科學(xué)基金項目3項，軟件工程國家重點實驗室基金1項。在《Data & Knowledge Engineering》、《Journal of Automated Reasoning》、《Software Quality Journal》、《計算機學(xué)報》、《軟件學(xué)報》、《計算機研究與發(fā)展》等國內(nèi)外期刊及“APSEC”、“PRICAI”、“APLAS”、和“TASE”等主流人工智能和軟件工程國際學(xué)術(shù)會議上發(fā)表和錄用論文50余篇，其中SCI、EI收錄20篇。2015年獲廣西科技進步二等獎，2012年入選廣西高校優(yōu)秀人才資助計劃，2011年獲廣西自然科學(xué)獎三等獎，2005年獲廣西高等教育教學(xué)成果獎一等獎。2015年被聘為校級科研創(chuàng)新團隊負責(zé)人。為本科生/研究生開設(shè)了《形式語義學(xué)》、《算法分析與設(shè)計》、《弟子規(guī)導(dǎo)引》、《形式語言與自動機》、《專業(yè)英語》等6門課程，指導(dǎo)碩士研究生18人。承擔(dān)完成了教育科學(xué)研究和教學(xué)改革項目3項，發(fā)表教學(xué)改革論文15篇。 ??2015年獲廣西科技進步二等獎? 2012年入選廣西高校優(yōu)秀人才資助計劃?? 2011年獲廣西自然科學(xué)獎三等獎? 2005年獲廣西高等教育教學(xué)成果獎一等獎

[科研工作]
? 2002.7－2005 .6，桂林電子科技大學(xué)，計算機系，助教? 2005.7－2007.12，桂林電子科技大學(xué)，計算機系，講師? 2008.1－2011.6，桂林電子科技大學(xué)，計算機科學(xué)與工程學(xué)院，副教授? 2011.7－至今，桂林電子科技大學(xué)，計算機科學(xué)與工程學(xué)院，教授 2015年Lingyun SITU, Lingzhong ZHAO. CSP Bounded Model Checking of Preprocessed CTL extended with Events using Answer Set Programming, Proceedings of ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2015, 2015, pp.16-23.劉彥青，趙嶺忠（通信作者），錢俊彥. 基于Petri網(wǎng)的CSP并發(fā)系統(tǒng)驗證技術(shù)研究. 計算機科學(xué)，2015, 42(10): 244-250, 291.趙嶺忠,翟仲毅,錢俊彥,郭云川. 基于關(guān)鍵跡和ASP的CSP模型檢測.軟件學(xué)報,2015,26(10):2521~2544. http:// www.jos.org.cn/1000-9825/4738.htm2014年Xuesong WANG , Liqin ZHANG, Lingzhong ZHAO, Junyan QIAN, An Improved ASP Based Verification Tool ImF_ASP for Communication Protocols Described by CSP, Journal of Computational Information Systems, 2014.9.18投稿 (EI)Lingzhong ZHAO, Liqin ZHANG, Junyan QIAN, Haitao ZHANG, Ying ZHU, ASP based Property Verification of Communication Protocols Described by CSP, Journal of Computational Information Systems, 2014, 10?(11) :?4929-?4936. ISSN 1553-9105 (EI)錢俊彥，趙嶺忠（通信作者），蔡國永. 基于完備抽象解釋的性質(zhì)強保留抽象研究，計算機學(xué)報，2014，37（8）：1754-1767. (EI)錢俊彥，賈書貴，趙嶺忠，郭云川. 基于上下文定界的遞歸隊列并發(fā)程序可達性分析，計算機學(xué)報，2014,37 (12): 2574-2585.2013年王雪松，趙嶺忠，張超. 基于ASP的CSP模型驗證性質(zhì)反例生成技術(shù)研究, 計算機應(yīng)用研究， 2013, 30(1): 52-55.趙嶺忠，翟仲毅，錢俊彥，基于進程跡的CSP模型驗證框架，計算機科學(xué)，2013, 40(11): 181-186.趙嶺忠，司徒凌云，翟仲毅，錢俊彥. 基于ASP的CSP進程描述與組合研究，計算機科學(xué)，2013, 40(12):133-140.錢俊彥，賈書貴，蔡國永，趙嶺忠. 基于上下文定界的Fork/Join并行性的并發(fā)程序可達性分析，計算機工程與科學(xué)，2013，35(2): 1-6.2012年趙嶺忠, 張超, 錢俊彥. 基于ASP的CSP并發(fā)系統(tǒng)驗證研究. 計算機科學(xué), 2012, 39(12):133-136.王雪松, 錢俊彥, 趙嶺忠, 高榮亮. 基于并發(fā)事務(wù)邏輯的語義Web服務(wù)組合, 計算機科學(xué), 2012，39(10):139-142,156.翟仲毅, 王雪松, 趙嶺忠. 基于ASP的程序切片, 桂林電子科技大學(xué)學(xué)報, 2012, 32(1): 29-34.董鳳嬌，王雪松，趙嶺忠, 張超. 基于啟發(fā)式搜索的ASP程序支撐原因分析算法，桂林電子科技大學(xué)學(xué)報，2012, 32(3): 222-226.2011年：趙嶺忠, 王雪松. 基于OBDD的含圈與或圖搜索算法研究. 計算機應(yīng)用研究, 2011, 28(4): 1325-1329.方毅立，趙嶺忠. 正規(guī)邏輯程序回答集存在性研究. 計算機科學(xué), 2011,38(12): 213-220.錢俊彥, 黃國旺, 趙嶺忠. 基于答案集的WEB服務(wù)組合驗證, 計算機科學(xué), 2011,38(12): 131-134.Qian, Jun-Yan, Huang, Guo-Wang, Zhao, Ling-Zhong. Semantic web service composition using answer set planning. International Journal of Advancements in Computing Technology, 3(5): p 20-31, June 2011. (EI) 2010年：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.? (SCI / EI)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), Lecture Notes in Artificial Intelligence, 6230, pp.384-396. (EI)Lingzhong Zhao, Yili Fang. A Knowledge Based Method for Data Flow Analysis. Proceedings of 2010 International Conference on Intelligent Computing and Integrated Systems (ICISS 2010), pp.555-558. (EI)王雪松, 趙嶺忠, 古天龍. 無圈與或圖搜索的符號OBDD算法研究. 計算機科學(xué), 2010, 37(7): 169-173.趙嶺忠, 王雪松, 錢俊彥, 蔡國永. 從經(jīng)典邏輯知識構(gòu)建ASP知識庫的新方法. 計算機應(yīng)用, 2010, 30(11): 2932-2936.2009年以前：Lingzhong Zhao, Weizhi Liao, Yili Fang, Junyan Qian and Congwen Zeng. An ASP Based Method for Subassembly Identification. Proceedings of ROBIO 2009, pp.1317-1322. (EI)Lingzhong Zhao, Tianlong Gu and Junyan Qian. Test Frames Updating in CPM Testing of Prolog Programs. Software Quality Journal, 2008, 16(2): 277-298. (SCI)Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. In: Proceedings of The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007), Lecture Notes in Computer Science, 2007, 4807, pp.105-121. (EI)Lingzhong Zhao, Tianlong Gu and Junyan Qian. Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. Proceedings of 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007), 2007, pp.261-270. (EI)Lingzhong Zhao, Tianlong Gu and Junyan Qian. Constraint-based Correct Partial Answer Semantics for the Analysis of Prolog Programs. WSEAS Transactions on Computers, 2007, 6(6): 947-952. （EI）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, pp.1052-1057. (SCI, EI)Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. On the New Application of Call Patterns to CPM Testing of Prolog Programs. Proceedings of the 19th ACS Australian Joint Conference on Artificial Intelligence (AI’06), Lecture Notes in Artificial Intelligence, 2006, 4304: 1265-1270. (ISTP)Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics. Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'06), 2006, pp. 359-362. (DBLP)Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai. A Base for Achieving Semantics for Prolog with Cut for “Correct” Observables. Proceedings of the 2006 International Conference on Software Engineering Research and Practice (SERP’06), 2006, pp. 664-670. (INSPEC, DBLP)Xuesong Wang, Lingzhong Zhao, Congen Zeng, Junyan Qian and Tianlong Gu. An ASP based Solution to Mechanical Assembly Sequence Planning. Proceedings of WGEC 2009, pp.205-208. (EI)Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu: Automatic Construction of Complete Abstraction by Abstract Interpretation. Proceedings of ACIS-ICIS 2009, pp. 927-932. (EI)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. (EI)Liang Chang, Zhongzhi Shi, Tianlong Gu, Lingzhong Zhao, A Family of Dynamic Description Logics for Representing and Reasoning About Actions，Journal of Automated Reasoning, pp.1-52, 2010. (SCI、EI)Junyan Qian, Guoyong Cai, Tianlong Gu and Lingzhong Zhao. Abstract Model Checking for Web Services. Wuhan University Journal of Natural Science.13(5), 2008 ?(EI)Congwen Zeng, Tianlong Gu and Lingzhong Zhao. A Novel Genetic Algorithm for Traveling Salesman Problem. DCDIS SERIES B: APPLICATIONS AND ALGORITHMS. 2006, 5: 859-862.Guoyong Cai，Ji Gao，Junyan Qian，Lingzhong Zhao. Distributed collaborating system design via electronic institutional calculus. International Conference on Network and Parallel Computing (NPC 2007), Sep. 18-20,2007, Dalian, China, pp 754-761.（EI）Guoyong Cai，Ji Gao，Junyan Qian，Lingzhong Zhao. Formalizing interactive institution with RBA calculus. Accepted by International Conference on Intelligent Systems and Knowledge Engineering (ISKE2007), October 15-16, 2007, Chengdu, China.趙嶺忠，廖偉志, 錢俊彥, 古天龍. 基于計算解語義的邏輯程序測試和調(diào)試框架. 計算機科學(xué). 2009, 36(9): 115-121.趙嶺忠, 古天龍，蔡國永, 錢俊彥. 基于抽象解釋的Prolog程序驗證技術(shù)研究. 計算機科學(xué). 2008, 35(7): 261-268.趙嶺忠, 古天龍, 錢俊彥. 目標獨立的Prolog程序路徑依賴分析語義. 計算機科學(xué). 2008, 35(2): 246-252, 297.趙嶺忠, 錢俊彥. 調(diào)用模式和正確調(diào)用模式語義在Prolog程序測試中的應(yīng)用. 計算機應(yīng)用研究. 2008, 25(4): 1008-1012.趙嶺忠, 王雪松, 古天龍, 錢俊彥. 一種基于熵的OBDD變量排序算法. 計算機科學(xué). 2007, 34(2): 216-219.趙嶺忠, 董榮勝, 蔡國永, 古天龍. 基于對象分布式實時系統(tǒng)約束的一致性研究. 計算機工程與應(yīng)用, 2002,38(15):60-62,71.趙嶺忠, 董榮勝, 古天龍, 蔡國永. 實時系統(tǒng)非周期任務(wù)的可預(yù)測調(diào)度研究. 桂林電子工業(yè)學(xué)院學(xué)報. 2001, 21(3): 18-21.錢俊彥, 趙嶺忠. 基于自動機理論的符號模型檢驗. 蘭州理工大學(xué)學(xué)報, 2008, 35(4): 96-99.王雪松, 趙嶺忠, 錢俊彥. Prolog程序正確調(diào)用模式語義的抽象技術(shù)研究. 計算機應(yīng)用研究(增刊)4-7月. (已錄用).錢俊彥, 趙嶺忠. 基于LTS的Statecharts操作語義研究. 計算機工程，2006,32(22): 43-45. (EI)錢俊彥,趙嶺忠,古天龍.一種基于時間自動機的時鐘等價性優(yōu)化方法.計算機工程,2005,31(18):71-73. (EI) (9月出版)錢俊彥, 趙嶺忠,古天龍.一種基于自動機理論的LTL檢驗符號優(yōu)化方法.計算機工程,2005,31(23): 20-21,27. (EI)(12月出版)（半月刊）錢俊彥, 趙嶺忠.一種基于時間自動機的域構(gòu)造方法.計算機應(yīng)用研究, 2005,22(7):68-70.董榮勝, 趙嶺忠, 蔡國永, 古天龍. 基于對象的分布式實時系統(tǒng)調(diào)度模型研究. 計算機研究與發(fā)展. 2002, 21(3): 1464-1470. (EI)黃廷輝, 崔更申, 趙嶺忠. 無線傳感器網(wǎng)絡(luò)軟件動態(tài)加載技術(shù)研究, 計算機應(yīng)用, 2008,?28(04):?1029-1031.錢俊彥, 古天龍, 趙嶺忠. 基于EHA模型檢驗Statecharts計算機工程,2006, 32(3):19-21.(EI)錢俊彥, 古天龍, 趙嶺忠.Statecharts的形式化驗證研究.計算機工程2005,31(18):19-22. (EI)王雪松, 張會兵, 趙嶺忠, 熊鳳. 串行通信服務(wù)器中的自適應(yīng)以太網(wǎng)設(shè)計. 兵工自動化, 2007, 26(8): 39-40, 47.古天龍, 熊太平, 趙嶺忠. 柔性制造系統(tǒng)中生產(chǎn)調(diào)度問題求解的一種符號算法. 計算機集成制造系統(tǒng)，2007，13(2):338-344. (EI)徐周波, 古天龍, 趙嶺忠.網(wǎng)絡(luò)最大流問題求解的符號ADD增廣路徑算法. 計算機科學(xué), 2005, 32(10):38-40.徐周波,古天龍, 趙嶺忠.網(wǎng)絡(luò)最大流問題的一種新的符號ADD求解算法, 通信學(xué)報,2005, 26(2):1-8.廖偉志, 古天龍, 元昌安, 趙嶺忠, 基于一階混雜Petri 網(wǎng)的柔性制造系統(tǒng)粗糙控制。控制與決策，2009, 24(3): 365-370.董榮勝, 曹雙進, 蔡國永, 趙嶺忠. 基于對象分布式實時系統(tǒng)的容錯模型研究. 計算機工程與應(yīng)用.2004, 40(7): 61-65. 主持以下科研項目：國家自然科學(xué)基金項目：基于ASP 的并發(fā)系統(tǒng)CSP 模型驗證研究（2013.1-2016.12）（項目批準編號：61262008）（經(jīng)費46萬元）（院內(nèi)指標號：NF120171）。廣西可信軟件重點實驗室基金項目：基于ASP的并發(fā)程序CSP模型驗證（2011.9-2013.8）（經(jīng)費3萬元）（項目編號：kx201113）（已結(jié)題）廣西區(qū)自然科學(xué)基金面上項目：ASP知識庫訪問控制機制研究（2011.03-2014.03）（合同編號：2011GXNSFA018166，項目編號：2011jjA70095）（經(jīng)費4萬元）（已結(jié)題）武漢大學(xué)軟件工程國家重點實驗室開放基金項目：ASP知識庫授權(quán)一致性驗證技術(shù)研究（2011.1.1-2012.12.31）（項目編號：SKLSE2010-08-06）（經(jīng)費3萬元）（已結(jié)題）2010年新世紀廣西高等教育教改工程項目：基于探究式方法的軟件類課程改革與實踐（項目編號：2010JGA027）（經(jīng)費3萬元）（已結(jié)題）國家自然科學(xué)基金項目：基于抽象解釋的邏輯程序驗證研究（2009.1-2011.12）（項目批準編號：60803033）（經(jīng)費20萬元）（已結(jié)題）。廣西區(qū)青年科學(xué)基金項目：基于抽象解釋的邏輯程序驗證技術(shù)研究(2007.5-2010.5) （合同編號：桂科青0728093） (桂科基結(jié)字〔2009〕第62號) （經(jīng)費4萬元）（已結(jié)題，評為優(yōu)秀）.廣西區(qū)教育廳面上項目：邏輯程序的自動驗證技術(shù)研究(項目編號:200808MS167)（2008.9-2009.9）（經(jīng)費2萬元）（已結(jié)題）桂林電子科技大學(xué)校科學(xué)基金項目：邏輯程序的自動驗證技術(shù)研究（2008.7-2011.6）（經(jīng)費6萬元）.桂林電子科技大學(xué)學(xué)科軟環(huán)境建設(shè)項目：離散對象的符號表示技術(shù)研究(2004.10-2007.10)（經(jīng)費2萬元）. （已結(jié)題）?作為主要成員參與以下科研項目：國家自然科學(xué)基金：基于抽象和符號技術(shù)的并發(fā)軟件驗證研究(No.61063002)（2011.01-2013.12）（排名第二）（已結(jié)題）廣西區(qū)自然科學(xué)重點基金：基于符號OBDD的裝配序列規(guī)劃研究（桂科自0832006Z）（2008－2011）（排名第五）（已結(jié)題）國家自然科學(xué)基金項目:裝配序列生成的符號技術(shù)研究(No.60563005)（2006.1－2008.12）. （已結(jié)題）國家自然科學(xué)基金項目: 基于依賴公式抽象的軟件模型檢測研究(No.60663005) （2007.1－2009.12）. （已結(jié)題）國家自然科學(xué)基金項目:基于時態(tài)認知邏輯的特征交互無界模型檢測 (No.60763004) （2008.1－2010.12）. （已結(jié)題）國家自然科學(xué)基金項目:混雜生產(chǎn)過程的混雜Petri網(wǎng)建模及其符號調(diào)度研究（2003.1－2005.12）（已結(jié)題）.廣西區(qū)青年科學(xué)基金項目：UML Statecharts及其時間擴展的模型檢驗技術(shù)研究（合同編號：桂科青0542036）（2005.7－2008.7）（已結(jié)題）廣西區(qū)自然科學(xué)基金項目：模型檢驗和定理證明相結(jié)合的安全協(xié)議分析技術(shù)研究（2005.8－2008.12）（桂科自0542052）（已結(jié)題）廣西區(qū)自然科學(xué)基金項目：時間Petri網(wǎng)的符號OBDD調(diào)度技術(shù)研究（2004.07--2007.07）（已結(jié)題）廣西區(qū)自然科學(xué)基金項目:基于對象分布式實時系統(tǒng)調(diào)度模型研究（合同編號：桂科自0229051）（2002.8－2004.12）（已結(jié)題）.新世紀廣西高等教育教學(xué)改革工程“十一五”第二批項目：軟件工程專業(yè)課程體系建設(shè)研究與實踐（2006.10至今）（已結(jié)題）

[教育背景]
? 1995 年－1999 年，桂林電子工業(yè)學(xué)院，電子機械工程系? 機械制造工藝與設(shè)備專業(yè)，本科? 1999 年－2002 年，桂林電子工業(yè)學(xué)院，計算機系? 計算機應(yīng)用專業(yè)，碩士生? 2002 年－2007 年，西安電子科技大學(xué)，電子工程學(xué)院? 模式識別與智能系統(tǒng)專業(yè)，博士生 以上老師的信息來源于學(xué)校網(wǎng)站，如有更新或錯誤，請聯(lián)系我們進行更新或刪除，聯(lián)系方式

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