计数布鲁姆过滤器代数运算

文中探讨计数布鲁姆过滤器的代数运算和集合运算的一致性关系,研究使用计数布鲁姆过滤器代数运算进行集合成员查询的性能.理论分析和实验结果表明,计数布鲁姆过滤器的并、交、补、减、异或运算产生的新过滤器依然保持计数布鲁姆过滤器的特征,支持元素的删除操作,不会出现假阴性,能用于集合并集、交集、补集、差集及对称差的成员查询;当使用两个原始的计数布鲁姆过滤器查询补集、差集及对称差元素时,会存在部分本来属于补集、差集或对称差的元素被判为不属于补集、差集或对称差的问题,而使用计数布鲁姆过滤器代数运算后的过滤器进行补集、差集及对称差成员查询,则不存在上述问题,空间效率能提高一倍,时间效率亦能显著地得到改善.计数布鲁姆过滤器代数运算的使用有利于进一步扩展计数布鲁姆过滤器的应用范围.譬如计数布鲁姆过滤器减运算可用作一种新的集合调和方法,用于分布式系统中大型文件的分发.

基于李代数积分的薄层多重散射消除技术

目前消除薄层多重散射的影响主要采取Q值补偿和Levinson算法的预测反褶积.Q值补偿经常存在不稳定问题,且会加强高频噪音;Levinson算法的预测反褶积受阶数限制,层数多时不稳定,且容易伤害有效波.本文采用基于李代数积分的薄层反射系数Picard迭代反演技术来消除这种地层滤波效应.本文将微分方程e指数解方法用于预测算子方程,提出一种称为李代数积分的新方法,给出了预测算子和地层反射系数序列的关系式,普通O′Doherty-Anstey公式为该关系式的一阶李代数表达,高阶李代数积分是对一阶李代数积分的修正.同时基于该关系式本文提出了Picard迭代反演算法由预测算子求取地层有效反射波,并分析了不同阶李代数反演效果.模型试验和实际应用说明该算法消除薄层多重散射的可行性和可靠性.依托李代数积分本身的优点,该算法快速、稳定、收敛.

格蕴涵代数的软滤子

借助软集合,提出了格蕴涵代数的软滤子的概念,研究了其在软集运算下的一些基本性质,并给出了格蕴涵代数的软滤子的一些等价刻画。进一步,研究了格蕴涵代数的软滤子与格蕴涵代数的对偶软格理想之间的关系。得到了格蕴涵代数的软滤子像与原像的性质。

赋值格中一种混合运算的性质和应用

研究了R0 代数、格蕴涵代数和基本逻辑代数 ;讨论了一般赋值格中一种混合运算的性质 ,特别是对这种混合运算在R0 代数中的性质进行了讨论 ,并应用它建立了R0 代数中的一种滤子 ,得到了一些结果 ,为R0 代数的研究和一般赋值格的研究提供了可借鉴的方法和帮助。

基于空间算子代数的空间多体系统动力学递推计算

应用空间算子代数方法对空间多体系统进行动力学建模、分析与仿真。空间算子代数作为基于李群及旋量方法的算子理论,采用估计理论中卡尔曼滤波及平滑方法,实现了具有明确物理含义的O(n)计算效率的动力学实时递推求解算法。首先使用空间算子代数理论对多体系统动力学进行递推形式的描述、建模及分析,并通过与估计理论对比提出了质量矩阵求逆的高效递推算法,而后基于面向对象技术编制了软件,并通过漂浮基双臂机器人典型算例的求解,与商业动力学软件Simpack进行对比,验证了软件及算法的正确。结果表明,空间算子代数方法概念清晰、推导方便,计算效率及精度能够满足工程需求,可用于空间多体系统动力学实时仿真及控制系统设计。

多布鲁姆过滤器检索算法研究

对于日益增长的海量数据来说,它的高效存储与检索成为一类具有挑战性的问题。布鲁姆过滤器是一种高效的存储结构,支持数据的快速检索,可用于海量数据的处理。各类分布式网络系统处理海量数据时,常常借助多布鲁姆过滤器检索算法来完成。本文概括了多布鲁姆过滤器检索算法的研究现状,总结了算法的主要应用,并给出了进一步的研究方向。

伪对合剩余格(非可换)与伪效应代数(英文)

提出伪对合剩余格(非可换)的概念。通过在伪效应代数中引入两个部分运算,研究了伪对合剩余格与格伪效应代数之间的自然关系,证明了以下结论:在一定条件下,一个格伪效应代数可被扩张成为一个伪对合剩余格,同时一个伪对合剩余格可被限制为一个格伪效应代数。特别地,得到伪对合剩余格成为具有Riesz分解性质的格伪效应代数的一个充要条件。最后,还讨论了伪效应代数与剩余格的理想与滤子理论。

