期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
基于粗糙集与遗传算法的储层识别技术 被引量:4
1
作者 李铁军 薛玲 +2 位作者 郭大立 杜国峰 许江文 《断块油气田》 CAS 2014年第2期196-200,共5页
储层的含油气性识别是储层综合评价的难点和关键,文中以粗糙集理论为基础,利用布尔逻辑和粗糙集理论相结合的离散化算法对每个条件属性进行离散化处理;利用基于遗传算法的粗糙集理论提取具有一定决策概率的不精确判别规则;利用规则的支... 储层的含油气性识别是储层综合评价的难点和关键,文中以粗糙集理论为基础,利用布尔逻辑和粗糙集理论相结合的离散化算法对每个条件属性进行离散化处理;利用基于遗传算法的粗糙集理论提取具有一定决策概率的不精确判别规则;利用规则的支持度、置信度和覆盖度挑选有效规则,进行储层类型的识别。实例应用结果表明,该方法提高了储层识别的正确率,提取的判别规则具有可解释性且较易理解,能够有效挖掘勘探数据中的潜在关键信息,对储层开发方案的制定具有重要的指导意义。 展开更多
关键词 储层识别 粗糙集 遗传算法 布尔逻辑 属性约简
在线阅读 下载PDF
逻辑函数适于双逻辑实现的探测算法 被引量:8
2
作者 夏银水 毛科益 叶锡恩 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第12期1522-1527,共6页
提出一种判定逻辑函数是否适于双逻辑实现的探测算法,直接从XOR逻辑的特点出发,即2个汉明距离为2的最小项可以由XOR逻辑表示.通过计算函数最小项之间的汉明距离分析其所具有的逻辑模式,给出探测适用于双逻辑实现的判断条件.该算法已用C... 提出一种判定逻辑函数是否适于双逻辑实现的探测算法,直接从XOR逻辑的特点出发,即2个汉明距离为2的最小项可以由XOR逻辑表示.通过计算函数最小项之间的汉明距离分析其所具有的逻辑模式,给出探测适用于双逻辑实现的判断条件.该算法已用C语言实现,并应用于MCNC benchmark电路的判定测试,实验结果验证了其有效性. 展开更多
关键词 布尔逻辑 Reed-Muller逻辑 汉明距离 探测算法
在线阅读 下载PDF
多故障测试生成的一种简化算法 被引量:3
3
作者 吴丽华 李涛 +1 位作者 邹海英 王鹏 《电机与控制学报》 EI CSCD 北大核心 2008年第3期348-352,共5页
针对求解布尔差分要做大量的异或运算,特别是求解高阶布尔差分繁琐的问题,提出一种具有约束条件的布尔差分简化方法。通过对布尔差分算法进行剖析,得出所求测试应该使测试集方程中的布尔函数f(X)随变量的改变而改变,由此可将差分方程表... 针对求解布尔差分要做大量的异或运算,特别是求解高阶布尔差分繁琐的问题,提出一种具有约束条件的布尔差分简化方法。通过对布尔差分算法进行剖析,得出所求测试应该使测试集方程中的布尔函数f(X)随变量的改变而改变,由此可将差分方程表示成恒等式。为保证故障能向输出端传播,需要加入测试矢量生成的约束条件,所以该方法只需通过求解恒等式及约束条件来得到完全测试集。通过采用简化算法和未采用简化算法实例的比较,证明了简化方法的正确性和简化性,仿真验证了所求测试矢量可以检测出设定故障。 展开更多
关键词 组合逻辑电路 布尔差分算法 测试生成算法 约束条件
在线阅读 下载PDF
基于乘积项的双逻辑实现探测算法 被引量:5
4
作者 叶锡恩 毛科益 夏银水 《电子学报》 EI CAS CSCD 北大核心 2009年第5期961-965,共5页
在基于函数最小项的双逻辑探测算法中,由于函数最小项个数将随着变量数的增加而急剧增大,使得算法因时间或空间的占用过大而失效.为此,本文提出了基于函数最简项的快速探测算法,弥补了其缺陷.由于基于最小项和最简项的探测算法所适用的... 在基于函数最小项的双逻辑探测算法中,由于函数最小项个数将随着变量数的增加而急剧增大,使得算法因时间或空间的占用过大而失效.为此,本文提出了基于函数最简项的快速探测算法,弥补了其缺陷.由于基于最小项和最简项的探测算法所适用的函数范围都有一定的局限性,因此进一步提出了将两种算法综合运用的策略,可有效改进探测效果.经MCNC Benchmark上电路的判定测试,验证了其有效性. 展开更多
关键词 boolean逻辑 Reed-Muller逻辑 汉明距离 探测算法
在线阅读 下载PDF
计算布尔E-导数的新算法 被引量:6
5
作者 厉晓华 杭国强 《电路与系统学报》 CSCD 北大核心 2012年第5期1-5,共5页
为了简化与-或-非代数系统布尔E-导数的计算过程,提出了一种基于表格的新算法。该算法通过用表格列出逻辑函数的1值最小项,并对1值最小项中相应位取反变换产生重复项来计算一阶布尔E-导数。二阶布尔E-导数通过相应两位的取反变换产生重... 为了简化与-或-非代数系统布尔E-导数的计算过程,提出了一种基于表格的新算法。该算法通过用表格列出逻辑函数的1值最小项,并对1值最小项中相应位取反变换产生重复项来计算一阶布尔E-导数。二阶布尔E-导数通过相应两位的取反变换产生重复项来得到。含任意项布尔函数的1值最小项和任意项中相应位取反变换产生重复的1值最小项和新的任意项来计算一阶布尔E-导数。二阶含任意项布尔E-导数通过相应两位取反变换产生重复的1值最小项和新的任意项来计算。该方法用表格模拟了计算布尔E-导数的过程。应用结果表明,与图形方法相比较,该方法不需要画图,操作简便,可适用求解多变量逻辑函数以及计算机编程。 展开更多
关键词 逻辑函数 布尔E-导数:表格算法 任意项
在线阅读 下载PDF
一种用于文本分类的逻辑推理方法探讨 被引量:1
6
作者 李东艳 张永奎 《电脑开发与应用》 2004年第4期7-9,共3页
针对使用布尔逻辑推理的 OCAT方法进行文本分类时存在的不确定文本比重较大的问题 ,提出带权重的 WOCAT文本分类算法。算法将文本属性权重信息用于推理及判别过程 ,在原有判别效果基础上对不确定文档进行进一步判别。
关键词 人工智能 文本分类 逻辑推理 OCAT 权值
在线阅读 下载PDF
LFNDIT:从不确定状态变换学习布尔网络
7
作者 黄羿 孔世明 +2 位作者 王以松 张明义 马新强 《计算机科学》 CSCD 北大核心 2020年第11期268-274,共7页
布尔网络是一种重要的基因调控数学模型,从布尔网络的状态变换推断其结构以发现基因之间的调控关系是布尔网络研究中长期关注的重要问题。已有的归纳逻辑程序算法不能从布尔网络的不确定(解释)状态变换学习推断其网络结构。为此,文中提... 布尔网络是一种重要的基因调控数学模型,从布尔网络的状态变换推断其结构以发现基因之间的调控关系是布尔网络研究中长期关注的重要问题。已有的归纳逻辑程序算法不能从布尔网络的不确定(解释)状态变换学习推断其网络结构。为此,文中提出了非确定解释转换学习(Learning From Non-deterministic interpretation Transitions,LFNDIT)算法从布尔网络异步更新语义下的解释变换学习其网络结构。首先将异步更新语义下的不确定解释变换集转换成确定解释变换集,然后利用Inoue等提出的从1步解释转换学习(Learning From 1-step state transition,LF1T)算法计算其对应的正规逻辑程序(布尔网络)。该算法的完备性得到了证明,初步的实验结果表明,该方法能有效地从不确定状态变换计算布尔网络的结构,从而为发现布尔网络的结构提供了新的思路。 展开更多
关键词 归纳逻辑程序 布尔网络 异步布尔网络 正规逻辑程序 LFNDIT算法
在线阅读 下载PDF
基于粗糙集汽车安全检测系统建模及应用研究 被引量:1
8
作者 赵越岭 石伟颖 张梦松 《农业装备与车辆工程》 2016年第2期26-28,32,共4页
为了弥补粗糙集理论不能直接处理连续数据的不足,提出了一种基于粗糙集和布尔逻辑连续属性离散化的改进方法,针对相同个数的断点情况时,取和最小的断点。计算结果表明,该算法能在决策属性不变的情况下,连续离散化的断点集数目减少,空间... 为了弥补粗糙集理论不能直接处理连续数据的不足,提出了一种基于粗糙集和布尔逻辑连续属性离散化的改进方法,针对相同个数的断点情况时,取和最小的断点。计算结果表明,该算法能在决策属性不变的情况下,连续离散化的断点集数目减少,空间复杂度和时间复杂度减少,为获取更为简洁的决策规则提供基础,并应用到汽车安全检测系统建模中。对汽车安全检测系统建模,首先应用改进算法对决策表中的连续属性进行离散化,然后利用粗糙集理论的属性约简来化简决策表,提取决策规则,分析规则,得出结论。 展开更多
关键词 粗糙集理论 布尔逻辑算法 连续属性离散化 决策表 建模
在线阅读 下载PDF
形式布尔算子的命题逻辑
9
作者 邓安生 孙铁利 《东北师大学报(自然科学版)》 CAS CSCD 2000年第3期99-103,共5页
在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的 .布尔算子命题逻辑用算子和算子的演算定性地描述和处理模糊命题的不确定性 ,将经典命题逻辑作为其特例 .
关键词 命题逻辑 恒真水平 形式布尔算子 模糊逻辑
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部