【摘 要】
：
分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象
【机 构】
：
吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室,吉林财经大学信息学院,吉林财经大学网络实验中心
论文部分内容阅读
分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象的一般理论与基于模型诊断中的分层过程相联系,并且对自动生成系统的分层表示方法也没有形式化的分析.KRA（Knowledge Reformulationand Abstraction）模型从构造化的角度定义了表示抽象的一般框架,文中在KRA模型框架下建立系统模型,给出了抽象算子在系统的基本框架Rg上进行的非独立的运算过程,使得不会在抽象过程中生成重
其他文献
以物料厚度、热风温度、热风风速为自变量,以干燥速率、干燥不均匀、物料温度为综合优化目标,建立了工艺参数与工艺目标的二次函数关系.利用Design-Expert8.0-6分析工具对模
企业技术标准战略是一种围绕技术标准及其内涵的技术、技术标准达到促使企业生存、发展并取得竞争有利地位的总体谋划.当前,缺乏有效的技术标准战略已成为我国企业核心能力培
在延迟容忍网络中，基于配额的多拷贝路由通过对消息拷贝数量的限制来控制开销，如何在控制开销的前提下尽可能提高消息投递成功率是其需要解决的关键问题．文中首先分析了提高消息
三季度是确认主产区玉米产量重要时期,随着东北和华北主产区玉米产区陆续确认,加上进口市场压力削弱,在需求没有大幅提升的情况下,我国玉米市场仍将以维持弱势平稳为主.
1 饲料产品价格连续2个月回升后回落 饲料产品价格连续2个月回升后回落.育肥猪配合饲料价格、肉鸡配合饲料价格和蛋鸡配合饲料价格连续两个月回升至7月份3.12元/kg、3.16元/k
自然语言与图像、音频信号的性质截然不同,图像水印等的鲁棒性分析方法不适用于自然语言水印,但是直到目前还没有专门针对自然语言水印鲁棒性的研究和评估工作.文中针对自然
通过自然进化得到的脑包含几十亿的神经元和几万亿的神经连接，并表现出复杂的智能行为．受生物脑进化与发育的启发，研究者给出了进化神经网络的发育编码方法，特点是通过基因重用可
针对Multi—Radio Multi—Channel传感器网络中链路服务质量和信道冲突等问题，提出并证明了基于缓存和信道切换的数据查询问题是一个NP完全问题．根据数据流守恒和链路一信道等
通过在公鸡日粮中添加不同水平亚硒酸钠,研究硒对公鸡睾丸组织中细胞周期基因Cdc25A表达的影响,进而为硒调控精子发生周期和生精细胞凋亡的机理提供参考依据。选取80只体重接
具有长度约束的简单路径(Simple Paths with Length Constraint,SPLC)问题是指求解图中任意两点间路径长度为m的简单路径数,是κ-path问题的一种特殊情况该文基于网树数