资源列表
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
1993-1996ACM
- 1993-1996年美国ACM竞赛真题，共九套，解答详细-problems of ACM
HDACM
- 杭电的ACM想必很多人都有所了解,不过因为杭电的网站一直没有答案,有时候要AC也很纠结,这份文档或许会有些许作用-ACM Hang power must have a lot of people have to understand, but because the site has not Hang power the answer, and sometimes to AC is also very tangled, this document or Many have little ef
sdf32
- 外向流喷流驱动的模型研究进展.The models of outflow jet progre-The models of outflow jet progress
se2
- 光传送网节点传输模型的讨论.Optical transport network node transmission model is discussed.-Optical transport network node transmission model is discussed.
asdw31
- 多普勒雷达VAD技术扩展的误差分析.Doppler radar VAD extended error analysis.-Doppler radar VAD extended error analysis.
sdf33
- 非全局Lipschitz条件下随机延迟微分方程Euler方法的收敛性.Non global Lipschitz under condition of stochastic differential delay equations convergence of Euler method.-Non global Lipschitz under condition of stochastic differential delay equations convergence of Euler metho
sdfq32
- 种群动力系统的数值解的振动性分析.Population dynamic system numerical solution of vibration analysis.-Population dynamic system numerical solution of vibration analysis.
sdfe11
- 关于解极大相关问题P_SOR算法的收敛性.On the solution of maximum correlation problem P_SOR algorithm convergence.-On the solution of maximum correlation problem P_SOR algorithm convergence.
sds
- 非匹配网格上Stokes_Darcy模型的非协调元方法及其预条件技术.-Non matching mesh on the Stokes_Darcy model the nonconforming finite element method and preconditioning technique.
dss11
- 抛物型方程基于POD方法的时间二阶中心差的时间二阶精度简化有限元格式Parabolic equation based on POD method of time two order central difference time two order precision simplified finite element scheme-Parabolic equation based on POD method of time two order central difference time t
sds32
- 四阶强阻尼波动方程的混合控制体积法.Four order strongly damped wave equations with mixed control volume method.-Four order strongly damped wave equations with mixed control volume method.