关于逻辑函数化简的行为诊断的研究

1

作者 王萍 路志英 +1 位作者 余家红 林孔元 《电子学报》 EI CAS CSCD 北大核心 1997年第11期102-104,共3页

本文以逻辑函数化简的行为诊断为研究背景，提出了一种适合于解题型ＩＣＡＩ系统中学生行为的、符合人类思维特征的认知诊断系统模型，详细论述了逻辑函数化简过程中，学生行为认知诊断的具体实现，在准确捕捉学生行为中的错误及错误原... 本文以逻辑函数化简的行为诊断为研究背景，提出了一种适合于解题型ＩＣＡＩ系统中学生行为的、符合人类思维特征的认知诊断系统模型，详细论述了逻辑函数化简过程中，学生行为认知诊断的具体实现，在准确捕捉学生行为中的错误及错误原因等重要问题上取得了有意义的研究成果． 展开更多

关键词 诊断模型 逻辑函数化简 ICAI 专家系统

在线阅读 下载PDF 职称材料

改进的Q-M逻辑函数化简方法 被引量：2

2

作者 徐俊平 程利新 《计算机工程》 CAS CSCD 北大核心 2011年第20期30-32,共3页

为进一步提高逻辑函数的化简速度,提出一种改进的Q-M逻辑函数化简方法。在迭代比较过程中设置2个权值以缩减可合并蕴涵项集合的大小,只对满足条件的蕴涵项进行合并处理,得到全部质蕴涵项。构造质蕴涵项与最小项关联图,利用启发式规则得... 为进一步提高逻辑函数的化简速度,提出一种改进的Q-M逻辑函数化简方法。在迭代比较过程中设置2个权值以缩减可合并蕴涵项集合的大小,只对满足条件的蕴涵项进行合并处理,得到全部质蕴涵项。构造质蕴涵项与最小项关联图,利用启发式规则得到能蕴涵全部最小项的最少质蕴涵项集合,从而得到逻辑函数的最小覆盖,完成逻辑函数化简。实验结果表明,该算法能降低迭代次数,减少逻辑函数的化简时间。 展开更多

关键词 逻辑函数化简 Q-M方法 质蕴涵项 二分图 最小覆盖

在线阅读 下载PDF 职称材料

降维d_j图及或-符合函数的化简

3

作者 杜歆 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2005年第3期281-283,291,共4页

提出了降维dj图,讨论了获得降维dj 图的代数方法和图形方法,给出了利用降维dj 图化简或-符合函数的方法,实例验证了化简方法的有效性.降维dj 图的引入压缩了dj 图的规模,从而扩大了dj图的使用范围.

关键词 逻辑函数化简 或-符合代数系统 或-符合函数化简 降维dj图

在线阅读 下载PDF 职称材料

三角函数表达式的计算机自动化简 被引量：1

4

作者 符红光 钟秀琴 曾振柄 《计算机学报》 EI CSCD 北大核心 2006年第10期1869-1875,共7页

从人的思维模式和技巧出发,通过观察专家直觉导出了一套三角函数化简规则链表.利用这套规则链表进行推理可以有效地化简一些对人工推导来说也有一定难度的三角函数表达式,同时产生可读的化简过程.有关算法已用Lisp编程实现.文中将它与Ma... 从人的思维模式和技巧出发,通过观察专家直觉导出了一套三角函数化简规则链表.利用这套规则链表进行推理可以有效地化简一些对人工推导来说也有一定难度的三角函数表达式,同时产生可读的化简过程.有关算法已用Lisp编程实现.文中将它与Maple9和Mathematica作了测试对比,结果显示在三角函数化简功能方面作者的软件明显优于Maple和Mathematica. 展开更多

关键词 三角函数化简 组合规则 规则链表 可读证明 自动推理

在线阅读 下载PDF 职称材料

逻辑函数的立体化简法及其实现 被引量：1

5

作者 陶永明 《计算机应用与软件》 CSCD 北大核心 2012年第11期309-311,共3页

逻辑函数的"立体化简法"是在卡诺图化简法的思想基础上设计的一种新型逻辑函数化简方法。这种方法用逻辑函数立方体代替卡诺图,在三维立体空间进行逻辑函数的化简。卡诺图法可以方便地化简四个变量以内的逻辑函数,而立体化简... 逻辑函数的"立体化简法"是在卡诺图化简法的思想基础上设计的一种新型逻辑函数化简方法。这种方法用逻辑函数立方体代替卡诺图,在三维立体空间进行逻辑函数的化简。卡诺图法可以方便地化简四个变量以内的逻辑函数,而立体化简法可以方便地化简六个变量以内的逻辑函数。使用CubeScape在线网站的功能可以方便地表示逻辑函数立方体,让学生直观地感受逻辑函数最小项的逻辑相邻关系,更好地理解立体化简法化简逻辑函数的原理。 展开更多

关键词 逻辑函数化简 立体化简法 逻辑函数立方体 CubeScape

在线阅读 下载PDF 职称材料

逻辑函数的布尔除/符合展开在固定极性下化简的表格方法

6

