全文获取类型
收费全文 | 19739篇 |
免费 | 1667篇 |
国内免费 | 1699篇 |
专业分类
化学 | 2540篇 |
晶体学 | 61篇 |
力学 | 1338篇 |
综合类 | 506篇 |
数学 | 13858篇 |
物理学 | 4802篇 |
出版年
2023年 | 176篇 |
2022年 | 294篇 |
2021年 | 325篇 |
2020年 | 378篇 |
2019年 | 423篇 |
2018年 | 405篇 |
2017年 | 512篇 |
2016年 | 530篇 |
2015年 | 430篇 |
2014年 | 823篇 |
2013年 | 1332篇 |
2012年 | 814篇 |
2011年 | 1122篇 |
2010年 | 1094篇 |
2009年 | 1374篇 |
2008年 | 1427篇 |
2007年 | 1415篇 |
2006年 | 1287篇 |
2005年 | 1073篇 |
2004年 | 887篇 |
2003年 | 909篇 |
2002年 | 775篇 |
2001年 | 674篇 |
2000年 | 572篇 |
1999年 | 571篇 |
1998年 | 528篇 |
1997年 | 454篇 |
1996年 | 355篇 |
1995年 | 261篇 |
1994年 | 212篇 |
1993年 | 190篇 |
1992年 | 183篇 |
1991年 | 140篇 |
1990年 | 111篇 |
1989年 | 106篇 |
1988年 | 93篇 |
1987年 | 73篇 |
1986年 | 54篇 |
1985年 | 96篇 |
1984年 | 75篇 |
1983年 | 49篇 |
1982年 | 79篇 |
1981年 | 67篇 |
1980年 | 53篇 |
1979年 | 78篇 |
1978年 | 51篇 |
1977年 | 45篇 |
1976年 | 35篇 |
1974年 | 25篇 |
1973年 | 23篇 |
排序方式: 共有10000条查询结果,搜索用时 203 毫秒
11.
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. 相似文献
12.
13.
In this paper, we propose a sufficient and necessary condition for the boundedness of all the solutions for the equation with the critical situation that on g and p, where , is periodic and is bounded. 相似文献
14.
Bobby Wilson 《偏微分方程通讯》2015,40(8):1521-1542
This article explores the questions of long time orbital stability in high order Sobolev norms of plane wave solutions to the NLSE in the defocusing case. 相似文献
15.
16.
采用DIS数字信息化系统,对不同浓度的蓝墨水溶液在激光光源照射下的透射平均照度及照度分布图像进行实验研究,得到了平均照度值随溶液浓度变化的规律。对不同颜色塑料膜片对白炽灯光源透过照度值及照度分布图像进行实验研究得到及其相关之规律。 相似文献
17.
We discuss an error estimation procedure for the global error of collocation schemes applied to solve singular boundary value problems with a singularity of the first kind. This a posteriori estimate of the global error was proposed by Stetter in 1978 and is based on the idea of Defect Correction, originally due to Zadunaisky. Here, we present a new, carefully designed modification of this error estimate which not only results in less computational work but also appears to perform satisfactorily for singular problems. We give a full analytical justification for the asymptotical correctness of the error estimate when it is applied to a general nonlinear regular problem. For the singular case, we are presently only able to provide computational evidence for the full convergence order, the related analysis is still work in progress. This global estimate is the basis for a grid selection routine in which the grid is modified with the aim to equidistribute the global error. This procedure yields meshes suitable for an efficient numerical solution. Most importantly, we observe that the grid is refined in a way reflecting only the behavior of the solution and remains unaffected by the unsmooth direction field close to the singular point. 相似文献
18.
Algebra matrix and similarity classification of operators 总被引:1,自引:0,他引:1
ZHANG Zilong & LI Yucheng Department of Mathematics Hebei Normal University Shijiazhuang China 《中国科学A辑(英文版)》2006,49(3):398-409
In this paper, by the Gelfand representation theory and the Silov idempotents theorem, we first obtain a central decomposition theorem related to a unital semi-simple n-homogeneous Banach algebra, and then give a similarity classification of two strongly irreducible Cowen-Douglas operators using this theorem. 相似文献
19.
Paul Bankston 《Archive for Mathematical Logic》2006,45(1):97-112
The Chang-Łoś-Suszko theorem of first-order model theory characterizes universal-existential classes of models as just those
elementary classes that are closed under unions of chains. This theorem can then be used to equate two model-theoretic closure
conditions for elementary classes; namely unions of chains and existential substructures. In the present paper we prove a
topological analogue and indicate some applications. 相似文献
20.
Zhong-Qing Wang 《Journal of Mathematical Analysis and Applications》2002,274(1):374-403
An orthogonal system of rational functions is discussed. Some inverse inequalities, imbedding inequalities and approximation results are obtained. Two model problems are considered. The stabilities and convergences of proposed rational spectral schemes and rational pseudospectral schemes are proved. The techniques used in this paper are also applicable to other problems on the whole line. Numerical results show the efficiency of this approach. 相似文献