-
重言式的判别
资源描述
先来明确一下概念:一个逻辑表达式如果对于其变元的任一种取值均为真,则成为重言式;反之,如果对于其变元的任一种取值都为假,则称为矛盾式,然而,更多的情况下,既非重言式,也非矛盾式。 对于一个逻辑表达式,到底属于上面三种情况的哪一种,可以有很多种判断方法,如真值表法,直接证明法等等,这些你可以参考 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报
- 2023-04-13 03:40:04下载
- 积分:1
-
BFS迷宫图片画线子函式
BFS 迷宫图片 画线 子函式.......可完成自动 画线存图.......广度搜寻演算法.........
- 2023-01-05 05:30:03下载
- 积分:1
-
这是一个用MATLAB写的免疫算法程序。
这是一个用MATLAB写的免疫算法程序。-This is a MATLAB program written by Immune Algorithm.
- 2023-06-07 13:55:03下载
- 积分:1
-
基于免疫算法的运输中心规划算法
随着物流业的快速发展,配送在整个物流系统中的所起的作用越发重要,因而配送中心的选址对于企业的网络布局、经营方式等起到了重要作用。然而,配送中心的选择具有计算复杂、约束条件多等问题,普通算法难以找到问题的最优解。免疫算法具有非线性、全局搜索等优点,适合于此类复杂问题的研究,本案例研究了基于免疫算法的运输中心规划算法。
- 2022-08-04 02:20:08下载
- 积分:1
-
克隆代码检测工具(Nicad)
资源描述Kim团队开发的克隆代码检测工具,如今已经被广泛应用,成为最权威的克隆代码检测工具。Nicad能够检测type1、type2和type3类型的克隆代码,涉及java、C、C#、Python等常用语言。为软件开发和维护人员提供服务。
- 2022-03-10 02:40:38下载
- 积分:1
-
基于密度聚类算法
DBSCAN(Density-Based Spatial Clustering of Applications with Noise)是一个比较有代表性的基于密度的聚类算法。与划分和层次聚类方法不同,它将簇定义为密度相连的点的最大集合,能够把具有足够高密度的区域划分为簇,并可在噪声的空间数据库中发现任意形状的聚类。
- 2022-05-26 05:44:16下载
- 积分:1
-
Kriging算法
基于oeo4b的Kriging插值算法/克里格.js工作。插值一组X,Y,Z坐标。
- 2022-01-23 11:00:26下载
- 积分:1
-
Computational fluid dynamics as a new method of landmark
作为对计算流体力学划时代共享的新方法。roe格式对于差分格式的构造提供了新的全新的领域!Fortran编写-Computational fluid dynamics as a new method of landmark-sharing. roe format structure for the difference scheme provided a new field of brand new! Fortran prepared
- 2022-06-16 12:39:03下载
- 积分:1
-
阈值变换
资源描述程序说明: //该函数用来对图像进行阈值变换。对于灰度值小于阈值的象素直接设置 灰度值为0;灰度值大于阈值的象素直接设置为255。-procedures
:// This function used to image transform threshold. For gray value less than
the threshold value of the pixel intensity value directly set to 0; Gray value
greater than the threshold value of the pixel is set to direct 255.
- 2022-04-02 08:03:02下载
- 积分:1
-
Using vc platform development dual Lagrange interpolation procedures can be...
用vc++平台开发二元拉格朗日插值程序,能够实现对曲面上的插值-Using vc platform development dual Lagrange interpolation procedures can be achieved on the surface of the interpolation
- 2022-05-18 10:43:29下载
- 积分:1