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

一致性算法验证

于 2022-01-25 发布 文件大小:1.50 kB
0 177
下载积分: 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 个回复

  • 2维数组 截断 追加 测试
    应用背景 二维数组的截断和追加并不像TStringList那么简单。在研究二维数组的截断和追加时,写了本例子来研究。提供给有相同问题的后来人参考,代码有点青涩,毕竟是研究算法的的demo,不喜勿喷! 关键技术 二维数组的截断和追加是一个抽象的概念,本demo把它实例化,可以给爱偷懒的程序学习者参考,不足之处欢迎拍砖。{删除动态数组指定元素的过程: 参数 arr 是数组名, 参数 Index 是要删除的索引} procedure TForm1.DeleteArrItem(Index:Integer); var    j:integer; begin   if   Length(MyProArr)>1 then   begin    for j := Index to Length(MyProArr)-2 do        begin         MyProArr[j,0]:=MyProArr[j+1,0];         MyProArr[j,1]:=MyProArr[j+1,1];      end;     setlength(MyProArr,Length(MyProArr)-1,2);    end else    begin      setlength(MyProArr,0,2);    end;
    2022-11-15 14:10:02下载
    积分:1
  • 2个关于三维积分函数的C程序,以及示例,来自《C语言数值常用程序》,所以程序均经过本人测试可以正常使用!...
    2个关于三维积分函数的C程序,以及示例,来自《C语言数值常用程序》,所以程序均经过本人测试可以正常使用!-two three-dimensional integral function of the C procedures, as well as examples from the "C language commonly used numerical procedures," and so I have to undergo testing can be used normally.
    2022-02-18 16:01:39下载
    积分:1
  • 神经网络BP改进:对开发神经网络BP的人员大有帮助
    神经网络BP改进算法:对开发神经网络BP算法的人员大有帮助-neural network algorithm improvements : the development of neural network algorithm greatly assist the staff
    2022-03-24 06:57:51下载
    积分:1
  • 对.bmp格式的图像进行快速傅立叶变换,包含测试图像。
    对.bmp格式的图像进行快速傅立叶变换,包含测试图像。-On. Bmp format images fast Fourier transform, including the test images.
    2022-09-08 11:35:02下载
    积分:1
  • jDBC
    JDBC ™ API 被设计为使简单的事情保持简单。这意味着 JDBC 是日常数据库任务轻松。这条小道走你通过使用 JDBC 执行常见的 SQL 语句,并执行其他目标,共同为数据库应用程序的例子。JDBC API 是一个 Java API,可以访问任何类型的表格数据,特别是数据存储在关系 databaseDBC 帮助您编写 Java 应用程序管理这些编程的三个活动: 连接到数据源如 databaseSend 查询和更新到 databaseRetrieve 的语句并处理结果收到答复你董事长 JDBC ™ API 提供编程访问到关系型数据从 Java ™ 编程语言中的数据库。使用 JDBC API,应用程序可以执行 SQL 语句,检索结果并将更改传播回基础数据源。JDBC API 也可以与在分布式异构环境中的多个数据源进行交互。JDBC API 是 Java 平台,其中包括 Java ™ 标准版 (Java ™ SE) 和 Java ™ 企业版 (Java ™ EE) 的一部分。JDBC 4.0 API 被分成两个包: java.sql 和 javax.sql。这两个包都包括在 Java SE 和 Java EE 平台。在这 TP,您将学习 JDBC API 的基础知识。
    2022-03-26 10:06:16下载
    积分:1
  • sound_check_by_MCU
    通过MCU检查声音
    2022-07-07 00:57:08下载
    积分:1
  • 人工智能作业,专家系统实现的水果分类小专家系统。
    人工智能作业,专家系统实现的水果分类小专家系统。-Artificial intelligence operation, expert system classification of fruit a small expert system.
    2022-07-23 17:29:10下载
    积分:1
  • doolittle直接分解和guass
    doolittle直接分解法和guass-sedilla迭代法解方程组源码-doolittle direct decomposition and guass-iterative method of sedilla equations FOSS
    2022-01-31 15:08:12下载
    积分:1
  • 张量投票
    张量投票算法的编程实现,vc++和matlab两个编程版本,N维张量投票,N>2 内有数据例子
    2022-03-19 03:00:21下载
    积分:1
  • c++ 模拟退火
    应用背景 智能算法是一类解决优化问题的算法,是为了解决NP 难题而兴起的一类算法。主要用于优化调度,路径选择等。算法不太成熟,仅供参考学习,如有不妥之处,请大家联系我,一起学习进步,改进。 关键技术模拟退火是模拟大自然中的火渐渐降温以至熄灭的过程,降温过程是整个代码的核心,同时,业界降温的方法也是各不相同的。降温的快慢直接决定结果的准确度。模拟退火算法不是确定性算法,接触的结果不是精确解而是近似解。
    2022-03-06 12:22:08下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载