-
Propositional logic in the inference rule can be used to prove that a propositio...
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。
-Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization. Because the rules did not specify what steps in the derivation of what should be the introduction of the premise or intermediate conclusions, which also depends on the person s experience of the skills and talent. Wang Hao in 1960 proposed algorithm can be completely divorced from the person s experience and skills, a mechanical structure is derived for each step to prove that a propositional logic theorem establishment.
- 2022-03-07 22:04:02下载
- 积分：1
-
1、编制程序显示印章图像（24位真彩色位图）；
2、读出位图中每一像素点的（R，G，B）样本值；
3、以RGB其中某两个（或三个）为坐标，取一定数量的图...
1、编制程序显示印章图像（24位真彩色位图）；
2、读出位图中每一像素点的（R，G，B）样本值；
3、以RGB其中某两个（或三个）为坐标，取一定数量的图像点为分析样本，分析其坐标系中的分布；
4、采用本章学习的方法找到分类判别函数，对这些样本进行分类；（要求首先将印章与底纹区分，如有可能将印章、底纹、签字区分）
5、将分类后的结果标记到原始图像上，检查其效果。
-1, the preparation procedures showed that the seal image (24-bit true color bitmap) 2, read out each bitmap pixel (R, G, B) sample value 3 to RGB which a two (or three ) for the coordinates, take a certain number of image points for the analysis of samples, analysis of its coordinate system of distribution 4, the method used in this chapter to learn to find discriminant function classification of these samples for classification (required first to distinguish between the seal and Shading, if possible, will seal, Shading, signatures to distinguish between) 5, will be the result of classification markings to the original image to check its effectiveness.
- 2022-04-27 00:31:30下载
- 积分：1
-
这个是做自动控制的小车的代码，这里有一些模块的程序，可以参考。
这个是做自动控制的小车的代码，这里有一些模块的程序，可以参考。-This is the automatic control of the car to do the code, here are some program modules, you can reference.
- 2022-03-01 14:10:23下载
- 积分：1
-
A program of Harris corner points test writen by VC.We can call is as plessey,it...
VC写的harris角点检测程序。又名plessey，最经典也是目前效果最好的算法，比susan抗噪要好（实际的讲）-A program of Harris corner points test writen by VC.We can call is as plessey,it is the best algorithm.It better than susan from real useful point.
- 2022-03-07 12:22:38下载
- 积分：1
-
用c语言演绎“生命游戏",本世纪70年代，人们曾疯魔一种被称作“生命游戏”的小游戏，这种游戏相当简单。假设有一个像棋盘一样的方格网，每个方格中放置一个
生命...
用c语言演绎“生命游戏",本世纪70年代，人们曾疯魔一种被称作“生命游戏”的小游戏，这种游戏相当简单。假设有一个像棋盘一样的方格网，每个方格中放置一个
生命细胞，生命细胞只有两种状态：“生”或“死”。-with language interpretation c Life "game", the 1970s, It had been a crazy demons known as the "Game of Life" of the games, this game is quite simple. Suppose a chessboard like the same grid, each square place a living cell, cell lives only two states : "Health" or "dead."
- 2022-06-18 16:24:31下载
- 积分：1
-
VC++ Genetic Algorithm
VC++ 遗传算法 VC++ 遗传算法 VC++ 遗传算法-VC++ Genetic Algorithm
- 2022-02-15 00:27:34下载
- 积分：1
-
K-Means动态聚类算法源程序
使用K-Means实现数据挖掘中的聚类算法-Dynamic K-Means clustering algorithm source realize the use of K-Means clustering data mining algorithm
- 2023-04-13 23:20:03下载
- 积分：1
-
control toolbox based on neural network
基于神经网络的控制工具箱-control toolbox based on neural network
- 2022-10-18 04:50:04下载
- 积分：1
-
- 2022-02-24 09:13:40下载
- 积分：1
-
神经网络算法
神经网络算法-Neural network algorithm
- 2022-05-17 04:49:42下载
- 积分：1
