说明:用概率算法实现求素数10000以内的素数的问题,并且与确定性算法比较。-With the probability algorithm for prime numbers less than 10000 prime numbers, and compared with the deterministic algorithm. <jdwang> 在 2025-01-27 上传
| 大小:382kb | 下载:0
说明:一维热传导方程的求解,包括显式和隐式,及其对比-One-dimensional heat conduction equations, including explicit and implicit, and the contrast <rnhua> 在 2025-01-27 上传
| 大小:382kb | 下载:0
说明:用形式化语言LTL(linear temporal logic)离线测试系统。程序SystemMonitor采用系统运行在线测试,本程序采用离线测试。输入为系统运行数据和LTL表达式,输出为该系统的鲁棒特征值。本程序采用了动态程序设计方法。对从事系统验证工作的开发人员和研究人员非常有帮助。-Its very useful for researchers and programmers who are working on system <刘新玲> 在 2025-01-27 上传
| 大小:384kb | 下载:0
说明:单片机上实现fft算法,实现浮点数计算,来源于网络-Fft algorithm implemented on single chip to achieve floating-point calculations, from the network <RUAN> 在 2025-01-27 上传
| 大小:382kb | 下载:0