逻辑函数化简运算中卡诺图法的特殊应用

卡诺图是逻辑函数化简及运算的有力工具。介绍了用卡诺图对单输出特殊函数的化简以及两输出逻辑函数、多输出逻辑函数的逻辑运算方法，并通过例证说明卡诺图的一些特殊应用，在复杂逻辑函数化简中具有简单、快速、准确的特点。     

利用集合的运算作逻辑函数的卡诺图与化简

化简逻辑函数的方法有很多种,卡诺图化简法就是其中一种,如果在卡诺框中赋予集合的含义,然后利用集合的补、交、并运算,则可很容易地作出逻辑函数的卡诺图与化简,大大地简化了卡诺图化简法的过程.     

“填表法”化简多输出逻辑函数

Tison根据逻辑函数的包含律提出了一种化简逻辑函数的设想,按这一设想,几种具体的化简单输函数的方案已经产生,但按这一思想化简多输出函数的方案笔者尚未见到。本文提出利用最高素蕴涵项概念,通过填表的方法(以下简称“填表法”)化简多输出逻辑函数的方案。与目前通用的“Q—M法”比较,这一方案的特点是:①不必使用最小项,②主要过程是重复一个简单过程,便于人工处理,也便于上机,③在实现门数最小化的同时可实现连线数目的最小化。     

基于K图的逻辑函数变换方法

运用K图(卡诺图),不仅实现了与-或-非代数系统下逻辑函数的变换,并将逻辑函数的变换与化简结合起来,克服了代数法变换的繁琐与不足,丰富了变换的方法和途径;而且实现了将逻辑函数变换成与-异或代数系统下的RM展开式.K图法具有形象直观、方便快捷的特点,能提高数字电路的教学效果和设计效率.     

用计算机进行逻辑化简

<正> 用计算机进行辑逻化简是化简变量较多的逻辑函数的一种有效的方法。在Douglas Lewin著《Computer-Aided Design of Digital Systems》一书中已经有过叙述。本文在Qwine-McCluskey法的基础上,对辑逻变量用数值表示,于是得出以下四个性质,使得逻辑运算变成了数值运算在计算机中进行化简。     

通过空间相似度设置阈值的Douglas-Peucker算法

线状地物的化简是地图综合的重要组成部分,Douglas-Peucker算法作为一种经典的化简线状地物的算法,化简时需要进行多次实验才能选取到合适的阈值,得到最终化简结果。为了避免选取阈值繁琐的过程,通过计算不同阈值下化简前后线状地物间的空间相似度,并将绝对阈值转换为相对阈值,利用曲线拟合的方法得到相对阈值和空间相似度之间的关系。基于两者之间的关系,在使用Douglas-Peucker算法化简线状地物时,即可通过空间相似度来选取合适的化简阈值,提高了化简的效率。     

一类联合最大特征值函数优化问题

非光滑凸优化问题是运筹学的一类重要问题.束方法作为解决非光滑凸优化问题最有效的方法之一,已经被广泛地应用于各个领域.运用束方法对最大特征值函数与一般非光滑凸函数之和的优化问题进行研究.首先,对目标函数进行近似;其次,给出求解此类优化问题的带有罚项的束方法算法;最后,通过收敛性分析证明了算法产生的序列会收敛到原问题的最优解.     

编码器真值表与逻辑表达式的关系探讨

通过对编码器真值表的特点分析,利用卡诺图最小项合并规则得出了直接书写逻辑表达式的具体方法.该方法通俗易懂,特别在卡诺图化简、组合逻辑电路设计中具有一定的理论参考价值。     

卡诺图法化简逻辑函数一题多解的研究

通过分析、推理和证明 ,对卡诺图法化简逻辑函数出现的一题多解问题进行论证 ,阐述其产生原因和一般规律     

求解线性不等式组问题的一种新算法

通过引入线性不等式组问题的一类光滑价值函数,将其求解问题等价地转化为无约束优化问题的求解.利用这个价值函数,提出了求解线性不等式组问题的一种新的共轭梯度算法.在线性不等式组的解集非空有界条件下,证明了算法的全局收敛性.数值实验结果表明了算法具有稳定高效的实用性能.     

