-
一致性算法验证
分布性一致性算法的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
-
这个是我们用mfc写的一个关于牛顿插值的数值分析的程序，可以将数据保存到文本中，然后打开，同时计算出相应的均差来，最后进行插值，还可以得到近似的误差...
这个是我们用mfc写的一个关于牛顿插值的数值分析的程序，可以将数据保存到文本中，然后打开，同时计算出相应的均差来，最后进行插值，还可以得到近似的误差
- 2022-03-26 19:04:05下载
- 积分：1
-
渐近预测方法（APM）
资源描述一个简单而快速的APM（渐近预测法）实时LTI SISO控制算法（线性时不变的单输入单输出）系统已被提出。在每个采样周期最优控制信号是用平凡的计数器控制序列而不是要求QP计算（Quadratic Programming）的数值方法。用MATLAB仿真，APM控制已经比较苛刻的标准MPC（模型预测控制）对一些典型的高阶动力系统或无输出约束算法。仿真结果表明，与未成年人的软件和硬件要求APM算法的竞争力。 ； ； ； ；
- 2023-06-10 11:30:03下载
- 积分：1
-
mathematical formula, all the mathematical formula can be obtained directly, a v...
数理公式，所有的数学公式都可以直接得到，非常方便-mathematical formula, all the mathematical formula can be obtained directly, a very convenient
- 2022-03-20 19:05:15下载
- 积分：1
-
用C语言实现的各种算法，可以用于参考。适合于初学者，或者需要了解算法在c语言中的实现的朋友们。...
用C语言实现的各种算法，可以用于参考。适合于初学者，或者需要了解算法在c语言中的实现的朋友们。-Using C language to achieve a variety of algorithms can be used for reference. Suitable for beginners, or need to understand the algorithm in c language realize friends.
- 2022-01-20 22:53:39下载
- 积分：1
-
MATLAB 有约束信赖域算法，以四元多项式为算例
适用于学习最优化算法的数学专业学生以及其他数值分析课程的同学，
程序清晰，对MATLAB的学习也有很...
MATLAB 有约束信赖域算法，以四元多项式为算例
适用于学习最优化算法的数学专业学生以及其他数值分析课程的同学，
程序清晰，对MATLAB的学习也有很大的帮助，同时程序还有一些不足，读者自己须根据实际问题更正。-MATLAB constrained trust region algorithm to quaternion polynomial example for the application of optimization algorithms in the learning of mathematics students, as well as other courses in numerical analysis of the students, the program clearly and learning to MATLAB is also a great help, but the procedure also There are a number of shortcomings, the reader himself to be corrected in accordance with the actual problem.
- 2022-07-07 21:05:54下载
- 积分：1
-
约瑟夫问题
约瑟夫问题是一个经典的问题。已知n个人（不妨分别以编号1，2，3，…，n 代表）围坐在一张圆桌周围，从编号为 请点击左侧文件开始预览 ！预览只提供20%的代码片段，完整代码需下载后查看 加载中 侵权举报
- 2022-06-19 18:25:03下载
- 积分：1
-
分子动力学的fortran源程序
分子动力学的fortran源程序
molecular dynamics
microcanonical ensemble
application to argon. the lennard-jones potential is truncated at rcoff and not smoothly continued to zero. initial the npart particles
are placed on an fcc lattice. the velocities are drawn from a boltzmann distribution with temperature tref.
- 2022-08-12 20:49:01下载
- 积分：1
-
8051 串口 循环缓冲区
串口C程序 ， STC mcu ，循环缓冲区，
解决串口丢数据问题， 实际工程中很稳定，
接收时， 在中断中接收， 写入循环缓冲区，
主程序去循环缓冲区中取数据。
- 2022-02-11 15:18:41下载
- 积分：1
-
基于神经网络的数字识别方法
资源描述根据Hopfield神经网络相关知识，设计了一种具有联想记忆功能的离散型Hopfield神经网络。要求该网络可以正确地识别0~9这10个数字，当数字被一定的噪声干扰后，仍具有较好的识别效果，仿真测试结果表明该设计可行有效。
- 2022-04-16 13:31:56下载
- 积分：1
