定序窗口布尔表达式匹配技术研究 被引量：4

1

作者 曹京 刘燕兵 +2 位作者 刘萍 谭建龙 郭莉 《通信学报》 EI CSCD 北大核心 2007年第12期125-130,共6页

提出了布尔表达式匹配技术,给出了算法框架,在此框架上实现了2种常用的实现方式;为了进一步增加布尔表达式的描述功能,增加了定序和窗口2个限制条件,提出了BitCount_OWBE算法,通过理论分析和实验数据证明该算法在多数情况下仍然可以达... 提出了布尔表达式匹配技术,给出了算法框架,在此框架上实现了2种常用的实现方式;为了进一步增加布尔表达式的描述功能,增加了定序和窗口2个限制条件,提出了BitCount_OWBE算法,通过理论分析和实验数据证明该算法在多数情况下仍然可以达到原先的性能,从而很好地解决了上万规模的复杂规则匹配问题。 展开更多

关键词 布尔表达式匹配 定序窗口布尔表达式匹配 BitCount_OWBE算法

在线阅读 下载PDF 职称材料

基于故障的布尔表达式测试技术综述 被引量：3

2

作者 孙昌爱 程庆顺 《计算机科学》 CSCD 北大核心 2013年第3期16-23,40,共9页

布尔表达式是软件规格说明与程序实现中的关键成份,严重影响软件的正确性。如何有效地测试布尔表达式是软件测试领域的一个重要研究方向。介绍了基于故障的软件测试的基本概念与原理,归纳了布尔表达式的各种故障类型,讨论了不同故障类... 布尔表达式是软件规格说明与程序实现中的关键成份,严重影响软件的正确性。如何有效地测试布尔表达式是软件测试领域的一个重要研究方向。介绍了基于故障的软件测试的基本概念与原理,归纳了布尔表达式的各种故障类型,讨论了不同故障类型之间的检测包含关系;评述了几类代表性的面向布尔表达式的测试策略,提出了一种比较框架并比较了各种策略的适用情形、故障检测能力与测试用例精简程度。针对现有研究工作的不足,探讨了几个值得研究的问题,简要介绍了近年来此领域的研究工作。 展开更多

关键词 布尔表达式 基于故障的软件测试 测试策略 测试用例生成 故障类型

在线阅读 下载PDF 职称材料

基于布尔表达式图的可逆电路综合方法 被引量：1

3

作者 卜登立 郭鸣 《电子学报》 EI CAS CSCD 北大核心 2020年第3期494-502,共9页

本文基于布尔表达式图(Boolean Expression Diagram,BED)提出一种可逆电路综合方法.该方法使用BED表示函数,采用逐BED结点方式综合可逆电路.在综合一个结点时,通过考虑其子结点函数的值是否还会被后续电路使用,基于由NOT、CNOT以及混合... 本文基于布尔表达式图(Boolean Expression Diagram,BED)提出一种可逆电路综合方法.该方法使用BED表示函数,采用逐BED结点方式综合可逆电路.在综合一个结点时,通过考虑其子结点函数的值是否还会被后续电路使用,基于由NOT、CNOT以及混合极性Peres门构成的门库构建该结点的局部最优可逆子电路.为进一步改善所得电路的成本,根据函数表达式的乘积项中变量对的共享度对变量进行分组实现BED中变量的排序.使用一组基准函数对所提出方法进行了验证.结果表明所提出方法具有较高时间效率.与现有使用决策图作为函数表示模型的综合方法相比,所提出方法能改善综合所得可逆电路的量子成本,且在许多情况下还能减少量子位数和垃圾线数. 展开更多

关键词 可逆电路 逻辑综合 布尔表达式图 变量排序

在线阅读 下载PDF 职称材料

一种改进的布尔表达式自下而上分析的语法制导翻译的方法 被引量：3

4

作者 谷洪亮 《小型微型计算机系统》 CSCD 北大核心 2001年第7期837-838,共2页

本文针对文献〔1〕中布尔表达式文法和语义子程序不能适用于算符优先分析的语法制导翻译法的局限 ,从算符优先分析法和语法制导翻译的定义及本质特点出发 ,提出了一种改进方法 ,实现了算符优先分析制导翻译布尔表达式 .

关键词 语法制导翻译 算符优先分析法 布尔表达式 编译程序

在线阅读 下载PDF 职称材料

基于数值计算的布尔表达式约简工具

5

作者 刘光远 苑森淼 董立岩 《计算机工程与应用》 CSCD 北大核心 2007年第12期83-85,103,共4页

