资源列表
pack_problem
- 根据网上的《背包九讲》写了前三个(01背包、完全背包、多重背包)的C++代码,抛砖引玉。-According to the online "backpack problem," wrote the first three (01 backpack, backpack full, multi-pack) on behalf of C Code, start a discussion.
Jat_57
- Orbit Determination of satellite Matlab Codes
The-Trachtenberg-System-of-Speed-Arithmetic
- The trachtenberg system for speed arithmetic pdf.
matlabcode
- Raman-OTDR Model for Distributed temperature sensing
hecheng
- FORTRAN合成分析程序,适用于一种指数变化对天气要素的影响程度的研究-Synthetic analysis of FORTRAN programs,An index for changes in weather factors affect the degree of research
asdwsa
- 一种孤立词语音识别方法An isolated word speech recognition method research-An isolated word speech recognition method research
saww
- 一类检错编码方案.A scheme of error-detecting codes.-A scheme of error-detecting codes.
awwv
- 一类非线性反馈系统的稳定性分析.A class of nonlinear feedback system stability analysis.-A class of nonlinear feedback system stability analysis.
dsd232
- 黄河三角洲湿地区域生态风险评价.The wetland of the Yellow River Delta regional ecological risk assessment -The wetland of the Yellow River Delta regional ecological risk assessment
ccc
- 近年来CCA在气候分析与气候预测中的应用.In recent years CCA in climatic analysis and prediction.-In recent years CCA in climatic analysis and prediction.
vb
- 引用数组的声明、数组元素,应用数组解决与数组有关的常用算法,运用自定义函数过程和子过程的定义和条用方法和值传递和地址传递的传递方式。-Reference array declaration, array element, application and array array to solve the commonly used algorithms, using a custom function process and the child process is defined and a m
SAT
- SAT问题也称为合取范式的可满足问题,一个合取范式形如:A1∧A2∧…∧An,子句Ai(1≤i≤n)形如:a1∨a2∨…∨ak,其中,ai称为文字,为某一布尔变量或该布尔变量的非。SAT问题是指:是否存在一组对所有布尔变量的赋值(TRUE或FALSE),使得整个合取范式取值为真。 -SAT problems are also called conjunctive normal form of the satisfiability problem, a conjunctive normal