检索结果-维普期刊中文期刊服务平台

检测线性函数与线性变量的表格方法被引量：7: 1; 作者练益群刘观生陈偕雄《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第3期295-299,共5页; 讨论了线性函数、部分线性函数和线性变量的定义、性质和定理,提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方法.提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻... 展开更多; 关键词线性函数线性变量逻辑函数表格方法; 在线阅读下载PDF 职称材料

计算布尔差分与布尔偏导数的表格方法被引量：2: 2; 作者刘观生陈偕雄《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2006年第9期1486-1489,共4页; 为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程,提出了一种基于表格的新方法.该方法通过用表格列出Reed-Muller型逻辑函数的1值积项,并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分.二阶布尔差分通过... 展开更多; 关键词 RM展开表格方法布尔差分布尔偏导数; 在线阅读下载PDF 职称材料

计算逻辑函数布尔差分及布尔偏导数的表格方法被引量：1: 3; 作者练益群陈偕雄《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第4期408-411,416,共5页; 分析了用图形方法计算逻辑函数的布尔差分与布尔偏导数存在的问题,在分析布尔差分与布尔偏导数的定义的基础上提出了计算布尔差分与布尔偏导数的表格方法,讨论了在1值最小项数较多时用f计算布尔差分与布尔偏导数的表格方法.本文提出的... 展开更多; 关键词逻辑函数布尔差分布尔偏导数表格方法; 在线阅读下载PDF 职称材料

检测旋转对称函数的表格方法被引量：4: 4; 作者厉晓华《浙江大学学报（理学版）》 CAS CSCD 北大核心 2009年第4期412-415,共4页; 讨论了旋转对称函数的定义和性质,提出了检测基于最小项展开逻辑函数的旋转对称函数的表格方法,提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的旋转对称函数的表格方法.文中... 展开更多; 关键词旋转对称函数逻辑函数表格方法; 在线阅读下载PDF 职称材料

计算OC型逻辑函数的布尔偏导数与布尔差分的表格方法: 5; 作者刘观生练益群陈偕雄《浙江大学学报（理学版）》 CAS CSCD 北大核心 2007年第2期176-180,共5页; 讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式.在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法.根据二阶布尔差分的定义以及二阶布尔差分与布尔偏导数的关系提出了两种计算OC型逻辑函数二阶布尔差分的表格方法,... 展开更多; 关键词或-符合展开 OC型逻辑函数布尔偏导数布尔差分表格方法; 在线阅读下载PDF 职称材料

逻辑函数的布尔除/符合展开在固定极性下化简的表格方法: 6; 作者练益群陈偕雄《浙江大学学报（理学版）》 CAS CSCD 北大核心 2008年第5期530-533,共4页; 阐述了用逻辑函数的布尔除/符合展开的3种表示形式:代数表示,图形表示和表格表示,讨论了变量极性改变与0值布尔除项表变化的关系.在此基础上提出了逻辑函数的布尔除/符合展开在固定极性下化简的两种表格方法:串行表格方法和串并行表格方... 展开更多; 关键词表格方法布尔除/符合展开固定极性函数化简; 在线阅读下载PDF 职称材料

基于最小项表计算e导数的方法被引量：3: 7; 作者马汝星陈偕雄《浙江大学学报（理学版）》 CAS CSCD 2013年第5期531-534,共4页; 给出了布尔函数的e导数、高阶e导数以及e偏导数的定义,在此基础上提出了基于布尔函数1值最小项表计算布尔函数的e导数、高阶e导数以及e偏导数的表格方法.该方法具有简单、不受变量数限制以及易于计算机编程操作等优点.; 关键词布尔函数表格方法最小项表 e导数密码学; 在线阅读下载PDF 职称材料

表格语言的分析比较: 8; 作者陈怡海缪淮扣《计算机科学》 CSCD 北大核心 2014年第3期23-26,共4页; 表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同... 展开更多; 关键词表格方法形式方法规格说明验证与确认工具支持; 在线阅读下载PDF 职称材料

