周清雷 陈礼斌 刘振邦 黄斌 涂湘东 段振华 赵万鹏 张书霞 杨桂芳 金建红 郭国峰 张苏锋 杨霁虹 陈坤 朱维军 施新程 李福荣 饶本强

板栗 命题投影时序逻辑 白粉病 时序逻辑 模型检测 嗜水气单胞菌 细菌数量和种类 板栗幼树 防治 并发模型 抗性作用 保鲜剂 统一逻辑框架 最低抑菌浓度 温和气单胞菌 多速率自动机 混合系统 可达性分析 菌苗 乳香 可计算性与判定性 滤纸片法 巴西彩龟 免疫应答 变化 耐药性 中华鳖 中草药 黑斑病 最低抑菌浓度测定（MIC）

信阳师范学院生物系 河南信阳 信阳师范学院 信阳高中 信阳师范学院生命科学学院 漯河大华艺术学校 郑州外国语学校 信阳林业学校