逻辑函数RM展开式和CRM展开式的转换 被引量：6

1

作者 潘伟珍 楼智美 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2005年第4期412-414,共3页

讨论了逻辑函数在与-异或和或-符合代数系统中的RM展开式和CRM展开式.根据异或和符合运算的性质详细讨论了逻辑函数bj系数和dj系数间的关系,并提出了两者的矩阵转换法,举例说明了转换过程.该方法揭示了bj系数和dj系数的内在联系,具有较... 讨论了逻辑函数在与-异或和或-符合代数系统中的RM展开式和CRM展开式.根据异或和符合运算的性质详细讨论了逻辑函数bj系数和dj系数间的关系,并提出了两者的矩阵转换法,举例说明了转换过程.该方法揭示了bj系数和dj系数的内在联系,具有较好的实用性. 展开更多

关键词 rm展开 Crm展开 b 系数 d 系数 转换

下载PDF 职称材料

基于表格法的RM展开系数与或-符合展开系数的转换 被引量：3

2

作者 姚茂群 方平 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第4期417-419,共3页

讨论了逻辑函数的RM展开系数与或-符合展开系数之间的关系式,分析了bj图→dj图转换的图形方法.在此基础上提出了逻辑函数的RM展开系数→或-符合展开系数以及或-符合展开系数→RM展开系数转换的表格方法.与图形方法相比,表格法具有不需... 讨论了逻辑函数的RM展开系数与或-符合展开系数之间的关系式,分析了bj图→dj图转换的图形方法.在此基础上提出了逻辑函数的RM展开系数→或-符合展开系数以及或-符合展开系数→RM展开系数转换的表格方法.与图形方法相比,表格法具有不需要画图,不受变量数限制以及易于计算机编程操作等优点. 展开更多

关键词 表格法 rm展开 或-符合展开 bj系数 dj系数

下载PDF 职称材料

基于K图的函数RM展开式在固定极性下的最小化 被引量：10

3

作者 刘观生 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 2003年第4期405-408,共4页

分析了K图的性质,发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性,在此基础上提出了得到基于K图函数RM展开式在固定极性下的最小化的图形方法.该方法可以从K图直接得到函数的最小化的RM展开式,... 分析了K图的性质,发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性,在此基础上提出了得到基于K图函数RM展开式在固定极性下的最小化的图形方法.该方法可以从K图直接得到函数的最小化的RM展开式,从而省略了传统的把K图转变为bj图再求最小化的步骤.它具有直观、简单、易于掌握等特点.此外,文中还提出了该方法的改进算法. 展开更多

关键词 逻辑电路 逻辑函数 K图 rm展开式 固定极性 最小化 BJ图 聚合圈

下载PDF 职称材料

逻辑函数XOS展开式和RM展开式的转换 被引量：1

4

作者 潘伟珍 《甘肃科学学报》 2006年第3期94-96,共3页

在逻辑函数的XOS展开式和RM展开式的基础上,详细讨论了逻辑函数ej系数和bj系数间的关系,并提出了二者的矩阵转换法,举例说明了转换过程,揭示了ej系数和bj系数的内在联系,具有较好的实用性.

关键词 XOS展开 rm展开 ej系数 bj系数 转换

下载PDF 职称材料

多值模代数中RM展开式算子解

5

作者 诸静 《计算机学报》 EI CSCD 北大核心 1997年第5期459-464,共6页

本文基于多值模代数中ＲＭ展开式的矩阵变换，给出一种算子算法，不仅使运算矩阵降维，计算简单，而且原理清晰．算法也适合于对称多值模代数求解．对于变量数ｎ＞３的情况，具有递推性．

关键词 多值模代数 Z算子解 rm展开式 多值逻辑

下载PDF 职称材料

默克集团携手R—Biopharm展开诊断研发合作

6

《流程工业》 2016年第10期12-12,共1页

2016年3月23日，德国默克集团这几年来产业线一直状态不佳，许多新药都在临床…期惨遭失败，为了给自身的产业管线注入活力，与其它生物制药公司展开广泛合作就成为默克当下的重要任务之一。

关键词 rm展开 合作 研发 诊断 制药公司 产业

下载PDF 职称材料

默克集团携手R—Biopharm展开诊断研发合作

7

