-
一致性算法验证
分布性一致性算法的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
-
kalman_filter
自适应的kalman滤波程序,通过灵活的调用,实现kalman的自适应滤波。-kalman_filter
- 2022-08-16 22:04:05下载
- 积分:1
-
最近点对问题MFC界面版
经典算法问题————最近点对问题
采用MFC界面,操作简单易懂。可供大家参考学习。
算法执行效率高。方便的界面操作供大家好理解算法的精髓。
- 2022-02-01 09:56:42下载
- 积分:1
-
条件平差计算
本人写的一个条件平差计算器,供学习参考,用vb编写的,实现矩阵数据较多的平差,面向测绘方向学习。这是本人的第一个有点用的软件,希望能帮到你的忙。
- 2022-03-07 05:46:00下载
- 积分:1
-
8路PPM信号解码
我自己写的多路PPM信号,并行输入转串行输出。最多支持8路PPM信号同时输入,解码后,变成单线串行输出。实时转换。使用STM8S105 8位单片机,价格便宜。串行输出后接主控MPU,大大节约MPU资源。可应用在无线电接收机,各种飞控等等。
- 2023-01-12 00:15:04下载
- 积分:1
-
一个函数,模拟 Alamouti 空时码
这是一个函数,模拟 Alamouti 时空计划并绘制误码率 vs 信噪比图。
- 2022-01-27 11:10:28下载
- 积分:1
-
一个复数类的实现方法,虽然简单,但对于初学者对于mfc编程很有指导意义,这也是本人初学mfc的时候第一个实列。...
一个复数类的实现方法,虽然简单,但对于初学者对于mfc编程很有指导意义,这也是本人初学mfc的时候第一个实列。-kind of a complex method, though simple, but for beginners for very mfc programming guide, This is my time learning mfc is an out clause.
- 2023-03-20 09:55:02下载
- 积分:1
-
csimple2d CFD的C源程序
CSIMPLE2d CFD C源程序-CSIMPLE2d CFD C source
- 2022-06-27 03:32:30下载
- 积分:1
-
方块填数
本题为6*6的方块由“ABCDEF”6个字符填充,需要满足的条件如下:
1. 所填字母只允许是A,B,C,D,E,F 中的某一个。
(我们只要赋值的时候不赋其它的值,基本这一条就不需要另写一个函数了,
本题我也写了一个,可作参考)
2. 每行的6个小格中,所填写的字母不能重复。(这个我们都懂)
3. 每列的6个小格中,所填写的字母不能重复。(这个我们也懂,只不过是行改成列了)
4. 每个分组(参见图中不同颜色表示)包含的6个小格中,所填写的字母不能重复。
(这个的话我们只要在相同的颜色当中不能填充相同的字母即可)
- 2022-03-06 08:09:52下载
- 积分:1
-
移动基站考勤系统
应用背景基于手机的考勤跟踪系统关键技术
- 2022-03-16 02:33:10下载
- 积分:1