-
HybirdSat求解器smt
开源的的smt求解器，用于求解约束集的可满足性，能够支持位向量的求解，速度还算不错。
- 2022-02-20 09:49:11下载
- 积分：1
-
一个简单的计算器,用MATLAB开发
一个简单的计算器,用MATLAB开发-a simple calculator, developed using MATLAB
- 2022-11-30 20:30:08下载
- 积分：1
-
不利用递归实现汗诺塔
不利用递归实现汗诺塔- Does not use the recursion realization perspiration promise
tower
- 2022-03-17 09:27:25下载
- 积分：1
-
BBC RSS订阅
这是一个动态的Java项目中提取BBC网站的新闻。
这是使用原生的Eclipse DOM解析器来解析从XML文件中的数据创建。
- 2022-03-29 12:41:49下载
- 积分：1
-
极限学习机
ＥLMmetlab算法实现。特性：1.需要的数学模型简单，学习速度快；2.能获得全局最优解；3.具有良好的泛化性能。泛化性能是指机器学习算法对新样本的适应性。Extreme Learning Machine极限学习机器神经网络研究中的一种算法，是一种泛化的单隐层前馈神经网络（Single-hidden layer feedforward network）。
- 2023-04-30 17:15:03下载
- 积分：1
-
小波数字水印matlab
基于小波变换的数字水印提取Matlab源代码-Digital Watermarking Based on Wavelet Transform Matlab source code extraction
- 2022-05-24 23:27:28下载
- 积分：1
-
用差分方法求解沃尔泰拉方程，此处为一个变元的方程，由于该方程同时含有微分和积分，一般求解有一定的困难。...
用差分方法求解沃尔泰拉方程，此处为一个变元的方程，由于该方程同时含有微分和积分，一般求解有一定的困难。-use of the finite difference method for Volterra equation here as a variable element of the equation, As the same time contain differential equations and integral, the general solution is definitely difficult.
- 2022-11-10 09:55:02下载
- 积分：1
-
MATLAB进行灰色预测与聚类分析的程序代码
MATLAB进行灰色预测与聚类分析的程序代码, 程序能够运行出正确的结果，希望对各位有帮助。
- 2022-03-14 18:42:24下载
- 积分：1
-
N皇后问题
回溯算法也叫试探法，它是一种系统地搜索问题的解的方法。回溯算法的基本思想是：从一条路往前走，能进则进，不能进则退回来，换一条路再试
- 2022-02-20 18:10:01下载
- 积分：1
-
阳历转阴历
阳历转阴历，在软件开发里经常用到。特别是生日推算，用阳历推阴历。一个很不算的算法，很实用，直接拿来用，省了不少事。
- 2022-03-04 08:05:02下载
- 积分：1