基于动态布隆过滤器的云存储数据持有性验证方法

针对现有云存储数据持有性验证方法验证效率低的问题,提出一种基于动态布隆过滤器的云存储数据持有性验证方法.首先使用同态哈希函数对云存储数据进行处理,简化客户端计算量;然后第三方验证平台使用数据块标签构造动态布隆过滤器,支持云存储数据的全动态操作;最后通过随机验证路径生成持有证据,增强云存储数据持有性验证的安全性.实验结果表明该方法可有效减少证明计算开销,提高了验证安全性和验证效率.

新的蕴涵算子Rzh及其应用

建立了一个新的蕴涵算子Rzh,据此对李继成等引入的F1-代数的拟Fuzzy-赋值作出了一个合理的解释,最后证明了利用到Rzh-蕴涵区间上的赋值,可将任一泛蕴涵代数“等值”地转化为一个F1-代数。

模态R_0代数与模态滤子的若干性质

进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F.并证明了任意一族模态滤子之交仍为模态滤子,所有素模态滤子之交为单点集{1}.

OceanBase中基于布隆过滤器的连接算法

在大数据时代,"去IOE"运动的推进以及"双11"等活动的兴起对分布式数据库系统提出了更高的要求.OceanBase是阿里巴巴集团自主研发的开源分布式数据库,支持海量数据跨行跨表事务,但是对复杂查询的处理性能仍有待提高,其中连接操作带来的网络传输严重影响了数据库的性能.本文提出了一种基于布隆过滤器的连接算法,通过构建布隆过滤器对右表数据进行过滤,减少了不必要的数据传输开销,降低了数据处理带来的内存资源的消耗.本文在OceanBase上实现了该算法,并通过实验证明,该算法极大提高了连接操作的效率.

一类无限维滤过李代数

研究了复数域上一类无限维滤过李代数,它的相联阶化李代数是由所有微分算子或所有导子算子所成的李代数,获得这样的滤过李代数同构于它的相联阶化李代数的充分与必要条件。

基于计数布鲁姆过滤器删除运算的高效远程集合调和算法

该文基于计数布鲁姆过滤器的删除运算构建了一种远程集合调和算法,理论分析和实验结果表明,基于计数布鲁姆过滤器删除运算的远程集合调和算法能够较好地完成远程集合高效求解集合并集的问题,仅有少量差集元素被遗漏,调和成功率较高,而且可通过参数的调整将调和成功率提高至100%。

R_0代数上的monadic算子

本文引入了monadic算子,定义和研究了monadic R_0代数。在此基础上定义了monadic滤子和monadic同余,探讨了monadic滤子和monadic同余之间的一一对应关系。在monadic R_0代数的全体monadic滤子集上引入了格运算和伴随对,证明了这样定义的monadic滤子格构成一个Heyting代数。通过例子说明了monadic R_0代数未必构成monadic剩余格。最后给出了monadic R_0代数形成monadic剩余格的一个条件。

IMTL-代数的运算不变滤子

在IMTL-代数M中引进关于同余关系R的-运算不变滤子StR(X)、-运算不变滤子StR(X)和一个集合关于另一个集合的运算不变滤子St(X,Y)。细致讨论这些运算不变滤子的一些性质,证明全部滤子组成的格,且滤子F关于恒等关系=的运算不变滤子St=(F)是F的伪补,St(F,G)是F关于G的相对伪补。

剩余格上的一类模糊滤算子及其应用

在剩余格上引入了模糊滤算子,讨论了它的一些性质。特别地,将这类算子应用到EQ-代数研究中,给出了格EQ-代数和好的EQ-代数的模糊滤算子刻画,分离的EQ-代数的模糊自同态算子刻画。

效应代数的不分明化滤子

在连续格值逻辑的语义框架下，以Lukasiewicz蕴涵算子为工具定义了连续格值逻辑上的效应代数之不分明化滤子的概念，将用G．Cantor集合理论所刻画的效应代数的滤子概念在连续格值谓词演算下给予重新刻画，给出了不分明滤子的几个等价描述和性质．在两个经典效应代数的效应态射与效应同构意义下，讨论了这种不分明滤子的像和前像问题．

Modal伪BCK代数

本文定义和研究了伪BCK代数上的modal算子,并讨论了相关性质,在此基础上引入了modal伪BCK代数。此外,定义并研究了modal算子的对偶算子,引入研究了modal伪BCK代数的modal滤子和modal同余,证明了modal滤子和modal同余之间是一一对应关的,进而研究了商modal伪BCK代数。