资源列表
[人工智能/神经网络/遗传算法] WangHao
说明:命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理,但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论,这些还有赖于人的经验技巧和才能。1960年王浩提出的算法,可以完全脱离人的经验和技巧,机械地构造每一步推导,证明一个命题逻辑定理的成立。 -Propositional logic in the inference rule can be used to prove that a propositional formula has be<harveysharp> 在 2025-06-20 上传 | 大小:1.28mb | 下载:0
[人工智能/神经网络/遗传算法] astar
说明:A*算法,用来寻路,非常有用的,我历尽千辛万苦才找到的-A* algorithm, used to find the way, very useful, I experienced a lot of hard work to find the<wangchunli> 在 2025-06-20 上传 | 大小:71kb | 下载:0
[matlab例程] 45666011mat-7262
说明:一点遗传算法的matlab程序,本人初学算法,积累不多,这个是转载的,比较清晰易懂,适于初学者-Point genetic algorithm matlab program, I am learning algorithm, the accumulation of small, this is reproduced, more user-friendly, suitable for beginners<韩蓉> 在 2025-06-20 上传 | 大小:7kb | 下载:0
[matlab例程] pcm_encode_decode
说明:该程序为关于pcm编码和pcm解码的matlab实现-The program on the pcm coding and decoding matlab achieve pcm<yxj> 在 2025-06-20 上传 | 大小:1kb | 下载:0
[matlab例程] cdma2000turbo
说明:众所周知,turbo码是cdma2000中一项重要的技术,该程序用simulink模拟实现turbo编码-As we all know, turbo code is an important cdma2000 technology, the process simulation using simulink realization of turbo coding<yxj> 在 2025-06-20 上传 | 大小:8kb | 下载:1
[压缩解压] BoxCoding
说明:本程序采用了最简单的方块编码对512×512的lena图像进行了编码.运行程序后可以看出,方块取得越大,图像编码后失真越大。-This procedure uses the most simple code box 512 × 512 on the lena image coding. After running the program we can see that the box to obtain the greater the greater the distortion image i<fanzi> 在 2025-06-20 上传 | 大小:494kb | 下载:0