小红花·文摘
  • 首页
  • 广场
  • 排行榜🏆
  • 直播
  • FAQ
Dify.AI
MongoDB的一致性检查:测试我们的代码是否符合TLA+规范

在MongoDB中,我们设计了复杂的分布式算法,并使用TLA+进行形式化规范。2020年,我们尝试了两种一致性检查技术,分别用于MongoDB服务器和移动SDK。尽管追踪检查未成功,但测试用例生成有效地发现了算法中的错误。我们总结了经验教训,强调了规范与实现的一致性及多规范扩展的重要性。

MongoDB的一致性检查:测试我们的代码是否符合TLA+规范

MongoDB
MongoDB · 2025-06-02T18:22:28Z

本研究提出了一种轻量级的完全分布式k均值聚类算法,旨在解决边缘计算系统中的数据可信性问题,适用于资源受限环境,确保节点间数据的准确性和可信性。

轻量级可信分布式聚类

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-04-14T00:00:00Z

本研究提出了一种基于压缩感知技术的并行计算框架,以解决大规模潜在网络检测的复杂性问题。结合CALMS方法,证明了该分布式算法的近似估计具有一致性和渐近正态性。

PALMS: A Multi-Directional Signal Parallel Adaptive Lasso for Latent Network Reconstruction

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-11-18T00:00:00Z
微服务中的两阶段提交协议解析

两阶段提交协议(2PC)是一种分布式算法,确保所有参与节点的事务要么提交,要么中止。该协议分为准备阶段和提交阶段,保证一致性,但可能导致性能瓶颈和单点故障,适用于银行转账和分布式数据库等场景。

微服务中的两阶段提交协议解析

DEV Community
DEV Community · 2024-11-16T05:20:54Z

EdX KTHx ID2203课程深入探讨可靠分布式算法的核心概念,如共识、复制和容错。课程通过实践练习和项目帮助学员应用理论,行业专家提供实际应用见解。适合软件工程师和计算机科学学生,结合GetVM Playground编程环境提升学习体验。

探索可靠分布式算法的迷人世界 🌐

DEV Community
DEV Community · 2024-10-13T03:02:27Z
分布式在线多步Frank-Wolfe凸优化的动态遗憾增强 | 张文韬,施阳,张保勇等

南京理工大学和加拿大维多利亚大学的研究团队提出了一种改进的分布式在线多步迭代Frank-Wolfe算法。该算法在时变网络上通过多步迭代提高收敛性能,解决高维约束优化问题。新算法无需先验知识,动态遗憾上界更紧。实验验证了其在单纯形和范数球约束下的有效性,并探讨了动态遗憾、计算和通信成本的权衡。研究结果在真实数据集上得到了验证。

分布式在线多步Frank-Wolfe凸优化的动态遗憾增强 | 张文韬,施阳,张保勇等

实时互动网
实时互动网 · 2024-09-29T02:48:52Z

本文研究了动态系统的同步与稳定性,提出了一种基于分散式跟踪控制的方法,实现了机器人全局同步和部分状态耦合。通过分析和模拟,探讨了同步对分布式算法的影响,证明了时变动态网络的同步依赖于耦合矩阵的特征值。此外,研究了非线性交互对多体系统的影响及分布式优化算法在多主体网络中的应用,提出了新的度量同步方法,具有广泛的应用潜力。

非线性相互作用下的圆和球的同步

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-05-28T00:00:00Z

该文介绍了一种使用卡尔曼过滤器进行随机优化的算法,在非凸设置下具有收敛性理论,并在机器学习领域上展示了其改进的性能。同时,还介绍了一种分布式版本的算法,并将其扩展到 SGD 动量和 RMSProp。

信号处理 meets SGD:从动量到滤波

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2023-11-06T00:00:00Z

该研究提出了一种针对分布式多智能体贝叶斯优化问题的原始-对偶分布式算法,能够保证已知仿射约束的累积违规性的 O(N√T) 界,且能够对累积违规率进行更强的限制。

多点带约束的强化凸优化反馈

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2023-10-17T00:00:00Z

本研究提出了基于ADMM算法的分布式算法,用于最小化局部已知的凸函数之和。研究表明,当函数为凸函数时,目标函数值和可行性冲突都会收敛;当函数是强凸函数且有Lipschitz连续梯度时,算法生成的序列会线性收敛到最优解。此外,分析还凸显了网络结构对收敛速度的影响。

随机网络上的在线分布式学习

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2023-09-01T00:00:00Z

本文研究了智能电网与插电式电动车群组之间的能量交换问题,并使用非合作博弈模型进行分析。智能电网制定价格以优化收益,并确保插电式电动车群组的参与。插电式电动车群组需要考虑充电收益和成本权衡来确定充电策略。本文提出了一种分布式算法实现智能电网和插电式电动车群组之间的均衡,并扩展到可处理缓慢变化环境的时变情形。

绿色 Metaverses 的服务预订和定价:一种 Stackelberg 博弈方法

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2023-08-09T00:00:00Z
  • <<
  • <
  • 1 (current)
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码