广义部分Bent函数和广义Bent函数的关系

Bent函数是一类特殊的布尔函数,因其非线性性和稳定性在密码学和通信等领域有很重要的应用,但它们数量少,不平衡且无相关免疫性,为了弥补Bent函数的不足,Claud Carlet提出了部分Bent函数的概念,部分Bent函数是包含Bent函数的更大的函数类,后来,人们又将这两种函数概念先后都拓广到了环zm^n(m为正整数）上,分别被称为zm^n上的广义Bent函数和广义部分Bent函数,本文利用zp^n(p为素数）上广义部分Bent函数的Chrestenson循环谱特征讨论了zp^n上的广义部分Bent函数和广义Bent函数之间的关系,给出了这两种函数之间的函数关系式和谱值关系式。     

基于交换作用的纳磁逻辑电路片上时钟结构研究

纳磁逻辑电路具有低功耗、非易失和可常温下制备等优点, 实现低功耗片上时钟是其集成化的必备条件. 本文提出了一种基于交换作用的纳磁逻辑电路片上时钟结构, 用载流铜导线产生的奥斯特场将铁磁体薄膜覆层进行磁化, 然后依靠铁磁体层与纳磁体界面存在的交换作用场使后者磁化方向发生翻转. 与轭式铁磁体时钟用外磁场控制纳磁体磁化方向相比, 该方案在功耗方面降低了5/6, 时钟边界杂散场强度降低了2/3, 达到降低功耗、减轻串扰的目的. 此外, 采用微磁仿真进一步验证了该时钟结构上的纳磁体逻辑阵列可以实现逻辑功能. 关键词： 纳磁逻辑 片上时钟 交换作用     

基于ZigBee的煤矿井下预警防爆监测系统设计

针对矿山井下的特殊环境,提出了一种基于ZigBee技术的煤矿井下预警防爆监测系统,实现煤矿井下环境信息和人员位置的实时监测,以减少事故发生率;井下系统采用CC2530+CC2401芯片作为ZigBee节点的核心,井下主控制器通过CAN总线实现与井上上位机的通信;上位机使用Labview软件实现程序编程,实时显示煤矿井下采集到的CH₄、CO、O₂浓度、温湿度和人员坐标等参数并进行Web发布;该系统结合了基于模糊逻辑算法的预警技术、基于物理隔离的防爆技术,同时提出了一种融合LQI的RSSI加权质心算法;实验证明该系统运行稳定可靠,提高了人员定位的精度,具有良好的应用前景。     

一种变频相移干涉测量的相位提取算法

相位提取的精度直接影响相移干涉测量的精度。在变频相移干涉测量中,相移量由干涉腔长和波长变化量决定,必须对测试系统进行相位标定,但常因相位标定不精确而引入相移误差,影响相位提取的精度。运用一种基于迭代的相位求解算法,该算法无需对测试系统进行相位标定,可以在被测相位和相移量均未知的情况下,通过交替迭代法求解出被测相位。通过仿真比较了传统四步相移和基于迭代的相位求解算法的相位提取精度,结果表明,基于迭代的相位求解算法的相位提取精度优于传统四步相移算法的精度。     

剩余格与正则剩余格的特征定理

本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格，并引入了正则剩余格的概念，对剩余格与正则剩余格的定义进行了讨论，给出了剩余格与正则剩余格的特征定理，其中包含剩余格与正则剩余格的等式特征，从而这两个格类都构成簇．本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系．     

《关于命题的讨论》一文的一点瑕疵

文 [1 ]旨在对高中新教材中新增加的“简易逻辑”内容进行解释说明 ,对于不熟悉这部分内容的中学师生颇有参考价值 .但是该文中有一点瑕疵 ,今冒昧指出 .文 [1 ]在谈到关于命题的否定与否命题这一问题时认为 :“若ｐ则ｑ”的否定是“若ｐ则非ｑ” .这是一个错误观点 .事实上 ,“若ｐ则ｑ”等价于 (「ｐ)∨ｑ(文 [1 ]在谈到关于逻辑联结词与复合命题时也是这样说的 ) ,其否定应该是ｐ∧ (「ｑ) .ｐ∧ (「ｑ)读作“ｐ且非ｑ” ,习惯上也可以说成“虽然ｐ ,但非ｑ” .“若ｐ则非ｑ”等价于 (「ｐ) ∨ (「ｑ) .当ｐ为假时 ,「ｐ为真 ,于是 (「ｐ…     

浅谈命题之否定

在形式逻辑中 ,我们把反映事物具有或不具有某种属性或关系的思维形式叫做判断 .表达判断的语句叫命题 .在数学中 ,用语言、符号或式子表示的并且能区别真假的语句叫数学命题 .命题按能否分解可分为简单命题和复合命题 ,按其所判断的是事物的性质或存在的关系可分为性质命题和关系命题 .在数学证明中 ,准确无误地写出一个命题的否定式是十分重要的 .1　简单命题的否定1 1　性质命题的否定每一个性质命题都由主项、谓项、量项、联项四部分组成 ,其中主项表示被判断的对象 ;谓项表示主项的性质 ;量项表示主项的数量 ,分为全称量项和特称量项 …     

利用电子散斑相移技术测量物体三维面形的方法

为了获得准确的面形测量,提出了一种相移电子散斑干涉技术测量物体面形的测量方法.利用电子散斑干涉产生载波条纹,该载波条纹受到物体表面高度的调制变得弯曲,引起载波条纹相位的变化,可运用相移技术提取物体的相位信息,最后根据高度和相位之间的关系得到物体的面形.介绍了该方法的原理,利用该方法对球冠物体进行了面形测量,证明该方法测量物体面形是可行性的.由于是采用散斑干涉的方法产生干涉条纹,因此该方法测量物体面形具有灵敏度高的优点.     

相移阴影莫尔基于迭代LSM拟合

相移阴影莫尔技术相位高度存在着非线性关系,无法在全场获得均匀相移,因而致使经典的相移算法不能得到精确解.对此,提出了一种基于最小方差迭代的相移阴影莫尔技术,该技术通过垂直光栅面等间距移动光栅来产生相移,但光栅移动距离可不采用固定值,所以相移过程灵活|使用在高度解调过程中确定的逐点相移增量来抽取精确的测量相位,实现了相移阴影莫尔技术中固有的相位高度非线性误差补偿.结果表明,该方法可通过干涉图计算光栅的移动量,具有相移器的自标定特性.     

20 Hz~10 kHz光纤水听器相移灵敏度校准

利用相位生成载波解调技术精确测量光纤水听器的光相移量,在20 Hz~10 kHz频率范围实现了光纤水听器探头相移灵敏度的校准.20 Hz~1.25 kHz频段采用驻波管比较法进行校准,1.25 kHz~10 kHz频段采用自由场脉冲比较法进行校准.利用本文建立的校准系统,对TMD 35#光纤水听器的相移灵敏度进行校准,校准结果表明,两种方法测得的相移灵敏度具有很好的一致性,在1.25 kHz频率点的相移灵敏度值偏差为0.8 dB.不确定度分析表明,该校准系统的扩展不确定度(k=2)为0.9 dB.