基于相变材料的非易失光子多值器件研究

结合相变材料与马赫-曾德尔干涉仪调制器结构,设计了一种包含ITO微加热器的非易失性光子多值器件,通过对相变材料的结构参数进行仿真,优化了器件的调制窗口。同时对ITO微加热器的结构进行仿真设计,使微加热器的效率更高,更容易实现器件的多值调制。测试表明,该器件在施加电脉冲的过程中实现了超过32个状态(5 bit)的多值调制。这种电调制的非易失性光子多值器件为大规模的非易失性可配置光子硬件神经网络提供了基础的单元。

LF广义上(下)弱半连续多值映射及其性质

本文引入LF广义上与下弱半连续和广义弱连续多值映射等概念 。

几种多值序及其在拓扑中的应用

讨论了几种常见的多值序结构及其在拓扑中的应用。具体来说,对任意完备剩余格(Ω,*,1),从多值序的角度出发构造了Ω-滤子Monad(FΩ,η,μ),并据此给出了强Ω-拓扑的邻域结构,并展示了拓扑、序和范畴三种不同的结构之间的密切联系。

LF上(下)δ-弱半连续多值映射及其性质

利用δ-开集引入LF上(下)δ-弱半连续多值映射及δ-弱半连续多值映射等概念,研究了它们的若干等价刻划及性质。

LF广义上(下)几乎半连续多值映射及其性质

借助广义开集引入LF广义上(下)几乎半连续和广义几乎连续多值映射等概念,得到其若干等价条件,并研究了LF广义上(下)几乎半连续多值映射及其闭包间的关系。

用二值逻辑对多值逻辑进行优化

提出以二值多输出逻辑优化软件OPLG为基础 ,对多值逻辑函数进行逻辑优化的方法 通过对多值变量、多值函数的二进制矢量描述 ,将多值多维体转换为布尔表达式积项形式 从多值多维体的多值最小项出发 ,给出计算基本无关集的方法 对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG(允许的最大输入、输出变量之和为30 0 )来实现 。

多值模代数系统研究

综述了多值模代数系统 ,介绍了以模乘、模加运算为基本运算的传统多值模代数系统以及能将模从质数扩展到部分合数的多值模代数系统 .此外 ,还给出了模减与模除运算 ,从而完善了对多值模四则运算的研究 .

浅谈复变函数中初等多值函数教学的几个要点

在复变函数的教学中,初等多值函数是其中的难点.文章以根式函数为例,并结合笔者的教学实践,对初等多值函数中支点和支割线的选取及单值解析分支的确定与计算等要点进行了讨论.

插层Al_(2)O_(3)对氧化铪基忆阻器的性能优化及多值特性研究

近年来,氧化铪基忆阻器因其优异的阻变性能及与CMOS工艺兼容等特点而被广泛研究。然而,氧化铪基忆阻器仍存在以下问题:1)器件良率、可靠性、均一性不足;2)Set和Reset过程中电流突变,导致多值特性较差。为实现氧化铪基忆阻器的性能优化及多值特性,文章在HfO_(2)表面生长一层1~5 nm Al_(2)O_(3),构造Al_(2)O_(3)/HfO_(2)双介质层忆阻器,并对HfO_(2)和Al_(2)O_(3)的厚度进行优化,最终得到性能显著提升的Al_(2)O_(3)/HfO_(2)双介质层多值忆阻器。该器件呈现出保持性良好的10个不同电阻态(1×104s@85℃)。由于氧离子在Al_(2)O_(3)层的迁移率更低,限制了氧空位细丝生长速率及宽度,且Al_(2)O_(3)具有热增强作用,使氧空位分布更均匀,促使氧空位细丝生成/断裂过程由突变转为渐变。该工作为进一步实现氧化铪基忆阻器的性能优化及多值特性提供了参考。

多值评分CD-CAT的选题策略研究

认知诊断计算机化自适应测验(Cognitive diagnosis computerized adaptive testing, CD-CAT)为心理和教育评估测验的发展提供了新的视角。目前,关于CD-CAT的研究主要是基于二值评分的模型展开,但是,在实际应用领域,存在很多多值评分数据。高效的选题方法是CD-CAT程序成功的核心要素,本研究提出了两种新的多值评分CD-CAT(polytomous CDCAT, PCD-CAT)的选题方法,期望后验方差(expected posterior variance, EPV)和最大期望距离(maximum expected distance,MED)。通过模拟实验比较了EPV和MED在PCD-CAT的效果。实验结果表明,与传统的选题方法相比,EPV和MED具有更高的测验精度和测验效率。最后,通过一个PISA数据分析检验了PCD-CAT在实际应用中的效果及其优势。

Banach空间中多值Φ-增生和多值Φ-伪压缩映象的收敛定理

在任意Banach空间中引入比重要的多值-强增生映象和多值-强伪压缩映象更一般的多值Φ-增生映象和多值Φ-伪压缩映象,研究多值Φ-增生映象方程的解和多值Φ-伪压缩映象不动点的具随机误差的Ishikawa迭代逼近问题.这些结论推广和改进了最新文献中相应的结果.