运用数论理论中素数的性质和特点,将符号计算问题转化为数值计算问题,设计了一个布尔表达式化简工具。在理论上根据素数的性质重新定义了布尔函数的合取、析取以及非运算,并提供了相应的推理规则;提出基于素数性质的布尔函数约简算法。... 运用数论理论中素数的性质和特点,将符号计算问题转化为数值计算问题,设计了一个布尔表达式化简工具。在理论上根据素数的性质重新定义了布尔函数的合取、析取以及非运算,并提供了相应的推理规则;提出基于素数性质的布尔函数约简算法。用VC++实现了布尔表达式约简工具,并为该工具在底层构建了大数据计算模块,以确保对变量个数没有局限性。该工具既可独立使用,也可以提供DLL作为其它软件、工具、算法的一部分。在移动通信用户流失分析中应用了该工具,取得较好的效果。 展开更多

关键词 布尔表达式 约简 素数 数偶

在线阅读 下载PDF 职称材料

求S盒布尔表达式的若干算法探讨

6

作者 李晓东 陶涛 《计算机工程与应用》 CSCD 2012年第35期85-87,共3页

S盒是许多加密算法唯一的非线性部件,其安全性对这些算法的密码分析至关重要。S盒输出的布尔表达式(即模2域上的代数多项式)被用于衡量S盒的非线性度等用途。在已知S盒真值表情况下,对求S盒各输出布尔表达式的各种算法进行了探讨和总结... S盒是许多加密算法唯一的非线性部件,其安全性对这些算法的密码分析至关重要。S盒输出的布尔表达式(即模2域上的代数多项式)被用于衡量S盒的非线性度等用途。在已知S盒真值表情况下,对求S盒各输出布尔表达式的各种算法进行了探讨和总结。其中,折半异或法在普通PC计算机上只需要m2m-1次操作,其中m为S盒的输入位数,且不需要占用额外的内存。 展开更多

关键词 密码 S盒 布尔函数 布尔表达式 算法

在线阅读 下载PDF 职称材料

一般布尔表达式转化成合取范式的复杂性注记

7

作者 朱洪 魏景东 《微电子学与计算机》 CSCD 北大核心 1990年第4期11-12,共2页

本文给出一个方法,通过引进新的变量把一个一般的布尔表达式化为逻辑等价的、带有存在量词的合取范式,其连接符的个数至多为原式的7倍.

关键词 布尔表达式 合取范式 复杂性 注记

在线阅读 下载PDF 职称材料

布尔表达式匹配问题研究 被引量：5

8

作者 曹京 谭建龙 +1 位作者 刘萍 郭莉 《计算机应用研究》 CSCD 北大核心 2007年第9期70-72,108,共4页

提出了布尔表达式匹配问题,并给出了它的形式化定义;提出了一个解决布尔表达式匹配问题的通用算法框架,并在此框架上给出了一种算法及其改进;通过理论分析和实验数据给出了影响布尔表达式匹配算法性能的因素和它们之间的关系。

关键词 布尔表达式匹配 计数算法 最长过滤算法

在线阅读 下载PDF 职称材料

任意布尔表达式的单调分解

9

作者 刘永才 《自然杂志》 1989年第5期394-394,共1页

文[1]和文[2]分别给出了积之和范式与和之积范式的单调分解。但在逻辑综合中大量遇到简化的布尔表达式,故本文给出任意布尔表达式的单调分解。

关键词 布尔表达式 逻辑综合 大项 积之 布尔函数 子链 子均 和式

在线阅读 下载PDF 职称材料

基于布尔表达式约束的测试用例生成技术 被引量：1

10

作者 孙溢 阳小华 +3 位作者 刘杰 余童兰 吴志强 陈智 《计算机与现代化》 2019年第1期86-94,共9页

布尔表达式约束在软件规格说明和程序中广泛存在,这些约束可作为软件系统的模型,成为测试用例生成依据。本文调研分析基于布尔表达式约束的测试用例生成方法,主要分为基于约束语法的测试和基于约束语义的测试。归纳总结基于约束语法测... 布尔表达式约束在软件规格说明和程序中广泛存在,这些约束可作为软件系统的模型,成为测试用例生成依据。本文调研分析基于布尔表达式约束的测试用例生成方法,主要分为基于约束语法的测试和基于约束语义的测试。归纳总结基于约束语法测试的各种故障类型和测试策略,并比较各种测试策略的适用情形和故障检测能力,也对基于约束语义测试的各种约束获取和求解方法进行性能分析,并介绍了典型工具。最后对未来的研究发展进行展望。 展开更多

关键词 软件测试 测试用例生成 约束 布尔表达式

在线阅读 下载PDF 职称材料

布尔表达式真值自动求解算法设计与实验研究 被引量：2

11

作者 李全艳 何远强 +1 位作者 彭海平 龚红仿 《信息系统工程》 2014年第4期132-134,共3页

