张学农
- 作品数：14 被引量：33H指数：3
- 供职机构：广东药学院更多>>
- 发文基金：国家自然科学基金广东省自然科学基金广东省科技计划工业攻关项目更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 一致性诊断的测试被引量：2
- 2008年
- 为找到故障系统的真实诊断,讨论了候选诊断和真实诊断之间的关系,定义了诊断系统的可采纳性并证明基于一致性的诊断是可采纳的.在此基础上,给出一种基于一致性的诊断测试方法.在执行测试之后,所获得的关于真实诊断的信息是单调递增的,直到真实诊断被包含在极小诊断集合中;一旦极小诊断集合包含真实诊断,所有的测试都会支持真实诊断,而可能排除其它的候选诊断.
- 张学农姜云飞陈蔼祥
- 基于模型诊断的分步求解被引量：12
- 2008年
- 对诊断问题的分解进行研究,给出了候选诊断的分解与组合定理.在此基础上,提出了利用分步求解方法实现诊断分解的算法,并对算法的正确性、完备性和复杂性进行了证明.实验结果表明,分步求解方法明显提高了包含多个输出的系统的诊断效率.与利用变量假定例化值分解诊断问题的方法相比,该算法能提高了效率并且扩大了适用范围.
- 张学农姜云飞陈蔼祥张立成
- 基于值传递的快速故障诊断被引量：1
- 2007年
- 本文提出了一种基于值传递的系统模型,重新定义了诊断,该定义与Reiter经典的诊断定义等价。在此基础上,给出了一种线性时间找到一个极小诊断的算法,该方法不需要计算极小冲突而直接得到极小诊断。该算法在给出诊断的同时,还给出了系统与该诊断对应的当前行为的一种合理解释。最后,给出了该方法与诊断测试结合实现系统修复的方法。
- 张学农姜云飞蔡永铭
- 关键词：值传递基于模型诊断
- 基于结构的弱诊断模型被引量：1
- 2007年
- 本文首先给出一种弱诊断模型,利用系统的结构信息,快速得到系统的弱诊断,在不丢失解的情况下缩小诊断空间,以提高诊断效率。对仅知道系统的整体功能和物理结构系统,无法进行一致性诊断或更强的诊断,我们仍然可以对其进行弱诊断。其次,我们给出了弱诊断、一致诊断、溯因诊断间的关系。最后,根据诊断和真正故障元件集合间的关系,定义了诊断的可采纳性,并证明了弱诊断、一致诊断是可采纳的。
- 张学农姜云飞陈蔼祥
- 数据挖掘中关联规则集的优化——规则的评价与扩充
- 首先,该文尝试重新定义了正关联规则和负关联规则,并给出了它们的兴趣度,从而统一了正、负关联规则的评价标准.在此基础上,该文尝试采用逻辑的方法查找极小矛盾集以判定关联规则集的一致性,通过修改极小矛盾集中的规则以消除关联规则...
- 张学农
- 关键词：数据挖掘关联规则
- 基于约束的故障诊断模型及可诊断性分析
- 2014年
- 诊断问题的复杂性限制了基于模型诊断技术的实际应用,近年出现了不少高效的约束求解器,为充分利用约束求解技术完成诊断,提出一种基于约束的诊断模型,采用约束描述系统结构和功能,重新定义诊断问题并证明了基于约束的诊断和基于一致性的诊断是等价的,在保证诊断完备性的前提下将基于模型的诊断问题转换为通用的约束求解问题;在此基础上,分析了系统的可诊断性,给出了诊断假设可判定、不可判定和部分可判定的充分必要条件,并建立了诊断假设空间关于可诊断性的半序关系,为诊断假设的判定提供理论依据.
- 蔡永铭张学农张立成
- 关键词：可诊断性
- 基于简单贝叶斯的中英文垃圾邮件过滤的比较分析被引量：2
- 2008年
- 对简单贝叶斯过滤方法作一些应用方面的研究工作。首先讨论了简单贝叶斯的垃圾邮件过滤,在PU1语料上实现了简单贝叶斯算法,通过不同的特征词选取方法,得到了比前人更好的结果,给出了特征数、阈值等参数和过滤效果间的关系,并得出了较优的参数设定。然后讨论了基于简单贝叶斯的中文邮件过滤,并在自己收集整理建立的中文邮件语料库上进行中文邮件过滤的实验,得出了不同于英文邮件的较优的参数设定。
- 张学农张立成
- 关键词：垃圾邮件过滤简单贝叶斯
- 含故障模式的诊断系统设计被引量：2
- 2013年
- 为基于模型的诊断系统设计建立了一个基本理论框架。以系统模型为基础,生成一组诊断测试,并以之代替系统模型而建立了一个基于测试的诊断系统。从完备和可靠性两方面证明了以测试为基础的诊断系统的诊断能力与基于一致性的诊断系统是相同的。
- 张学农陈蔼祥张立成
- 含故障模式的值传递诊断及其完备性讨论
- 2010年
- 基于模型的诊断是人工智能领域一个活跃的研究方向.基于值传递的诊断是一种高效的故障诊断方法,但在一般情况下不完备,且系统模型仅描述元件的正常行为.扩充了基于值传递的系统模型,可以描述系统元件的多种故障模式;重新定义了诊断,明确了该模型下得到的诊断与一致性诊断和溯因诊断之间的关系;同时,指出了值传递与真实诊断的关系,为诊断测试提出了新的思路;最后,给出了值传递诊断方法的完备的充分条件,对推进值传递诊断方法的实际应用有积极意义.
- 张学农姜云飞张立成
- 关键词：值传递
- 基于值传递的故障诊断——模型、诊断和测试
- 基于模型的诊断是由Reiter在1987年提出的一种基于逻辑推理的故障诊断方法.待诊断系统的行为可以通过系统的输入输出变量之间的对应关系来描述.由于其一般性和在许多领域的应用价值，基于模型的诊断在人工智能领域被广泛关注....
- 张学农
- 关键词：故障诊断值传递
- 文献传递
