请输入您要查询的百科知识:

 

词条 赵岭忠
释义

桂林电子科技大学副教授

赵岭忠(1977-),工学博士,副教授. 主持和作为主要人员参与包括国家自然科学基金、广西自然科学重点基金项目在内的10余项课题.目前主持在研国家青年科学基金项目一项、广西自然科学基金项目一项、武汉大学软件工程国家重点实验室开放基金一项、桂林电子科技大学科学基金项目一项; 主持完成广西青年科学基金项目一项. 获得软件著作权三项,广西区高等教育教学成果一等奖一项. 在《Data and Knowledge Engineering》、《Software Quality Journal》、《计算机研究与发展》、《计算机科学》、《计算机集成制造系统》、《通信学报》等国内外核心期刊及“PRICAI 2010”、“ROBIO 2009”、“APLAS’07”、“TASE’07”、“PRICAI’06”、“AI’06”等重要的软件工程和人工智能国际学术会议上发表和录用论文40篇,其中SCI、EI收录18篇. 目前主要从事人工智能(知识表示、知识推理等)和软件工程(软件验证、分析等)等领域的教学和科研.

主持的项目:

1)        国家自然科学基金项目:基于抽象解释的逻辑程序验证研究

2)        广西区自然科学基金面上项目:ASP知识库访问控制机制研究

3)        广西区青年科学基金项目:基于抽象解释的逻辑程序验证技术研究(已结题)

4)        武汉大学软件工程国家重点实验室开放基金项目:ASP知识库授权一致性验证技术研究

5)        广西区教育厅面上项目:逻辑程序的自动验证技术研究(已结题)

6)        桂林电子科技大学校科学基金项目:逻辑程序的自动验证技术研究

7)        桂林电子科技大学学科软环境建设项目:离散对象的符号表示技术研究(已结题)

8)        2010年新世纪广西高等教育教改工程项目:基于探究式方法的软件类课程改革与实践

随便看

 

百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2025/3/20 14:05:11