-
一致性算法验证
分布性一致性算法的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
-
poj_3134 IDA*
#include
#include
#include
#include
#include
#include
using namespace std;
int deep,n;
int v[1005]={1};
int h(int top)
{
int k=deep-top;
int x=v[top];
请点击左侧文件开始预览 ！预览只提供20%的代码片段，完整代码需下载后查看 加载中 侵权举报
- 2022-09-14 00:25:02下载
- 积分：1
-
Solutions for automated lighting in buildings
Solutions for automated lighting in buildings
- 2022-02-22 06:13:58下载
- 积分：1
-
加椒盐噪声
用c语言对图像加椒盐噪声，然后对加有椒盐噪声的图像进行形态学滤波，得到滤波后没有噪声的图像-
- 2022-08-13 01:29:27下载
- 积分：1
-
一个acm算法题目 问题描述： 有一个黑盒子，可视为一个15×10的二维矩阵，里面有一些空隙，在二维矩阵中用0表示空隙，用1表示被占有。现有一个仪器，可以从4个...
一个acm算法题目 问题描述： 有一个黑盒子，可视为一个15×10的二维矩阵，里面有一些空隙，在二维矩阵中用0表示空隙，用1表示被占有。现有一个仪器，可以从4个方向对盒子进行分行透视：从左到右，从左下到右上，从下到上，从右下到左上。透视可得到该二维矩阵的该行1的个数。要求，还原此矩阵。 输入：4行，每一行分别代表从左到右，从左下到右上，从下到上，从右下到左上透视所得的数据 输出：该矩阵 使用的方法是回溯法，具体见程序-a acm algorithm topic Problem description : a black box, as a 15 x 10 two-dimensional matrix, there are some gaps in two-dimensional matrix using 0 indicates the gap, with a show that occupies. An existing equipment, from the direction of four branches box for perspective : from left to right, from the lower left to upper right, from bottom to top, from the lower right to upper left. Perspective availability of the two-dimensional matrix of the line a number. Demand reduction of this matrix. Input : 4 firms on behalf of every line from left to right, from the lower left to upper right, from bottom to top, from the upper left to lower right perspective on data obtained from the output : the matrix method is the use of backtracking, see the specific procedures
- 2022-07-08 10:50:46下载
- 积分：1
-
基于FPGA的数字PID
应用背景数字PID，可用于各类开关电源控制，亲测可行，灵活性较高，但是不是利用浮点型计算，用的整形计算，还是会存在细微误差，但是在速度方面可以弥补这方面误差，可利用其搭建各种反馈数字电路关键技术数字PID，考虑到了由于负数所带来的影响，利用补码进行不足，防止计算的时候溢出，还可以根据你的需求对其中的位数进行调整，达到实际需求，不适用模块写的，整个用状态机完成
- 2022-03-11 08:43:15下载
- 积分：1
-
Chirp Scaling成像算法matlab源代码
建立了SAR回波信号模型以及Chirp Scaling算法模型，对SAR回波信号进行CS成像处理，并分析了成像处理后的图像数据的频谱和相位特性。
- 2022-02-24 18:05:34下载
- 积分：1
-
随机搜索法
应用背景下面是我对纪律的随机搜索方法实现：优化方法关键技术无约束优化
- 2022-07-25 08:39:30下载
- 积分：1
-
matlab 平面拟合算法
这个代码的功能是：给定一组3维数据点，计算出一个平面，所有点到平面的法线具体之和最小。拟合用到了计算给定数据点的特征值/特征向量。代码可以用到所有大于等于2D的空间。
- 2022-01-25 16:41:34下载
- 积分：1
-
计算器小程序
用c#做的计算器小程序，包括+-*/等计算，并加入了平方，开根号，log，ln等，接近大家的使用习惯
- 2022-05-09 09:03:07下载
- 积分：1
