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

降维d_j图及或-符合函数的化简: 1; 作者杜歆《浙江大学学报（理学版）》 CAS CSCD 北大核心 2005年第3期281-283,291,共4页; 提出了降维dj图,讨论了获得降维dj 图的代数方法和图形方法,给出了利用降维dj 图化简或-符合函数的方法,实例验证了化简方法的有效性.降维dj 图的引入压缩了dj 图的规模,从而扩大了dj图的使用范围.; 关键词逻辑函数化简或-符合代数系统或-符合函数化简降维dj图; 在线阅读下载PDF 职称材料

d_j图的性质及其应用被引量：4: 2; 作者肖林荣陈偕雄《浙江大学学报（理学版）》 CAS CSCD 北大核心 2005年第2期169-171,176,共4页; 讨论了CRM的dj图的读图规则及和式项变量数图.对dj 图的性质作了进一步的研究,提出了若干新的性质,给出了相应的证明.揭示了dj 图的内在规律。; 关键词或-符合代数系统 CRM DJ图; 在线阅读下载PDF 职称材料

对称函数的d_j图表示及其应用被引量：1: 3; 作者赵美玲娄建国陈偕雄《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第1期62-65,共4页; 根据对称函数的性质,在对称函数K图/bj图的基础上提出了部分对称函数/全对称函数的dj图表示.给出了利用对称函数dj图检测对称性的方法,并以实例加以说明.与传统方法相比,该法使基于逻辑函数对称性的逻辑设计较传统设计更简单、更有效.; 关键词 DJ图对称函数和式项或-符合代数系统; 在线阅读下载PDF 职称材料

CRM分解图的性质及其应用被引量：1: 4; 作者赵美玲吴强陈偕雄《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第3期300-303,308,共5页; 针对或/符合代数系统中电路设计与化简的要求,提出了一种全新的图形表示方法———CRM分解图,给出了其特点和性质,并作了相应证明.此外,文中还讨论了对CRM分解图进行对称函数检测的方法,并以实例加以说明.本文的讨论揭示了CRM分解图的... 展开更多; 关键词分解图 CRM分解图对称函数或-符合代数系统; 在线阅读下载PDF 职称材料

基于表格法的CRM型对称函数检测: 5; 作者应时彦肖林荣陈偕雄《浙江大学学报（理学版）》 CAS CSCD 北大核心 2007年第3期311-314,共4页; 分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化,在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法,并以实例加以说明.与传统方法相比,该法使基于逻辑函数对称性的逻辑设计更简单、更有效.; 关键词对称函数对称性检测或-符合代数系统 CRM展开式; 在线阅读下载PDF 职称材料

CRM型对称函数及其逻辑综合: 6; 作者赵美玲赵小琳《浙江大学学报（理学版）》 CAS CSCD 北大核心 2010年第4期438-441,共4页; 逻辑函数的CRM展开式是逻辑函数在或-符合代数系统中的一种基本表示形式,而对称函数又有许多独特的优点.在讨论了与-或-非代数系统中和最大项对应的对称函数定义、性质基础上,研究了CRM型基本对称函数的定义及其性质.进而提出了基于全... 展开更多; 关键词对称函数或-符合代数系统 CRM展开式逻辑综合; 在线阅读下载PDF 职称材料