基于三支决策的多值形势信息表研究

在现实生活中,多值形势信息表可以更好的刻画冲突问题,而已有的冲突分析模型主要关注于三 值形势信息表。在本文中,针对多值形势信息表,我们首先定义了支持度函数和反对度函数,并基 于支持度函数和反对度函数分别建立了二支冲突分析模型,即将Agent集分为支持集和非支持集 以及反对集和非反对集。然后,基于两个二支冲突分析模型得到三支冲突分析模型,其将Agent集 分为支持集、 中立集和反对集,并通过例子说明如何基于支持度函数和反对度函数计算支持集、 中立集和反对集。 最后,基于支持度函数和反对度函数建立五支冲突分析模型将Agent集分为支 持集、弱支持集、中立集、弱反对集和反对集,并通过例子说明如何计算支持集、弱支持集、中立 集、弱反对集和反对集。

0-1和多值可达矩阵的性质及应用

讨论0-1可达阵的基本性质及其在认知诊断中的重要作用,证明可达阵导出的学生Q阵在先决关系下构成1个格,给出了多值可达阵的计算方法和基于多值可达阵的扩张算法,还给出已知属性最高水平下多值可达阵和0-1可达阵相互转换的膨胀和压缩算法,发现多值可达阵实质上是0-1可达阵的压缩形式,并讨论多值可达阵的性质及其在认知诊断中的应用.

一种用于扩频通信系统的CNN多值随机码的研究

该文结合细胞神经网络(CNN)和扩频通信系统(SSS)的特点,利用三细胞CNN混沌产生了用于扩频通信系统的多值随机码,文中给出了码的生成方法并分析了它的性能,仿真结果表明这种码性能优越,能够很好地用于扩频通信系统。

基于蚁群算法的电子设备多值测试故障诊断策略

测试序列优化设计是故障诊断中的重要组成部分,最优测试序列能提高故障诊断的效率,常见的故障诊断系统均基于二值属性,而多值属性系统的测试优化问题研究的较少。针对多值属性系统测试序列优化问题的特点,提出了一种改进蚁群算法,结合二值属性系统和多值属性系统的关系,设计了适应于多值属性优化的状态转移规则和信息素更新机制。针对在等测试费用和故障先验概率的情况下不能寻优的问题,制定了对应的优化标准,符合实际的测试需求。通过对比试验,证明了其能解决电子系统多值属性系统的序列优化问题,扩展了多值属性电子系统的测试优化策略。

多值直觉模糊软集

将多值直觉模糊集和软集相结合,提出了多值直觉模糊软集的概念。给出了多值直觉模糊软集的补、交、并、"且"、"或"运算的概念,并基于这些概念研究了若干性质。

不完全信息环境下存在XML强多值依赖的XML文档规范化研究

不完全信息环境下XML文档中的数据存在多值依赖时,为了避免在没有约束条件下XML文档数据出现冗余及更新异常,引入XML强多值依赖的概念和理论对XML文档的规范化进行了系统研究.基于节点信息等价、节点信息相容的概念给出了XML强多值依赖的定义;基于层次化的XML强多值依赖,提出了不完全XML文档树满足XML强多值依赖范式的条件;给出了满足该条件的不完全XML文档树无数据冗余的判定定理;提出了不完全XML文档树的规范化算法,对其时间复杂性进行了分析.理论研究和实例分析表明:研究成果较好地解决了在不完全信息环境下XML文档中存在层次化的XML强多值依赖引起的数据冗余问题.

基于开关序列的RTD多值反相器设计

共振隧穿二极管(ResonantTunnelingDiode-RTD)本身所具有的负阻抗(NegativeDifferentialResistance-NDR)特性使其成为天然的多值器件.本文描述了RTD以及三端共振隧穿(ResonantTunneling-RT)器件的伏安特性,介绍了元件用PSPICE软件的模拟方法,并以开关序列原理为指导思想设计出更为简洁的三值、四值反相器电路.设计出的电路具有低功耗和高速的特点,适合作为超高速大规模数字集成电路中的单元电路.

存在XML强多值依赖的XML Schema规范化研究

为了解决不完全信息环境下XML模式设计中XML文档的数据冗余和操作异常,研究了不完全信息环境下存在XML强多值依赖的XML Schema规范化问题;提出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价和子树信息相容的概念给出了XML强多值依赖的定义;提出了弱键路径和XML强多值依赖弱范式的定义;通过实例分析了在XML Schema中XML强多值依赖引起数据冗余的原因,提出了转换规则,给出了规范化算法。研究成果可较好地处理XML文档中出现大量不完全信息时的数据冗余问题,实现不完全信息环境下更好的XML Schema设计。

一种多值Petri网及其应用

为了更好地将Petri网应用在基于多值逻辑的知识表示和推理中,以普通Petri网的基本定义为基础,结合模糊Petri网和有色Petri网各自的一些特点,将其进行必要的扩展和简化,从而提出一种多值Petri网,使托肯和变迁多值化,然后将它用于知识工程中多值产生式建模和推理中,并根据推理的需要提出了相应的算法。