第卷期计算机学报３４ ２Ｖｏｌ．年月０１ＣＨＩＮＥＳＪＯＵＲＡＬＦＭＰＴｅｂ抽象分层过术院长春财经息中心摘要是降低复杂性一个法在很步构造系统以往都建立某种特定础上没有将般论相联并且对成表示也形式化析ｆｒ从角度义了框架文下给出ｓ子进行非独运使不会件类仅犚犵存储空间还增加用概率提高整效同时描述态和静库两其优缺应集待关键词图／犇犗犐犎犻犲狉犪犮犺犾犃犫狊狋狅狀犘犕犱犅Ｇｈ犓狔犔犳犛犿犆狆狌狑犈犜犑犝狏犉犖犽ｐｘｖｚｋｑ收稿日：；最终修改到本课题得国家自然科基金（，）、吉８９６７林省技发展划项目浙江欧盟合作５Ｙ大符号与知识工程教育部重点实验室开放资助ＤＷＫ王楠女生博士研究讲师方向为于模型的诊断动推理阳丹彤通信者ｍａｉｃｔｕｗｎｇ＠授领域孙善武男硕副ｙｄ网络书
机报年８ｐｒｏｃｅｓｉｎｍｄｌｂａｇｖｔｈｕｙｆ．Ｔ：ｗＤＳ，ｚＩｘ；犓犲狔狑狅狉犱狊 ＨＫＲＡ本文除对引言各进行功能外还１独运犚犵基于模型诊断的一个主要障碍是当待系统使不会生重类中部件数目很大时考察候选也非常仅降低存储步因此学者们提出了多方法高获得真正概整效率比如通过增加依赖应用领域约束控制同我［］空间有些分层解决动态静造库两种析２计算复杂性问题定义其优缺点集自Ｍ抽象／细化子来表示次之关并给３限完备成立条和在Ｃ工作础上结构例４扩展等人５６框架下形式献水力详说Ｚｋ程描述何明图所实现聚合这里包括泵（）、管＝ＵＦ＜阀三为＞输入ＬＯ每都端口可以把看虚拟它０与内相连环境设流量值已知＋犉狆产犘犕犽～犞犜犠狋列举′处且
期王楠５泵的正常流量当处于故障模式（由涉及特没犉犽．ＵＦｎｄｅｒＢ）时，表示低同样地ｌｏｗ高库形记忆Ｏｖ有泄将称成ＬＫａ犇漏因此其输入出存储被外延上涵管部件两种行为完推则包含ｐｉ等殊识大阀门考虑３犵根据前状态分开放本旦犪和关闭者相且给就可过变后偶配值任意０所Ｓｔｕｃｋ一直置令ＣｓγΓ使假设三通只类型情况个果２ｙ加映射子与１素联Ｉ看非绝概念不抽象实际 犓犚犃应算独目是隐藏细节从而找到更简单描立第介绍述在人工智能领域内很多学已经研究了理程［７］８论比如问题求解、规划基诊断说明试图得般定义这水力例进９些语法也继之ｆ提框架统以往指Ｚ方我们要详ＲＡ∪容见文献该层次４犐犞犎待物世界：感知结构言犠犘犛犔犫狔狆犲狌犿狏犾即下面引用犜＝狋狑狅中各并做适犮狀改五元组犗犅犑狊对犝犖犆犈犱属性确函数集间系合｛｝；犢犻｜犼→Λ犕…犳×它狉拓扑传器测犺
计机学报年８模式两参类型或犗犅犛＝犵｛（，…）当第大／小犘犕１６犞２犜犠狋３′时犫犼狔狆犲狌犿犻狏犪犾理论各和犺狉狑比狅犇犮狀狊 ∧犱｝犳．与图价基本感知中的所有值存储在结构→包含以下表：；描述实际系统对象及属性示端口其部件哪些犆互相连接一置成ＮＡｏｔｐｌｉｃａｂｅ抽算子该于应没意义面给出这个分引入目了从最层开始用自动生更我们例ＫＲ文献［］不同除进功能之外还非独立运过程即首先框架内然后利阶推将得到新超５较果发现某种致则修改保留名化信息而找４终止样使会重复仅降低空间增逻辑语言定如里犔犉加步概率高是谓词集合狓整效犽函数做常量Δ∪Λ＋－０由提供聚等为行具体关
期王楠等诊断８７分说明如何确定一个具体系统在感知层的抽象算子即（）生成了集合，这里以图所示中部将作于基本３１为例描述义及运左更．＝犗犅犑犃犜犉犝犖犆犚犈犔犛犵实际右应用后得到件下：｛｝；犕∪犐犎犠犢 －犫犼狔我们现串联连接类→狊ωＰｉｐｅＶａｌｖ狆犻犲型与向超聚该狏犪犾犘犞注意无法直行带有两参数别和面模式常量需要理论推指导获会看种结果仍然是狅狉狋犳×犮狀犱…６２５′狌犿犺狑犇４由相时虽新但可只能存其它保留删语言λ除线表过程逻辑构对储谓词增σ上之余没发变化故任含或关并添加函值名狓ＮＡΛ端口公同外从而
计机学报年型部件的结构描述和行为出看聚犛犘犞．狆犻犲如下：对它狏犪犾（，）通 狋１２则犮狅犿∧狉犳；修改函数狀狌犵∪｛｝狊狓特别地与某都相这情况＝∨根据层中表信息进推理得到该超类及重储串联而较发现同完全就添加关于适当删除①犽→Δ犉狑代替０上分析了更②图右所示＋３犚③犔犜犗犑犃犈④犕犐犎犠犢犫犼狔⑤犺犇⑥将两种模式做笛卡尔积共犱可能８经过逻辑以合并其、新犅×在系统基本框架内应用抽象算子…ＫＲＡ６是一个反复程正像我们前面各定４′义时提有些容顺序只暂变量形存比感知无法直接生成犝犖犆常集需要利论果指导再语言谓词具体也必须由
期王楠等８９（），…重而减少犇犻狉犲犮狋狅狀１＝′４间空６狌犗犫狊狏犪犾狔效组接简单狆犳犘犕犞｝进行犱２．在结构层我们以表为例说明该复杂犜犼果其它内容与使用抽象算子的从σＰｉｐｅＶａｌｖ作相同犿ＮＡ犖犃犠犺狑语言得到逻辑定义如下犔中｛犉犆犵∪Λ犅＋－０由于没有增加新部件类型所理论犚知识至此可整个系统框架上利运过程图示Ｈｒｃｈｏｓ输出待基模诊断分ｄｕ５ 入犛犎搜索元〈通各具体ＫＲ〉删除库实现自动采；名状犽两种方式：静态和是指根据给本预先造能感Ωω｜这里设数Σ看成将串／并联聚合λ则注意独立嵌逐步一对法只开始时循环直选择了初但生某还需更要地添另外际存多情况比也３推规超描述应找连或集些最较若后再不致修改第、检查完善显然大次７因降低概率提高
计报年９０ 算法是非常一般的，我们可也增大难度ＨｉｒｅｃｈａｌＰｏｓ以看到在分层过程中需要考虑几个问题：（）新子定义除了进行抽象预加１．之外当对系统某次运时若生较成类型超部件还动态库标记利用机器学习相关理论使得构造实现完全自化起来够从而不唯由于步选择下前２３聚合带表示为保证有辨识能力匹配后模应该如何设留观测最坏情况狀①会隐藏极际达数诊断真假降即确－ｕｎｄｇｂｔｙ［］果上没任ｐｍ则文献多Ｍｚ将开始至少具好处犗避免这种Ｃ提出结树并且Ｒ功无重组织同更５低搜索空间高效率意因此尽都放弃面回体每操作两例查找恰和判二者连接方式串犮犻犼获联检互端口否包含信息；各输入导致陷限循环显然线性复杂阈值制影响整执键点③里说明简讨只甚决些质存着比星正４网状通转换其拓扑…犽与等价详见地犕量基本②犖＝∏旦就占储区样终
期王楠诊断抽象９超部件的小于等种行为模式，既降低了存储犮犖＋空间又有利后面与基本比较．③可以通过下方法在算ＨｉｒｅｃｈａｌＰｏｓ步中生成：逐个考察３４犽④聚合…笛卡尔积（一１２犅犕犻阶逻辑公）根据结构层各之连接关系及⑤′将含被隐藏端口文字删除推出只⑥作保并动态不区分完全相同或子集和得到｛｝；／＝ 犱数库查找、留更新依次若则两者转否∪图６看上最坏情况所能均即第－时复杂性犜狑狅狉狊狋初始假如每都狀∏该而好犗理对做样处其犫犲故多项内是示统我们举例７说明按照型ＵＭ犘ＩＥ５程经检予持变描述①狆狌犿∧→Δ犉犾犞犪０正确显然从互②犳
计机学报年０接的部件对应可能抽象算子，只要系统数〈〉犘犕５狊犜犠犞目大于则循环必然得到执行而每一１．２３４次都有多个聚合成超并且６生了不同基本类型或在删除和上几层连方式情况法向库互中定义新因此随着增加故初逐减少时亦保证始动态为终整分是完备所以我们说｛｝；Ω＝ωｕｍｐＴｗｙＶｖ表ＨｉｒｅｃｈａｌＰｏｓΣσ示止含Λλ下面利用图感知运例给出８９进按照顺序首先找相元组集如：（） 过程
期王楠等（，）定义新算子ω犜犠１犘３＝２ＰｉｐｅＴｈｒｗａｙｖｌ犞４Ｖ６ ５犕ｕｍ图不同的部件聚合顺序得到系统分层过程９ｂ静构造库两种方法是对物理世界工作我们继续扩结语展该本文在和提出模型框架以及杂性深入研究ＳｔＺｃｋＫＲＡ下建立给了抽象基参考献上进行非独运使会ｇ中生成重复类仅降低存储空［］ＣｎｏＪＹＦＭｄｓ间还增加一步用概ｆ０率高整个效时形式化地描述．：７于诊断动态陈荣姜云飞含约束计机学
计算机学年报，（）：２０１４７３５［］ＭｏｚｅｔｉｃＩ．ＨｒａｈｌｍｄｂｓｇｎＫＱＹＪｕｆＳ９６ＷＣＬＲＡ８ＰＴＧＦＮ／ｐｗＺｋｘＤｖｙ犠犃犖犌犪狀犗犝犢犇犜狅犵犛犺狌犅犮犽狉犱 Ｂ’Ｏｊｑ
