-
一致性算法验证
分布性一致性算法的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
-
数值分析中的最佳一致逼近多项式问题，程序中含多项式输入界面。...
数值分析中的最佳一致逼近多项式问题，程序中含多项式输入界面。-Numerical analysis of the best uniform approximation polynomial problem, the program contains polynomial input interface.
- 2023-04-28 10:15:04下载
- 积分：1
-
Newton down France
Newton下山法-Newton down France
- 2022-05-08 08:21:53下载
- 积分：1
-
利用有限元流体计算求解器的准备，包括你的使用…
一个用fortran90编写有限元流体求解器，包括使用源代码，输出文件和单元文件，推荐学习使用-Prepared using a finite element fluid fortran90 solver, including the use of source code, the output file and the unit document and recommend learning to use
- 2022-02-03 11:34:16下载
- 积分：1
-
刚才没注意，上传的是.c文件，重新上传，忘谅解！
精确计算N的N次方，并完整显示结果！...
刚才没注意，上传的是.c文件，重新上传，忘谅解！
精确计算N的N次方，并完整显示结果！-just did not know, upload yes. C document, re-upload, forget understanding! N precise calculation of the N-th power and integrity of the result will be displayed!
- 2022-08-14 07:55:35下载
- 积分：1
-
rapid power level with the previous two are together
快速幂级2 跟前面的是一起的-rapid power level with the previous two are together
- 2022-10-07 18:05:02下载
- 积分：1
-
可以用二分法来解非线性方程解方程，简单的程序代码，虽简单，但很实用...
可以用二分法来解非线性方程解方程，简单的程序代码，虽简单，但很实用-Dichotomy can be used for solving nonlinear equations equation, a simple code, though simple, but very practical
- 2023-05-04 03:00:03下载
- 积分：1
-
Cantor Table : Problem description : put both the numerator and the denominator...
Cantor 表问题： 问题描述： 把分子和分母均小于108 的分数按下面的办法排成一个数表。 1/1 1/2 1/3 1/4 1/5 ... 2/1 2/2 2/3 2/4 2/5 ... 3/1 3/2 3/3 3/4 3/5 ... 4/1 4/2 4/3 4/4 4/5 ... 5/1 5/2 5/3 5/4 5/5 ... ... ... 我们以Z 方形方法给上表的每项编号。第一项是1/1，第二项是1/2， 然后是2/1，3/1，2/2，1/3，1/4，2/3，3/2，4/1，5/1，4/2，...... 要求:对于给定的输入的编号N(0
- 2022-03-21 20:56:33下载
- 积分：1
-
欧拉算法
以近似初值问题的解决方案：
* Y" = F(T,Y)，A < = T < = B，Y(A) = 阿尔法，
* 在 N + 1 间隔相等的点在区间 [A，B]。
*
* 输入： 终结点 A、 B ；阿尔法最初的状况 ；整数 N。
*
* 输出： 逼近到 (N + 1) 在 Y W 值 T。
- 2022-07-26 00:49:47下载
- 积分：1
-
正弦条纹三维重建
应用背景用正弦条纹进行三维重建，相位解包裹部分用格雷码的二值条纹实现，可以实现精度小于1mm的三维重建。第一次上传源码，谢谢大家支持。关键技术关键技术包括正弦条纹的三维重建原理，格雷码二值条纹相位解包裹原理。之所以没直接用C++的相位解包裹算法是因为手头没有相应的代码，只有matlab的。此次上传也是为了下载c++的相位解包裹代码。
- 2022-05-28 20:32:10下载
- 积分：1
