综合介绍 General Introduction 研究方向包括：形式化验证、故障分析及人工智能领域的基于模型的诊断问题等。在AAAI（人工智能顶会）、Information Sciences、Frontiers of Computer Science、《中国科学*信息科学》、《计算机研究与发展》等国际及国内知名期刊发表论文10余篇。曾多次参与国家自然科学基金面上项目，参与多项XXX基金。联系邮箱：zhouhs@nwpu.edu.cn 个人相册 织梦内容管理系统
教育教学
织梦内容管理系统
荣誉获奖
内容来自dedecms
科学研究
织梦好，好织梦
学术成果
内容来自dedecms
综合介绍
dedecms.com
赞助商广告：
