设计合成亚胺类化合物用于金属阳离子逻辑门识别及双控荧光分子开关构建

报道了首次设计合成希夫碱还原产物N,N-双(4-甲氧基苯)乙基-1,2-二胺受体分子L.通过考察L与12种金属阳离子作用时的荧光性质变化,发现Cu2+和Fe3+对L有显著的荧光猝灭作用,Zn2+和Cd2+对L有明显的荧光增强作用;因此可构建受体分子L对两对金属阳离子的"OR"逻辑门作用关系,形成逻辑识别体系.测定了Zn...     

基于相变原理模拟红色顶发射有机电致发光器件的出光性能

研究了有机发光器件(organic light emitting diodes, 简记为OLED)半透明电极上形成的反射相移对OLED光谱产生调制现象.以红色微腔结构顶发射OLED(top emitting OLED,TOLED)为例,基于微腔理论和传输矩阵理论建立物理模型,采用计算机数值模拟方法,得出结果表明器件发光光谱的调制作用不只局限于有机层厚度,也和反射相移有关.通过改变覆盖到顶电极表面的有机层厚度的简单方法,可以实现对顶电极反射相移的调节,从而改变TOLED光学性能.这一结果为进一步改善器件的性 关键词： 反射相移模拟 红色微腔 顶发射有机发光     

结构光测量相位波动误差补偿方法研究

在计算机仿真分析投影仪伽马非线性特性对包裹相位波动误差影响的基础上,提出一种面向相移结构光测量的相位波动误差补偿方法.该方法采用二次多项式最小二乘拟合的方法近似输出条纹光强分布,实现包裹相位波动误差的补偿,减小投影仪非线性导致的系统测量误差.此方法简单,运算量小,不依赖环境光源及投影仪、摄像机具体参数,具有很强的通用性...     

三维成像中相位级次自编码的相位测量方法

提出一种相位级次自编码技术的相位测量方法.与传统的相位测量技术不同,该方法利用截断相位的微分值作为编码通道,完成对各条纹级次的编码.构造的代码序列总长度为投影条纹的周期数,每个周期作为一个码元,由相邻若干码元构成一个代码子序列.相位计算后,根据截断相位的微分信息,可以提取出各周期及其码元值,通过在设计的代码序列中进行代...     

简易逻辑与函数及不等式的综合──以2012年北京文科卷14题为例

近年来,将简易逻辑与函数及不等式综合在一起的考题在高考中时有出现,且往往以小题压轴题的形式出现,这类题目已成为高考的热点及难点.这类试题知识覆盖面广,综合性强,灵活多样.从知识目标看能考查高中数学核心概念,从能力目标看能考查学生的分类讨论、数形结合、化归转化、分析问题及解决问题等能力.在推行高考命题以“能力立意”的今天此种类型倍受命题教师的青睐.     

剩余格上的L滤子

剩余格为模糊逻辑和模糊推理提供了一种良好的代数结构,滤子是剩余格中一个十分重要的概念,它在基于剩余格的模糊逻辑代数语义的研究中,扮演着一个关键的角色。本文基于Pavelka所提出的广义MP规则和真值提升规则,研究基于这两种推理规则的演绎系统的代数化问题。引入L滤子的概念,讨论这些滤子之间的关系,并给出它们的一些代数刻画。     

Fuzzy蕴涵代数的素模糊MP滤子

本文的目的是对Fuzzy蕴涵代数(简称FI代数)中的模糊MP滤子理论作进踊步深入研究。首先,引入素模糊MP滤子的概念并研究其性质,建立并证明了并半格FI代数的素模糊MP滤子定理;其次,在FI代数的素模糊MP滤子全体之集PFFMP(X)上构造了一个拓扑T,证明了拓扑空间(PFFMP(X),T)是T0空间。     

基于错误逻辑分解转化联结词的生态文明指标知识表达模型研究

研究错误逻辑的知识表达模型,以错误逻辑理论结合生态文明"五位一体"所构建的生态文明建设指标体系,进行基于对象识别的知识表达.指标体系内的各元素分别被定义为错误逻辑模型中的事物、特征、函数和规则.建模时,首先进行事物分解,第二步进行特定事物下对应的特性及规则分解,最后根据判别规则G对错误函数f形式的影响,对各项指标所适用的错误函数类型进行分类.对象的生成可以为用矩阵这样的数据结构对逻辑知识进行系统化组织做前期准备.     

逻辑函数在布尔减、布尔除、非代数系统中的规范展开式

证明了布尔减与非运算、布尔除与非运算均构成完备集，并根据布尔除、布尔减的运算规则和性质，从最小项、最大项展开式出发，推导了任意逻辑函数在这两个完备集中的规范展开式。得到的展开式形式简单，容易记忆，与函数在与、或、非代数系统中的规范展开式之间的转换非常便捷。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。     

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

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