-
重言式的判别
资源描述
先来明确一下概念：一个逻辑表达式如果对于其变元的任一种取值均为真，则成为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式，然而，更多的情况下，既非重言式，也非矛盾式。 对于一个逻辑表达式，到底属于上面三种情况的哪一种，可以有很多种判断方法，如真值表法，直接证明法等等，这些你可以参考 请点击左侧文件开始预览 ！预览只提供20%的代码片段，完整代码需下载后查看 加载中 侵权举报
- 2023-04-13 03:40:04下载
- 积分：1
-
Lagrange algorithm with C language
研究生期间上《数值计算方法》课的作业，所有代码都是C语言实现并调试通过，现在上传为大家服务。这是拉哥朗日算法-Lagrange algorithm with C language
- 2022-08-09 12:53:33下载
- 积分：1
-
c常用算法的实现经典代码。
c常用算法的实现经典代码。 -c commonly used algorithm for the realization of the classical code.
- 2022-10-02 09:45:03下载
- 积分：1
-
基于MATLAB小波分析应用
MATLAB小波分析源代码，有具体案例分析，书籍里面程序每一章都有，完整版，包含：小波分析工具箱的使用，小波变换信号处理，小波变换在故障诊断生物医学以及图像处理中的应用，小波变换矩阵求解，提升小波变换以及应用，多信号小波分析，小波工具箱在VC环境中的使用
- 2022-05-23 15:23:50下载
- 积分：1
-
迭代线性最小二乘内插滤波
应用背景关于机载lidar经典算法迭代最小二乘内插滤波实现。程序保证可用，不可用可发邮件联系本人关键技术该算法对于平坦地面有较好的滤波效果，参数需要设置
- 2022-07-15 21:45:12下载
- 积分：1
-
高斯
gauss-seidel迭代法解Ax=b的解-Gauss- Seidel iterative method for Ax = b Solution
- 2022-05-21 18:58:32下载
- 积分：1
-
计算一个以文本格式存储的矩阵的相关系数矩阵，包括例子数据。...
计算一个以文本格式存储的矩阵的相关系数矩阵，包括例子数据。-calculated a text format to store the correlation coefficient matrix of matrices, including examples of data.
- 2022-02-02 21:59:59下载
- 积分：1
-
ASIFT特征点提取
Asift 基于全仿射的图像配准，并结合特征点详细，多视点的情况下，能实现很好配准
- 2022-07-22 19:07:18下载
- 积分：1
-
98年全国大学生数学建模竞赛B题“水灾巡视问题”，是一个推销员问题，本题有53个点，所有可能性大约为exp(53),目前没有好方法求出精确解，既然求不出精确解，...
98年全国大学生数学建模竞赛B题“水灾巡视问题”，是一个推销员问题，本题有53个点，所有可能性大约为exp(53),目前没有好方法求出精确解，既然求不出精确解，我们使用模拟退火法求出一个较优解,将所有结点编号为1到53,1到53的排列就是系统的结构,结构的变化规则是:从1到53的排列中随机选取一个子排列,将其反转或将其移至另一处,能量E自然是路径总长度。具体算法描述如下：步1： 设定初始温度T，给定一个初始的巡视路线。步2 ：步3 --8循环K次步3：步 4--7循环M次步4：随机选择路线的一段步5：随机确定将选定的路线反转或移动，即两种调整方式：反转、移动。步6：计算代价D，即调整前后的总路程的长度之差步7：按照如下规则确定是否做调整：如果D0,则按照EXP(-D/T)的概率进行调整步8:T*0.9-->T,降温-98 National Mathematical Contest in Modeling B and that the "flood inspections", is a salesman problem, and that is 53 points, all possibilities about exp (53), there is no good way to get accurate solutions, since no exact solution for, we used simulated annealing France obtained an optimum solution to all nodes to a number of 53 to 53.1 is with the system structure, changes in the structure of the rules is : from 1-53 with a randomly selected with a son, to reverse or to move it to another, the energy E is the natural path length. The specific algorithm is described as follows : Step 1 : The initial set temperature T,
- 2023-05-19 17:45:04下载
- 积分：1
-
算法设计与分析 哈夫曼树及哈夫曼编码 贪心算法
一个记录字符及出现频率的文件如下所示：huffman.haf7a,45b,13c,12d,16e,89f,34g,20试编写一个读取此种格式文件类CHuffman, 内部机制采用优先队列，用于建立Huffman树及进行Huffman编码输出，其用法可以如下所示： CHuffman hm("hu
- 2022-03-10 07:52:22下载
- 积分：1
