布尔表达式相关论文
随着人类社会各个领域都在高速信息化、数字化发展,对信息安全的保护也变得越来越重要,密码是保证信息安全的一种必要手段,一般通......
布尔表达式化简是一个NP问题,求给定布尔表达式的最简等价式的系统性算法是一个仍待解决的问题。布尔表达式的化简在逻辑电路的优......
现有的社区搜索算法难以在网络中找到满足给定复杂属性条件的社区.同时,随着网络规模的不断扩大,单机串行的社区搜索算法也已无法......
布尔表达式在可靠性工程、人工智能以及数据库等领域有着广泛的应用,如何在计算机上方便有效地实现布尔表达式的演绎是一个重要的......
从目前电子设计自动化(EDA)的现状看,在电子电路设计的输入方面,将更多地使用VHDL语言来描述电子电路。 最初,VHDL硬件描述语言只......
随着数字电路分析与设计的变量数不断增加,例如,自动测试图象的产生,电路中信号几率的测试,等等,使布尔方程的变量数可达到几十个......
Bertrand Meyer是同时活跃于学术和商业二界的软件先驱。他目前担任瑞士理工学院的软件工程协会主席。他撰写了数量浩繁的论文和书......
在程序设计中,使用转向语句转向常常是以某一条件是否成立为前提的。上面介绍的命名表达式虽然也能部分地达成这一功能,但有时在......
本文叙述一个三级门4×4位乘法器的设计以及采用34个EGL电流导引单元实现该乘法器的大规模集成电路。采用定型的单级通用逻辑门作......
本文对作者在ＰＲＮＳ数母加法器的研制中提出的一种新的ＰＲＮＳ数母加法器的逻辑结构，就其极为关键的模数选择问题在多个方面进行了严密的分析和比......
本文主要针对实际中往往需要把二进制数转换为十进制数或者反之把一十进制数转换为二进制而考虑的一种实现此种转换的电路。设计的......
试题名称:计算机原理一、填空:1.微型计算机输入/输出的寻址方式有____、____.2.控制器的结构形式有____、____.3.在比较操作之后......
湘教版普通高中数学课程标准实验教科书(选修4-10)《开关电路与布尔代数》是根据教育部制订的《普通高中数学课程标准(实验)》(以......
本文将二值逻辑代数推广为多值逻辑代数,并提出了一种新的基于多值逻辑代数理论的多状态系统的分析方法。二状态情况下的串联和并......
它好象一个概率数学证明技术一样,在其中你允许接受者选择两种之一。——Nrman Shapiro [回答]是的,…但能证明剩下的怀疑是小到......
本文通过对电信通信网的分析,提出对通信网可靠性的分析应同时考虑组成网络边和点有效(或失效)概率对全网的影响。并以此提出布尔......
本文阐述了一个静态软件测试工具中使用的规约语言的设计和相应翻译工具的实现.该规约语言以一阶逻辑和集合论为基础,提供了集合、......
本文论述了可控硅逻辑无环流电枢可逆自动调速系统和磁场可逆自动调速系统的逻辑设计。借助于卡诺图,推导出两系统逻辑装置中各开......
企业是现代社会的一种细胞,它由一群为了达到一个共同目的而使用共同资源的人组成,在企业中,信息是最重要的资源,一个企业的信息......
社区搜索旨在寻找包含给定节点集的社区,能够快速获取个性化的社区信息.针对现有社区搜索算法难以满足复杂搜索条件的现状,提出条......
基于模糊集合方法和Wordnet的查询扩展技术,提出了一种用户查询词扩展的信息检索方法。先用Wordnet找出查询词的同义词,再利用广义......
本文给出一个方法,通过引进新的变量把一个一般的布尔表达式化为逻辑等价的、带有存在量词的合取范式,其连接符的个数至多为原式的......
小读者们喜欢看《名侦探柯南》吗?主人公柯南善于推理,聪明而勇敢,肯定打动了不少人。今天我们也来当一回小侦探,进行推理破案。盗......
设计和编写测试用例是软件测试中最重要的步骤。分析机栽系统软件需求，系统状态转换或事件触发总是以满足一个或多个条件为前提的。......
为探讨单输出多级最佳“与非”逻辑网络CAD的理论及新的逻辑网络综合方法,本文定义了一种立方运算——间填运算。由本原蕴涵项计算......
文章提出一种基于布尔表达式的可生存性控制系统的有限状态机的设计方法。基于系统服务、节点功能和故障元素之间的布尔函数关系．给......
本文对布尔表达式的可满足性问题作了进一步的研究，证明了该问题的充要条件，本文把布尔表达式可满足性的“判定的问题”与它的“求解......
本文介绍了一种程序开发方法的关键概念和关键技术，以及时间和空间等高级概念。通过给出一个实例，简单说明这种理论在程序开发过程中......
在以文档和数据为中心的环境里，XML自从诞生之后，迅速得到来自各方技术联盟以及研究机构支持与关注。现在，许多厂商开发的应用程序都......
研究了信息空缺问题中的多值逻辑,并讨论了多值逻辑对逻辑代数、关系数据库的影响以及SQL对多值逻辑的支持.......
针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测......
该文充分深入地利用了待测系统中的约束条件,并在组合测试用例集中筛选出最优的测试用例。欲采取的方法是先将约束条件转化为布尔......
近年来,随着空间定位技术和移动互联网的飞速发展,海量空间文本信息从web和移动手机应用中不断产生。如何高效地将这些空间文本信......
为了使空间文本数据的处理更加快捷准确,针对基于位置的发布/订阅提出了将R-tree与布尔表达式有效结合的索引结构TR-tree.TR-tree......
第四章Ｊａｖａ语言的流控制Ｊａｖａ语言是通过流控制来执行程序代码，完成一定任务的。与Ｃ／Ｃ＋＋一样，Ｊａｖａ的流控制语句包括条件语句、循环语句、转移语句和异常......
布尔表达式约束在软件规格说明和程序中广泛存在,这些约束可作为软件系统的模型,成为测试用例生成依据。本文调研分析基于布尔表达......
S盒是许多加密算法唯一的非线性部件，其安全性对这些算法的密码分析至关重要。S盒输出的布尔表达式（即模2域上的代数多项式）被用于衡......
1 COMSOL停止条件在进行稳态求解时,COMSOL迭代求解以收敛条件满足作为计算的停止条件,但是在瞬态分析时,计算何时停止可由用户自......
目前，软件测试是一项大型的软件工程中必不可少的且非常重要的一部分，而在近年的大型软件测试中，广泛地采用修正条件判定覆盖测试准则......
【正】 1 学习难点1.1 标识符的作用域程序中任一标识符,如常量、变量、类型、过程名、函数名等都有自己的作用域,并从而分为局部......
针对配电网设备种类多、数量大和分布广等特点,提出了一种基于无线通信的操作控制系统。采用布尔表达式作为设备操作的前置条件,设......
