双极性忆阻器模型参数对蕴含逻辑门的影响

首先深入分析了具有阈值特性的双极性忆阻器模型的阈值电压和高低阻态开关特性,然后基于此模型设计了蕴含逻辑门电路,该设计有效解决了由线性漂移忆阻器模型构建的蕴含逻辑门电路存在的状态漂移问题。最后分别研究了忆阻值变化快慢参数(β)、阈值电压(V_t)和高低阻态阻值比率(a)对蕴含逻辑门电路运算速度和功率损耗的影响。理论分析和电路仿真表明,β增大或V_t和a减小,电路运算速度提高;β增大或a减小,电路功耗减少,V_t对电路功耗影响很小。研究成果为进一步设计运算速度更快、功耗更低的全加器和多路器等逻辑电路提供理论依据。

灰度逻辑蕴含运算CNN模板的鲁棒性设计

为了解决灰度图像逻辑蕴含运算的问题,该文对一类灰度图像逻辑蕴含运算细胞神经网络(Gray-scale logic converse implication operation cellular neural network,GLCIO CNN)进行了研究。通过制定两幅灰度图像之间的逻辑蕴含运算,设计了一类GLCIO CNN。根据GLCIO CNN的局部规则,对其模板进行鲁棒性设计,提出相应的鲁棒性设计定理,并给出了科学合理的数学证明。只要细胞神经网络的模板参数满足定理中提出的参数不等式,细胞神经网络(CNN)就能够对两幅灰度图像执行逻辑蕴含运算。实验结果验证了GLCIO CNN的有效性及鲁棒性设计定理的可行性。

一种基于忆阻器的可重配置逻辑电路

分析了具有阈值特性的双极性忆阻器模型的阈值电压和高低阻态开关特性,提出了一种基于该模型的可重配置逻辑电路。与基于忆阻器的蕴含逻辑门电路相比,可重配置逻辑电路具备逻辑运算的完备性,在实现"非"、"或"、"与"运算时,运算速度更快、功耗更低。仿真实验验证了电路逻辑功能的正确性,为设计运算速度更快、功耗更低的全加器和数选器等逻辑电路提供了参考。

基于忆阻器的异或逻辑单元的两步操作实现

针对基于忆阻器构建的高效逻辑单元,利用忆阻器的特性,为异或逻辑提出了一种两步操作的实现方法。第一步,将异或逻辑操作使用的忆阻器数目减少为4个;第二步,改进电路结构,将操作步骤降低为两步。结果表明,采用该高效实现方法后,异或逻辑单元的逻辑计算延迟和逻辑资源占用量均得到改善。逻辑资源占用数目减少了33.3%,操作步骤数目降低了70.4%,极大地提高了忆阻器的计算效率。

基于忆阻器的多路复用器设计与实现

结合忆阻器蕴含逻辑和非蕴含逻辑的运算特点,设计2-1和4-1多路复用器电路并提出其实现方法.利用蕴含逻辑和非蕴含逻辑自带"或"和"与"运算的特性,对多路复用器的逻辑表达式进行等价变换,运用2种逻辑的迭代运算实现2-1和4-1多路复用器.同时,通过调整逻辑执行的顺序提高忆阻器单元的复用率和精简操作流程.HSPICE仿真实验验证了该方法是可行的,且在减少忆阻器开销的同时能降低时延.

忆阻-CMOS混合模逆电路设计

模逆运算是加密算法中最复杂的运算,更是最关键的模块之一。忆阻器是替代现有的晶体管从而延续摩尔定律的有力竞争者。文中结合信息安全和忆阻器两个领域的研究现状,将忆阻蕴含机制应用于模逆电路设计,研究忆阻器应用于大规模数字电路中的可行性和适应性。首先,基于FPGA平台提出忆阻蕴含逻辑电路模型,进而实现了基础逻辑门和加法器等功能模块;再调用功能模块,成功设计出了基于二进制扩展的Euclidean算法的忆阻-CMOS混合模逆电路。经仿真与验证,模逆模块在200MHz的时钟下能正确地执行设计功能。

DTD模式下的XML结构完整性约束

XML结构完整性约束(XSICs)描述了XML文档中节点或路径之间结构关系,这种约束可以看成是DTDs的扩展和补充.定义了元素排他性包含、必需性包含、路径蕴含、路径同现和路径互斥五种XSICs的语法和语义,研究了如何使用XSICs扩展DTDs,并解决了有DTDs的情况下结构完整性约束的逻辑蕴含问题和一致性问题.

基于忆阻特性的点乘器的设计

忆阻器是四种基本的电子元器件(电阻器,电容器,电感器和忆阻器)的最新成员。基于其结构简单、高集成和低功耗等特点,可以有多种用途。其中最有趣的方法之一是在电路中实现完整的逻辑运算。为了展示这种潜力,文中主要采用了基于忆阻特性的蕴含逻辑(IMP)来实现椭圆曲线中模乘等底层模块,并且进一步扩展到点乘器的电路应用。具体而言,该电路是通过集成CMOS电路并在CMOS逻辑中模拟抽象忆阻器工作过程来实现的。点乘模块的设计结果最终在Xilinx FPGA中成功验证。

对等级含义研究的思考

对国内等级含义研究进行了概述,对选择强项否定弱项产生的意义以及等级含义与认知的关系进行了研究,指出选择强项意味着否定弱项,而对弱项的否定意义同样是选择强项的等级含义,把等级含义置入认知环境中研究将有助于进一步理解等级含义的本质。

语言交际的词义外延性

1词语的定义问题在给词语定义时,往往会陷入循环定义的泥潭。如Saeed(1997:6)举了下面这个例子来说明词典编撰者在定义类似ferret(雪貂)词语时的困惑。此词在英语词典里被定义成Domesticated albino varietyof the polecat,Mustela putorius,bred for hunting rabbits,rats,etc.由于是用词语来定义词语,因此对定义词语的理解,又要通过其它定义词语获得。

针对最小项伪装电路的逆向工程攻击方法

为了进一步提升最小项保护的IC(integrated circuit)伪装策略的安全性,针对其电路结构缺陷提出一种攻击方法,并分析其改进点.首先,对CamoPerturb提出的最小项保护伪装策略的实现技术进行分析,采用通路敏化和逻辑蕴含技术研究逻辑门替换引起最小项扰动原理.然后,借鉴FAN算法思想计算出伪装电路中更改的最小项与逻辑门,从而恢复初始电路结构.实验采用ISCAS89基准电路和openSPARC处理器电路,结果表明利用所提方法仅需数ms即可高效地破解CamoPerturb对IC的伪装.

最小函数依赖集F'的最优算法

在数据库设计中,依据函数依赖集的定义及Armstrong公理,求出的是一个可能存在冗余的函数依赖集.为了判断一个函数依赖是否为某一函数依赖集逻辑蕴含,只要用求属性闭包的方法求出函数依赖中决定子的属性闭包,判断依赖于是否包含在属性闭包中即可.本文从求属性闭包的角度出发,给出一个求最小函数依赖集的算法.