-
一致性算法验证
分布性一致性算法的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
-
用随机数矩阵
应用背景#包括
- 2023-06-29 19:35:04下载
- 积分：1
-
CTM DAGANZO SIMILATION
当高速公路交通堵塞的原因，如事故、短暂的失速、暂时拥挤的高速公路入口或出口等被消除或不再有效时，堵塞不会瞬间消失。这样做需要时间。这和红色交通信号灯前排队的汽车没什么区别，当绿灯亮时，红色交通信号灯不会立即消失。无论是高速公路还是街道，拥堵都需要时间消散，交通越拥挤，过程越长。在交通高峰期，高速公路拥堵的消失可能比最初的增长要长得多。不断演变的拥堵在高速公路上以与交通相反的方向移动，影响它远离最初原因的位置。驶出塞车的司机们没有看到任何异常，这让他们大吃一惊。
- 2022-01-25 22:05:54下载
- 积分：1
-
Solving tridiagonal equations, there are detailed notes. Algorithm to save stora...
求解三对角方程组,有详细的注释。
节省存储空间的算法-Solving tridiagonal equations, there are detailed notes. Algorithm to save storage space
- 2022-11-02 09:55:03下载
- 积分：1
-
matlab SA algorithm
应用背景
智能优化，线性规划，路径寻优，。。。。。。。。。。。。。。。
关键技术matlab实现，求解优化问题，最优值寻找。。。
- 2022-02-24 18:16:56下载
- 积分：1
-
对难于时行积分的方程y=x*sin(x),用蒙特卡洛方法进行了求解。
对难于时行积分的方程y=x*sin(x),用蒙特卡洛方法进行了求解。-Difficult when the line integral of the equation y = x* sin (x), using Monte Carlo methods to solve.
- 2022-01-25 15:03:34下载
- 积分：1
-
- 2022-07-23 17:47:53下载
- 积分：1
-
马科维茨风险模型的仿真程序
本程序主要用于马科维茨风险投资组合模型的仿真。程序利用收益率矩阵和二次规划进行投资组合的最优化计算，程序简练实用，有数据以及实例说明。
- 2022-10-09 16:40:03下载
- 积分：1
-
反编译工具
可以反编译 .network 之类的源文件 dll，打开解压 之后，把索要反编译的dll文件拖到里面就可以看到编译后的结果咯，效果还不错啊，可以试试，基本上跟源代码一样啊。。。。。。。。。
- 2023-03-09 11:45:03下载
- 积分：1
-
贪吃蛇游戏
对贪吃蛇游戏用VC++进行实现，包含了游戏里的主要功能，加入了关卡设置。
- 2022-03-20 23:58:42下载
- 积分：1
