-
HybirdSat求解器smt
开源的的smt求解器，用于求解约束集的可满足性，能够支持位向量的求解，速度还算不错。
- 2022-02-20 09:49:11下载
- 积分：1
-
拟合小程序，可以看看！
拟合小程序，可以看看！-small fitting procedures, we can!
- 2022-06-13 12:45:59下载
- 积分：1
-
该书详细介绍了如何利用matlab对信号进行处理
该书详细介绍了如何利用matlab对信号进行处理- This book in detail introduced how carries on using matlab to
the signal processes
- 2022-08-20 07:18:11下载
- 积分：1
-
DBN应用实例
资源描述制定构建一个2个隐层的神经网络，输入有500维，输出有10维，中间两个隐层到节点数分别为50和20，最后一层使用softmax压缩输出使之具有概率意义。
- 2022-01-25 15:16:54下载
- 积分：1
-
另一个二维的FDTD仿真程序，仿真图像很好，很有帮助。
另一个二维的FDTD仿真程序，仿真图像很好，很有帮助。-Another two-dimensional FDTD simulation procedures, simulation images very good, very helpful.
- 2022-04-10 01:36:26下载
- 积分：1
-
MSN8.0客户端回复服务器ping的最新认证算法
MSN8.0客户端回复服务器ping的最新认证算法-MSN8.0 client server ping response to the latest Authentication Algorithm
- 2022-04-27 17:16:36下载
- 积分：1
-
SURF算法
应用背景 It approximates or even outperforms previously proposed schemes with respect to repeatability, distinctiveness, and robustness, yet can be computed and compared much faster.关键技术This is achieved by relying on integral images for image convolutions; by
building on the strengths of the leading existing detectors and descriptors
(in casu, using a Hessian matrix-based measure for the detector, and a
distribution-based descriptor); and by simplifying these methods to the
essential.
- 2023-07-28 12:25:06下载
- 积分：1
-
基于FPGA的数字PID
应用背景数字PID，可用于各类开关电源控制，亲测可行，灵活性较高，但是不是利用浮点型计算，用的整形计算，还是会存在细微误差，但是在速度方面可以弥补这方面误差，可利用其搭建各种反馈数字电路关键技术数字PID，考虑到了由于负数所带来的影响，利用补码进行不足，防止计算的时候溢出，还可以根据你的需求对其中的位数进行调整，达到实际需求，不适用模块写的，整个用状态机完成
- 2022-03-11 08:43:15下载
- 积分：1
-
表达式求解
应用背景
这是一个使用C++编写的求解表达式的函数库，支持简单表达式求解以及一些常用的数学函数求解，如三角函数、对数函数等。
表达式的输入样式可如下所示：1+2*3-4*cos(0.5)。
关键技术本函数库用到的关键技术有C++中标准模版类Vector的使用，对文本形式的表达式进行解析等技术。函数库共提供接口：SeparateLine()、Cal_Line()、Cal_Expression（）
- 2022-03-04 06:18:46下载
- 积分：1
-
POI搜索算法
自己开发的海量数据本地搜索算法,没有使用数据库,完全自定义数据结构和索引完成.
- 2022-03-18 23:45:05下载
- 积分：1
|
联系客服（QQ：3324461878）