作者 练益群 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2008年第5期530-533,共4页

阐述了用逻辑函数的布尔除/符合展开的3种表示形式:代数表示,图形表示和表格表示,讨论了变量极性改变与0值布尔除项表变化的关系.在此基础上提出了逻辑函数的布尔除/符合展开在固定极性下化简的两种表格方法:串行表格方法和串并行表格方... 阐述了用逻辑函数的布尔除/符合展开的3种表示形式:代数表示,图形表示和表格表示,讨论了变量极性改变与0值布尔除项表变化的关系.在此基础上提出了逻辑函数的布尔除/符合展开在固定极性下化简的两种表格方法:串行表格方法和串并行表格方法,指出了它们各自的优缺点,并以实例展示具体化简程序. 展开更多

关键词 表格方法 布尔除/符合展开 固定极性 函数化简

在线阅读 下载PDF 职称材料

化简逻辑函数软件设计 被引量：1

7

作者 徐文芳 《电子科技大学学报》 EI CAS CSCD 北大核心 1997年第5期539-543,共5页

介绍了一种化简逻辑函数的软件，其化简原理基于一种化简逻辑函数的新方法。由于化简方法中使用的真值表、蕴含表等都是一些二维的表格，因此采用数据库技术编程。文中包括软件的总体设计构想和三个特殊模块的设计思路。由于与一般的管... 介绍了一种化简逻辑函数的软件，其化简原理基于一种化简逻辑函数的新方法。由于化简方法中使用的真值表、蕴含表等都是一些二维的表格，因此采用数据库技术编程。文中包括软件的总体设计构想和三个特殊模块的设计思路。由于与一般的管理和控制软件不同，该软件设计方法独特，使用方便，化简迅速，结果准确。 展开更多

关键词 逻辑函数化简 软件设计 数据库技术

在线阅读 下载PDF 职称材料

卡诺图化简多函数的简便方法 被引量：2

8

作者 韩建华 《华东地质学院学报》 1998年第4期392-395,共4页

本文讨论了利用卡诺图进行多函数化简的一种简便方法。

关键词 卡诺图 逻辑函数 逻辑电路 多函数化简

在线阅读 下载PDF 职称材料

逻辑函数的组合项化简法

9

作者 王万兴 《上海理工大学学报》 CAS 2000年第2期185-188,共4页

提出了逻辑函数的组合项化简法，它吸取了卡诺图化简法和列表化简法的优点，是一种全新的逻辑函数化简法．与代数化简法、卡诺图化简法和列表化简法相比，显得更加直接和简便．所谓组合项，即由几个最小项合并而成的项．

关键词 数字电路 逻辑函数化简 组合项

在线阅读 下载PDF 职称材料

基于多值方法的模糊逻辑函数最小化 被引量：2

10

作者 沈继忠 姚茂群 陈华华 《计算机学报》 EI CSCD 北大核心 2004年第4期555-560,共6页

首先提出了模糊逻辑和多值逻辑的相似性 ,并从开关信号理论出发建立了三值逻辑函数阈运算和模糊逻辑函数文字运算的对应关系 ,进而提出了基于差动电流开关理论的三值逻辑函数化简法求模糊逻辑函数最小化表达式的算法 ,并用该算法对几个... 首先提出了模糊逻辑和多值逻辑的相似性 ,并从开关信号理论出发建立了三值逻辑函数阈运算和模糊逻辑函数文字运算的对应关系 ,进而提出了基于差动电流开关理论的三值逻辑函数化简法求模糊逻辑函数最小化表达式的算法 ,并用该算法对几个模糊逻辑函数实例进行了化简 .实例操作表明 ,该算法具有操作简单快捷的特点 ,是获得模糊逻辑函数最小化表达式的一种有效的方法 . 展开更多

关键词 模糊逻辑 最小化 多值逻辑 差动电流开关理论 三值逻辑函数化简法

在线阅读 下载PDF 职称材料

基于逻辑函数e导数的双逻辑综合 被引量：1

11

作者 马汝星 陈偕雄 杜歆 《浙江大学学报（理学版）》 CAS CSCD 2014年第1期55-57,共3页

讨论了逻辑函数的e导数与逻辑函数化简的关系,并在此基础上提出了基于逻辑函数e导数化简逻辑函数的新方法.由于采用了双逻辑综合,逻辑综合效果优于传统的基于与-或-非运算的逻辑综合.

关键词 e导数 逻辑综合 逻辑函数化简 双逻辑综合

在线阅读 下载PDF 职称材料

逻辑函数FGOC展开的最小化技术 被引量：1

12

作者 应时彦 肖林荣 杭国强 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2007年第3期423-426,455,共5页

