江苏省自然科学基金(BK2004119)
- 作品数：12 被引量：30H指数：4
- 相关作者：宣恒农文学志彭胜张大方韩忠愿更多>>
- 相关机构：南京财经大学吉首大学东北大学更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金江苏省高校自然科学研究项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- Malek故障模型的方程诊断算法设计被引量：4
- 2005年
- 首先给出Malek模型的方程组定义形式,然后在不以“t-可诊断性”和“相信大多数”作前提假设的情况下,通过引入“集团”的概念给出了求其全体相容故障模式的具体方法—方程诊断算法,丰富了Malek模型的故障诊断方式。
- 文学志宣恒农
- 关键词：系统级故障诊断相容故障模式T-可诊断性
- 基于PMC故障模型的NASD诊断算法
- 2013年
- 在PMC故障模型下,现有的自适应顺序诊断算法(ASD算法)不能充分利用所有的测试结果。为了有效地减少测试次数,提高诊断效率,提出一种新的自适应顺序诊断算法(NASD算法)。引入相对故障单元的概念,给出并证明了故障单元和无故障单元的判别定理。据此给出系统诊断的策略:(1)边寻求无故障单元边确诊故障单元;(2)已确认的故障单元不再参与任何测试;(3)找到无故障单元或故障单元数接近一半时,系统诊断结束。实例表明,NASD算法优于其他ASD算法。
- 丁元明何涛宣恒农
- 关键词：系统级故障诊断
- 非定态路径测试问题的分析与一种转换算法
- 2005年
- 测试数据生成中使用静态分析法的主要问题之一是难以处理程序变量的不确定性 .本文对软件测试数据生成中的变量“不确定”问题进行了分析 ,认为该问题的实质是程序中变量本身的符号不确定性和程序的动态性 ,根据这个思路提出非定态路径、变符号变量、程序状态变量等概念 ,并将问题进行了形式化的描述 ,证明了非定态路径约束解空间可进一步划分为多个子空间 .在此结论的基础上 ,本文给出了一个将非定态路径测试转换为定态路径测试的算法 ,对非定态路径测试问题的理论分析和解决途径进行了有益的尝试 .
- 缪力张大方季洁宣恒农
- 关键词：软件测试
- 对一种高效群签名方案的安全性分析被引量：7
- 2007年
- 分析了张健红等人提出的高效群签名方案的安全性缺陷,撤销中心不能够打开一个有效的群签名,因此,群签名是不可跟踪的;其次,给出了对该群签名的一种联合攻击,群管理员和撤销中心合谋后可以任意产生有效的群签名并把它强加给任一群成员。分析结果表明,该群签名方案是不安全的。
- 鲁荣波宣恒农何大可
- 关键词：密码学群签名
- 基于互测PMC模型的故障诊断方法及其应用被引量：12
- 2007年
- PMC模型是一种基于测试的系统级故障模型.针对传统诊断算法的弱点,作者于2003年建立起了PMC模型方程诊断算法的框架.本文的主要工作是:(1)对以往的理论进一步补充完善;(2)给出一个直接求绝对故障基的简便方法;(3)通过引入直和的概念,将高维PMC故障模型分拆成低维模型进行诊断;(4)举例说明方程诊断算法的应用.
- 宣恒农韩忠愿张大方
- 关键词：系统级故障诊断相容故障模式T-可诊断性
- SCORM模型资源实体整合算法设计
- 2006年
- 对SCORM学习资源间的关系描述进行充分的挖掘,对资源本体间的关系类型和关系性质进行了划分和刻画,给出了资源本体的语义相似度度量方法和学习资源搜索算法,并在此基础之上,设计了SCORM模型中资源实体整合算法.
- 文学志王泓彭胜
- 关键词：SCORM元数据语义相似度资源整合
- 基于基区间的随机滑动窗口聚集被引量：2
- 2006年
- 提出了一个基于基区间的实时随机滑动窗口聚集算法。首先,按照规则将窗口中的数据项划分成一系列基区间,然后分别对这些基区间进行聚集计算,窗口中数据项的聚集等于这些基区间聚集和。窗口滑动后,窗口中数据项的聚集可以部分地利用上一次窗口聚集的结果。模拟实验表明,与对窗口中的数据整体进行聚集相比,基于基区间的聚集算法可以有效地降低窗口聚集的时间,提高数据流处理的实时性。
- 程国达赵文彦宣恒农
- 关键词：数据流
- 基于Chwa&Hakimi模型的GA-BPFD算法被引量：1
- 2015年
- 提出一种Chwa&Hakimi模型下基于遗传算法优化的BPFD算法——GA-BPFD算法。该算法主要分两步:用遗传算法对测试报告进行预处理,得到误差最小的一组BP神经网络权值和偏置值;将所得权值和偏置值作为BP神经网络的初始权值和初始偏置值,用训练完成的神经网络结合测试报告进行系统级故障诊断。详述用于优化BP神经网络的遗传算法的具体步骤,对GA-BPFD算法的时间复杂度进行分析,并进行实验仿真。实验结果表明,相比BPFD算法,GA-BPFD算法具有较高的诊断精度、较低的时间复杂度和良好的泛化能力。
- 宣恒农刘田田张润驰
- 关键词：系统级故障诊断GA算法泛化能力
- 基于语义相似度的SCORM学习资源整合被引量：1
- 2006年
- 提出了一种用于SCORM学习资源语义相似度度量、搜索与整合的SCORM学习资源模型。首先基于SCORM模型给出了资源本体的语义相似度度量方法,然后提出基于该资源模型的学习资源搜索算法以及学习资源整合算法,最后详细介绍了一个SCORM学习资源整合系统,并给出了一个实例。
- 文学志宣恒农彭胜
- 关键词：语义相似度资源整合
- SCORM学习资源搜索算法设计被引量：4
- 2006年
- 对SCORM学习资源间的关系描述进行充分的挖掘,给出了资源本体间关系的形式化定义,并给出一种资源本体的语义相似度度量方法,然后设计基于该资源模型的学习资源搜索算法,从而为进行SCORM学习资源整合打下了良好的基础.
- 文学志马佳琳李方军彭胜
- 关键词：SCORM元数据语义相似度资源整合
