-
一致性算法验证
分布性一致性算法的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 verication. The Broadcast-Free Algorithm Model is dened 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 innite computation and one to asynchronous communicationbetween processes without Broadcast.
- 2022-01-25 17:35:22下载
- 积分:1
-
数值分析第八版的负担和菲尔斯(源程序)
Numerical Anaysis 8th Edition Burden and Faires (Fortran Source)
- 2022-03-25 18:49:00下载
- 积分:1
-
用labview编写的基于单纯形寻优算法。用来搜索高斯函数的极值点。...
用labview编写的基于单纯形寻优算法。用来搜索高斯函数的极值点。-prepared using PC-based simplex optimization algorithms. Search Gaussian function to the extreme point.
- 2022-03-06 19:38:31下载
- 积分:1
-
VB中不使用 on error goto的容错程序。
VB中不使用 on error goto的容错程序。-not use VB on the fault-tolerant error goto procedures.
- 2022-02-26 22:14:59下载
- 积分:1
-
本人用matlab语言编写的数值分析差值源代码,绝对可用
本人用matlab语言编写的数值分析差值源代码,绝对可用-I used matlab language source code for numerical analysis of the difference is absolutely available
- 2022-02-07 21:39:41下载
- 积分:1
-
- 2022-03-24 18:25:50下载
- 积分:1
-
旋转路由协议
路由协议是一种不可缺少的一部分,它保证了无线传感器网络的正常运行和信息的高效传输
- 2022-03-05 08:50:58下载
- 积分:1
-
数独程序源码
新加坡总理李显龙两周前在一个创业者论坛上透露,他最后编写的一个程序是解决数独问题的程序(Sudoku solver),还是多年前用 C++ 实现的。此程序就是李显龙所编。 李显龙说:这个程序非常基础,在 DOS 窗口下运行。按行输入数据(比如:1-3-8—6),程序会打印出解决方案(如果有多种方案,则输出所有的)、程序所用的步数,还有一些搜索数据。该程序做了回溯搜索,选择下一个扇出(fanout)最小的单元格。
- 2022-10-23 20:50:03下载
- 积分:1
-
蚁群聚类
带有测试数据的蚁群算法,可以指定检测区域的大小,经过测试,可以运行,有需要的可以看看。
- 2022-06-21 11:21:07下载
- 积分:1
-
Romberg积分,数值积分
Romberg积分,数值积分-Romberg points, numerical integration
- 2023-02-10 10:55:03下载
- 积分:1