中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共14条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Second-order two-scale analysis and numerical algorithm for the damped wave equations of composite materials with quasi-periodic structures 期刊论文
APPLIED MATHEMATICS AND COMPUTATION, 2017, 卷号: 298, 页码: 201-220
作者:  Dong, Hao;  Nie, Yufeng;  Cui, Junzhi;  Wu, Yatao;  Yang, Zihao
收藏  |  浏览/下载：127/0  |  提交时间：2018/07/30
Multiscale asymptotic analysis  Damped wave equations  Quasi-periodic structure  Second-order two-scale numerical method  Newmark scheme  
Second-order two-scale analysis and numerical algorithms for the hyperbolic-parabolic equations with rapidly oscillating coefficients 期刊论文
CHINESE PHYSICS B, 2015, 卷号: 24, 期号: 9, 页码: 14
作者:  Dong Hao;  Nie Yu-Feng;  Cui Jun-Zhi;  Wu Ya-Tao
收藏  |  浏览/下载：107/0  |  提交时间：2018/07/30
hyperbolic-parabolic equations  rapidly oscillating coefficients  second-order two-scale numerical method  Newmark scheme  
secondordertwoscaleanalysisandnumericalalgorithmsforthehyperbolicparabolicequationswithrapidlyoscillatingcoefficients 期刊论文
chinesephysicsb, 2015, 卷号: 24, 期号: 9
作者:  Dong Hao;  Nie Yufeng;  Cui Junzhi;  Wu Yatao
收藏  |  浏览/下载：113/0  |  提交时间：2020/01/10
集成电路验证技术 期刊论文
中国基础科学, 2007, 卷号: 000, 期号: 003, 页码: 11
作者:  刘卓军;  吴尽昭
收藏  |  浏览/下载：22/0  |  提交时间：2020/01/10
Rational homotopy theory and nonnegative curvature 期刊论文
ACTA MATHEMATICA SINICA-ENGLISH SERIES, 2006, 卷号: 22, 期号: 1, 页码: 23-26
作者:  Pan, JZ;  Wu, SB
收藏  |  浏览/下载：83/0  |  提交时间：2018/07/30
curvature  derivation  homotopy equivalence  
Linear strategy for boolean ring based theorem proving 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2000, 卷号: 15, 期号: 3, 页码: 271-279
作者:  Wu, JZ;  Liu, ZJ
收藏  |  浏览/下载：72/0  |  提交时间：2018/07/30
boolean ring  linear strategy  Herbrand theorem  O-linear strategy  
Linear Strategy for Boolean Ring BasedTheorem Proving 期刊论文
Journal of Computer Science and Technology, 2000, 卷号: 15, 期号: 3, 页码: 271
作者:  Wu JZ(吴尽昭);  Liu ZJ(刘卓军)
收藏  |  浏览/下载：25/0  |  提交时间：2020/01/10
Well-behaved inference rules for first-order theorem proving 期刊论文
JOURNAL OF AUTOMATED REASONING, 1998, 卷号: 21, 期号: 3, 页码: 381-400
作者:  Wu, JZ;  Liu, ZJ
收藏  |  浏览/下载：77/0  |  提交时间：2018/07/30
inference rule  first-order polynomial  set-of-support deduction  linear deduction  
余式方法中的线性策略以及语义策略和锁策略 期刊论文
计算机学报, 1997, 卷号: 020, 期号: 002, 页码: 174
作者:  刘卓军;  吴尽昭
收藏  |  浏览/下载：18/0  |  提交时间：2020/01/10
Om first-order theorem proving using generalized odd-superpositions II 期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1996, 卷号: 39, 期号: 6, 页码: 608-619
作者:  Wu, JZ;  Liu, ZJ
收藏  |  浏览/下载：72/0  |  提交时间：2018/07/30
theorem proving  first-order polynomials  odd-superpositions II  generalized odd-superpositions II  odd-factors