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

一致性算法验证

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

  • 随机有限元理论教材,是学习随机有限元及可靠度理论的不错东东...
    随机有限元理论教材,是学习随机有限元及可靠度理论的不错东东 -Stochastic finite element theory of teaching materials, are studying stochastic finite element and reliability theory is true Dongdong
    2023-06-23 14:15:03下载
    积分:1
  • F020温度程序
    本例程是应用F020开发板,测试环境温度的程序。方便修改,引脚设置简单,备注清楚明白,方便大家使用。温度芯片是18B20,也可以修改成其他方式。
    2022-02-06 04:27:00下载
    积分:1
  • vc++源代码,任意分布的随机数的产生,注意它的随机性
    vc++源代码,任意分布的随机数的产生,注意它的随机性-vc source code, arbitrary distribution of the random numbers generated, the attention of its randomness
    2023-07-20 21:55:03下载
    积分:1
  • 运筹学中的分支界定,c++代码,可以运行
    运筹学中的分支界定算法,c++代码,可以运行-Define a branch of operations research in algorithms, c++ Code can run
    2022-04-12 23:11:38下载
    积分:1
  • viterbi213 硬判决 c语言代码
    viterbi 硬判决是指解调器根据其判决门限对接收到的信号波形直接进行判决后输出0或1,换句话说,就是解调器供给译码器作为译码用的每个码元只取0或1两个值,以序列之间的汉明距离作为度量进行译码,适用于二进制对称信道(BSC)
    2022-10-21 21:35:03下载
    积分:1
  • 数值分析用抛物线y=a+bx+cx 拟合给定数据
    数值分析用抛物线y=a+bx+cx 拟合给定数据-numerical analysis using a parabolic y = bx cx fitting given data
    2022-03-22 15:11:58下载
    积分:1
  • 大M单纯形线性规划问题求解。 很不错的基于basic的源代码啊
    大M单纯形线性规划问题求解。 很不错的基于basic的源代码啊-Large M simplex linear programming problem solving. Very good basic source code based on ah
    2022-07-27 04:33:03下载
    积分:1
  • 基于遗传的pid控制器
    基于遗传群算法的PID控制器优化设计,通过对PID三个变量比例、积分和微分的参数寻优,得到最佳的三个参数,得到控制器最好输出曲线,其超调量最小,超调时间小。
    2022-03-25 04:51:34下载
    积分:1
  • In this note we make a critical comparison of some matlab programs for the digit...
    详细表述了分数阶傅立叶变换的离散实现,将现有的算法进行比较。-In this note we make a critical comparison of some matlab programs for the digital computation of the fractional Fourier transform that are freely available and we describe our own implementation that lters the best out of the existing ones. Two types of transforms are considered: First the fast approximate fractional Fourier transform algorithm for which two algorithms are available. The method is described in H.M. Ozaktas, M.A. Kutay, and G. Bozdagi. Digital computation of the fractional Fourier transform. IEEE Trans. Signal Process., 44:2141{2150, 1996. There are two implementations: one is written by A.M. Kutay the other is part of package written by J. O Neill. Secondly the discrete fractional Fourier transform algorithm described in the master thesis C . Candan. The discrete fractional Fourier transform, Bilkent Univ., 1998 and an algorithm described by S.C. Pei, M.H. Yeh, and C.C Tseng: Digital fractional Fourier transform base
    2022-02-09 21:16:41下载
    积分:1
  • 三次样条插值和拉格朗日插值的实现。
    三次样条插值算法和拉格朗日插值算法的实现。-cubic spline interpolation algorithm and Lagrange interpolation algorithm implementation.
    2022-08-25 06:15:22下载
    积分:1
  • 696518资源总数
  • 104269会员总数
  • 42今日下载