点击查看原图

赵岭忠 教授 (zhaolingzhong@126.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篇。

教育背景

• 1995 年-1999 年,桂林电子工业学院,电子机械工程系  机械制造工艺与设备专业,本科

• 1999 年-2002 年,桂林电子工业学院,计算机系  计算机应用专业, 硕士生

• 2002 年-2007 年,西安电子科技大学,电子工程学院  模式识别与智能系统专业,博士生

工作经历

• 2002.7-2005 .6,桂林电子科技大学,计算机系,助教

• 2005.7-2007.12,桂林电子科技大学,计算机系,讲师

• 2008.1-2011.6,桂林电子科技大学,计算机科学与工程学院,副教授

• 2011.7-至今,桂林电子科技大学,计算机科学与工程学院,教授

主要荣誉

• 2015年获广西科技进步二等奖

• 2012年入选广西高校优秀人才资助计划

•  2011年获广西自然科学奖三等奖

• 2005年获广西高等教育教学成果奖一等奖

主要论文

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.htm

2014

  • 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至今)(已结题)

知识产权

软件著作权:

  • ASP数据流分析软件[简称:DFA_ASP]. 国家计算机软件著作,登记号:2011SR005065, 2011-2-09. (赵岭忠,方毅立,钱俊彦,王雪松,张超,董凤姣)
  • ASP装配序列规划软件[简称:ASPP]. 国家计算机软件著作权,登记号:2011SR005087,2011-2-09. (赵岭忠,张超,钱俊彦,王雪松,董凤姣,方毅立)
  • Asp_Suba_I子装配体识别软件[简称:Asp_Suba_I]. 国家计算机软件著作权,登记号:2011SR007054, 2011-2-09. (赵岭忠,方毅立,董凤姣,王雪松,钱俊彦,张超)
  • 基于Justification图的ASP正规逻辑程序调试工具软件[简称:ASPDebugger]. 国家计算机软件著作权,登记号:2013SR122462, 2013-11-09.(赵岭忠,司徒凌云,张丽勤,刘艳青,左贵征,钱俊彦)
  • 基于ASP的CSP及LTL语言转换工具软件[简称:CSP及LTL转换工具],国家计算机软件著作权,登记号:2014SR012992, 2014-01-28.(赵岭忠,张丽勤,司徒凌云,刘艳青,左贵征,钱俊彦)

联系信息

桂林电子科技大学计算机科学与工程学院

电话:0773-2291629

Email:zhaolingzhong@126.com

招生要求:听老师的话