以最大slice 态为信道的受控量子远程控制

利用三量子最大slice态作为量子信道,提出了单量子酉算子的受控远程执行的两个协议。首先,利用双向量子隐形传态(BQST),给出了一个任意单量子酉算子的受控隐形传输方案。结果表明,通过非最大纠缠信道,发送者能够在遥远的接受者的量子系统上远程地执行一个任意单量子酉算子。如果发送者和控制者对各自量子执行恰当的投影测量,那么量子算子的受控远程执行的成功概率就能达到1。其次,提出了一种不使用BQST方法的部分未知算子的受控远程控制协议。此协议因部分未知算子取自于两个限制集,减少了量子纠缠和经典通信耗费。在这些方案中,当且仅当控制者愿意帮助接受者远程操作,量子算子的受控远程执行才能完成。     

常见模糊蕴涵算子的模糊系统及其响应函数

详细讨论了较常见的21种模糊蕴涵算子构成的模糊控制器及其响应函数.主要结果是,异常蕴涵算子模糊控制算法都可归结为某种插值方法,它们相应的模糊控制器均具有函数逼近的泛性且彼此等效;而正常蕴涵算子(包括正规蕴涵算子的导出算子)模糊控制算法均非插值方法,其模糊控制器都不具有函数逼近的泛性,除Zadeh蕴涵算子外,这些正常蕴涵算子的模糊控制器均只具备阶跃输出功能且在一定意义下相互等效.     

基于POFI方法的模糊系统及其响应性能

用逐点模糊优化推理方法(POFI),详细讨论基于6个常见蕴涵算子的模糊系统及其响应函数.首先分别给出基于POFI方法的这些蕴涵算子的FMP算法中寻求推理后件(或前件)的计算表达式.然后指出基于POFI方法的这6个蕴涵算子模糊控制算法均非插值方法,其模糊控制器均只具有阶跃输出功能,而无函数逼近的泛性.     

BCI-代数的扰动模糊q-理想*

将扰动模糊集应用于BCI-代数中,引入了BCI-代数的扰动模糊q-理想的概念,研究了它相关性质,讨论了扰动模糊q-理想与扰动模糊理想、扰动模糊子代数之间的关系,给出了扰动模糊q-理想的几个等价刻画和扩展定理,指出了BCI-代数的扰动模糊q-理想的同态象与同态原象在一定条件下仍是扰动模糊q-理想。     

多参数测量的分层量子态分享

融合了分层量子态分享及多参数测量思想，提出了一个研究不同最大纠缠量子信道的分层量子态分享可能性的新框架，并以4-粒子团簇态作为量子信道为例说明了该框架是可行的，指出该例是现有协议的推广。考虑到最大纠缠态的保持对现有技术的挑战，将上述框架推广到非最大纠缠信道的情形，且以4-粒子非最大纠缠团簇态为例，验证了这个推广框架用于研究不同非最大纠缠信道的分层量子态分享是可行的。进一步，分析了验证实例的成功概率（经典耗费）与测量参数或量子纠缠参数间的依赖关系，说明了可以根据量子信道的参数来调整测量基的参数，达到调节成功概率或经典耗费，满足真实世界中不同需求之目的。     

多跳远程量子态制备

多跳远程量子态制备在量子无线网络、长距离量子信息传输中有重要价值。融合多跳隐形传态和远程态制备的思想，提出一个多跳远程任意单量子态制备协议。在每一跳中都以三粒子非最大纠缠GHz态为量子信道，利用远程态制备方法，原始单量子态通过中间节点逐跳被制备，每跳恢复的态被用着下一跳被制备的态。通过对单跳和两跳制备的分析，获得了[n]跳制备后方案成功的概率。在协议中，仅涉及到Pauli算子、单粒子测量和前馈策略，因此该方案易于物理实现。     

基于CRI算法的蕴涵算子族L-λ-G模糊系统

针对蕴涵算子族L-λ-G,首先讨论了基于CRI算法的模糊系统及其响应性能.结果表明,蕴涵算子族L-λ-G模糊系统只具有阶跃输出能力,不具有函数逼近泛性.其次揭示了蕴涵算子族L-λ-G模糊系统的概率意义,给出了其概率分布,它充当模糊系统的"系统内核"作用.     

受控双向远程量子控制

融合远程量子控制与双向受控隐形传态的思想,率先提出了受控双向远程控制（CBRQC）的一个概念。利用五量子纠缠,提出执行任意单量子算子对的两个CBRQC方案。这两个方案是概率的,而在第一个方案中,增加局域Pauli算子将导致该方案成功概率和内在效率都翻倍。对于双向传送算子的限制集,两个确定的方案被提出,其中一个总体优于其他方案,并且这两个方案的成功概率和效率都可大大提高。从量子及经典资源消耗、必要的操作复杂性、成功概率和内在效率五个方面对这些方案进行了比较,阐明了选择量子通道的原因,指出提出的方案是安全的,并说明了在现有技术的分析下该方案的实验可行性。     

模糊BCK-代数及其模糊左(右)简理想

将Dib的模糊空间和模糊二元运算的概念引入BCK-代数中,给出了研究模糊BCK-代数的一个新方法。提出了模糊子代数、模糊左(右)简理想和模糊同态的概念,初步建立了新的模糊BCK-代数理论。结果表明,经典的 BCK-代数之模糊子代数、模糊左右简理想都是新理论的特例,因而这种新方法提供了发展模糊BCK-代数理论的一个有力工具。