-
一致性算法验证
分布性一致性算法的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
-
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