题名降维d_j图及或-符合函数的化简: 1; 作者杜歆; 机构浙江大学信息与电子工程学系; 出处《浙江大学学报（理学版）》 CAS CSCD 北大核心 2005年第3期281-283,291,共4页; 基金国家自然科学基金资助项目 (No.60 10 5 0 0 3 ); 文摘提出了降维dj图,讨论了获得降维dj 图的代数方法和图形方法,给出了利用降维dj 图化简或-符合函数的方法,实例验证了化简方法的有效性.降维dj 图的引入压缩了dj 图的规模,从而扩大了dj图的使用范围.; 关键词逻辑函数化简或-符合代数系统或-符合函数化简降维dj图; Keywords simplification of logic function OR-coincidence algebraic system simplification of OR-coincidence function reduced-dimension d_j map; 分类号 TP331 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名d_j图的性质及其应用被引量：4: 2; 作者肖林荣陈偕雄; 机构浙江大学信息与电子工程学系嘉兴学院电气工程系; 出处《浙江大学学报（理学版）》 CAS CSCD 北大核心 2005年第2期169-171,176,共4页; 文摘讨论了CRM的dj图的读图规则及和式项变量数图.对dj 图的性质作了进一步的研究,提出了若干新的性质,给出了相应的证明.揭示了dj 图的内在规律。; 关键词或-符合代数系统 CRM DJ图; Keywords OR-COINCIDENCE algebra system CRM \%d\-j\%-map; 分类号 TP331 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名对称函数的d_j图表示及其应用被引量：1: 3; 作者赵美玲娄建国陈偕雄; 机构绍兴文理学院机电系浙江大学信息与电子工程系; 出处《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第1期62-65,共4页; 文摘根据对称函数的性质,在对称函数K图/bj图的基础上提出了部分对称函数/全对称函数的dj图表示.给出了利用对称函数dj图检测对称性的方法,并以实例加以说明.与传统方法相比,该法使基于逻辑函数对称性的逻辑设计较传统设计更简单、更有效.; 关键词 DJ图对称函数和式项或-符合代数系统; Keywords dj map symmetric functiom sum term OR-COINCIDENCE algebraic function; 分类号 TP331 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名CRM分解图的性质及其应用被引量：1: 4; 作者赵美玲吴强陈偕雄; 机构绍兴文理学院机电系绍兴文理学院计算机系浙江大学信息与电子工程系; 出处《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第3期300-303,308,共5页; 文摘针对或/符合代数系统中电路设计与化简的要求,提出了一种全新的图形表示方法———CRM分解图,给出了其特点和性质,并作了相应证明.此外,文中还讨论了对CRM分解图进行对称函数检测的方法,并以实例加以说明.本文的讨论揭示了CRM分解图的内在规律,有助于开拓CRM分解图的应用领域,可以用来指导超大规模集成电路的设计和化简,使电路实现较传统设计更简单、更有效.; 关键词分解图 CRM分解图对称函数或-符合代数系统; Keywords decomposition map CRM type decomposition map symmetric function OR-COINCIDENCE algebraic function; 分类号 TP331 [自动化与计算机技术—计算机系统结构] TN413 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名基于表格法的CRM型对称函数检测: 5; 作者应时彦肖林荣陈偕雄; 机构浙江工业大学信息工程学院浙江大学信息与电子工程学系; 出处《浙江大学学报（理学版）》 CAS CSCD 北大核心 2007年第3期311-314,共4页; 基金浙江省自然科学基金资助项目(Y105124); 文摘分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化,在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法,并以实例加以说明.与传统方法相比,该法使基于逻辑函数对称性的逻辑设计更简单、更有效.; 关键词对称函数对称性检测或-符合代数系统 CRM展开式; Keywords symmetric function detection of symmetry OR-COINCIDENCE algebraic system CRM expansion; 分类号 TP331 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名CRM型对称函数及其逻辑综合: 6; 作者赵美玲赵小琳; 机构绍兴文理学院机电系兰溪市职业中专; 出处《浙江大学学报（理学版）》 CAS CSCD 北大核心 2010年第4期438-441,共4页; 文摘逻辑函数的CRM展开式是逻辑函数在或-符合代数系统中的一种基本表示形式,而对称函数又有许多独特的优点.在讨论了与-或-非代数系统中和最大项对应的对称函数定义、性质基础上,研究了CRM型基本对称函数的定义及其性质.进而提出了基于全加器以及CRM型PLA网络的逻辑综合,还举例说明了逻辑综合过程.该综合的PLA网络是以或、符合二种运算作为基本运算的,类似于与、异或的电路实现,CRM型对称函数常常可以导致使用较少的门及较少的连线,更重要的是它具有易于测试等特点.本文的讨论揭示了CRM型基本对称函数的内在规律,有助于开拓或-符合代数系统的应用.; 关键词对称函数或-符合代数系统 CRM展开式逻辑综合; Keywords symmetric function OR-coincidence algebraic function CRM expansions logic synthesis; 分类号 TP331 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	降维d_j图及或-符合函数的化简	杜歆	《浙江大学学报（理学版）》 CAS CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料
2	d_j图的性质及其应用	肖林荣陈偕雄	《浙江大学学报（理学版）》 CAS CSCD 北大核心	2005	4	在线阅读下载PDF 职称材料
3	对称函数的d_j图表示及其应用	赵美玲娄建国陈偕雄	《浙江大学学报（理学版）》 CAS CSCD 北大核心	2006	1	在线阅读下载PDF 职称材料
4	CRM分解图的性质及其应用	赵美玲吴强陈偕雄	《浙江大学学报（理学版）》 CAS CSCD 北大核心	2006	1	在线阅读下载PDF 职称材料
5	基于表格法的CRM型对称函数检测	应时彦肖林荣陈偕雄	《浙江大学学报（理学版）》 CAS CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
6	CRM型对称函数及其逻辑综合	赵美玲赵小琳	《浙江大学学报（理学版）》 CAS CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料