-
sf.tar
携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)
- 2011-01-25 20:26:53下载
- 积分：1
-
prgram_6
对于飞飞行器设计的相关M文件，希望每一个见到它的人都喜欢她(aircraft design for audience)
- 2012-04-15 16:36:49下载
- 积分：1
-
MMATTLABinphhA
MATLAB在物理中的应用，在学习物理的同时也能掌握一门计算机机技术，并能熟练应用计算机技术来学习物理与分析物理。 已通过测试。
(MATLAB in physics, to study physics at the same time able to grasp the technology of a computer machine and skilled application of computer technology to study physics and analysis of physics. Has been tested.)
- 2012-07-17 19:55:26下载
- 积分：1
-
huisepid
灰色PID的改进，采用灰色预估补偿，实现位置跟踪(the improved grey PID , gray predictor to achieve location tracking)
- 2015-03-07 12:38:36下载
- 积分：1
-
genetic-algorithm
In the field of artificial intelligence, a genetic algorithm (GA) is a search heuristic that mimics the process of natural selection. This heuristic (also sometimes called a metaheuristic) is routinely used to generate useful solutions to optimization and search problems.[1] Genetic algorithms belong to the larger class of evolutionary algorithms (EA), which generate solutions to optimization problems using techniques inspired by natural evolution, such as inheritance, mutation, selection, and crossover.
- 2015-04-14 23:54:18下载
- 积分：1
-
kenixibaozidongji
可逆细胞自动机matlab源代码，希望对大家有帮助(Reversible cellular automata matlab source code, we want to help)
- 2011-04-29 20:42:27下载
- 积分：1
-
glonassca
glonass matlab的程序仿真程序 简洁 但是功能好 请放心下载(glonass matlab process simulation program features simple but good, please be assured Download)
- 2010-05-13 10:23:52下载
- 积分：1
-
QPSK-tiaozhiPcostas
QPSK调制+costas载波同步，为matlab源代码！！！为学习和参考MATLAB通信原理方面调制与解调提供依据！(The QPSK modulation+costas carrier synchronization)
- 2021-04-09 04:19:00下载
- 积分：1
-
colorspace
matlab code for Colorspace Transformations
- 2015-02-03 13:35:46下载
- 积分：1
-
matlab-plot
本文件主要内容是讲解关于matlab中画图（地图）等等(MATLAB plot)
- 2012-04-13 15:39:03下载
- 积分：1
