全文获取类型
收费全文 | 28611篇 |
免费 | 1558篇 |
国内免费 | 1413篇 |
专业分类
化学 | 1097篇 |
晶体学 | 46篇 |
力学 | 2508篇 |
综合类 | 263篇 |
数学 | 24046篇 |
物理学 | 3622篇 |
出版年
2024年 | 34篇 |
2023年 | 238篇 |
2022年 | 277篇 |
2021年 | 352篇 |
2020年 | 519篇 |
2019年 | 528篇 |
2018年 | 604篇 |
2017年 | 660篇 |
2016年 | 669篇 |
2015年 | 542篇 |
2014年 | 1286篇 |
2013年 | 2092篇 |
2012年 | 1395篇 |
2011年 | 1586篇 |
2010年 | 1411篇 |
2009年 | 1855篇 |
2008年 | 1957篇 |
2007年 | 2012篇 |
2006年 | 1591篇 |
2005年 | 1264篇 |
2004年 | 1079篇 |
2003年 | 1139篇 |
2002年 | 999篇 |
2001年 | 798篇 |
2000年 | 836篇 |
1999年 | 740篇 |
1998年 | 658篇 |
1997年 | 599篇 |
1996年 | 529篇 |
1995年 | 460篇 |
1994年 | 329篇 |
1993年 | 294篇 |
1992年 | 280篇 |
1991年 | 250篇 |
1990年 | 211篇 |
1989年 | 121篇 |
1988年 | 138篇 |
1987年 | 101篇 |
1986年 | 134篇 |
1985年 | 196篇 |
1984年 | 155篇 |
1983年 | 71篇 |
1982年 | 105篇 |
1981年 | 87篇 |
1980年 | 83篇 |
1979年 | 74篇 |
1978年 | 80篇 |
1977年 | 72篇 |
1976年 | 37篇 |
1974年 | 17篇 |
排序方式: 共有10000条查询结果,搜索用时 46 毫秒
11.
12.
13.
The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a -approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers. 相似文献
14.
15.
16.
The Burton-Miller boundary integral formulation is solved by a complex variable boundary element-free method (CVBEFM) for the boundary-only meshless analysis of acoustic problems with arbitrary wavenumbers. To regularize both strongly singular and hypersingular integrals and to avoid the computation of the solid angle and its normal derivative, a weakly singular Burton-Miller formulation is derived by considering the normal derivative of the solid angle and adopting the singularity subtraction procedures. To facilitate the implementation of the CVBEFM and the approximation of gradients of the boundary variables, a stabilized complex variable moving least-square approximation is selected in the meshless discretization procedure. The results show the accuracy and efficiency of the present CVBEFM and reveal that the method can produce satisfactory results for all wavenumbers, even for extremely large wavenumbers such as k = 10 000. 相似文献
17.
Alessandro Morando Paola Trebeschi Tao Wang 《Journal of Differential Equations》2019,266(9):5397-5430
We show the short-time existence and nonlinear stability of vortex sheets for the nonisentropic compressible Euler equations in two spatial dimensions, based on the weakly linear stability result of Morando and Trebeschi (2008) [20]. The missing normal derivatives are compensated through the equations of the linearized vorticity and entropy when deriving higher-order energy estimates. The proof of the resolution for this nonlinear problem follows from certain a priori tame estimates on the effective linear problem in the usual Sobolev spaces and a suitable Nash–Moser iteration scheme. 相似文献
18.
《Comptes Rendus Mecanique》2019,347(11):780-792
The present work aims at proposing a new methodology for learning reduced models from a small amount of data. It is based on the fact that discrete models, or their transfer function counterparts, have a low rank and then they can be expressed very efficiently using few terms of a tensor decomposition. An efficient procedure is proposed as well as a way for extending it to nonlinear settings while keeping limited the impact of data noise. The proposed methodology is then validated by considering a nonlinear elastic problem and constructing the model relating tractions and displacements at the observation points. 相似文献
19.
《Annales de l'Institut Henri Poincaré (C) Analyse Non Linéaire》2020,37(2):417-456
We study the energy-critical nonlinear wave equation in the presence of an inverse-square potential in dimensions three and four. In the defocussing case, we prove that arbitrary initial data in the energy space lead to global solutions that scatter. In the focusing case, we prove scattering below the ground state threshold. 相似文献
20.
文[1]提出了两个DEA的逆问题,并用搜索法来解.而本文根据所证的定理,对每个问题一般只要解二、三个线性规划问题就能得到答案. 相似文献