布尔表达式被广泛应用于应用系统的流程控制,控制条件的逻辑正确性是应用系统正确执行的必要条件。本文探讨了布尔表达式真值自动求解问题,设计了布尔表达式合法性的检查、表达式中布尔变量个数的检测、计算表达式的真值等算法,并通过... 布尔表达式被广泛应用于应用系统的流程控制,控制条件的逻辑正确性是应用系统正确执行的必要条件。本文探讨了布尔表达式真值自动求解问题,设计了布尔表达式合法性的检查、表达式中布尔变量个数的检测、计算表达式的真值等算法,并通过文本文件输入多个布尔表达式,验证了算法的正确性。 展开更多

关键词 布尔表达式 真值表 中缀表达式 后缀表达式 文本输入

在线阅读 下载PDF 职称材料

结合因式分解与布尔表达式图的可逆电路综合方法

12

作者 卜登立 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2021年第10期1617-1626,共10页

为降低由布尔表达式图(BED)综合所得可逆电路的成本,提出一种将因式分解与BED表示模型相结合的可逆电路综合方法.给定布尔函数的积之异或和(ESOP)覆盖,首先由ESOP立方体的共享零抑制多输出决策图表示借助代数除法对立方体实施因式分解,... 为降低由布尔表达式图(BED)综合所得可逆电路的成本,提出一种将因式分解与BED表示模型相结合的可逆电路综合方法.给定布尔函数的积之异或和(ESOP)覆盖,首先由ESOP立方体的共享零抑制多输出决策图表示借助代数除法对立方体实施因式分解,并在此基础上构建BED;然后将BED结点映射为可逆门级联.对基准函数的可逆电路综合结果表明,该方法具有较高的时间效率.与现有将有向无环图作为函数表示模型的综合方法相比,该方法在许多情况下能降低综合所得可逆电路的量子成本和量子位数.从平均角度看,与结合变量分组和BED表示模型的综合方法相比,该方法可将量子成本和量子位数分别降低5.01%和5.47%. 展开更多

关键词 可逆电路 积之异或和展开 因式分解 共享零抑制多输出决策图 布尔表达式图

在线阅读 下载PDF 职称材料

用布尔表达式推理破案

13

作者 郑续玲 《少年电脑世界》 2020年第6期27-29,共3页

小读者们喜欢看《名侦探柯南》吗?主人公柯南善于推理,聪明而勇敢,肯定打动了不少人。今天我们也来当一回小侦探,进行推理破案。盗窃案现场某地发生了一起盗窃案,现场一片狼藉。我们通过初步侦查很快锁定了四名嫌疑人。但是这四个人非... 小读者们喜欢看《名侦探柯南》吗?主人公柯南善于推理,聪明而勇敢,肯定打动了不少人。今天我们也来当一回小侦探,进行推理破案。盗窃案现场某地发生了一起盗窃案,现场一片狼藉。我们通过初步侦查很快锁定了四名嫌疑人。但是这四个人非常狡猾,谁也不承认自己是小偷,还把罪责推到别人身上。我们一起来看看他们四个人说了什么吧。已知三个人说的是真话,一个人说的是假话。现在根据这些信息,你能辨别出谁是小偷吗?是不是有点儿难呢?我们可以用Scratch来辨别这些话的真假。 展开更多

关键词 一片狼藉 布尔表达式 盗窃案 小偷 推理 破案 辨别

在线阅读 下载PDF 职称材料

布尔表达式化简的一种算法实现

14

作者 程永上 张家超 《连云港职业大学学报》 1999年第3期35-37,41,共4页

布尔表达式的化简就是通过某种手段（如真值表、卡诺图、公式法等），将一复杂的布尔表达式转换成一个等价的简单的布尔表达式。本文给出了一种计算机自动实现的布尔表达式的化简方法。将常规表达式中的项改造成含有每个输入变量的多维... 布尔表达式的化简就是通过某种手段（如真值表、卡诺图、公式法等），将一复杂的布尔表达式转换成一个等价的简单的布尔表达式。本文给出了一种计算机自动实现的布尔表达式的化简方法。将常规表达式中的项改造成含有每个输入变量的多维体，利用多值映射函数，实现化简，从而降低了多输入变量布尔表达式化简的工作量。本算法经随机测试，证明是一个行之有效的好算法。 展开更多

关键词 布尔表达式 多维体 二进制匹配 逻辑电路 布尔匹配 化简方法 化简算法 多值映射函数

在线阅读 下载PDF 职称材料

布尔函数表达式的求解算法 被引量：4

15

作者 陈勤 陈伟 周律 《计算机工程与应用》 CSCD 北大核心 2002年第8期87-88,共2页

文章分析了手工求解布尔函数表达式的常用方法,引入了布尔函数的基本积、最小积、最小积基集的概念,提出了布尔函数表达式的一种求解算法。