《流程工业》 2016年第7期18-18,共1页

2016年3月23日讯，德国默克集团这几年来产业线一直状态不佳，许多新药都在临床Ⅲ期惨遭失败，为了给自身的产业管线注入活力，与其它生物制药公司展开广泛合作就成为默克当下的重要任务之一。近日，默克宣布与德国临床诊断试剂公司拜发... 2016年3月23日讯，德国默克集团这几年来产业线一直状态不佳，许多新药都在临床Ⅲ期惨遭失败，为了给自身的产业管线注入活力，与其它生物制药公司展开广泛合作就成为默克当下的重要任务之一。近日，默克宣布与德国临床诊断试剂公司拜发（R-Biopharm）达成合作协议，二者将共同研发诊断试剂，具体合作金额尚未披露。 展开更多

关键词 合作协议 诊断试剂 rm展开 研发 制药公司 产业 德国 临床

下载PDF 职称材料

北京极海科技与美国ECRM展开战略合作

8

《印刷工业》 2014年第12期27-27,共1页

2014年11月15日，北京极海科技有限公司与美国ECRM公司达成合作协议，双方将在印刷市场展开密切合作，极海科技将在中国的报业印刷、出版印刷、商业印刷等市场销售ECRM全线CTP系统，并提供专业、全面的技术服务。ECRMCTP系统有着非常丰... 2014年11月15日，北京极海科技有限公司与美国ECRM公司达成合作协议，双方将在印刷市场展开密切合作，极海科技将在中国的报业印刷、出版印刷、商业印刷等市场销售ECRM全线CTP系统，并提供专业、全面的技术服务。ECRMCTP系统有着非常丰富的操作选择，从手动到全自动、从每小时几十张到几百张，产品设计灵活，可靠耐用，操作简单，维护方便，性价比高，充分满足了国内用户的多样需求。 展开更多

关键词 ECrm公司 战略合作 rm展开 科技 美国 北京 CTP系统 合作协议

下载PDF 职称材料

利用沃尔付谱系数子集求解完全确定函数的固定极性RM展开式

9

作者 Falk.,BJ 张公礼 《杭州电子工业学院译丛》 1994年第3期36-49,共14页

关键词 沃尔什谱 数字电路 布尔函数 rm展开式

下载PDF 职称材料

部分变量取反的RM型对称函数检测的新方法 被引量：7

10

作者 刘观生 郑茂生 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 2002年第2期154-159,共6页

分析了函数的 RM展开式中乘积项所含的部分变量取反引起的变化 ,在此基础上提出了直接检测部分变量取反的 RM型对称函数的新方法 .

关键词 对称函数 rm型展开式 对称性检测 逻辑函数 函数对称性 部分变量取反 逻辑电路

下载PDF 职称材料

“勇士”归来约战ARM收拾旧河山

11

作者 黄乐天 《电子技术应用》 北大核心 2014年第10期1-2,共2页

9月5日,Imagination Technologies宣布发布高效的MIPSWarrior I6400系列产品,这是第一款结合64位架构与硬件虚拟化技术的IP内核.这是继Imagination公司发布了32位Warrior P5600之后有一个大动作.在收购了MIPS处理器的核心架构之后,Imagi... 9月5日,Imagination Technologies宣布发布高效的MIPSWarrior I6400系列产品,这是第一款结合64位架构与硬件虚拟化技术的IP内核.这是继Imagination公司发布了32位Warrior P5600之后有一个大动作.在收购了MIPS处理器的核心架构之后,Imagination公司开始频繁发力,在各个领域均准备与ARM展开竞争.不知道Imaginaton公司采用“Warrior”（中文媒体大多翻译为勇士）为处理器命名的时候,是否也是受到“狭路相逢勇者胜”的启发.在目前的ARM和X86两强独大的处理器架构竞争态势下,确实需要有一位勇士出来披荆斩棘,才有可能让MIPS重新屹立于这硝烟弥漫的战场。 展开更多

关键词 Arm MIPS处理器 64位架构 虚拟化技术 IP内核 rm展开 32位 X86

下载PDF 职称材料

基于三变量双输出通用阈值逻辑门的查表设计 被引量：3

12

作者 潘伟珍 宋向炯 金国娟 《兰州理工大学学报》 CAS 北大核心 2007年第4期93-96,共4页

