咨询与建议

限定检索结果

文献类型

  • 6 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 7 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 7 篇 工学
    • 6 篇 计算机科学与技术...
    • 2 篇 电子科学与技术(可...

主题

  • 7 篇 或-符合代数系统
  • 4 篇 对称函数
  • 2 篇 crm展开式
  • 2 篇 dj图
  • 1 篇 积项表
  • 1 篇 真值表
  • 1 篇 与-或-非代数系统...
  • 1 篇 分解图
  • 1 篇 逻辑综合
  • 1 篇 crm分解图
  • 1 篇 逻辑函数化简
  • 1 篇 特殊函数检测
  • 1 篇 crm
  • 1 篇 分解表
  • 1 篇 降维dj图
  • 1 篇 和式项
  • 1 篇 布尔差分
  • 1 篇 或-符合函数化简
  • 1 篇 对称性检测
  • 1 篇 表格方法

机构

  • 6 篇 浙江大学
  • 3 篇 绍兴文理学院
  • 1 篇 兰溪市职业中专
  • 1 篇 嘉兴学院
  • 1 篇 浙江工业大学

作者

  • 4 篇 陈偕雄
  • 4 篇 chen xie-xiong
  • 3 篇 zhao mei-ling
  • 3 篇 赵美玲
  • 2 篇 xiao lin-rong
  • 2 篇 肖林荣
  • 1 篇 zhao xiao-lin
  • 1 篇 应时彦
  • 1 篇 ying shi-yan
  • 1 篇 wu-qiang
  • 1 篇 刘观生
  • 1 篇 赵小琳
  • 1 篇 吴强
  • 1 篇 杜歆
  • 1 篇 lou jian-guo
  • 1 篇 娄建国
  • 1 篇 du xin

语言

  • 7 篇 中文
检索条件"主题词=或-符合代数系统"
7 条 记 录,以下是1-10 订阅
排序:
基于表格法的CRM型对称函数检测
收藏 引用
浙江大学学报(理学版) 2007年 第3期34卷 311-314页
作者: 应时彦 肖林荣 陈偕雄 浙江工业大学信息工程学院 浙江杭州310014 浙江大学信息与电子工程学系
分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化,在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法,并以实例加以说明.与传统方法相比,该法使基于逻辑函数对称性的逻辑设计更简单、更有效.
来源: 评论
d_j图的性质及其应用
收藏 引用
浙江大学学报(理学版) 2005年 第2期32卷 169-171,176页
作者: 肖林荣 陈偕雄 浙江大学信息与电子工程学系 嘉兴学院电气工程系 浙江嘉兴314001
讨论了CRM的dj图的读图规则及和式项变量数图.对dj 图的性质作了进一步的研究,提出了若干新的性质,给出了相应的证明.揭示了dj 图的内在规律。
来源: 评论
对称函数的d_j图表示及其应用
收藏 引用
浙江大学学报(理学版) 2006年 第1期33卷 62-65页
作者: 赵美玲 娄建国 陈偕雄 绍兴文理学院机电系 浙江绍兴312000 浙江大学信息与电子工程系 浙江杭州310028
根据对称函数的性质,在对称函数K图/bj图的基础上提出了部分对称函数/全对称函数的dj图表示.给出了利用对称函数dj图检测对称性的方法,并以实例加以说明.与传统方法相比,该法使基于逻辑函数对称性的逻辑设计较传统设计更简单、更有效.
来源: 评论
降维d_j图及-符合函数的化简
收藏 引用
浙江大学学报(理学版) 2005年 第3期32卷 281-283,291页
作者: 杜歆 浙江大学信息与电子工程学系 浙江杭州310027
提出了降维dj图,讨论了获得降维dj 图的代数方法和图形方法,给出了利用降维dj 图化简-符合函数的方法,实例验证了化简方法的有效性.降维dj 图的引入压缩了dj 图的规模,从而扩大了dj图的使用范围.
来源: 评论
CRM分解图的性质及其应用
收藏 引用
浙江大学学报(理学版) 2006年 第3期33卷 300-303,308页
作者: 赵美玲 吴强 陈偕雄 绍兴文理学院机电系 浙江绍兴312000 绍兴文理学院计算机系 浙江绍兴312000 浙江大学信息与电子工程系 浙江杭州310028
针对/符合代数系统中电路设计与化简的要求,提出了一种全新的图形表示方法———CRM分解图,给出了其特点和性质,并作了相应证明.此外,文中还讨论了对CRM分解图进行对称函数检测的方法,并以实例加以说明.本文的讨论揭示了CRM分解图的... 详细信息
来源: 评论
CRM型对称函数及其逻辑综合
收藏 引用
浙江大学学报(理学版) 2010年 第4期37卷 438-441页
作者: 赵美玲 赵小琳 绍兴文理学院机电系 浙江绍兴312000 兰溪市职业中专 浙江兰溪321100
逻辑函数的CRM展开式是逻辑函数在或-符合代数系统中的一种基本表示形式,而对称函数又有许多独特的优点.在讨论了与--非代数系统中和最大项对应的对称函数定义、性质基础上,研究了CRM型基本对称函数的定义及其性质.进而提出了基于全... 详细信息
来源: 评论
数字理论的表格方法研究
数字理论的表格方法研究
收藏 引用
作者: 刘观生 浙江大学
学位级别:博士
随着数字电路的设计规模和复杂程度的大大提高,传统的数字理论已不能很好的满足需要,有必要对它做进一步的探讨和研究。近代数字理论正是对传统数字理论的进一步研究,它不但大大扩展了数字理论的研究内容,而且还提出了很多新的方法... 详细信息
来源: 评论