关键词 扩压函数 布尔函数 分组密码 密码学 布尔函数表达式 求解算法

在线阅读 下载PDF 职称材料

神经网络化简非多项式混合布尔算术表达式 被引量：1

16

作者 刘彬彬 凤维杰 +1 位作者 郑启龙 李京 《小型微型计算机系统》 CSCD 北大核心 2023年第3期449-455,共7页

混合布尔算术表达式是指混合使用了位运算符和算术运算符的表达式,其是一种先进的软件混淆技术.现有的反混淆方法虽然能够化简特定类型的混合布尔算术表达式,但是对非多项式混合布尔算术表达式仅有有限的化简效果.本文提出一种字符串到... 混合布尔算术表达式是指混合使用了位运算符和算术运算符的表达式,其是一种先进的软件混淆技术.现有的反混淆方法虽然能够化简特定类型的混合布尔算术表达式,但是对非多项式混合布尔算术表达式仅有有限的化简效果.本文提出一种字符串到字符串的解决方案NeuSim,它通过神经网络来学习和化解非多项式混合布尔算术表达式.首先,本文分别构建基于序列到序列架构和图序列架构的神经网络模型.其次,本文生成一个大规模的非多项式混合布尔算术表达式数据集,它包含一百万个形式多样的表达式样本.在数据集上训练之后,NeuSim可以将一个非多项式混合布尔算术表达式化简为等价的简单表达式.实验结果表明,NeuSim的化简正确率是已有方法的8倍,并且其化简时间低于0.01秒. 展开更多

关键词 混合布尔算术表达式 表达式化简 序列到序列神经网络 图序列神经网络

在线阅读 下载PDF 职称材料

关于S—盒的布尔函数表达式 被引量：3

17

作者 易训 《信息安全与通信保密》 1995年第2期55-60,共6页

提出一种求S—盒的布尔函数表达式的系统方法,并由此法推出了DES中所有S—盒的布尔函数表达式,根据这些布尔函数表达式又导出了DES中S—盒的几点简单性质。

关键词 秘密密钥分组密码体制 DES S—盒 布尔函数表达式

原文传递

遗传算法用于NP完全问题的求解 被引量：8

18

作者 杨青 马军 《山东大学学报（理学版）》 CAS CSCD 北大核心 2001年第2期171-177,共7页

讨论了如何利用遗传算法求解布尔表达式的可满足性问题 ,并给出该结果对求解其他NP完全问题时的应用 .

关键词 遗传算法 布尔表达式可满足问题 NP-完全问题

在线阅读 下载PDF 职称材料

具有约束条件的组合测试用例集的构建方法 被引量：1

19

作者 丁怀宝 高建华 《计算机工程与设计》 CSCD 北大核心 2010年第14期3189-3192,3206,共5页

针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测系统中的约束条件进行处理,将约束条件先转化为合取范式再转化为布尔表达式的形式。利用布尔可满足性求解... 针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测系统中的约束条件进行处理,将约束条件先转化为合取范式再转化为布尔表达式的形式。利用布尔可满足性求解器进行求解,找出满足约束条件的约束组合测试用例。最后运用AETG-SAT算法得到较优的组合测试用例集,并通过实验表明了AETG-SAT算法的优越性。 展开更多

关键词 组合测试 约束条件 合取范式 布尔表达式 可满足性求解器

在线阅读 下载PDF 职称材料

基于改进模糊集合方法的用户查询词扩展的信息检索 被引量：1

20

作者 宗莲松 《西华大学学报（自然科学版）》 CAS 2012年第4期42-48,69,共8页

基于模糊集合方法和Wordnet的查询扩展技术,提出了一种用户查询词扩展的信息检索方法。先用Wordnet找出查询词的同义词,再利用广义Jaccard系数来计算2个同义词之间的相似性,选取相似性较大的同义词进行查询词扩展后实现信息检索。此方... 基于模糊集合方法和Wordnet的查询扩展技术,提出了一种用户查询词扩展的信息检索方法。先用Wordnet找出查询词的同义词,再利用广义Jaccard系数来计算2个同义词之间的相似性,选取相似性较大的同义词进行查询词扩展后实现信息检索。此方法不仅保留了模糊集合方法对查询词处理简单且容易理解的特性,还很好地解决了模糊集合方法不能对文档进行精确排序的问题。最后,提出了基于矩阵的布尔式向析取范式转化的算法,该算法转换简单快速,解决了模糊集合方法中随着查询词数量的增加使得布尔表达式转化成析取范式变得很复杂的问题。 展开更多

关键词 WORDNET 模糊集合方法 析取范式 布尔表达式

在线阅读 下载PDF 职称材料