基于真值表搜索的逻辑函数自动化简方法

研究逻辑函数的化简方法具有重要理论价值和实际工程意义。基于真值表和卡诺图的等价性,本文提出一种基于真值表搜索的逻辑函数自动化简方法。在穷举搜索真值表中最小项组基础上,通过检查和合并而实现逻辑函数的自动化简。该方法不受变量数目限制,易于编程,为多变量数字系统的自动化设计提供了一条有效的系统化解决途径。     

对逻辑代数中一个定理的注记

本文提出了逻辑代数的一个重要引理,从这个引理出发,给出了文[1]中定理2的另一简捷证明.     

浅析逻辑函数的卡诺图化简法

本文介绍了用卡诺图化简逻辑函数的一般方法,说明了化简过程中需要注意的问题。     

对称图法化简逻辑函数之对称方形图法

使用一种新的逻辑函数化简的图形法,使得化简5变量及以上的逻辑函数变得简单、直观、容易操作。这种对称方形图法化简方法采用方形图的对称性并在格雷码中找到一种既能满足最小项逻辑相邻,又能保证最小项对称相邻并符合方形图的对称性质的编码。化简过程则是根据方形图的对称性找出所有相邻的最小项,从而消掉n个变化的量,保留(m-n)个不变的量,最后将输出结果表示为与或式得到最终结果。这种化简方法对于任意变量的逻辑函数都适用并且可以将复杂度减少到最小,清晰度提升到一定的高度。     

逻辑方程求解初步

本文通过研究逻辑变量之间的函数关系,利用分解定理和函数最小项展开式理论,总结出求解逻辑方程的一般方法。     

由卡诺图获取逻辑函数最简POS表达式的两种方法

讨论了卡诺图在以POS形式化简逻辑函数过程中的应用 ,并给出了由卡诺图获取逻辑函数最简POS表达式的两个算法     

逻辑代数中三个主要问题的研究

本文运用逻辑代数的基本理论及“图式结合”的逻辑思想方法，研究并解决了逻辑代数中三个主要问题。     

卡诺图法在多变量逻辑函数化简中的扩展应用

本文在原有卡诺图法的基础上,将分离变量引入其中,使得多变量逻辑函数的化简过程更加简单。     

逻辑函数的另一种化简方法--Q-M化简法

本针对当前多数数字电子电路教材中化简逻辑函数采用的代数化简法和卡诺图化简法，介绍一种适用于计算机分析和处理的逻辑函数的另一种化简方法，即Q—M化简法，也称为系统列表化简法。     

用Quine-McCluskey法化简逻辑函数

介绍用Quine—McCluskey法分别对一般的、含有无关项的和多输出的逻辑函数进行化简。该方法更具系统性，便于计算机处理。     

卡诺图在逻辑代数中的典型应用

本文总结出卡诺图中的运算规则,将两个逻辑函数的逻辑运算置于卡诺图中进行,从而简化了两个逻辑函数的逻辑运算。     

Motivating Constraints of a Pedagogy-Embedded Computer Algebra System

The constraints of a computer algebra system (CAS) generally induce limitations on its usage. Via the pedagogical features implemented in such a system, “motivating constraints” can appear, encouraging advanced theoretical learning, providing a broader mathematical knowledge and more profound mathematical understanding. We discuss this issue, together with two examples from Calculus, which show an important feature of an instrumentation process.     

漫画意象表现的“反常合道”

当今一些漫画作者对漫画创意求新的价值观在理解上产生偏差,导致创作的画面形象虽有“反常”的特征,但缺少“合道”的内涵,不仅不能达到漫画作品本身的表现目的,甚至引起了读者的误解,其根源就在于创作中的形象表现背离了“反常合道”的艺术辩证法则。通过分析“反常合道”的渊源、本质特征为切入点和依托,深入分析了漫画意象表现“反常合道”的实质内涵及其形成的基础。     

用计算机代数系统求解磁屏蔽问题

借助Mathematica4.1系统软件精确求解了具有轴对称分布磁场的磁屏蔽问题,显示了计算机代数系统强大的符号运算和作图能力。     

模归约算法表达式自动生成算法设计与实现

多项式模归约算法是计算机代数中的基本问题之一,在编码算法和密码体制设计中有着广泛应用。基于对模归约数学基础的分析,设计了模归约算法表达式自动生成算法,只要选择实现所需的字宽w和模多项式M（x）的系数,即可自动生成对应的模规约算法表达式,为模规约算法在密码编码学中的应用提供了基础。     

论计算机水墨动画意境的表现视角

以计算机作为工具创作的计算机水墨动画代表着水墨动画艺术发展的趋势。其最大的特点是多视角追求意境美,其表现形式分为二维和三维,其应用范围包括广告、影视、游戏等。文章从创意设计、水墨画面绘制、影视语言、声音、后期制作、时空等方面阐述了计算机水墨动画意境的多元表现视角。