集合与简易逻辑错解分类辨析

集合与简易逻辑在中学数学中起到基础性和工具性作用,应用集合的思想分析和认识数学问题,可以更深刻地揭示问题的本质.因此,集合与简易逻辑问题都有一定的难度,学生在解题时,经常会出现一些问题,下面就一些常见错误分类辨析如下,供大家参考.一、未弄清集合的有关概念例1设集合M可表示为m,mn,1,也可以表示为m2,mn,0,求m、n的值.错解∵m,mn,1={m2,m+n,0},∴0∈m,mn,1.而m≠0,得mn=0,即n=0.于是{m,0,1}={m2,m,0},∴m2=1,即m=±1.辨析m=1,n=0时,集合{m2,m+n,0}就写成了{1,1,0},由集合的概念知,这是错误的.解这类问题,一定要把所得值代入集合中…     

有界Heyting代数的扩张模糊LI-理想

运用代数学与模糊集的基本原理和运算方法深入研究有界Heyting代数的扩张模糊LI-理想理论。在有界Heyting代数H,≤,→,0,1中，引入了模糊LI-理想f关于H上的模糊子集κ的扩张模糊LI-理想和不变模糊LI-理想概念，给出了扩张模糊LI-理想和不变模糊LI-理想的若干重要性质和等价刻画；讨论了扩张模糊LI-理想与生成模糊LI-理想之间的关系；考查了扩张模糊LI-理想在构造格结构研究中的应用，证明了有界Heyting代数H,≤,→,0,1的模糊LI-理想全体之集FLIH的三类子集在模糊集合包含序?下均构成完备Heyting代数。     

基于SDH中E1信号映射解映射误码测试系统的研究

误码仪在通讯中起着至关重要的作用,是衡量一个通讯系统优劣的工具,传统的误码仪价格昂贵,操作复杂,不便于携带.以FPGA及其外围电路为硬件部分,在Quartus软件平台上,推出了基于测量SDH中E1信号映射解映射的误码仪,并根据实验的验证,符合工业化测量的需要.     

基于满周期等相移算法的改进双频在线相位测量轮廓术

基于在线三维(3D)测量中被测物体与高频条纹的相对位置关系,提出了一种改进的双频在线3D测量方法,通过控制被测物体运动时的采集点,使各帧像素匹配后变形条纹图中的高频条纹光强分布完全一致。直接利用满周期等相移算法进行相位计算,从而避开滤波过程,提升3D重构精度。高频条纹光强分量被设计为远小于低频条纹光强分量,可将其看成是微弱的背景光,进一步减小高频条纹对相位计算的干扰。仿真与实验结果表明:相比其他方法,所提方法可有效提升重构精度。     

皮秒光纤激光脉冲两个关键问题的研究

窄带耗散孤子锁模光纤激光器可以产生接近变换限制的皮秒脉冲，但受非线性相移的限制，输出脉冲重复频率不能通过增加腔长来降低，脉冲能量仅在0.1 nJ以下，严重制约着这类皮秒脉冲的实际应用。提出一种通过耦合器抽取腔内脉冲能量、抑制腔内非线性相移积累，进而允许增加腔长来降低窄带耗散孤子皮秒光纤激光脉冲重复频率的方法。运用该方法，成功地将激光器重复频率由35.2 MHz降低到了1.77 MHz，且脉冲时频特性保持不变。提出了一种基于级间FBG陷波滤波的抑制皮秒脉冲光纤放大中光谱展宽的方法。通过简单地使用级间陷波滤波器，既可窄化第一级光纤放大器后的输出脉冲谱宽，允许采用第二级光纤放大器进一步提升脉冲能量，而且，还可将脉冲重塑为近高斯形，利用高斯脉冲光谱展宽斜率小的特点，允许第二级光纤放大器将脉冲能量提升得更高。利用该方法，在RMS（均方值）谱宽保持0.4 nm以内的前提下，10 ps脉冲经标准单模光纤放大器后，能量可由0.2 nJ可提升到10 nJ以上。     

基于RTD的三变量特征阈值逻辑门及通用阈值逻辑门设计

单双稳态转换逻辑单元（MOBILE）能够充分发挥共振隧穿二极管（RTD）的负内阻和快速开关转换特性，且由MOBILE构成的电路能方便地实现阈值逻辑功能。利用谱技术将三变量阈值函数分为3类；结合阈值逻辑电路的特点，分别对三变量特征阈值函数和34个具有代表性的阈值函数进行分析和比较；设计了基于RTD的新型三变量特征阈值逻辑门及通用阈值逻辑门。通过HSPICE仿真和功耗测试，验证了所设计的电路不仅具有正确的逻辑功能，而且有效减小了电路面积、降低了功耗和成本。     

格蕴涵代数的生成(∈,∈∨q)-Ⅳ模糊LI理想

基于常规Ⅳ模糊集合包含序?,引入格蕴涵代数的由一个Ⅳ模糊集生成的(∈,∈∨q)-Ⅳ模糊LI理想概念并考察其结构性质.建立并证明了生成(∈,∈∨q)-Ⅳ模糊LI理想的表示定理.为研究(∈,∈∨q)-Ⅳ模糊LI理想全体之集在?下的格结构特征奠定了基础.     

基于正反馈异或/同或门的低延时混合逻辑加法器设计

针对采用传输管逻辑设计的加法器存在阈值损失以及延时过高等问题, 结合正反馈原理, 提出无阈值损失的低延时正反馈混合逻辑加法器设计方案. 该方案首先分析传输管异或门阈值损失机理, 利用正反馈环电平锁定特性, 设计无阈值损失的正反馈异或/同或门; 然后利用有比逻辑特定晶体管的尺寸差, 以减少正反馈异或/同或门输出延时; 最后融合传输管逻辑、传输门逻辑和静态互补CMOS逻辑等的优点, 实现无阈值损失且低延时的混合逻辑加法器. 在TSMC 65nm CMOS工艺下, HSPICE仿真结果表明, 所设计电路与传输门加法器相比延时和功耗延时积分别降低12.75%和10.88%.     

基于不相交锐积运算的逻辑函数错误率计算

提出了一种通过比较逻辑覆盖差异的函数错误率计算方法, 该方法主要包括逻辑覆盖不相交锐积运算和双锐积运算, 分别用于实现2个逻辑覆盖之间不相交操作和公共部分删除操作, 进而实现TB逻辑函数之间或RM逻辑函数之间覆盖差异的提取. 通过对所提取覆盖包含的最小项数量统计, 实现函数错误率的计算. 所提出的方法用C语言实现, 并用MCNC测试电路进行测试. 实验结果表明, 该算法可以实现TB函数和RM函数的错误率计算, 且具有运算速度快, 适合处理大逻辑函数的特点.     

逻辑电路设计中逻辑函数的图形化简法探析

在数字电路中逻辑函数的化简方法一般有公式化简法和图形化简法,其中图形化简法简单、直观,有一定步骤可以遵循,但在教学过程中发现,学生用卡诺图化简逻辑函数时,按教科书中归纳的几个步骤生搬硬套,对最基本的概念和性质缺乏理解,常常出现不少的问题.文章通过案例分析,对逻辑函数的图形化简法进行了深入的分析,并归纳出图形化简法的一般规律.