-
一致性算法验证
分布性一致性算法的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.
- 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
