-
一致性算法验证
分布性一致性算法的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
-
ASK-FSK-PSK
该算法得出的变化使用这个3调制信号的振幅函数的变化在presance高斯白噪声的信噪比
- 2023-05-23 05:40:04下载
- 积分:1
-
图像处理中的基本运算
数字图像获取、处理和实践——很多图像处理有用的源代码,图像增强(均值滤波3*3,5*5,中值滤波),边缘检测(sobel算子,拉普拉斯算子,reborts算子),图像分割(固定阈值分割,最大类间方差阈值分割)等
- 2022-05-19 03:02:12下载
- 积分:1
-
压缩算法LZW的研究代码
此代码是LZW的算法实现,对学习LZW算法有一定的帮助,有兴趣的朋友可以下载来看看,值得学习!
- 2022-07-22 13:15:49下载
- 积分:1
-
FFT和FIR 快速傅里叶变换和FIR滤波器实验程序
FFT和FIR 快速傅里叶变换和FIR滤波器实验程序-Fast Fourier Transform FFT and FIR and FIR filter experimental procedure
- 2022-03-30 22:11:19下载
- 积分:1
-
哥德巴赫猜想:哥德巴赫(哥德巴赫)曾提出这样一个猜想:2000以内…
Goldbach s conjecture: Goldbach(哥德巴赫)曾经提出了一个这样的猜想: 对于2000 以内的正偶数都能够分解为两个素数之和。 要求: 该题是一个猜想,我们不去证明它,而是通过编程序来验证 该猜想是否正确。 输入: 用户从键盘任意输入一个自然数。 输出: 给出满足猜想的两个自然数。-Goldbach conjecture : Goldbach (Goldbach) had raised such a guess : 2000 within the can is even divided into two prime numbers and. Requirements : The title is a guess, we do not prove it, but through programmed to verify the guess is correct. Input : arbitrary user input from the keyboard to a natural number. Output : meet guess is the natural number two.
- 2023-05-19 07:45:03下载
- 积分:1
-
知空间三点求圆心半径
资源描述已知空间三点坐标P(x,y,z)、Q(x,y,z)、R(x,y,z),求圆心坐标和半径,用MFC窗口框架显示结果,计算方法可直接移至其它工程中。
- 2022-09-07 02:05:03下载
- 积分:1
-
fuzzy的入门程序,有数据和注释,简单易学
fuzzy的入门程序,有数据和注释,简单易学-fuzzy clustering
- 2022-03-14 05:41:02下载
- 积分:1
-
烟花优化算法
应用背景& nbsp; ;烟花算法 ;(FWA)是一种群体智能 ;算法发表由Tan和朱 ;2010年(谭,& amp;朱,2010年)。该算法是nbsp;晚上烟花爆炸的启发和nbsp;很有效的找到全局最优值。 ;作为一个烟花爆炸,淋浴火花是nbsp;邻近区域所示。这些火花将与爆炸,并产生另一个显示,在一个较小的区域的火花。渐渐地,火星会在一个精细的空间里搜索整个解空间,并集中在一个小的地方去寻找最佳的解决方案;关键技术作为一种实用的优化算法,烟花算法可以满足三个用户的要求(强硬,&;价格,1997)。首先,荧光增白剂能 ;过程的线性,非线性和多模型试验功能。其次,荧光增白剂可以并行 ;为应对复杂的实际问题。第三,荧光增白剂具有良好的收敛性能 ;总能找到全局最小。
- 2022-03-20 02:10:57下载
- 积分:1
-
编译原理 词法分析器、语法分析、语义分析和目标代码生成
L语言编译器的设计与实现,词法分析最后产生token文件和符号表文件,然后进行语法分析和语义分析,采用的是递归下降方法,最后产生四元式,通过中间代码产生目标代码
- 2023-08-13 17:40:03下载
- 积分:1