题名检测线性函数与线性变量的表格方法被引量：7: 1; 作者练益群刘观生陈偕雄; 机构浙江传媒学院信息电子工程系浙江大学信息与电子工程系; 出处《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第3期295-299,共5页; 文摘讨论了线性函数、部分线性函数和线性变量的定义、性质和定理,提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方法.提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的线性变量及线性函数的表格方法.文中提出的表格方法具有简单、方便和易于计算机编程操作等优点.; 关键词线性函数线性变量逻辑函数表格方法; Keywords linear functions linear variable logic functions tabular method; 分类号 TN431.2 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名计算布尔差分与布尔偏导数的表格方法被引量：2: 2; 作者刘观生陈偕雄; 机构浙江大学信息与电子工程学系; 出处《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2006年第9期1486-1489,共4页; 文摘为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程,提出了一种基于表格的新方法.该方法通过用表格列出Reed-Muller型逻辑函数的1值积项,并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分.二阶布尔差分通过两次变换产生新积项,并删除相同积项来得到.一阶布尔偏导数作为一阶布尔差分,二阶布尔偏导数通过对积项中相应位作两次连续的1到0的变换来得到.该方法用表格模拟了计算布尔差分与布尔偏导数的过程.应用结果表明,与图形方法相比较,该方法不需要画图,操作简便,可适合求解多变量逻辑函数以及计算机编程.; 关键词 RM展开表格方法布尔差分布尔偏导数; Keywords RM expansion tabular method Boolean difference Boolean partial derivative; 分类号 TN431 [电子电信—微电子学与固体电子学] TN402 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名计算逻辑函数布尔差分及布尔偏导数的表格方法被引量：1: 3; 作者练益群陈偕雄; 机构浙江传媒学院电子信息系浙江大学信息与电子工程学系; 出处《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第4期408-411,416,共5页; 文摘分析了用图形方法计算逻辑函数的布尔差分与布尔偏导数存在的问题,在分析布尔差分与布尔偏导数的定义的基础上提出了计算布尔差分与布尔偏导数的表格方法,讨论了在1值最小项数较多时用f计算布尔差分与布尔偏导数的表格方法.本文提出的表格方法与图形方法相比,具有不需画图,操作方便,易于计算机编程操作以及可用于多变量逻辑函数等优点.; 关键词逻辑函数布尔差分布尔偏导数表格方法; Keywords logical function Boolean difference Boolean partial derivative tabular method; 分类号 TP331 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名检测旋转对称函数的表格方法被引量：4: 4; 作者厉晓华; 机构浙江大学网络与信息中心; 出处《浙江大学学报（理学版）》 CAS CSCD 北大核心 2009年第4期412-415,共4页; 文摘讨论了旋转对称函数的定义和性质,提出了检测基于最小项展开逻辑函数的旋转对称函数的表格方法,提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的旋转对称函数的表格方法.文中提出的表格方法具有简单、方便和易于计算机编程操作等优点.; 关键词旋转对称函数逻辑函数表格方法; Keywords rotation symmetric functiom logic functionl tabular method; 分类号 TP17 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名计算OC型逻辑函数的布尔偏导数与布尔差分的表格方法: 5; 作者刘观生练益群陈偕雄; 机构浙江大学信息与电子工程学系浙江传媒学院电子信息系; 出处《浙江大学学报（理学版）》 CAS CSCD 北大核心 2007年第2期176-180,共5页; 文摘讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式.在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法.根据二阶布尔差分的定义以及二阶布尔差分与布尔偏导数的关系提出了两种计算OC型逻辑函数二阶布尔差分的表格方法,并作了比较.本文提出的计算OC型逻辑函数布尔偏导数与布尔差分的表格方法具有简捷、方便以及易于计算机编程操作等优点.; 关键词或-符合展开 OC型逻辑函数布尔偏导数布尔差分表格方法; Keywords OR-Coincidence expansion OC type logic function Boolean partial derivative Boolean difference tabular method; 分类号 TP331 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名逻辑函数的布尔除/符合展开在固定极性下化简的表格方法: 6; 作者练益群陈偕雄; 机构浙江传媒学院信息系浙江大学信息与电子工程学系; 出处《浙江大学学报（理学版）》 CAS CSCD 北大核心 2008年第5期530-533,共4页; 文摘阐述了用逻辑函数的布尔除/符合展开的3种表示形式:代数表示,图形表示和表格表示,讨论了变量极性改变与0值布尔除项表变化的关系.在此基础上提出了逻辑函数的布尔除/符合展开在固定极性下化简的两种表格方法:串行表格方法和串并行表格方法,指出了它们各自的优缺点,并以实例展示具体化简程序.; 关键词表格方法布尔除/符合展开固定极性函数化简; Keywords tabular method Boolean division/coincidence expansion fixed polarity function simplification; 分类号 TP17 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于最小项表计算e导数的方法被引量：3: 7; 作者马汝星陈偕雄; 机构金华职业技术学院信息学院浙江大学信息与电子工程学系; 出处《浙江大学学报（理学版）》 CAS CSCD 2013年第5期531-534,共4页; 基金浙江省重点科技创新团队基金项目(2010R50006); 文摘给出了布尔函数的e导数、高阶e导数以及e偏导数的定义,在此基础上提出了基于布尔函数1值最小项表计算布尔函数的e导数、高阶e导数以及e偏导数的表格方法.该方法具有简单、不受变量数限制以及易于计算机编程操作等优点.; 关键词布尔函数表格方法最小项表 e导数密码学; Keywords Boolean function tabular methods minterm table e-derivative cryptography; 分类号 TP331 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名表格语言的分析比较: 8; 作者陈怡海缪淮扣; 机构上海大学计算机工程与科学学院上海市计算机软件评测重点实验室; 出处《计算机科学》 CSCD 北大核心 2014年第3期23-26,共4页; 基金国家自然科学基金项目(61073050 61170044)资助; 文摘表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。; 关键词表格方法形式方法规格说明验证与确认工具支持; Keywords Tabular notations Formal methods Specification verification and validation Tool support; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	检测线性函数与线性变量的表格方法	练益群刘观生陈偕雄	《浙江大学学报（理学版）》 CAS CSCD 北大核心	2006	7	在线阅读下载PDF 职称材料
2	计算布尔差分与布尔偏导数的表格方法	刘观生陈偕雄	《浙江大学学报（工学版）》 EI CAS CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
3	计算逻辑函数布尔差分及布尔偏导数的表格方法	练益群陈偕雄	《浙江大学学报（理学版）》 CAS CSCD 北大核心	2006	1	在线阅读下载PDF 职称材料
4	检测旋转对称函数的表格方法	厉晓华	《浙江大学学报（理学版）》 CAS CSCD 北大核心	2009	4	在线阅读下载PDF 职称材料
5	计算OC型逻辑函数的布尔偏导数与布尔差分的表格方法	刘观生练益群陈偕雄	《浙江大学学报（理学版）》 CAS CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
6	逻辑函数的布尔除/符合展开在固定极性下化简的表格方法	练益群陈偕雄	《浙江大学学报（理学版）》 CAS CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
7	基于最小项表计算e导数的方法	马汝星陈偕雄	《浙江大学学报（理学版）》 CAS CSCD	2013	3	在线阅读下载PDF 职称材料
8	表格语言的分析比较	陈怡海缪淮扣	《计算机科学》 CSCD 北大核心	2014	0	在线阅读下载PDF 职称材料