期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
结合问题特征利用SE-Tree反向深度求解冲突集的方法 被引量:5
1
作者 欧阳丹彤 刘伯文 +1 位作者 周建华 张立明 《电子学报》 EI CAS CSCD 北大核心 2017年第5期1175-1181,共7页
基于模型诊断是人工智能领域内的一个重要研究方向,求解极小冲突集在基于模型诊断中有着重要应用.在对结合CSISE-Tree求解冲突集方法深入研究的基础上,根据冲突集求解特征重构了结合枚举树的计算冲突集的过程,提出基于深度优先反向搜索... 基于模型诊断是人工智能领域内的一个重要研究方向,求解极小冲突集在基于模型诊断中有着重要应用.在对结合CSISE-Tree求解冲突集方法深入研究的基础上,根据冲突集求解特征重构了结合枚举树的计算冲突集的过程,提出基于深度优先反向搜索求解冲突集的方法.针对CSISE-Tree方法求解时占用内存空间与元件总数指数级相关的缺点,构建反向深度搜索方法减小求解时所占用内存空间;针对CSISE-Tree方法不能对部分非极小的冲突集进行剪枝的问题,给出对非冲突集和更多非极小的冲突集进行剪枝的方法,有效减少了求解时调用SAT(Boolean SATisfiability problem)求解器的次数;实验结果表明,与CSISE-Tree方法相比,本文提出的方法求解效率有明显的提升,并避免了求解时的内存爆炸问题. 展开更多
关键词 基于模型诊断 冲突集 布尔约束可满足 集合枚举树
下载PDF
结合SE-Tree结构特征的极小碰集求解算法 被引量:3
2
作者 刘思光 欧阳丹彤 +2 位作者 王艺源 贾凤雨 张立明 《计算机研究与发展》 EI CSCD 北大核心 2016年第11期2556-2566,共11页
在结合SE-Tree计算集合簇极小碰集的过程中,现有算法会对大量不会产生碰集的冗余节点进行访问.这无疑将影响算法的效率,冗余节点比例越高,影响越大.通过对SE-Tree中叶节点的特殊性质的分析,并结合现有碰集算法有解空间中冗余节点的特征... 在结合SE-Tree计算集合簇极小碰集的过程中,现有算法会对大量不会产生碰集的冗余节点进行访问.这无疑将影响算法的效率,冗余节点比例越高,影响越大.通过对SE-Tree中叶节点的特殊性质的分析,并结合现有碰集算法有解空间中冗余节点的特征,提出非解冗余节点概念.在对SE-Tree的结构特征进行深入分析基础上,根据非碰集的子集也不是碰集的特点,提出辅助剪枝的概念,通过在剪枝树上设置剪枝判定节点,减少对极小碰集求解过程中无解空间的访问;针对较大规模问题,还提出结合多级辅助剪枝树的极小碰集求解算法,进而较大程度地减少对非解冗余节点的访问;根据多级辅助剪枝树及SE-Tree的结构特征,给出提前终止算法的判定条件,并证明了此算法的正确性.实验结果表明:与效率较高的Boolean算法相比,该算法高效且易于实现,尤其是对规模较大的问题,效率能提升1个数量级. 展开更多
关键词 基于模型诊断 极小碰集 集合枚举树 辅助剪枝树 无解空间剪枝
下载PDF
考虑施工时序的隧道工作面坍塌风险分析方法与验证
3
作者 周鸣亮 李泽豫 +2 位作者 黄宏伟 仝跃 张伟 《防灾减灾工程学报》 CSCD 北大核心 2024年第3期579-595,共17页
岩石隧道钻爆法开挖过程中存在多工序交叉作业,且频繁遭遇复杂的地质环境,导致工作面坍塌事故时有发生。为分析隧道施工中工作面坍塌风险,结合T-S(Takagi-Sugeno)模糊事故树与贝叶斯网络,提出了一种考虑岩石隧道施工基本事件时序性的工... 岩石隧道钻爆法开挖过程中存在多工序交叉作业,且频繁遭遇复杂的地质环境,导致工作面坍塌事故时有发生。为分析隧道施工中工作面坍塌风险,结合T-S(Takagi-Sugeno)模糊事故树与贝叶斯网络,提出了一种考虑岩石隧道施工基本事件时序性的工作面坍塌风险分析方法。广泛调研了46起钻爆法岩石隧道工作面坍塌事故,筛选辨识出影响工作面稳定性的30项致险因子与孕险环境作为基本事件,基于统计数据量化计算各基本事件的发生概率模糊子集与各节点间条件概率,构建了隧道工作面坍塌T-S模糊事故树并映射为贝叶斯网络,运用贝叶斯网络的双向推理功能,计算得到各基本事件的后验概率与重要度,筛选出部分对隧道工作面坍塌影响较大的关键基本事件。随后结合隧道施工过程中各基本事件发生的时序性,通过在贝叶斯网络中逐次更新对应事件的风险状态,得到工作面坍塌风险发生概率的时序性变化。以油坊坪隧道坍塌事故为工程实例,讨论了隧道建设中考虑施工时序的工作面坍塌风险分析的可行性与挑战,给出了岩石隧道不同施工阶段的风险管控方案与重点,为岩石隧道施工安全风险分析与管控提供了新的理论基础与技术手段。 展开更多
关键词 岩石隧道 工作面坍塌 T-S事故树 贝叶斯网络 风险分析 时序性
下载PDF
基于动态极大度的极小碰集求解方法 被引量:17
4
作者 张立明 欧阳丹彤 曾海林 《计算机研究与发展》 EI CSCD 北大核心 2011年第2期209-215,共7页
在计算集合簇的碰集时,结合SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪枝而丢失正确的解.提出未扩展元素度的概念和结点度的概念,... 在计算集合簇的碰集时,结合SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪枝而丢失正确的解.提出未扩展元素度的概念和结点度的概念,进而在扩展SE-Tree结点时按照未扩展元素度由大到小的顺序扩展,极早地生成集合簇的碰集,减少枚举树生成的结点个数,并且直接根据结点度得出结点对应的集合是否为集合簇的碰集,避免计算集合是否为集合簇的碰集.实验结果表明,该算法程序容易编制且效率较好. 展开更多
关键词 基于模型的诊断 极小碰集 se-tree 动态极大度 向量交集
下载PDF
利用标志传播求解基于模型的故障诊断 被引量:6
5
作者 欧阳丹彤 张立明 +1 位作者 赵剑 白洪涛 《仪器仪表学报》 EI CAS CSCD 北大核心 2011年第12期2857-2862,共6页
基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支。提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断。使用SE-Tree(set enumeration tree)形式化地描述整个计算过程... 基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支。提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断。使用SE-Tree(set enumeration tree)形式化地描述整个计算过程,逐步生成当前系统对应的所有极小诊断。此方法不求解冲突集和碰集,直接求出所有的极小诊断,与Reiter的模型诊断方法有着本质的不同,极大地减小了诊断求解的复杂度。实验结果表明,该算法具有较好的效率,并且适用于复杂的对象的诊断问题。 展开更多
关键词 基于模型的诊断 极小诊断 se-tree 输出标志
下载PDF
基于模型的诊断中产生所有极小冲突集的新方法 被引量:10
6
作者 赵相福 欧阳丹彤 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2007年第2期413-418,共6页
首先提出一个基于SE-tree产生所有极小冲突集的方法(CSSE-tree)。然后给出翻转的SE-tree(ISE-tree)的概念,并提出基于ISE-tree产生所有极小冲突集的方法(CSISE-tree)。最后对提到的几种方法进行了比较分析,指出这几种方法都可用于候选... 首先提出一个基于SE-tree产生所有极小冲突集的方法(CSSE-tree)。然后给出翻转的SE-tree(ISE-tree)的概念,并提出基于ISE-tree产生所有极小冲突集的方法(CSISE-tree)。最后对提到的几种方法进行了比较分析,指出这几种方法都可用于候选产生阶段,即产生所有的极小冲突集的极小碰集,还可用于计算本原蕴涵/蕴涵式。 展开更多
关键词 计算机应用 基于模型的诊断 冲突集 碰集 集合枚举树
下载PDF
结合互补度的基于扩展规则#SAT问题求解方法 被引量:4
7
作者 欧阳丹彤 贾凤雨 +1 位作者 刘思光 张立明 《计算机研究与发展》 EI CSCD 北大核心 2016年第7期1596-1604,共9页
#SAT问题又称模型计数(model counting)问题是人工智能领域的研究热点之一,在人工智能领域被广泛应用.在对基于扩展规则的#SAT问题求解方法 CER(counting models using extension rules)深入研究的基础上,提出一种结合互补度的#SAT问题... #SAT问题又称模型计数(model counting)问题是人工智能领域的研究热点之一,在人工智能领域被广泛应用.在对基于扩展规则的#SAT问题求解方法 CER(counting models using extension rules)深入研究的基础上,提出一种结合互补度的#SAT问题求解方法.在计算给定子句集的模型个数时,利用SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成需要计算的子句集合,并在SE-Tree中添加终止结点,避免大部分含互补文字子句集合的生成,且不会因剪枝而导致求解不完备.提出互补度的概念,在扩展SE-Tree结点时按照互补度由大到小的顺序扩展,较早地生成含互补文字且长度较小的子句集合,有效减少枚举树生成的结点个数,进而减少对子句集合判断是否含互补文字的计算次数.实验结果表明:与CER方法相比该方法效率较好,且进一步改进了CER方法在互补因子较低时求解效率低下的不足. 展开更多
关键词 扩展规则 模型计数 CER方法 互补度 集合枚举树
下载PDF
一种新的基于B^+树结构的XML元素的索引方法 被引量:3
8
作者 李卓伟 郭松涛 《计算机工程与应用》 CSCD 北大核心 2007年第14期162-165,共4页
提出了一种用于搜索XML文档的新的索引方法即RIST。通过采用代码化的结构序列(SES)来表示XML文档和XML查询,得出查询XML数据等同于查找子序列匹配。RIST采用树结构作为查询的基本单元,从而避免了代价高昂的连接操作。另外,RIST还在XML... 提出了一种用于搜索XML文档的新的索引方法即RIST。通过采用代码化的结构序列(SES)来表示XML文档和XML查询,得出查询XML数据等同于查找子序列匹配。RIST采用树结构作为查询的基本单元,从而避免了代价高昂的连接操作。另外,RIST还在XML文档的内容和结构上提供了一个统一的索引,所以它的一个很明显的优势就是克服了仅仅根据内容或结构建立索引的弊端。实验表明RIST在支持结构查询上是一种高效的方法。 展开更多
关键词 RIST SES B^+树 XML索引
下载PDF
凤凰单丛古茶树叶片中硒含量及溶出特征 被引量:10
9
作者 吴双桃 朱慧 《食品科学》 EI CAS CSCD 北大核心 2016年第4期127-131,共5页
选取10种珍贵的凤凰单丛古茶树为研究对象,采用石墨消解法测定茶叶中的硒含量,并分析硒元素在茶叶冲泡过程中的溶出特征。结果表明:10种凤凰单丛古茶树的成熟叶与新叶的硒含量范围分别为0.0560~0.352 5、0.045 5~0.299 0 mg/kg,平均含... 选取10种珍贵的凤凰单丛古茶树为研究对象,采用石墨消解法测定茶叶中的硒含量,并分析硒元素在茶叶冲泡过程中的溶出特征。结果表明:10种凤凰单丛古茶树的成熟叶与新叶的硒含量范围分别为0.0560~0.352 5、0.045 5~0.299 0 mg/kg,平均含量分别为0.180 9、0.154 5 mg/kg,二者之间相差17.46%;基于凤凰单丛"一芽二三叶"的采摘标准,以0.2~4.0 mg/kg的硒含量作为富硒茶的标准,则宋种蜜兰香(0.299 0 mg/kg)和宋种东方红(0.210 2 mg/kg)2种古茶树的茶叶达到富硒茶的含量要求;以硒含量最高的宋种蜜兰香茶叶作为探讨硒元素溶出特征实验的材料。结果显示,冲泡温度以95~100℃、单次冲泡时间小于5min为宜,且凤凰单丛古茶树茶叶耐多次冲泡;冲泡温度、冲泡时间及冲泡次数(x)与茶汤中硒溶出量(y)的相关性分别符合直线方程(y=0.0004x-0.0283,R^2=0.939 8)、对数方程(y=0.006 6lnx+0.001 1,R^2=0.957 9)及幂函数方程(y=0.0137x^(-0.7866),R^2=0.948 6)。凤凰单丛古茶树具有一定的富硒茶开发潜力。 展开更多
关键词 凤凰单丛 古茶树 硒含量 茶汤 溶出特征
下载PDF
结合故障逻辑关系的极小冲突集求解方法 被引量:1
10
作者 欧阳丹彤 高菡 +1 位作者 徐旖旎 张立明 《计算机研究与发展》 EI CSCD 北大核心 2020年第7期1472-1480,共9页
基于模型诊断是人工智能研究与发展中的重要方向之一,而求解极小冲突集(minimal conflict set, MCS)是模型诊断的关键步骤.MCS-SFFO(minimal conflict set-structural feature of fault output)方法以反向深度的方式遍历集合枚举树(set ... 基于模型诊断是人工智能研究与发展中的重要方向之一,而求解极小冲突集(minimal conflict set, MCS)是模型诊断的关键步骤.MCS-SFFO(minimal conflict set-structural feature of fault output)方法以反向深度的方式遍历集合枚举树(set enumeration tree, SE-Tree),然后针对故障输出无关元件的组合进行剪枝.在MCS-SFFO方法的基础上,结合电路的故障逻辑关系提出求解极小冲突集的进一步剪枝方法MCS-FLR(minimal conflict set-fault logic relationship):首先提出单元件非冲突集定理,对单元件集合进行剪枝,避免了对无解空间中单元件节点的访问;其次,提出非极小冲突集定理,推证得出故障输出相关元件集的超集都是冲突集,故对有解空间中的非极小解进行剪枝.MCS-FLR方法在MCS-SFFO方法基础上减少了大量有解空间和部分无解空间调用SAT求解器的次数,节省了求解时间.实验结果表明:相比于MCS-SFFO方法,MCS-FLR方法求解效率有显著提高. 展开更多
关键词 基于模型诊断 非极小冲突 集合枚举树 故障输出相关元件集 有解剪枝
下载PDF
采用N-list结构的混合并行频繁项集挖掘算法 被引量:6
11
作者 刘卫明 张弛 毛伊敏 《计算机科学与探索》 CSCD 北大核心 2022年第1期120-136,共17页
针对大数据环境下并行MRPrePost频繁项集挖掘算法中存在计算节点负载不均衡,N-list合并效率低以及冗余搜索等问题,提出了基于N-list结构的混合并行频繁项集挖掘算法HP-FIMBN。首先,设计负载量估计函数(LE)来计算出频繁1项集F-list中每... 针对大数据环境下并行MRPrePost频繁项集挖掘算法中存在计算节点负载不均衡,N-list合并效率低以及冗余搜索等问题,提出了基于N-list结构的混合并行频繁项集挖掘算法HP-FIMBN。首先,设计负载量估计函数(LE)来计算出频繁1项集F-list中每一项的负载量,同时提出基于贪心策略的分组方法(GM-GS)将F-list中的每一项根据其负载量进行均匀分组,既解决了数据划分中计算节点负载不均衡的问题,又降低了集群中各节点上子PPC-Tree树的规模;其次,提出预先放弃策略(EAS),该策略不仅能有效避免合并过程中的无效计算,而且不需要遍历初始N-list结构就能得到最终的N-list,极大地提高了N-list结构的合并效率;最后,采用集合枚举树作为搜索空间,并提出超集等价剪枝策略(SES)来避免挖掘过程中的冗余搜索,生成最终的挖掘结果。实验结果表明,该算法在大数据环境下进行频繁项集挖掘具有较好的效果。 展开更多
关键词 频繁项集挖掘 N-list结构 贪心策略 集合枚举树 超集等价剪枝策略(SES)
下载PDF
电能质量复合扰动特征选择与最优决策树构建 被引量:57
12
作者 黄南天 彭华 +1 位作者 蔡国伟 徐殿国 《中国电机工程学报》 EI CSCD 北大核心 2017年第3期776-785,共10页
针对电能质量(power quality,PQ)复合扰动识别中缺少特征选择与最优决策树自动构建方法的不足,提出采用分类回归树的PQ特征选择与最优决策树构建方法。首先,通过S变换提取64种PQ特征,构成原始特征集;然后,采用嵌入式特征选择方法,获取特... 针对电能质量(power quality,PQ)复合扰动识别中缺少特征选择与最优决策树自动构建方法的不足,提出采用分类回归树的PQ特征选择与最优决策树构建方法。首先,通过S变换提取64种PQ特征,构成原始特征集;然后,采用嵌入式特征选择方法,获取特征Gini重要度及排序,确定最优特征子集;最后,应用1-标准误差规则子树评估法,进行代价复杂度剪枝,获得最优分类树。实验证明,新方法能够根据训练集自动构建最优决策树,并实现最优特征选择;最优决策树可准确识别不同噪声环境下,含多种复合扰动的PQ信号,分类准确率高于概率神经网络和支持向量机方法,具有良好的鲁棒性与抗噪性。 展开更多
关键词 电能质量 复合扰动 S变换 分类回归树 Gini重要度 1-标准误差规则
下载PDF
蜜蜂残翼病毒中国DWV-JL1株衣壳蛋白基因序列分析
13
作者 张健 杨倩 +6 位作者 宋战昀 郑言 王向辉 隋佳辰 王全凯 王振国 牟峻 《经济动物学报》 CAS 2015年第2期109-113,124,共6页
蜜蜂残翼病毒是引起蜜蜂残翼病的病原体。吉林出入境检验检疫局检验检疫技术中心将成功分离鉴定得到的中国首株蜜蜂残翼病毒毒株命名为“中国DWV—JL1株”,全长9826nt。本文主要研究中国DWV—JL1株核苷酸序列位置为2880~3792nt之间的... 蜜蜂残翼病毒是引起蜜蜂残翼病的病原体。吉林出入境检验检疫局检验检疫技术中心将成功分离鉴定得到的中国首株蜜蜂残翼病毒毒株命名为“中国DWV—JL1株”,全长9826nt。本文主要研究中国DWV—JL1株核苷酸序列位置为2880~3792nt之间的片段,该段序列为编码衣壳蛋白的一部分,为相对保守序列。通过RT—PCR、克隆及质粒双酶切鉴定分析,得到一段大小约900bp的片段。通过BLAST、进化树及残基化分析,有96%-97%的同源性。氨基酸序列差异性仅为7%。该段序列与韩国株的亲缘关系最近,而与欧洲和美洲各国家获得的毒株序列亲缘关系较远,推测中国DWV—JL1株起源于亚洲。 展开更多
关键词 蜜蜂残翼病毒 RT-PCR 序列分析 进化树 衣壳蛋白 氨基酸序列
下载PDF
结合故障输出结构特征的极小冲突求解算法 被引量:1
14
作者 徐旖旎 欧阳丹彤 +2 位作者 刘梦 张立明 张永刚 《计算机研究与发展》 EI CSCD 北大核心 2018年第11期2386-2394,共9页
基于模型诊断(model-based diagnosis)是人工智能领域中的重要研究方向,而基于极小冲突求诊断是求解诊断问题的经典方法,因此求解极小冲突是诊断中的一个重要步骤.通过对电路模型特征的研究,结合CSRDSE极小冲突集求解算法,提出结合故障... 基于模型诊断(model-based diagnosis)是人工智能领域中的重要研究方向,而基于极小冲突求诊断是求解诊断问题的经典方法,因此求解极小冲突是诊断中的一个重要步骤.通过对电路模型特征的研究,结合CSRDSE极小冲突集求解算法,提出结合故障输出结构特征的极小冲突求解算法MCSSFFO:首先对CSRDSE算法的剪枝规则进行了改进,避免对集合枚举树SE-Tree中非冲突集叶节点对应子叶节点的访问;其次,提出故障输出无关元件集与故障输出相关元件集等相关概念,并根据系统描述和观测给出求解故障输出无关元件集的方法;最后,提出非冲突集定理,即故障输出无关元件集的子集不是冲突集,并根据非冲突集定理,给出极小冲突集求解算法MCS-SFFO.MCS-SFFO算法在基于CSRDSE算法求冲突集方法的基础上对无解空间进一步剪枝,减少了调用SAT求解器的次数.实验结果表明:与CSRDSE算法相比,MCS-SFFO算法求解效率明显提升. 展开更多
关键词 基于模型诊断 极小冲突集 集合枚举树 SAT求解器 故障输出无关元件
下载PDF
Tree Model Optimization Criterion without Using Prediction Error
15
作者 Kunio Takezawa 《Open Journal of Statistics》 2012年第5期478-483,共6页
The use of prediction error to optimize the number of splitting rules in a tree model does not control the probability of the emergence of splitting rules with a predictor that has no functional relationship with the ... The use of prediction error to optimize the number of splitting rules in a tree model does not control the probability of the emergence of splitting rules with a predictor that has no functional relationship with the target variable. To solve this problem, a new optimization method is proposed. Using this method, the probability that the predictors used in splitting rules in the optimized tree model have no functional relationships with the target variable is confined to less than 0.05. It is fairly convincing that the tree model given by the new method represents knowledge contained in the data. 展开更多
关键词 Cross-Validation MODEL Optimization CRITERION One-SE RULE SIGNIFICANCE Level TREE MODEL
下载PDF
茶蚜在茶树不同部位上刺探行为的差异 被引量:19
16
作者 韩宝瑜 陈宗懋 《植物保护学报》 CAS CSCD 北大核心 2001年第1期7-11,共5页
电子学穿刺记录技术(EPG)研究表明,茶蚜口针在茶树芽下第1叶、芽头、嫩茎和第4叶韧皮部中分泌(E1)和吸食(E2)的历时分别占总试验时间的30.6%、22.8%、9.6%和5.4%,差异显著(p<0.05)。在第1叶上,多数供试茶蚜的口针第1次刺探就能... 电子学穿刺记录技术(EPG)研究表明,茶蚜口针在茶树芽下第1叶、芽头、嫩茎和第4叶韧皮部中分泌(E1)和吸食(E2)的历时分别占总试验时间的30.6%、22.8%、9.6%和5.4%,差异显著(p<0.05)。在第1叶上,多数供试茶蚜的口针第1次刺探就能够深入韧皮部、分泌消化液而产生E1波,第1次在韧皮部中的分泌(K1)就能引发从韧皮部的吸食(E2)。但在芽头、嫩茎和第4叶上,只有少数供试茶蚜有这样的刺吸活动。证实茶蚜嗜好第1叶。该习性与第1叶的营养组分和物理特性相关。 展开更多
关键词 茶蚜 茶树 刺探行为 电子学穿刺记录技术 分泌 吸收
原文传递
3N+1猜想证明探索 被引量:3
17
作者 崔岩 崔朝栋 《北华航天工业学院学报》 CAS 2020年第3期1-3,共3页
本文介绍了3N+1猜想的背景及国内外研究概况,提出四个公理和一个引理,探索了五种证明猜想方法。
关键词 猜想 自然数 偶数 奇数 化整为零 根树 树叶 损益 序列值
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部