【摘 要】
：
逻辑函数是描述数字电路中输入变量与输出变量之间逻辑因果关系的重要工具,研究逻辑函数的约简具有重要的理论和实际意义。针对计算机化简逻辑函数普遍存在的算法复杂度高、
论文部分内容阅读
逻辑函数是描述数字电路中输入变量与输出变量之间逻辑因果关系的重要工具,研究逻辑函数的约简具有重要的理论和实际意义。针对计算机化简逻辑函数普遍存在的算法复杂度高、运算速度慢的问题,将粒计算思想与启发式搜索相结合来约简逻辑函数。首先将逻辑函数转化为最小项之和的表达形式,按照粒度由粗到细的次序,在不同粒度下的知识空间中利用吸收律和最小项之间的统计信息求取信息粒,当所有信息粒对应的最小项覆盖论域时,算法结束。算法由MATLAB编程实现。通过计算实例和算法复杂度分析证明了算法的快速性和有效性。
其他文献
基于属性的访问控制模型（ABAC）特别适用于大规模分布式网络。然而,由于网络环境的异构性以及策略控制的复杂性,其访问控制策略集往往庞大且缺乏统一语义,策略管理也因此变得复
网页主题挖掘对自然语言处理如网页文本分类、文摘自动生成、信息融合等具有重要意义。挖掘网页主题可以帮助用户更好地理解网页内容。尽管已有一些从普通文本中挖掘概念的工
随着信息技术和存储技术的不断创新，设备的存储容量也越来越大，随之而来的是取证过程涉案的存储介质多、容量大、取证分析任务重、工作效率低等问题，如何实现快速高效的取证分析
提出一种统一的图像自动分割模型。为了将图像分为颜色、纹理相近的不同的区域,提出了一个处理方法,具体分为两个步骤:首先,用改进的简单线性迭代聚类算法对输入图像进行预处
可计算性（Computability）即算法有解性,是数学和计算机科学领域中重要的概念之一。可计算性逻辑（Computability Logic,CoL）是关于可计算性的形式理论,是一种交互的资源逻辑。其中
对热带气旋的中心进行定位是预测其未来路径的基础。提出了一种基于椭圆拟合模型的全自动客观方法来代替传统的基于螺线拟合的方法,以实现热带气旋的中心定位。该方法包含梯度方向融合、椭圆线段选取、椭圆中心聚类以及气旋中心确定4个步骤。采用卫星红外图像进行实验,结果表明,提出的椭圆拟合定位方法与中国气象局发布的热带气旋最佳路径数据集在经度和纬度方向的偏差均值小于0.12度,为热带气旋中心定位提供了客观准确的参
利用GMM模型对自然图像块进行学习,对高斯分量的协方差矩阵做PCA,用其特征向量组成的矩阵作为子字典,用特征值的大小作为对稀疏系数加权的依据,并将该模型应用到CSR模型中得到一种新的去噪模型,并给出模型的优化算法。为了验证提出的模型的有效性,设计了比较的仿真实验,实验表明与一些先进的模型相比,该方法具有优势。
针对现有形态滤波算法结构固定、预设结构元素和偏倚校正系数等不足,提出一种具有多层结构的自适应形态滤波算法,多层结构共分为3层：输入层、中间计算层、偏倚系数校正层。该
交通领域个性化图像检索的关键是根据业务需求通过重点监控车辆的个性化特征在海量数据库中进行匹配,其目的是捕获与重点监控车辆相关的卡口信息。目前的图像检索算法包括基于文本的图像检索、基于内容的图像检索方法和基于语义的图像检索。针对交通领域的图像检索需求,提出了一种基于全局以及个性化感兴趣区域特征的图像检索算法。通过使用交通图像库进行检索验证,对个性化特征进行精准滤除,从而得到准确的检索结果。实验表明,
针对行人检测技术在智能交通系统中的应用,为了提高行人检测方法的有效性、实时性和准确性,将稀疏表达应用到图像的特征压缩中,提出一种基于HOG和LTP特征训练SVM分类器进行行