登录
首页 » 算法 » 一致性算法验证

一致性算法验证

于 2022-01-25 发布 文件大小:1.50 kB
0 196
下载积分: 2 下载次数: 1

代码说明:

分布性一致性算法的Isabella验证 we introduce a novel Broadcast-Free Algorithm that solves Consensusproblem in the presence of a Weak-Fairness property and an unreliablefailure detector -property, in asynchronous distributed systems, and later itsformal veri cation. The Broadcast-Free Algorithm Model is de ned as a globaltransition system that is unambigously generated by local transition rules. At thesystem run, the algorithm model attempts involves two concepts : one to systemrun represents a in nite computation and one to asynchronous communicationbetween processes without Broadcast.

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • 解决利用 BFS 在 Java 中的 8 拼图游戏
    这就是广度优先搜索和 8 拼图算法在求解 8 益智游戏的执行。 使用的语言是 java,代码中的注释将帮助与其余部分 !
    2022-01-21 18:09:54下载
    积分:1
  • PerPixelAlphaForm-101
    The control draws completely Black, right? That"s because GDI doesn"t really know what "transparent" is. So you need to override your OnPaintBackground event and in there you perform the call to DrawThemeParentBackground. Also, try this: 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报
    2022-12-07 05:30:03下载
    积分:1
  • 目标追踪
    目标追踪算法,自己结合 mean shift + kalman filter,效果还不错,半自动跟踪。毕设要求,结合了最简单的mean shift 算法,以及一个二维卡曼滤波器,实现了目标的实时跟踪监测,效果已经达到要求,在这里分享给大家。
    2022-07-14 22:24:18下载
    积分:1
  • wumpus 世界游戏
    这是的游戏中,有 16 个房间。目标是要找到黄金。猎人从第 1 室第一次启动但有 wumpus 太也就是由箭头杀害。使用人工智能实现代码
    2022-12-10 02:50:03下载
    积分:1
  • 2^k进制数
    设r是个2^k 进制数,并满足以下条件: (1)r至少是个2位的2^k 进制数。 (2)作为2^k进制数,除最后一位外,r的每一位严格小于它右边相邻的那一位。 (3)将r转换为2进制数q后,则q的总位数不超过w。 在这里,正整数k(1≤k≤9)和w(k<W≤30000)是事先给定的。 问:满足上述条件的不同的r共有多少个? 我们再从另一角度作些解释:设S是长度为w 的01字符串(即字符串S由w个“0”或“1”m组成),S对应于上述条件(3)中的q。将S从右起划分为若干个长度为k 的段,每段对应一位2k进制的数,如果S至少可分成2段,则S所对应的二进制数又可以转换为上述的2k 进制数r。 例:设k=3,w=7。则r是个八进制数(23=8)。由于w=7,长度为7的01字符串按3位一段分,可分为3段(即1,3,3,左边第一段只有一个二进制位),则满足条件的八进制数有: 2位数:高位为1:6个(即12,13,14,15,16,17),高位为2:5个,…,高位为6:1个(即67)。共6+5+…+1=21个。 3位数:高位只能是1,第2位为2:5个(即123,124,125,126,127),第2位为3:4个,…,第2位为6:1个(即167)。共5+4+…+1=15个。 所以,满足要求的r共有36个。
    2023-04-14 17:30:03下载
    积分:1
  • 空间八节点实体单元的有限元三维计算程序,通用性较好
    空间八节点实体单元的有限元三维计算程序,通用性较好-Eight-node solid element space of three-dimensional finite element program, GM is better
    2022-02-13 10:47:23下载
    积分:1
  • 在MPI上实现的矩阵相乘并行
    在MPI上实现的矩阵相乘并行计算的源程序。- The matrix realizes which on MPI multiplications the parallel computation source program.
    2022-11-09 11:10:04下载
    积分:1
  • 扬辉三角的打印
    扬辉三角的打印- Raises the splendor triangle the printing
    2023-05-07 13:20:02下载
    积分:1
  • Modbus串口操作
    应用背景 windows上modbus串口操作源代码,  采用vs编写,标准的modbus串口操作,modbus其实就是串口操作,只不过发送和接受有个协议而已,发送出去就等待接受,接受到正确的数据包就通讯成功。   关键技术 用win32写的rs232串口源代码,用vs编译,并集成了modbus操作函数,包含dtr, dts, dcd, dsr, ri, cts几个引脚电平控制。
    2022-02-02 22:40:07下载
    积分:1
  • 分段算法的程序,很好的。绝对简练
    分段算法的程序,很好的。绝对简练-Segmentations procedures very well. Absolutely concise
    2022-06-19 04:41:28下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载