全文获取类型
收费全文 | 64906篇 |
免费 | 4709篇 |
国内免费 | 4513篇 |
专业分类
化学 | 24696篇 |
晶体学 | 249篇 |
力学 | 8763篇 |
综合类 | 1043篇 |
数学 | 24797篇 |
物理学 | 14580篇 |
出版年
2023年 | 530篇 |
2022年 | 740篇 |
2021年 | 1903篇 |
2020年 | 1441篇 |
2019年 | 1458篇 |
2018年 | 1263篇 |
2017年 | 1479篇 |
2016年 | 1710篇 |
2015年 | 1645篇 |
2014年 | 2478篇 |
2013年 | 4361篇 |
2012年 | 2539篇 |
2011年 | 3101篇 |
2010年 | 2739篇 |
2009年 | 3539篇 |
2008年 | 3781篇 |
2007年 | 4079篇 |
2006年 | 3392篇 |
2005年 | 2656篇 |
2004年 | 2407篇 |
2003年 | 2463篇 |
2002年 | 4779篇 |
2001年 | 2397篇 |
2000年 | 1888篇 |
1999年 | 1653篇 |
1998年 | 1565篇 |
1997年 | 1206篇 |
1996年 | 1017篇 |
1995年 | 954篇 |
1994年 | 848篇 |
1993年 | 774篇 |
1992年 | 789篇 |
1991年 | 588篇 |
1990年 | 459篇 |
1989年 | 346篇 |
1988年 | 343篇 |
1987年 | 298篇 |
1986年 | 297篇 |
1985年 | 422篇 |
1984年 | 320篇 |
1983年 | 198篇 |
1982年 | 341篇 |
1981年 | 522篇 |
1980年 | 459篇 |
1979年 | 507篇 |
1978年 | 404篇 |
1977年 | 302篇 |
1976年 | 263篇 |
1974年 | 80篇 |
1973年 | 158篇 |
排序方式: 共有10000条查询结果,搜索用时 765 毫秒
1.
利用标量化方法建立对称向量拟均衡问题有效解的存在性定理。作为标量化方法的应用,利用这一方法得到向量变分不等式和拟向量变分不等式有效解的存在性定理。 相似文献
2.
3.
在完备的度量空间中,讨论了一类新型的非线性压缩映射ρ(Tx,Ty)≤a(ρ(x,y))ρ(x,Tx)+b(ρ(x,y))ρ(y,Ty)+c(ρ(x,y))ρ(x,y)通过构造迭代序列,指出该映射的不动点的存在性和唯一性,并给出相应的误差估计式,拓展和改进了有关文献的范围. 相似文献
4.
《Indagationes Mathematicae》2021,32(1):55-85
We show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is weakly reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures that the orbit space has an exterior algebra of differential forms, that satisfies Smith’s version of de Rham’s theorem. Because the orbit space is a locally closed subcartesian space, it has vector fields and their flows. 相似文献
5.
An efficient edge based data structure has been developed in order to implement an unstructured vertex based finite volume algorithm for the Reynolds-averaged Navier–Stokes equations on hybrid meshes. In the present approach, the data structure is tailored to meet the requirements of the vertex based algorithm by considering data access patterns and cache efficiency. The required data are packed and allocated in a way that they are close to each other in the physical memory. Therefore, the proposed data structure increases cache performance and improves computation time. As a result, the explicit flow solver indicates a significant speed up compared to other open-source solvers in terms of CPU time. A fully implicit version has also been implemented based on the PETSc library in order to improve the robustness of the algorithm. The resulting algebraic equations due to the compressible Navier–Stokes and the one equation Spalart–Allmaras turbulence equations are solved in a monolithic manner using the restricted additive Schwarz preconditioner combined with the FGMRES Krylov subspace algorithm. In order to further improve the computational accuracy, the multiscale metric based anisotropic mesh refinement library PyAMG is used for mesh adaptation. The numerical algorithm is validated for the classical benchmark problems such as the transonic turbulent flow around a supercritical RAE2822 airfoil and DLR-F6 wing-body-nacelle-pylon configuration. The efficiency of the data structure is demonstrated by achieving up to an order of magnitude speed up in CPU times. 相似文献
6.
A finite support product of clones of Jensen's minimal singleton forcing is used to define a model in which any non-empty analytically definable set of reals contains an analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the reals. 相似文献
7.
We study the Leibniz n-algebra Un(∑),whose multiplication is defined viathe bracket of a Leibniz algebra ∑ as[x1,...,xn]=[x1,[...,[xn-2,[xn-1,xn]]...]].Weshow that Un(∑) is simple if and only if ∑ is a simple Lie algebra.An analog of Levi'stheorem for Leibniz algebras in Un(Lb) is established and it is proven that the Leibnizn-kernel of Un(Σ) for any semisimple Leibniz algebra Σ is the n-algebra Un(Σ). 相似文献
8.
We propose a conjecture on the relative twist formula of l-adic sheaves, which can be viewed as a generalization of Kato—Saito's conjecture. We verify this conjecture under some transversal assumptions. We also define a relative cohomological characteristic class and prove that its formation is compatible with proper push-forward. A conjectural relation is also given between the relative twist formula and the relative cohomological characteristic class. 相似文献
9.
10.
《Indagationes Mathematicae》2021,32(6):1229-1239