布尔表达式相关论文
随着人类社会各个领域都在高速信息化、数字化发展,对信息安全的保护也变得越来越重要,密码是保证信息安全的一种必要手段,一般通......
布尔表达式化简是一个NP问题,求给定布尔表达式的最简等价式的系统性算法是一个仍待解决的问题。布尔表达式的化简在逻辑电路的优......
社区搜索旨在寻找包含给定节点集的社区,能够快速获取个性化的社区信息.针对现有社区搜索算法难以满足复杂搜索条件的现状,提出条......
基于模糊集合方法和Wordnet的查询扩展技术,提出了一种用户查询词扩展的信息检索方法。先用Wordnet找出查询词的同义词,再利用广义......
设计和编写测试用例是软件测试中最重要的步骤。分析机栽系统软件需求，系统状态转换或事件触发总是以满足一个或多个条件为前提的。......
文章提出一种基于布尔表达式的可生存性控制系统的有限状态机的设计方法。基于系统服务、节点功能和故障元素之间的布尔函数关系．给......
本文介绍了一种程序开发方法的关键概念和关键技术，以及时间和空间等高级概念。通过给出一个实例，简单说明这种理论在程序开发过程中......
针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测......
该文充分深入地利用了待测系统中的约束条件,并在组合测试用例集中筛选出最优的测试用例。欲采取的方法是先将约束条件转化为布尔......
近年来,随着空间定位技术和移动互联网的飞速发展,海量空间文本信息从web和移动手机应用中不断产生。如何高效地将这些空间文本信......
布尔表达式约束在软件规格说明和程序中广泛存在,这些约束可作为软件系统的模型,成为测试用例生成依据。本文调研分析基于布尔表达......
S盒是许多加密算法唯一的非线性部件，其安全性对这些算法的密码分析至关重要。S盒输出的布尔表达式（即模2域上的代数多项式）被用于衡......
1 COMSOL停止条件在进行稳态求解时,COMSOL迭代求解以收敛条件满足作为计算的停止条件,但是在瞬态分析时,计算何时停止可由用户自......
目前，软件测试是一项大型的软件工程中必不可少的且非常重要的一部分，而在近年的大型软件测试中，广泛地采用修正条件判定覆盖测试准则......
布尔表达式被广泛应用于应用系统的流程控制,控制条件的逻辑正确性是应用系统正确执行的必要条件。本文探讨了布尔表达式真值自动......
本文提出一种利用带变量的卡诺图计算网络可靠度的方法。先利用Shannon展开式把网络分解成若干串、并联的子网络。这种子网络成功......
布尔表达式是软件规格说明与程序实现中的关键成份,严重影响软件的正确性。如何有效地测试布尔表达式是软件测试领域的一个重要研......
随着互联网的迅猛发展，网络成为信息和文件传输的方便途径，不良信息和非法文件的增多，网络传输中文件内容过滤成为保障网络信息安全传......
本文针对文献〔1〕中布尔表达式文法和语义子程序不能适用于算符优先分析的语法制导翻译法的局限 ,从算符优先分析法和语法制导翻......
运用数论理论中素数的性质和特点，将符号计算问题转化为数值计算问题，设计了一个布尔表达式化简工具。在理论上根据素数的性质重新定......
