咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 8 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 8 篇 工学
    • 5 篇 计算机科学与技术...
    • 2 篇 电子科学与技术（可...
    • 2 篇 控制科学与工程
    • 1 篇 材料科学与工程（可...
    • 1 篇 信息与通信工程
    • 1 篇 软件工程
  • 2 篇 理学
    • 2 篇 系统科学

主题

  • 8 篇 表格方法
  • 3 篇 布尔偏导数
  • 3 篇 布尔差分
  • 3 篇 逻辑函数
  • 1 篇 e导数
  • 1 篇 函数化简
  • 1 篇 布尔除/符合展开
  • 1 篇 密码学
  • 1 篇 rm展开
  • 1 篇 布尔函数
  • 1 篇 形式方法
  • 1 篇 工具支持
  • 1 篇 或-符合展开
  • 1 篇 规格说明验证与确...
  • 1 篇 旋转对称函数
  • 1 篇 最小项表
  • 1 篇 固定极性
  • 1 篇 线性变量
  • 1 篇 oc型逻辑函数
  • 1 篇 线性函数

机构

  • 7 篇 浙江大学
  • 4 篇 浙江传媒学院
  • 1 篇 上海大学
  • 1 篇 金华职业技术学院
  • 1 篇 上海市计算机软件...

作者

  • 6 篇 陈偕雄
  • 4 篇 练益群
  • 3 篇 刘观生
  • 1 篇 陈怡海
  • 1 篇 马汝星
  • 1 篇 厉晓华
  • 1 篇 缪淮扣

语言

  • 8 篇 中文
检索条件"主题词=表格方法"
共 8 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
计算布尔差分与布尔偏导数的表格方法
收藏
分享
引用
浙江大学学报（工学版） 2006年 第9期40卷 1486-1489页
作者： 刘观生 陈偕雄 浙江大学信息与电子工程学系 浙江杭州310028
为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程,提出了一种基于表格的新方法.该方法通过用表格列出Reed-Muller型逻辑函数的1值积项,并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分.二阶布尔差分通过... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
检测线性函数与线性变量的表格方法
收藏
分享
引用
浙江大学学报（理学版） 2006年 第3期33卷 295-299页
作者： 练益群 刘观生 陈偕雄 浙江传媒学院信息电子工程系 浙江杭州310018 浙江大学信息与电子工程系 浙江杭州310028
讨论了线性函数、部分线性函数和线性变量的定义、性质和定理,提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方法.提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
检测旋转对称函数的表格方法
收藏
分享
引用
浙江大学学报（理学版） 2009年 第4期36卷 412-415页
作者： 厉晓华 浙江大学网络与信息中心 浙江杭州310028
讨论了旋转对称函数的定义和性质,提出了检测基于最小项展开逻辑函数的旋转对称函数的表格方法,提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的旋转对称函数的表格方法.文中... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
计算OC型逻辑函数的布尔偏导数与布尔差分的表格方法
收藏
分享
引用
浙江大学学报（理学版） 2007年 第2期34卷 176-180页
作者： 刘观生 练益群 陈偕雄 浙江大学信息与电子工程学系 浙江杭州310028 浙江传媒学院电子信息系 浙江杭州310018
讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式.在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法.根据二阶布尔差分的定义以及二阶布尔差分与布尔偏导数的关系提出了两种计算OC型逻辑函数二阶布尔差分的表格方法,... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
计算逻辑函数布尔差分及布尔偏导数的表格方法
收藏
分享
引用
浙江大学学报（理学版） 2006年 第4期33卷 408-411,416页
作者： 练益群 陈偕雄 浙江传媒学院电子信息系 浙江杭州310018 浙江大学信息与电子工程学系 浙江杭州310028
分析了用图形方法计算逻辑函数的布尔差分与布尔偏导数存在的问题,在分析布尔差分与布尔偏导数的定义的基础上提出了计算布尔差分与布尔偏导数的表格方法,讨论了在1值最小项数较多时用f计算布尔差分与布尔偏导数的表格方法.本文提出的... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
逻辑函数的布尔除/符合展开在固定极性下化简的表格方法
收藏
分享
引用
浙江大学学报（理学版） 2008年 第5期35卷 530-533页
作者： 练益群 陈偕雄 浙江传媒学院信息系 浙江杭州310018 浙江大学信息与电子工程学系 浙江杭州310028
阐述了用逻辑函数的布尔除/符合展开的3种表示形式:代数表示,图形表示和表格表示,讨论了变量极性改变与0值布尔除项表变化的关系.在此基础上提出了逻辑函数的布尔除/符合展开在固定极性下化简的两种表格方法:串行表格方法和串并行表格方... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于最小项表计算e导数的方法
收藏
分享
引用
浙江大学学报（理学版） 2013年 第5期40卷 531-534页
作者： 马汝星 陈偕雄 金华职业技术学院信息学院 浙江金华321017 浙江大学信息与电子工程学系 浙江杭州310027
给出了布尔函数的e导数、高阶e导数以及e偏导数的定义,在此基础上提出了基于布尔函数1值最小项表计算布尔函数的e导数、高阶e导数以及e偏导数的表格方法.该方法具有简单、不受变量数限制以及易于计算机编程操作等优点.
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
表格语言的分析比较
收藏
分享
引用
计算机科学 2014年 第3期41卷 23-26页
作者： 陈怡海 缪淮扣 上海大学计算机工程与科学学院 上海200072 上海市计算机软件评测重点实验室 上海201114
表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件