资源列表
Proofs_and_Computations_(Perspectives_in_Logic)-C
- Proofs and Computations Driven by the question “What is the computational content of a (formal) proof?”, this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced st
tennisDemo
- 一个用人工智能编写的网球游戏源码。其采用的设计模式对于编写类似程序有参考价值。-Written in a tennis game with artificial intelligence source. The design patterns used in a similar procedure for the preparation of a reference value.
zuixiaoerchengfa
- 直线拟合，最小二乘法，小程序，言简意赅，可以一看-Fitting a straight line, least-squares method, a small program
Huffman
- 利用Huffman算法编写的代码，能够实现压缩解压的功能-Huffman Coding
horn-schunck
- 估计光流的经典算法H&S，经测试可以使用。-Estimates the optical flow for standard test sequences using H&S algorithm
CUDAmanualforChinese
- cuda中文手册，对cuda的完整描述，是cuda爱好者与开发者的必备资料-This is a cuda manual in Chinese.The book describeds all details about cuda,which is a essential one for cuda lovers.
santos2006
- A Simplified Induction Machine Model to Study Rotor Broken Bar Effects and for Detection
BmpToJpg
- 这是一个基于对话框的程序，主要功能是实现将BMP图像转换为JPG格式的，实现了图像的压缩。-This is a dialog-based program, the main function is to convert BMP images to JPG format and image compression.
SmallHouseNew
- 小区物业管理功能有：小区管理、设备管理、楼盘管理、收费管理、停车管理、用户管理。-Residential property management functions are: community management, equipment management, property management, charge management, parking management, user management.
CMA_Equalizer
- 盲均衡的经典算法-恒模算法，实验效果良好，是入门学习的必须-Classic blind equalization algorithm- constant modulus algorithm, the experimental result is good, the entry must learn
ykfl
- 预科分流系统，是指少数民族在就读本科期间，读完一年预科班后选择专业、报考及录取的过程。-Pre-diversion system, refers to the minorities in the undergraduate student during the one-year preparatory course, after reading choice of profession, applicants and the admissions process.
46
- 用matlab语言编写三节点梁单元程序，并与abaqus矩形单元，六节点三角形单元仿真结果做了对照，加深对FEM的理解。(The program of three node beam element is written in MATLAB language, and the simulation results are compared with those of ABAQUS rectangular element and six node triangular element to dee