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

桂林電子科技大學(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)答疑，助各位考研一臂之力，爭(zhēng)取早日考上理想中的研究生院校。）

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

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

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

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

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

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

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

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

[教育背景]
? 1995 年－1999 年，桂林電子工業(yè)學(xué)院，電子機(jī)械工程系? 機(jī)械制造工藝與設(shè)備專業(yè)，本科? 1999 年－2002 年，桂林電子工業(yè)學(xué)院，計(jì)算機(jī)系? 計(jì)算機(jī)應(yīng)用專業(yè)，碩士生? 2002 年－2007 年，西安電子科技大學(xué)，電子工程學(xué)院? 模式識(shí)別與智能系統(tǒng)專業(yè)，博士生 以上老師的信息來源于學(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é)考研信息或資源。