-
一致性算法验证
分布性一致性算法的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
-
MIMIO雷达相位编码信号产生与匹配滤波、DBF、MTD
对于发射接收都为8个通道的MIMO雷达系统,在一定的背景下,目标距离5000米,运动速度100m/s,运用相位编码信号,仿真发射信号、接收信号,进行DBF处理,匹配滤波提取信息后,MTD处理
- 2022-03-07 05:39:53下载
- 积分:1
-
c++socket通信
c++socket通信从远方获取数据,获取数据是xml。然后解析xml数据,在这个过程用到了多线程编程,这段代码对于学习socket通信以及所线程是很好的例子,同时也是学习xml解析的例子,解析xml用到的是Dom解析,此实例是c++实例!
- 2022-02-06 14:45:53下载
- 积分:1
-
温度PID控制
温度控制PID调节,大家可以参考参考,用的是增量式PID调节方法,温控精度可以达到0.1摄氏度,具体我也不多说,Ki=KpT/Ti=0.8,微分系数Kd=KpTd/T=0.8,Td=0.0002,根据实验调得的结果确定这些参数
- 2023-03-13 01:00:04下载
- 积分:1
-
多智能体Q学习算法设计和仿真
多智能体工具包,可直接用来进行多智能体强化学习算法设计与仿真。强化学习(reinforcement learning,又称再励学习,评价学习)是一种重要的机器学习方法,在智能控制机器人及分析预测等领域有许多应用。
- 2022-12-31 18:15:03下载
- 积分:1
-
概念格挖掘关联规则的论文及源代码,程序附在论文的最后,请注意查看,绝对有效...
概念格挖掘关联规则的论文及源代码,程序附在论文的最后,请注意查看,绝对有效
-concept lattice Mining Association Rules papers and source code, procedures attached to the final paper, to look and totally effective
- 2023-08-30 18:05:03下载
- 积分:1
-
Real
实数编码遗传算法程序 共3部分 可以应用于很多方面,但需进一步理解其原理-Real-coded genetic algorithm procedure can be applied to a total of 3 parts in many aspects, but a better understanding of its principle
- 2023-05-22 18:15:03下载
- 积分:1
-
Fortran的SVD(经验正交函数分解子程序),适合…
fortran的SVD(经验正交函数分解子程序),适合地学数据处理。-fortran the SVD (empirical orthogonal function decomposition subroutine), suitable for earth science data processing.
- 2023-08-30 00:35:04下载
- 积分:1
-
compressed files is common C language function PDF files, a very comprehensive,...
压缩文件中是C语言常用函数的PDF文档,非常全面,可以满足工程人员的大部分需求。-compressed files is common C language function PDF files, a very comprehensive, engineering staff to meet the needs of the majority.
- 2022-06-13 14:26:50下载
- 积分:1
-
FFT algorithm for software implementation, there are ways to explain, as well as...
FFT算法的软件实现,有方法讲解,也有部分C++的源码。-FFT algorithm for software implementation, there are ways to explain, as well as some C++ The source.
- 2022-01-22 17:12:34下载
- 积分:1