论文部分内容阅读
布尔表达式在可靠性工程、人工智能以及数据库等领域有着广泛的应用,如何在计算机上方便有效地实现布尔表达式的演绎是一个重要的问题.矩阵运算在计算机上是易于实现的,因此,提出了一整套的矩阵定义和运算规则,并利用布尔表达式的分析树,实现了布尔代数演绎的矩阵化方法.
矩阵化方法在布尔表达式化简中的应用
【摘 要】
：
布尔表达式在可靠性工程、人工智能以及数据库等领域有着广泛的应用,如何在计算机上方便有效地实现布尔表达式的演绎是一个重要的问题.矩阵运算在计算机上是易于实现的,因此,提出了一整套的矩阵定义和运算规则,并利用布尔表达式的分析树,实现了布尔代数演绎的矩阵化方法.
【机 构】
：
合肥工业大学计算机与信息学院VCC研究室(合肥) 合肥工业大学计算机与信息学院VCC研究室(合肥)
【出 处】
：
全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议
【发表日期】
：
2004年6期
其他文献
本文提出用擦去了四个角的平行四边形来模拟生成单纱和股纱,根据组成纱线纤维材料的不同,制作不同的纱线模板,按照用户输入的参数生成不同的纱线毛羽,得到了良好的计算机生成效果.
为了提高CT图像的清晰度,降低伪影对医生诊断的不利影响,文章提出了一种基于小波变换和软阈值法的CT图像伪影消除方法.实验表明该方法能较好的去除图像的伪影,而且尽可能多的保留图像的原始信息,达到了理想的效果.
传感器网络是目前无线网络领域一个非常活跃的研究分支,但构成网络的低成本传感节点本身资源的有限性,以及工作区域内环境的恶劣性使得节点失效无法避免,这也要求网络层的路由算法具有一定的容错性.本文分析了目前传感器网络中具有容错性的路由算法和潜在可用于网络容错的路由算法,并对其进行了分类和比较,指出其各自的特点.
基于Kirov逼近定理,研究一类带有附加导数条件的广义Bezier曲线拟合方法.该方法有助于CAGD领域的工程人员采用Bezier技术达到控制所设计曲线形状的目的.
与传统数字控制器设计不同,本文应用FPGA设计数字控制器.首先,应用加法树原理设计32bitsX8bits的乘法器,进而以这种乘法器为核心与控制理论相结合设计出数字控制器.具体选定一个对象,应用经典控制论,设计一个控制器模型使系统满足给定的性能指标,进而利用FPGA实现,并进行了系统仿真计算,验证了所设计的数字控制器达到设计性能指标要求.
设计了一个校园网认证授权计费系统框架,论述了该系统框架的工作原理.设计了一个用于该系统框架下各个组成部分相互通信的通信协议.最后,设计了一个包过滤状态防火墙,用于具体实施认证授权计费功能.
介绍了ECDLP(椭圆曲线离散对数问题)的基本概念、发展及研究现状.通过设计适当的数据结构,软件实现了基于椭圆曲线的DH密钥交换协议,说明了如何将ECDLP的基本原理应用于实际的方法和途径.仿真计算结果表明,本文设计的方法是正确的和高效的.
本文提出了一种新的创建虚拟三维训练环境的思路.讲述了三维场景的创建、视频的采集、三维目标的建立,并在三维场景的基础上实现了三维目标与视频的合成及融合.
随着现代半导体集成电路工艺的发展,栅的尺寸和氧化层的厚度越来越小,然而互连线的长度却有增加的趋势,这就造成了与之相关的天线效应越来越显著.本文介绍了天线效应的原理,以及修复方法.
阐明了基于对小波系数进行嵌入式编码的现代图像压缩算法的体系结构.对离散小波变换的基本工作原理进行了说明.阐述了如何通过位平面编码将小波系数分裂成重要的和不重要的系数集合.并且阐明了用零树和上下文条件进行重要系数的二值图编码的编码机制和其它一些重要图编码方法.另外,也考虑了精炼编码和符合位编码的常用方法.最后,给出每类具有代表性的几个编码算法的率失真性能,其中包括集合分裂多级树算法(SPIHT)和现