-
一致性算法验证
分布性一致性算法的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
-
伪随机数生成算法，很优秀，32位int
伪随机数生成算法，很优秀，32位int-pseudo-random number generation algorithms, excellent, 32 int
- 2022-07-15 01:57:02下载
- 积分：1
-
lisp utility lib
CLLIB is a varied collection of Common lisp tools and routines in CLOCC.
Includes:
â– "guess the animal" game; simple neural net (AI)
â– autoload function and snarfing autoloads from other files
â– basic definitions: package and path
â– base64 encoding and decoding (data format)
â– Rolodex: BBDB/vCard handling
â– check values and types of the elements of a list
â– Common Lisp HyperSpec access
â– read/write CLOS object
- 2022-02-01 20:05:38下载
- 积分：1
-
MULLER s algorithm Muller classical algorithm
muller s algorithm 穆勒算法 经典-MULLER s algorithm Muller classical algorithm
- 2022-03-24 18:14:01下载
- 积分：1
-
含有多种ICA算法的eeglab工具箱
含有多种ICA算法的eeglab工具箱-containing multiple ICA algorithm eeglab Toolbox
- 2022-10-09 14:15:08下载
- 积分：1
-
recorrer una 玛特
数组也可以是不同的数据类型如 char，浮法、 双等......数组在 C + + 中存储为载体在连续的内存位置。
通常一个想法是矩阵是作为板，但内部处理是其定义意味着，向量的向量，ie 向量是一个后面其他在一起。
访问矩阵的元素的方法使用你的名字，指示两个下标在括号中。
- 2022-03-12 11:47:56下载
- 积分：1
-
图片tiff计算倾斜角度
图片tiff计算倾斜角度, 图片, vb, 纠偏, skew, deskew, 对图片进行纠偏，倾斜 ,使用VB语言编写
- 2022-01-28 18:57:35下载
- 积分：1
-
OLSR协议NS2
对于无线网络，载波传感和相关的
- 2022-07-27 06:30:55下载
- 积分：1
-
Hough Transform检测直线和圆的代码
实现Hough Transform检测直线和圆的代码，通过自适应画线和圆，能够找到当前的圆和直线位置
- 2022-06-14 08:36:13下载
- 积分：1
-
C + + /cli NSGA-ⅱ 型多目标算法的 Matbal 代码
多目标优化 （也称为多目标规划，向量优化问题、 多准则优化、 多属性的优化或帕累托优化） 是的多准则决策，那就是有关进行数理优化问题涉及多个目标函数，同时优化领域。多目标优化设计已应用于许多科学领域，包括工程学、 经济学、 物流 （见一节关于详细的示例应用程序） 需要在两个或多个相互冲突的目标之间权衡采取最优的决定。同时最大化的某一特定，强度和性能最大化最小化重量而尽量减少燃油消耗和排放污染物的车辆是组件的分别涉及两个和三个目标的多目标优化问题的例子。在实际问题中，可以有三个以上的目标。
- 2022-05-06 07:26:08下载
- 积分：1
