-
HybirdSat求解器smt
开源的的smt求解器，用于求解约束集的可满足性，能够支持位向量的求解，速度还算不错。
- 2022-02-20 09:49:11下载
- 积分：1
-
隐马尔可夫模型，训练阶段数据必须给予模型。
hmm model, training phase data has to be given to the model .-hmm model, training phase data has to be given to the model .
- 2022-02-06 05:00:23下载
- 积分：1
-
机械优化设计的C程序，黄金分割法，解决一维优化问题
机械优化设计的C程序，黄金分割法，解决一维优化问题-Optimal Design of C mechanical procedures, golden section method to solve one-dimensional optimization problem
- 2022-02-12 19:32:17下载
- 积分：1
-
素数环： 把从1到10这10个数摆成一个环，要求相邻的两个数的和是一个素数。 〖问题分析〗 这是一道回溯的题目。从1开始，每个空位有9种可能，每种可能加入约束...
素数环： 把从1到10这10个数摆成一个环，要求相邻的两个数的和是一个素数。 〖问题分析〗 这是一道回溯的题目。从1开始，每个空位有9种可能，每种可能加入约束条件即可
1.与前面所有的数不重复
2.与前一个数和为素数（最后一个和第一个也要满足）。 〖算法流程〗 1、数据初始化； 2、递归填数： 判断第J种可能是否合法； A、如果合法：填数；判断是否到达目标（10个已填完）： 是，打印结果；不是，递归填下一个； B、如果不合法：选择下一种可能；-Prime Central: 1-10 from 10 the number of put this into a ring, asked the two adjacent numbers and is a prime number. 〗 〖Analysis is a retrospective this topic. From 1 year, 9 out of every space possible, each may be bound by the conditions of accession to 1. And in front of all the number of non-repetition, 2. With a few and for a prime number (the last and the first to meet). 1〗 〖algorithm processes the data to initialize 2, fill in the number of recursion: first to determine the legality of J possible A, if the legitimate: the number of Reclamation to determine whether the target (10 have been completed): Yes, print the results of not, fill in the next recursive B, if not legitimate: a possible alternative
- 2022-03-13 12:39:07下载
- 积分：1
-
此程序计算代数公式。
This program evaluates algebraic formulas.
- 2022-03-22 06:26:29下载
- 积分：1
-
一个利用mp3文件进行信息隐藏的工具,也可以作为版权保护的工具...
一个利用mp3文件进行信息隐藏的工具,也可以作为版权保护的工具-an mp3 files using information hidden tools that can be used as a tool for copyright protection
- 2022-12-10 07:35:03下载
- 积分：1
-
asdfdsadfsdfsdaaaaaaa
dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd
- 2022-11-05 00:35:05下载
- 积分：1
-
模式识别中的各种计算方法，包括贝叶斯方法和方法。
模式识别的各种计算方法，包括贝叶斯等方法-Pattern recognition of various calculation methods, including Bayesian methods such as
- 2022-07-27 09:26:31下载
- 积分：1
-
任务状态栏托盘的图标定时刷新
里面是源代码 能够刷新掉程序非正常关闭时在任务栏托盘留下的图标
- 2022-12-20 00:25:03下载
- 积分：1
-
校园巡逻机器人定位与避障技术研究
资源描述(1)针对校园环境范围大、结构简单的特点,结合RFID传感器信息传递
功能,提出一种大范围拓扑环境学习与建模新方法。根据校园环境上下文信息
需求,设计RFID标签格式,指导机器人进行环境学习,且以标签的分布代表
环境整体结构,由标签内容传递导航任务,由此构建环境模型。
(2)针对激光数据存在噪声干扰的问题,设计了一种动态自适应中值滤
波方法,利用激光数据时间和空间上的相关性,剔除噪声干扰,平滑激光数据。
- 2022-01-22 08:31:21下载
- 积分：1
