词条 | 赵岭忠 |
释义 | 桂林电子科技大学副教授赵岭忠(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条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。