宣恒农
- 作品数：42 被引量：92H指数：7
- 供职机构：南京财经大学信息工程学院更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学文化科学社会学更多>>
- Malek故障模型的方程诊断算法设计被引量：4
- 2005年
- 首先给出Malek模型的方程组定义形式,然后在不以“t-可诊断性”和“相信大多数”作前提假设的情况下,通过引入“集团”的概念给出了求其全体相容故障模式的具体方法—方程诊断算法,丰富了Malek模型的故障诊断方式。
- 文学志宣恒农
- 关键词：系统级故障诊断相容故障模式T-可诊断性
- PMC故障模型的方程诊断被引量：21
- 2003年
- 首次建立起PMC方程模型的定义 (即PMC模型的方程描述 ) .PMC模型是一种最常见的系统级故障模型 ,针对传统的图论诊断算法离不开“t 可诊断性”和“相信大多数”(即假定系统中故障机的台数少于处理机总台数的一半 )的特点 ,文中引入“绝对故障基”等概念 ,并充分运用“集团”工具 ,在不以“t 可诊断性”和“相信大多数”作前提假设的情况下 ,找到了求PMC模型全体相容故障模式的具体方法———方程诊断算法 .
- 宣恒农张大方张明
- 关键词：系统级故障诊断相容故障模式T-可诊断性
- 启发式教学模式在计算机公共课中的研究与探索被引量：3
- 2013年
- 为了更好地达到计算机公共课的培养目标,对启发式教学模式在计算机公共课中的运用进行了研究,在分析了启发式教学模式特点的基础上,提出了计算机公共课教学中采用启发式教学的策略,以及对教师提出的更高要求。
- 刘凌波宣恒农王维民吕捷周浪丁元明黄波
- 关键词：教学模式计算机公共课
- 基于PMC故障模型的NASD诊断算法
- 2013年
- 在PMC故障模型下,现有的自适应顺序诊断算法(ASD算法)不能充分利用所有的测试结果。为了有效地减少测试次数,提高诊断效率,提出一种新的自适应顺序诊断算法(NASD算法)。引入相对故障单元的概念,给出并证明了故障单元和无故障单元的判别定理。据此给出系统诊断的策略:(1)边寻求无故障单元边确诊故障单元;(2)已确认的故障单元不再参与任何测试;(3)找到无故障单元或故障单元数接近一半时,系统诊断结束。实例表明,NASD算法优于其他ASD算法。
- 丁元明何涛宣恒农
- 关键词：系统级故障诊断
- 非定态路径测试问题的分析与一种转换算法
- 2005年
- 测试数据生成中使用静态分析法的主要问题之一是难以处理程序变量的不确定性 .本文对软件测试数据生成中的变量“不确定”问题进行了分析 ,认为该问题的实质是程序中变量本身的符号不确定性和程序的动态性 ,根据这个思路提出非定态路径、变符号变量、程序状态变量等概念 ,并将问题进行了形式化的描述 ,证明了非定态路径约束解空间可进一步划分为多个子空间 .在此结论的基础上 ,本文给出了一个将非定态路径测试转换为定态路径测试的算法 ,对非定态路径测试问题的理论分析和解决途径进行了有益的尝试 .
- 缪力张大方季洁宣恒农
- 关键词：软件测试
- PMC模型下的一个贪婪诊断算法被引量：3
- 2015年
- 提出了一种PMC模型下基于矩阵运算的贪婪诊断算法——MGFD算法。算法结合作者曾经提出的"绝对故障基"思想,首先剔除绝对故障基,得到一个维度减小的矩阵,之后根据该矩阵求得集团。在文献[10]提出的四个贪婪诊断算法的基础上,提出集团的内贪婪因子、外贪婪因子、综合贪婪因子等概念,设计了新的贪婪准则。论证了MGFD算法的正确性,并对算法进行了实验仿真。实验结果表明,MGFD算法相比文献[10]提出的贪婪诊断算法,具有较高的诊断正确率。
- 宣恒农张润驰何涛刘凌波
- 关键词：系统级故障诊断PMC模型
- 广义m级次加泛函族的一致有界原理被引量：1
- 1998年
- 定义了ｍ级次加泛函与（广义）ｍ级次加泛函族的概念，得出了这类泛函数的一致有界原理，从而推广了拟次加泛函数的相应结论．
- 宣恒农金振东
- 关键词：一致有界原理
- 系统级故障诊断综述
- 2014年
- 该文对现有的系统级故障诊断算法按模型、诊断方式、诊断目标分别进行了分类,进而阐述了系统级故障诊断算法的近期主要研究成果,最后预测了该领域的未来研究方向与发展前景。
- 宣恒农赵冬苗春玲刘田田张润驰
- 关键词：系统级故障诊断
- 对一种高效群签名方案的安全性分析被引量：7
- 2007年
- 分析了张健红等人提出的高效群签名方案的安全性缺陷,撤销中心不能够打开一个有效的群签名,因此,群签名是不可跟踪的;其次,给出了对该群签名的一种联合攻击,群管理员和撤销中心合谋后可以任意产生有效的群签名并把它强加给任一群成员。分析结果表明,该群签名方案是不安全的。
- 鲁荣波宣恒农何大可
- 关键词：密码学群签名
- 基于互测PMC模型的故障诊断方法及其应用被引量：12
- 2007年
- PMC模型是一种基于测试的系统级故障模型.针对传统诊断算法的弱点,作者于2003年建立起了PMC模型方程诊断算法的框架.本文的主要工作是:(1)对以往的理论进一步补充完善;(2)给出一个直接求绝对故障基的简便方法;(3)通过引入直和的概念,将高维PMC故障模型分拆成低维模型进行诊断;(4)举例说明方程诊断算法的应用.
- 宣恒农韩忠愿张大方
- 关键词：系统级故障诊断相容故障模式T-可诊断性
