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

桂林電子科技大學計算機與信息安全學院導師：趙嶺忠

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

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

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

桂林電子科技大學計算機與信息安全學院導師：趙嶺忠正文

[導師姓名]
趙嶺忠

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

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

[通訊方式]
電子郵件：zhaolingzhong163@163.com

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

[科研工作]
? 2002.7－2005 .6，桂林電子科技大學，計算機系，助教? 2005.7－2007.12，桂林電子科技大學，計算機系，講師? 2008.1－2011.6，桂林電子科技大學，計算機科學與工程學院，副教授? 2011.7－至今，桂林電子科技大學，計算機科學與工程學院，教授 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網的CSP并發系統驗證技術研究. 計算機科學，2015, 42(10): 244-250, 291.趙嶺忠,翟仲毅,錢俊彥,郭云川. 基于關鍵跡和ASP的CSP模型檢測.軟件學報,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)錢俊彥，趙嶺忠（通信作者），蔡國永. 基于完備抽象解釋的性質強保留抽象研究，計算機學報，2014，37（8）：1754-1767. (EI)錢俊彥，賈書貴，趙嶺忠，郭云川. 基于上下文定界的遞歸隊列并發程序可達性分析，計算機學報，2014,37 (12): 2574-2585.2013年王雪松，趙嶺忠，張超. 基于ASP的CSP模型驗證性質反例生成技術研究, 計算機應用研究， 2013, 30(1): 52-55.趙嶺忠，翟仲毅，錢俊彥，基于進程跡的CSP模型驗證框架，計算機科學，2013, 40(11): 181-186.趙嶺忠，司徒凌云，翟仲毅，錢俊彥. 基于ASP的CSP進程描述與組合研究，計算機科學，2013, 40(12):133-140.錢俊彥，賈書貴，蔡國永，趙嶺忠. 基于上下文定界的Fork/Join并行性的并發程序可達性分析，計算機工程與科學，2013，35(2): 1-6.2012年趙嶺忠, 張超, 錢俊彥. 基于ASP的CSP并發系統驗證研究. 計算機科學, 2012, 39(12):133-136.王雪松, 錢俊彥, 趙嶺忠, 高榮亮. 基于并發事務邏輯的語義Web服務組合, 計算機科學, 2012，39(10):139-142,156.翟仲毅, 王雪松, 趙嶺忠. 基于ASP的程序切片, 桂林電子科技大學學報, 2012, 32(1): 29-34.董鳳嬌，王雪松，趙嶺忠, 張超. 基于啟發式搜索的ASP程序支撐原因分析算法，桂林電子科技大學學報，2012, 32(3): 222-226.2011年：趙嶺忠, 王雪松. 基于OBDD的含圈與或圖搜索算法研究. 計算機應用研究, 2011, 28(4): 1325-1329.方毅立，趙嶺忠. 正規邏輯程序回答集存在性研究. 計算機科學, 2011,38(12): 213-220.錢俊彥, 黃國旺, 趙嶺忠. 基于答案集的WEB服務組合驗證, 計算機科學, 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算法研究. 計算機科學, 2010, 37(7): 169-173.趙嶺忠, 王雪松, 錢俊彥, 蔡國永. 從經典邏輯知識構建ASP知識庫的新方法. 計算機應用, 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.趙嶺忠，廖偉志, 錢俊彥, 古天龍. 基于計算解語義的邏輯程序測試和調試框架. 計算機科學. 2009, 36(9): 115-121.趙嶺忠, 古天龍，蔡國永, 錢俊彥. 基于抽象解釋的Prolog程序驗證技術研究. 計算機科學. 2008, 35(7): 261-268.趙嶺忠, 古天龍, 錢俊彥. 目標獨立的Prolog程序路徑依賴分析語義. 計算機科學. 2008, 35(2): 246-252, 297.趙嶺忠, 錢俊彥. 調用模式和正確調用模式語義在Prolog程序測試中的應用. 計算機應用研究. 2008, 25(4): 1008-1012.趙嶺忠, 王雪松, 古天龍, 錢俊彥. 一種基于熵的OBDD變量排序算法. 計算機科學. 2007, 34(2): 216-219.趙嶺忠, 董榮勝, 蔡國永, 古天龍. 基于對象分布式實時系統約束的一致性研究. 計算機工程與應用, 2002,38(15):60-62,71.趙嶺忠, 董榮勝, 古天龍, 蔡國永. 實時系統非周期任務的可預測調度研究. 桂林電子工業學院學報. 2001, 21(3): 18-21.錢俊彥, 趙嶺忠. 基于自動機理論的符號模型檢驗. 蘭州理工大學學報, 2008, 35(4): 96-99.王雪松, 趙嶺忠, 錢俊彥. Prolog程序正確調用模式語義的抽象技術研究. 計算機應用研究(增刊)4-7月. (已錄用).錢俊彥, 趙嶺忠. 基于LTS的Statecharts操作語義研究. 計算機工程，2006,32(22): 43-45. (EI)錢俊彥,趙嶺忠,古天龍.一種基于時間自動機的時鐘等價性優化方法.計算機工程,2005,31(18):71-73. (EI) (9月出版)錢俊彥, 趙嶺忠,古天龍.一種基于自動機理論的LTL檢驗符號優化方法.計算機工程,2005,31(23): 20-21,27. (EI)(12月出版)（半月刊）錢俊彥, 趙嶺忠.一種基于時間自動機的域構造方法.計算機應用研究, 2005,22(7):68-70.董榮勝, 趙嶺忠, 蔡國永, 古天龍. 基于對象的分布式實時系統調度模型研究. 計算機研究與發展. 2002, 21(3): 1464-1470. (EI)黃廷輝, 崔更申, 趙嶺忠. 無線傳感器網絡軟件動態加載技術研究, 計算機應用, 2008,?28(04):?1029-1031.錢俊彥, 古天龍, 趙嶺忠. 基于EHA模型檢驗Statecharts計算機工程,2006, 32(3):19-21.(EI)錢俊彥, 古天龍, 趙嶺忠.Statecharts的形式化驗證研究.計算機工程2005,31(18):19-22. (EI)王雪松, 張會兵, 趙嶺忠, 熊鳳. 串行通信服務器中的自適應以太網設計. 兵工自動化, 2007, 26(8): 39-40, 47.古天龍, 熊太平, 趙嶺忠. 柔性制造系統中生產調度問題求解的一種符號算法. 計算機集成制造系統，2007，13(2):338-344. (EI)徐周波, 古天龍, 趙嶺忠.網絡最大流問題求解的符號ADD增廣路徑算法. 計算機科學, 2005, 32(10):38-40.徐周波,古天龍, 趙嶺忠.網絡最大流問題的一種新的符號ADD求解算法, 通信學報,2005, 26(2):1-8.廖偉志, 古天龍, 元昌安, 趙嶺忠, 基于一階混雜Petri 網的柔性制造系統粗糙控制。控制與決策，2009, 24(3): 365-370.董榮勝, 曹雙進, 蔡國永, 趙嶺忠. 基于對象分布式實時系統的容錯模型研究. 計算機工程與應用.2004, 40(7): 61-65. 主持以下科研項目：國家自然科學基金項目：基于ASP 的并發系統CSP 模型驗證研究（2013.1-2016.12）（項目批準編號：61262008）（經費46萬元）（院內指標號：NF120171）。廣西可信軟件重點實驗室基金項目：基于ASP的并發程序CSP模型驗證（2011.9-2013.8）（經費3萬元）（項目編號：kx201113）（已結題）廣西區自然科學基金面上項目：ASP知識庫訪問控制機制研究（2011.03-2014.03）（合同編號：2011GXNSFA018166，項目編號：2011jjA70095）（經費4萬元）（已結題）武漢大學軟件工程國家重點實驗室開放基金項目：ASP知識庫授權一致性驗證技術研究（2011.1.1-2012.12.31）（項目編號：SKLSE2010-08-06）（經費3萬元）（已結題）2010年新世紀廣西高等教育教改工程項目：基于探究式方法的軟件類課程改革與實踐（項目編號：2010JGA027）（經費3萬元）（已結題）國家自然科學基金項目：基于抽象解釋的邏輯程序驗證研究（2009.1-2011.12）（項目批準編號：60803033）（經費20萬元）（已結題）。廣西區青年科學基金項目：基于抽象解釋的邏輯程序驗證技術研究(2007.5-2010.5) （合同編號：桂科青0728093） (桂科基結字〔2009〕第62號) （經費4萬元）（已結題，評為優秀）.廣西區教育廳面上項目：邏輯程序的自動驗證技術研究(項目編號:200808MS167)（2008.9-2009.9）（經費2萬元）（已結題）桂林電子科技大學校科學基金項目：邏輯程序的自動驗證技術研究（2008.7-2011.6）（經費6萬元）.桂林電子科技大學學科軟環境建設項目：離散對象的符號表示技術研究(2004.10-2007.10)（經費2萬元）. （已結題）?作為主要成員參與以下科研項目：國家自然科學基金：基于抽象和符號技術的并發軟件驗證研究(No.61063002)（2011.01-2013.12）（排名第二）（已結題）廣西區自然科學重點基金：基于符號OBDD的裝配序列規劃研究（桂科自0832006Z）（2008－2011）（排名第五）（已結題）國家自然科學基金項目:裝配序列生成的符號技術研究(No.60563005)（2006.1－2008.12）. （已結題）國家自然科學基金項目: 基于依賴公式抽象的軟件模型檢測研究(No.60663005) （2007.1－2009.12）. （已結題）國家自然科學基金項目:基于時態認知邏輯的特征交互無界模型檢測 (No.60763004) （2008.1－2010.12）. （已結題）國家自然科學基金項目:混雜生產過程的混雜Petri網建模及其符號調度研究（2003.1－2005.12）（已結題）.廣西區青年科學基金項目：UML Statecharts及其時間擴展的模型檢驗技術研究（合同編號：桂科青0542036）（2005.7－2008.7）（已結題）廣西區自然科學基金項目：模型檢驗和定理證明相結合的安全協議分析技術研究（2005.8－2008.12）（桂科自0542052）（已結題）廣西區自然科學基金項目：時間Petri網的符號OBDD調度技術研究（2004.07--2007.07）（已結題）廣西區自然科學基金項目:基于對象分布式實時系統調度模型研究（合同編號：桂科自0229051）（2002.8－2004.12）（已結題）.新世紀廣西高等教育教學改革工程“十一五”第二批項目：軟件工程專業課程體系建設研究與實踐（2006.10至今）（已結題）

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

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