为了减少已有图形法的最小化算法的计算量,提出了新的逻辑函数在固定极性下的或-符合(FGOC)展开最小化算法.引入了逻辑函数FGOC展开的矩阵,分析了单变量与二变量逻辑函数的FGOC展开及其矩阵.基于符合运算的性质,推导出此矩阵的递推律.... 为了减少已有图形法的最小化算法的计算量,提出了新的逻辑函数在固定极性下的或-符合(FGOC)展开最小化算法.引入了逻辑函数FGOC展开的矩阵,分析了单变量与二变量逻辑函数的FGOC展开及其矩阵.基于符合运算的性质,推导出此矩阵的递推律.推广至任意多变量逻辑函数,可以得到全部FGOC的展开矩阵.并提出了FGOC展开最小化方法.通过分析逻辑函数的FGOC展开过程,研究了变量数与符合算法的运算次数的规律.结果表明,与图形法的FGOC展开最小化方法相比较,随着变量数的增加,符合运算次数大幅度减少.该方法适合于计算机编程实现,并能快速获得计算结果. 展开更多

关键词 或-符合展开 固定极性 逻辑函数化简 逻辑设计

在线阅读 下载PDF 职称材料

IPSEC和组播协同工作系统设计

13

作者 谭兴烈 罗慧 沈昌祥 《计算机工程与应用》 CSCD 北大核心 2003年第11期36-39,68,共5页

IPSEC是解决IP层安全的协议,它是一种点到点的协议,IPSEC和IKE协同工作可以解决单播通信的安全,同时IKE是点到点的密钥管理协议,它也不适宜于在组播环境下使用,因为在组播环境下,同一个包却有多个接收者,有时许多发送者都将包传给一个... IPSEC是解决IP层安全的协议,它是一种点到点的协议,IPSEC和IKE协同工作可以解决单播通信的安全,同时IKE是点到点的密钥管理协议,它也不适宜于在组播环境下使用,因为在组播环境下,同一个包却有多个接收者,有时许多发送者都将包传给一个特定的多播地址。该文建立了一个IPSEC与组播协同工作的环境,重点解决组播环境下密钥管理的问题。并且提出了三种密钥管理方式,分析了它们的性能优劣,特别指出采用完全密钥二叉树,并使用布尔函数化简技术可以有效解决IPSEC和组播环境协同工作下的密钥分配问题。 展开更多

关键词 组播 密钥管理 IPSEC IKE 布尔函数化简

在线阅读 下载PDF 职称材料

计算机电路基础期末复习辅导

14

作者 沈雅芬 谷良 《现代远程教育研究》 1999年第11期56-67,共12页

1 教学内容和教学要求1.1 电路基本概念1.1.1 教学内容本章是学习“计算机电路基础(1)(2)”的基础知识,主要内容有:电路的组成,电路分析的概念,电路中的基本物理量:直流电压、电流及功率,电路中的基本元件:电阻、电容及电感,独立电源,... 1 教学内容和教学要求1.1 电路基本概念1.1.1 教学内容本章是学习“计算机电路基础(1)(2)”的基础知识,主要内容有:电路的组成,电路分析的概念,电路中的基本物理量:直流电压、电流及功率,电路中的基本元件:电阻、电容及电感,独立电源,基尔霍夫两个定律,电路等效的概念以及简单直流电阻电路的分析方法等。1.1.2 教学要求(1)掌握电流、电压、关联参考方向、功率的概念。(2)掌握公式 u=R×i(或 u=-R×i)和 P=u^2/R 及 P=i^2×R。(3)掌握电容 C 及电感 L 的伏安关系式。 展开更多

关键词 教学内容 教学要求 数字电路 施密特触发器 逻辑函数化简 电路分析 分析方法 组合逻辑电路 三极管 最小项

在线阅读 下载PDF 职称材料

降维e_j图及其应用

15

作者 潘伟珍 《兰州理工大学学报》 CAS 北大核心 2007年第5期93-95,共3页

提出降维ej图的概念,讨论获得降维ej图的代数方法和图形方法.提出基于降维ej图的逻辑函数在混合极性下的化简规则,并通过化简实例验证化简方法的有效性.降维ej图的引入压缩了ej图的规模,从而扩大了ej图的使用范围.

关键词 降维ej图 减-异或式 逻辑函数化简

在线阅读 下载PDF 职称材料

双馈风力发电系统的PWM变流技术 被引量：1

16

作者 张奇伟 陈国定 赵国炳 《机电工程》 CAS 2009年第8期93-96,共4页

为了研究双馈风力发电系统的双脉宽调制(PWM)变流器的控制策略,分析了双PWM变流器的主电路拓扑,建立了基于三相静止坐标系和两相同步旋转坐标系的数学模型,给出了变流器的电压矢量控制方案。研究了电压空间矢量脉宽调制(SWPWM)技术,并... 为了研究双馈风力发电系统的双脉宽调制(PWM)变流器的控制策略,分析了双PWM变流器的主电路拓扑,建立了基于三相静止坐标系和两相同步旋转坐标系的数学模型,给出了变流器的电压矢量控制方案。研究了电压空间矢量脉宽调制(SWPWM)技术,并利用逻辑函数的卡诺图化简法来判断扇区。在Matlab/Simulink环境下对其进行了仿真研究,其结果表明双PWM变流器是理想的励磁变频电源。 展开更多

关键词 双脉宽调制变流器 矢量控制 逻辑函数化简 空间矢量脉宽调制

在线阅读 下载PDF 职称材料