期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
与-或及与-异或表达式间的一种转换方法 被引量:2
1
作者 张文龙 周明润 《上海师范大学学报(自然科学版)》 2004年第2期33-36,共4页
介绍了与-或表达式及与-异或表达式间的一种形式的转换方法,该方法方便了在这两种表达式间的直接转换,也适于用计算机辅助进行两种表达式间的直接转换。用这种方法能方便地导出与-或表达式与Reed-Muller表达式间的形式转换以及极性函数... 介绍了与-或表达式及与-异或表达式间的一种形式的转换方法,该方法方便了在这两种表达式间的直接转换,也适于用计算机辅助进行两种表达式间的直接转换。用这种方法能方便地导出与-或表达式与Reed-Muller表达式间的形式转换以及极性函数转换成Reed-Muller表达式的形式转换。 展开更多
关键词 逻辑表达式 与-异或表达式 Reed-Muller表达式 极性函数
下载PDF
“准-先验性”和“与-在”:德里达与南希论素描
2
作者 苏林 《文艺理论研究》 CSSCI 北大核心 2024年第1期36-45,57,共11页
素描不但在艺术中占据独特且重要的位置,更因其中蕴含的思之潜能为众多思想家所关注。现代法国哲学常以对于艺术的讨论来承载哲思,素描则因其与书写的联系受到解构主义的关注。德里达与南希都曾写过讨论素描的作品,在他们的思考中,素描... 素描不但在艺术中占据独特且重要的位置,更因其中蕴含的思之潜能为众多思想家所关注。现代法国哲学常以对于艺术的讨论来承载哲思,素描则因其与书写的联系受到解构主义的关注。德里达与南希都曾写过讨论素描的作品,在他们的思考中,素描皆与他者密切相关。但他们二人对他者的思考却有着不同侧重:德里达肯定他者之为全然他者,赋予其准先验色彩,进而更强调他者在意义建构之中的必须与我们因此而背负的债务,而南希在肯定差异与间隔的基础上更倾向于思考一种“与-在”模式。深入解读德里达与南希关于素描的讨论,将有助于我们理解这两位解构阵营内思想家的承续与差异,同时也能澄清二者解构思想的内在核心。 展开更多
关键词 素描 他者 解构 德里达 南希 与-
下载PDF
An AND-LUT Based Hybrid FPGA Architecture 被引量:1
3
作者 陈利光 来金梅 童家榕 《Journal of Semiconductors》 EI CAS CSCD 北大核心 2007年第3期398-403,共6页
A new hybrid FPGA architecture is proposed. The logic tile,which consists of a logic cluster and related connection boxes (CBs), can be configured as either programmable logic arrays (PLAs) or look-up tables (LUT... A new hybrid FPGA architecture is proposed. The logic tile,which consists of a logic cluster and related connection boxes (CBs), can be configured as either programmable logic arrays (PLAs) or look-up tables (LUTs), This architecture can be classified as an AND-LUT array. PLAs are suitable for the implementation of high fan-in logic circuits, while LUTs are used to implement low fan-in logic circuits. As a result, the proposed hybrid FPGA architecture (HFA) is more flexible to improve logic density. Experiments based on MCNC benchmark circuits were performed in both the hybrid architecture and conventional LUT-based symmetrical FPGA architecture in term of area consumption. Preliminary results indicate that on average, the area is reduced by 46% using the new hybrid architecture. 展开更多
关键词 hybrid FPGA AND-LUT array AND-OR array PLA LUT
下载PDF
基于与异或非图的混合粒度可重构密码运算单元设计
4
作者 戴紫彬 张宗仁 +2 位作者 刘燕江 周朝旭 蒋丹萍 《电子与信息学报》 EI CSCD 北大核心 2023年第9期3370-3379,共10页
粗粒度可重构密码逻辑阵列(CGRCA)难以兼容细粒度序列密码算法,且在编码环节功能单元容易出现竞争冲突,进而导致阵列的资源利用率低和延迟大等问题。为此,利用与-异或-非图(AXIG)双逻辑表达的优势,该文提出一种混合粒度的可重构的多功... 粗粒度可重构密码逻辑阵列(CGRCA)难以兼容细粒度序列密码算法,且在编码环节功能单元容易出现竞争冲突,进而导致阵列的资源利用率低和延迟大等问题。为此,利用与-异或-非图(AXIG)双逻辑表达的优势,该文提出一种混合粒度的可重构的多功能密码运算单元,并在晶体管级进行了实现验证,可兼容现有序列密码算法中非线性布尔函数,在延迟和面积-延迟积(ADP)方面均有提升。设计了可重构与、异或、与非(RAXN)逻辑元件,可同时重构“And,Xor,Nand”等逻辑功能,并提出了RAXN的晶体管级实现方法和版图结构;提出了基于RAXN的功能扩展方法,实现了全加器功能、与/异或3输入逻辑功能以及乘法部分积生成功能,并作为基本功能单元(RAXN_U);结合动态配置和动态调度的思想,利用阵列中互联资源和RAXN_U,设计一种可同时实现32bit加法、8 bit乘法、CF(2^(8))有限域乘法,以及包括S盒在内的复杂非线性布尔函数的混合粒度多功能密码运算单元(RHMCA)。在CMOS 40 nm工艺进行后端定制化设计,实验结果表明,该文提出的多功能单元较传统的实现方法,延迟最好情况优化1.27 ns,面积-延迟积(ADP)值最大提升44.8%。 展开更多
关键词 密码运算单元 多功能可重构 混合粒度 与-异或-非图
下载PDF
逻辑函数对称变量检测算法 被引量:3
5
作者 厉晓华 杭国强 陈偕雄 《电路与系统学报》 北大核心 2013年第2期31-35,共5页
针对图形方法、谱系数方法和传统表格方法在检测逻辑函数变量对称性过程中步骤繁琐、适用对象局限及完备性不足等问题,提出了与-或-非代数系统中基于1值最小项的E(xi|xj)、N(xi|xj)、S(xi|xj)、S(xi|xj)、S(xj|xi)、S(xj|xi)六类对称性... 针对图形方法、谱系数方法和传统表格方法在检测逻辑函数变量对称性过程中步骤繁琐、适用对象局限及完备性不足等问题,提出了与-或-非代数系统中基于1值最小项的E(xi|xj)、N(xi|xj)、S(xi|xj)、S(xi|xj)、S(xj|xi)、S(xj|xi)六类对称性检测算法。该算法从逻辑函数1值最小项中提取变量xi、xj为各类特征编码时的余子变量编码,通过比较余子变量编码是否满足两两相等来检测变量xi、xj的各类对称性。该算法通过表格模拟了检测过程,应用结果表明,与图形方法、谱系数方法和传统的表格法相比,在考虑的项数、检测的完备性和算法实现方面是最优的。该算法已用C语言实现,实验结果验证了快速有效。 展开更多
关键词 逻辑函数 与-或-非代数系统 对称检测
下载PDF
关于对称函数的性质之补充研究
6
作者 陈偕雄 《杭州大学学报(自然科学版)》 CSCD 1995年第4期436-437,共2页
在与-或-非代数系统中存在一种构成完备集的对称函数:基本对称函数.其定义如下:即S_i为所有i个变量取原变量,余下n—i个变量取反变量组成的布尔积(相与)之或它表示当n个输人变量中任意i个变量为1,其余变量为0时,函数值为1;否则函数值为0.
关键词 完备集 对称函数 布尔积 与-或-非代数
下载PDF
计算机辅助卡诺图的快速化简
7
作者 郭亚庆 赵源 《价值工程》 2013年第33期171-172,共2页
本文阐述了利用VB编程绘制卡诺图,对输入的逻辑函数由计算机自动译码、逻辑运算、快速填写卡诺图,最后输入卡诺圈所包围的最小项,并由计算机自动生成最简"与-或"表达式。
关键词 逻辑函数化简 卡诺图 快速填写卡诺图 自动生成最简“与-或”表达式
下载PDF
目标驱动的编译原理课程体系研究 被引量:6
8
作者 杨晓波 骆嘉伟 文佳宝 《计算机教育》 2011年第11期23-27,共5页
针对编译原理课程理论性和实践性强、学生往往感到困惑和难学的问题,在研究国内各高校编译原理课程教改经验的基础上,基于目标驱动的思想,提出基于分层与-或图的编译原理课程实施目标体系,并结合湖南大学信息科学与工程学院的教学实际,... 针对编译原理课程理论性和实践性强、学生往往感到困惑和难学的问题,在研究国内各高校编译原理课程教改经验的基础上,基于目标驱动的思想,提出基于分层与-或图的编译原理课程实施目标体系,并结合湖南大学信息科学与工程学院的教学实际,以这些目标为重点组织教学、实验和考核。该方法既有系统性又有具体性,在考虑整个编译器系统的基础上逐步细化各个子目标,便于师生互动和进行过程化的学习管理,利于启发学生自主学习。 展开更多
关键词 目标驱动 与-或 编译原理 课程体系
下载PDF
成核剂对PHBV等温结晶行为的影响 被引量:5
9
作者 杨慧丽 刘万军 +2 位作者 王茁 董丽松 刘景江 《高分子学报》 SCIE CAS CSCD 北大核心 2001年第5期645-649,共5页
用DSC方法测定了氮化硼及滑石粉成核剂对 (β 羟基丁酸酯 与 β 羟基戊酸酯 )共聚物 (简称PHBV)等温结晶行为的影响 .结果表明 ,Avrami方程指数n、成核机理、晶体生长方式基本上不受成核剂的影响 .少量的成核剂可使结晶成核自由能降低 ... 用DSC方法测定了氮化硼及滑石粉成核剂对 (β 羟基丁酸酯 与 β 羟基戊酸酯 )共聚物 (简称PHBV)等温结晶行为的影响 .结果表明 ,Avrami方程指数n、成核机理、晶体生长方式基本上不受成核剂的影响 .少量的成核剂可使结晶成核自由能降低 ,结晶速率加大 。 展开更多
关键词 -羟基丁酸酯-与-β-羟基戊酸酯)共聚物 成核剂 等温结晶动力学 PHBV 结晶行为 DSC 氮化硼 滑石粉
下载PDF
逻辑表达式的简化和转换方法的改进 被引量:1
10
作者 张文龙 《上海师范大学学报(自然科学版)》 2010年第1期56-60,共5页
阐述了推广的吸收律、广义还原律和分解定理等以及与-或及与-异或表达式间的转换公式.以示例说明,巧妙地使用这些定理和公式将能更好地利用布尔代数法对逻辑表达式进行简化.
关键词 逻辑表达式 布尔代数 与-或 与-异或
下载PDF
浒苔挥发性风味成分分析 被引量:11
11
作者 宋绍华 裘迪红 《食品科学》 EI CAS CSCD 北大核心 2012年第12期177-180,共4页
采用顶空固相微萃取-气质联用法对新鲜肠浒苔的挥发性风味成分进行测定,并加以感官评定分析比较风味物质组成。结果表明:浒苔的主要特征性风味物质是顺-3-十七烯,该物质在新鲜肠浒苔中含量高达59.54%,其次是棕榈醛、(E,E)-2,4-庚二烯醛... 采用顶空固相微萃取-气质联用法对新鲜肠浒苔的挥发性风味成分进行测定,并加以感官评定分析比较风味物质组成。结果表明:浒苔的主要特征性风味物质是顺-3-十七烯,该物质在新鲜肠浒苔中含量高达59.54%,其次是棕榈醛、(E,E)-2,4-庚二烯醛、β-紫罗兰酮、壬醛、反式-2-己烯醛、2,4-戊二烯醛以及反,反-2,4-癸二烯醛等。 展开更多
关键词 浒苔 顶空固相微萃取与-气质联用法 挥发性风味成分
下载PDF
逻辑代数基本定理的证明 被引量:2
12
作者 邹泽民 《贺州学院学报》 1999年第4期71-73,共3页
本文分别给出逻辑函数基本定理的三种论证方法
关键词 n元逻辑函数 范式定理 n元“与-或”范式 n元“或-与”范式 最小项
下载PDF
逻辑函数化简技巧
13
作者 唐晓慧 《贵州师范学院学报》 2013年第6期15-17,共3页
卡诺图是逻辑函数化简最常使用的方法,阐述了如何简单而准确地判定相邻项,并利用了卡诺图中的最大项对逻辑函数化简,使逻辑函数化简来得更简洁明了。
关键词 逻辑函数 卡诺图 相邻 最小项 最大项 与-或 -与式
下载PDF
如何正确使用逻辑表达式的简化和转换
14
作者 王桔洲 马静婕 《甘肃科技纵横》 2006年第4期169-169,49,共2页
在逻辑电路的教学中使用推广的吸收律,广义还原律和分解定理等和本文给出的与-或及与-异或表达式的转换公式,将有利于学生更好地利用布尔代数法对逻辑表达式简化与运算。
关键词 逻辑电路 逻辑表达式 与-或 与-异或 布尔代数
下载PDF
逻辑代数中三个主要问题的研究
15
作者 邹泽民 钟建林 《广西梧州师范高等专科学校学报》 2001年第1期70-73,共4页
本文运用逻辑代数的基本理论及“图式结合”的逻辑思想方法 。
关键词 “或-与”范式 逻辑代数 与-或”范式 最小项 最大项 卡诺图 逻辑
下载PDF
“与—或”式直接表自动生成程序
16
作者 程显毅 《中华学习机》 1990年第10期16-17,共2页
关键词 与-或 直接表 自成生成程序
下载PDF
基于AXIG重构的功耗优化
17
作者 马雪娇 夏银水 尹浩凯 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2018年第12期2344-2352,共9页
功耗优化是逻辑综合中的重要部分.针对现有功耗优化仅用单一逻辑实现的局限性,提出一种基于与-非图节点重构和与-异或-非图变量重构的功耗优化方法.首先以功耗为主要优化目标,将逻辑函数表示为与-非图并进行节点重构,得到与-异或-非图... 功耗优化是逻辑综合中的重要部分.针对现有功耗优化仅用单一逻辑实现的局限性,提出一种基于与-非图节点重构和与-异或-非图变量重构的功耗优化方法.首先以功耗为主要优化目标,将逻辑函数表示为与-非图并进行节点重构,得到与-异或-非图实现函数表示由单一逻辑到双逻辑的变换;然后在与-异或-非图中搜索模式图,由变量重构得到其等价模式图;最后根据模式图特征选取最优匹配子图进一步优化功耗.实验在Linux系统下采用C语言实现,结果表明,与优化工具ABC,AIG重写和AXIG优化方法相比,该方法的功耗分别减少24.56%,21.75%和9.39%. 展开更多
关键词 逻辑综合 功耗优化 与-异或-非图 节点和变量重构 模式图
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部