基于相似关系的变精度粗糙集的数据约简

基于最大相似类的变精度粗糙集模型．此模型把变精度粗糙集的基础由等价关系拓展到条件更弱的相似关系,更好地利用数据间的相关信息,扩大了粗糙集理论的应用范围．讨论了相似变精度粗糙集的性质与属性约简,举例说明了相似的变精度粗糙集在大学生体质检测数据约简中的应用．     

遗传算法和FD-MEI方法应用于二维电磁成象

从电磁散射的微分方程出发,利用不变性测试方程(MEI方程)与有限差分法求解电磁散射问题,由等效原理与格林函数的渐近式求得远区散射场,以测量的散射场和计算的散射场的最大偏差为目标函数,通过遗传算法优化介质参数使目标函数达到最小值来重构散射体,最后给出反演结果.     

多值逻辑函数组的置换

研究了由多值逻辑函数组构成的置换.定出了一类由q值逻辑函数构成的置换;采用q值逻辑函数组的置换构造了一类Bent函数和满足严格雪崩准则的函数;给出了求布尔置换的算法.     

基于粗糙集约简的水稻叶片叶绿素含量高光谱反演

利用高光谱技术可估测水稻冠层叶绿素含量,为水稻的长势遥感监测与农艺决策提供科学依据. 基于地面实测水稻叶片光谱数据,提出了一种粗糙集属性简约和支持向量回归相结合的叶绿素反演方法,解决了植被光谱指数相关性高易造成计算冗余以及降低水稻叶片叶绿素高光谱反演效率的问题. 首先选择18 个与水稻叶绿素含量相关性较大的植被光谱指数作为因变量,利用粗糙集约简植被指数数据空间得到含有6 个植被光谱指数的简约核;然后采用支持向量回归方法反演叶绿素含量. 基于全部指数反演及基于简约核指数反演的R2 分别为0.858 6与0.850 6. 因此,该方法与采用全部指数进行反演的结果相比,不但具有相当的反演精度,而且有效缩短了反演算法步骤及时间,为大数据处理提供了新的技术方法.     

基于相似关系的不完备模糊决策信息系统知识约简

在不完备信息系统和模糊决策信息系统及其粗糙集模型的基础上,提出了不完备模糊决策信息系统的概念,并基于相似关系及其粗糙集模型,给出了不完备模糊决策信息系统的粗糙集模型.该模型是不完备信息系统,完备模糊决策信息系统和经典决策信息系统粗糙集模型的推广.还给出了该系统的知识约简及其算法.     

着色Petri网的混杂系统仿真平台构架

提出一种以Petri网为仿真进程控制,以着色Petri网与Matlab交互为主题的混杂仿真跨平台构架. 该仿真构架通过运用和扩展着色Petri网中替代变迁的概念,结合融合库所和折叠功能,实现了混杂系统的复杂逻辑建模和连续系统内嵌. 同时,着色Petri网的分析功能在一定程度上缓解了逻辑结构复杂的混杂系统检验困难的问题.最后通过一个混杂系统实例的建模与仿真分析,验证了该平台的可行性与逻辑检验的有效性,为复杂混杂系统的建模与仿真提供了一条新途径.     

关于仿射内动机的等价类的一些结果

用多位逻辑函数的结构理论，对有限域上仿射内动机的等价类进行了研究，定出了几种仿射内动机的等价类。     

具有区间数的粗糙神经网络故障认定方法

针对具有区间数的信息系统．提出用粗糙神经网络求解其问题的方法．给出了粗糙神经网络的拓朴结构和学习算法以及粗糙神经网络的逼近定理．最后以歼击机的操纵面故障认定为例，构造了歼击机故障认定的粗糙神经网络．并通过仿真说明了方法的可行性和有效性．     

基于粗集的决策规则生成算法应用研究

在粗集理论的基本概念及知识表达系统定义的基础上,利用粗集方法进行决策分析,并以粗集理论在成绩决策中的应用为例,给出了基于粗集的决策规则生成算法.