-
重言式的判别
资源描述
先来明确一下概念：一个逻辑表达式如果对于其变元的任一种取值均为真，则成为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式，然而，更多的情况下，既非重言式，也非矛盾式。 对于一个逻辑表达式，到底属于上面三种情况的哪一种，可以有很多种判断方法，如真值表法，直接证明法等等，这些你可以参考 请点击左侧文件开始预览 ！预览只提供20%的代码片段，完整代码需下载后查看 加载中 侵权举报
- 2023-04-13 03:40:04下载
- 积分：1
-
codes_2Dskeleton 是用于生成的二维二值图像的形状骨架
骨架旨在代表对象的一般形式的基于区域的形状特征提取。骨架 （即，从数字的二进制图像的骨架提取） 提供了基于区域的形状特征。它是在光栅矢量转换或在模式识别中常用的预处理操作。有三种主要的骨架提取方法： 检测脊的边界点，距离图计算由边界点，生成的 Voronoi 图和逐层侵蚀称为细化。在数字空间中，可以提取只有一个近似"真正的骨架"。有两个要求必须遵守： 拓扑 （为了保留原始对象的拓扑），几何 （强迫正在包括、 旋转、 平移和缩放的最重要的几何变换下的不变性与对象的"骨架"） 这个代码可以帮助您生成的二维二值图像的形状骨架
- 2023-04-27 11:50:04下载
- 积分：1
-
C的Kalman滤波，C++和Matlab程序
Kalman filter的C，C++及matlab程序-Kalman filter of the C, C++ and matlab programs
- 2022-02-24 11:10:58下载
- 积分：1
-
简单计算器
基于编译原理进行的java编程，可以在Eclipse中先新建java程序，利用javacc进行编译，很简单的程序，希望对大家有用，花了挺久时间
- 2022-11-18 16:00:03下载
- 积分：1
-
高效内存的R树索引
应用背景
知名的空间索引R树，这个是基于内存的实现，160000个MBR的r树构建时间为4秒
里面包含插入结点，删除结点，和查询结点，支持动态的树结构维护。
关键技术
R树结点插入insert();
R树结点删除delete();
R树索引搜索search();
注意：在插入和删除的同时需要考虑根节点的分裂与替换。
- 2022-05-22 17:26:14下载
- 积分：1
-
我用MATLAB编写的傅里叶变换，不利用FF软件…
采用Matlab自己编写的傅里叶变换，并不是使用软件提供的FFT2-I have written using Matlab Fourier transform, not using software provided by FFT2
- 2022-03-02 17:36:01下载
- 积分：1
-
数值算法 龙贝格积分 C++实现
用迭代的方法求定积分
数值算法 龙贝格积分 C++实现
用迭代的方法求定积分-numerical algorithm Long Bergh C integral to the realization of iterative methods used to seek integration
- 2022-01-31 21:48:08下载
- 积分：1
-
我解决了在上海的ACM亚洲问题
2009亚洲赛上海网络赛第三题,分享给所有参加ACM的朋友们，以及日后想参考想用的同学们。-The problem I solved at the ACM Aisa of Shanghai
- 2022-03-31 14:35:54下载
- 积分：1
-
俄罗斯方块(MFC)
一个MFC实现的俄罗斯方块程序，操作简单，界面友好，可用作课程设计，实训等，简单易懂
- 2023-05-27 09:35:03下载
- 积分：1
-
驱动调度程序
问题得到解决：编写一个程序来安排司机15天，给予最佳的解决方案。这是什么意思最优：用于最小驱动器，驱动器的关联是幸福的驾驶员协会强制执行一些规则，如司机不能在白班的工作，如果他在最后一个夜班工作过。输入：驱动程序的首选hollydays，最好轮班工作（阵列模式一样，看JPG GILE）输出：每个驾驶者的换挡，对于整个两个星期内，一些调试数据。在输出中 - 查找出“后移分配”，其他的东西都只是日志信息，你可以放心地忽略。
- 2022-02-04 23:42:00下载
- 积分：1