介绍并讨论了逻辑函数的分类,给出三变量函数的P分类表和接线顺序表.对于以RM展开式表示的任意三变量逻辑函数,提出使用三变量双输出通用阈值逻辑门实现任意三变量函数的查表设计方法,通过若干设计实例证明此方法的有效性.

关键词 rm展开 函数分类 双输出通用阈值逻辑门 逻辑设计

下载PDF 职称材料

计算布尔差分与布尔偏导数的表格方法 被引量：2

13

作者 刘观生 陈偕雄 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2006年第9期1486-1489,共4页

为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程,提出了一种基于表格的新方法.该方法通过用表格列出Reed-Muller型逻辑函数的1值积项,并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分.二阶布尔差分通过... 为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程,提出了一种基于表格的新方法.该方法通过用表格列出Reed-Muller型逻辑函数的1值积项,并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分.二阶布尔差分通过两次变换产生新积项,并删除相同积项来得到.一阶布尔偏导数作为一阶布尔差分,二阶布尔偏导数通过对积项中相应位作两次连续的1到0的变换来得到.该方法用表格模拟了计算布尔差分与布尔偏导数的过程.应用结果表明,与图形方法相比较,该方法不需要画图,操作简便,可适合求解多变量逻辑函数以及计算机编程. 展开更多

关键词 rm展开 表格方法 布尔差分 布尔偏导数

下载PDF 职称材料

基于三变量通用阈值逻辑门的查表设计 被引量：3

14

作者 潘伟珍 《西南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第5期115-119,共5页

介绍并讨论了逻辑函数的RM展开与分类,给出了基于逻辑函数RM展开的三变量函数P分类表、接线顺序表以及P分类代表函数的接线方案.对于以RM展开式表示的任意三变量逻辑函数,提出了基于三变量通用阈值逻辑门的查表设计方法,并给出了具体设... 介绍并讨论了逻辑函数的RM展开与分类,给出了基于逻辑函数RM展开的三变量函数P分类表、接线顺序表以及P分类代表函数的接线方案.对于以RM展开式表示的任意三变量逻辑函数,提出了基于三变量通用阈值逻辑门的查表设计方法,并给出了具体设计实例. 展开更多

关键词 rm展开 函数分类 通用阈值逻辑门 逻辑设计

下载PDF 职称材料

基于零点的逻辑函数b_j图和d_j图的转换

15

作者 黄瑞祥 孙浙永 肖林荣 《科技通报》 2007年第4期540-543,567,共5页

图形化简法是逻辑函数化简的有效工具。bj图和dj图分别是RM展开式、CRM展开式的图形表示。通过对RM展开式、CRM展开式系数关系的分析,提出了2种bj图和dj图的图形转换方法,并对各种方法予以实例说明。对于5变量以下的逻辑函数,这二种方... 图形化简法是逻辑函数化简的有效工具。bj图和dj图分别是RM展开式、CRM展开式的图形表示。通过对RM展开式、CRM展开式系数关系的分析,提出了2种bj图和dj图的图形转换方法,并对各种方法予以实例说明。对于5变量以下的逻辑函数,这二种方法具有简单、直观等特点。 展开更多

关键词 rm展开式 Crm展开式 K图 BJ图 DJ图 图形法

下载PDF 职称材料

基于K图的逻辑函数变换方法

16

作者 王诗兵 黄正杰 《高师理科学刊》 2005年第2期16-19,共4页

运用K图(卡诺图),不仅实现了与-或-非代数系统下逻辑函数的变换,并将逻辑函数的变换与化简结合起来,克服了代数法变换的繁琐与不足,丰富了变换的方法和途径;而且实现了将逻辑函数变换成与-异或代数系统下的RM展开式.K图法具有形象直观... 运用K图(卡诺图),不仅实现了与-或-非代数系统下逻辑函数的变换,并将逻辑函数的变换与化简结合起来,克服了代数法变换的繁琐与不足,丰富了变换的方法和途径;而且实现了将逻辑函数变换成与-异或代数系统下的RM展开式.K图法具有形象直观、方便快捷的特点,能提高数字电路的教学效果和设计效率. 展开更多

关键词 逻辑函数 变换 K图 rm展开式

下载PDF 职称材料