咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 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型基本对称函数的定义及其性质.进而提出了基于全... 详细信息
来源： 评论
数字理论的表格方法研究
数字理论的表格方法研究
收藏
分享
引用
作者： 刘观生 浙江大学
学位级别：博士
随着数字电路的设计规模和复杂程度的大大提高，传统的数字理论已不能很好的满足需要，有必要对它做进一步的探讨和研究。近代数字理论正是对传统数字理论的进一步研究，它不但大大扩展了数字理论的研究内容，而且还提出了很多新的方法... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件