-
一致性算法验证
分布性一致性算法的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
-
Shoutcast 流开膛手
最佳 Shoutcast 流翻录可用的应用程序在 Visual Basic 的 PSC 之一。快速开膛手是能够连接到任何指定的 shoutcast 流和下载它-仅 MP3 数据、 没有污染的冰标记剩下-和录制它对 MP3 文件在磁盘上
- 2022-09-04 00:50:02下载
- 积分:1
-
A*寻路算法, 源代码中使用的SDL库,可以到http://www.libsdl.org/或者VC知识库网站工具栏目www.vckbase.com/tools下...
A*寻路算法, 源代码中使用的SDL库,可以到http://www.libsdl.org/或者VC知识库网站工具栏目www.vckbase.com/tools下载。-A* Routing algorithms, source code used in the SDL libraries, or can http://www.libsdl.org/ VC Knowledge Base site columns www.vckbase.com tools/tools download.
- 2022-03-25 14:40:09下载
- 积分:1
-
C语言的几个排序算法
资源描述算法收集,排序算法属于算法中的基础,应重点学习
- 2022-09-22 03:45:02下载
- 积分:1
-
VB控制网平差
VB控制网测量平差程序。原创,解决各种边角控制网的平差计算,含有水准,摄影测量模块,是测绘工程测量平差课程设计的重要参考。适合测绘工程专业平差模型设计参考。
- 2022-01-25 20:17:18下载
- 积分:1
-
qingduozhijiao
qingduozhijiao
- 2023-02-12 23:10:03下载
- 积分:1
-
螺旋矩阵用来认为很难写这篇文章,因为如果复制在反正或…
螺旋矩阵
以前觉得蛮难写的
这个好象还是抄的
反正留到了-Spiral matrix used to think pretty hard to write this as if copied in anyway or left to the
- 2022-05-08 03:35:29下载
- 积分:1
-
matlab 平面拟合算法
这个代码的功能是:给定一组3维数据点,计算出一个平面,所有点到平面的法线具体之和最小。拟合用到了计算给定数据点的特征值/特征向量。代码可以用到所有大于等于2D的空间。
- 2022-01-25 16:41:34下载
- 积分:1
-
RNA二组结构预测
生物信息学里一个比较经典的题目,预测一段RNA序列可能的二级结构,用”点—括号“表示两个碱基配对与否。用的算法是traceback(?),应该是这个名字。
- 2022-04-22 13:29:16下载
- 积分:1
-
遗传算法优化
资源描述
多种群遗传算法,包括移民算子,人工选择算子,目标函数,标准遗传算法和多种群遗传算法的主函数,适合于群体智能算法的初学者,是经典的算法案例。
- 2022-01-31 00:46:50下载
- 积分:1