全文获取类型
收费全文 | 474345篇 |
免费 | 4499篇 |
国内免费 | 1921篇 |
专业分类
化学 | 241342篇 |
晶体学 | 6805篇 |
力学 | 22251篇 |
综合类 | 67篇 |
数学 | 66978篇 |
物理学 | 143322篇 |
出版年
2020年 | 3402篇 |
2019年 | 3764篇 |
2018年 | 11847篇 |
2017年 | 12508篇 |
2016年 | 10431篇 |
2015年 | 5053篇 |
2014年 | 6860篇 |
2013年 | 16844篇 |
2012年 | 16710篇 |
2011年 | 26012篇 |
2010年 | 17084篇 |
2009年 | 16970篇 |
2008年 | 23670篇 |
2007年 | 26633篇 |
2006年 | 14733篇 |
2005年 | 18291篇 |
2004年 | 14500篇 |
2003年 | 13422篇 |
2002年 | 11576篇 |
2001年 | 11433篇 |
2000年 | 9095篇 |
1999年 | 6537篇 |
1998年 | 5524篇 |
1997年 | 5532篇 |
1996年 | 5492篇 |
1995年 | 4654篇 |
1994年 | 4780篇 |
1993年 | 4656篇 |
1992年 | 5040篇 |
1991年 | 5128篇 |
1990年 | 4874篇 |
1989年 | 4797篇 |
1988年 | 4667篇 |
1987年 | 4602篇 |
1986年 | 4547篇 |
1985年 | 5909篇 |
1984年 | 6129篇 |
1983年 | 5019篇 |
1982年 | 5457篇 |
1981年 | 5177篇 |
1980年 | 4795篇 |
1979年 | 5178篇 |
1978年 | 5457篇 |
1977年 | 5424篇 |
1976年 | 5469篇 |
1975年 | 5066篇 |
1974年 | 5198篇 |
1973年 | 5379篇 |
1972年 | 3931篇 |
1967年 | 3258篇 |
排序方式: 共有10000条查询结果,搜索用时 843 毫秒
971.
C. -H. L. Ong 《Annals of Pure and Applied Logic》2004,130(1-3):125-171
We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function fM. Given any such fM, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable. 相似文献
972.
In this work, the effect of flexibility on the trajectory of a planar two-link manipulator is studied using integrated computer-aided design/analysis (CAD/CAE) procedures. The solid models and finite element models of the parts of the manipulator are created by using the CAD/CAE software I-DEAS. The assembly is defined, and knowing the payload and the end point trajectory, the velocities and accelerations of the parts, joint forces and driving torques are calculated using the rigid body dynamics. All the time dependent nodal forces acting on the parts including distributed gravity and inertia forces are created in files with the I-DEAS program file format. The finite element vibration analysis of the parts is performed by I-DEAS. The end point vibrations and the deviations from the rigid-body trajectory are analyzed for different types of end point acceleration curves. A circular trajectory is considered as an example. It is observed that the precision of the manipulator can be increased by testing different end point acceleration curves without changing the trajectory and the duration of the end point work. The procedure explained in this work can be used for this purpose successfully. 相似文献
973.
A. Bourgeat O. Gipouloux E. Marui‐Paloka 《Mathematical Methods in the Applied Sciences》2004,27(4):381-403
In this paper, we study the global behaviour of an underground waste disposal in order to have an accurate upscaled model suitable for the computations involved in safety assessment processes. We start from a detailed model describing the transport of pollutant leaking from a high number of units. Using the method of homogenization, going to the limit, we obtain first a macroscopic model where the sources are now appearing globally. Then we compute a first‐order matched asymptotic expansion and we give the error estimates for this approximation. Copyright © 2004 John Wiley & Sons, Ltd. 相似文献
974.
L. E. Payne P. W. Schaefer J. C. Song 《Mathematical Methods in the Applied Sciences》2004,27(17):2045-2053
Energy bounds are derived for Dirichlet type boundary value problems for the Navier–Stokes and Stokes equations when a combination of the solution values initially and at a later time is prescribed. The bounds are obtained by means of a differential inequality and imply uniqueness and continuous data dependence of the solutions for a range of values of the parameter in the non‐standard auxiliary condition. Copyright © 2004 John Wiley & Sons, Ltd. 相似文献
975.
A model is developed for the flow of a slightly compressible fluid through a saturated inelastic porous medium. The initial‐boundary‐value problem is a system that consists of the diffusion equation for the fluid coupled to the momentum equation for the porous solid together with a constitutive law which includes a possibly hysteretic relation of elasto‐visco‐plastic type. The variational form of this problem in Hilbert space is a non‐linear evolution equation for which the existence and uniqueness of a global strong solution is proved by means of monotonicity methods. Various degenerate situations are permitted, such as incompressible fluid, negligible porosity, or a quasi‐static momentum equation. The essential sufficient conditions for the well‐posedness of the system consist of an ellipticity condition on the term for diffusion of fluid and either a viscous or a hardening assumption in the constitutive relation for the porous solid. Copyright © 2004 John Wiley & Sons, Ltd. 相似文献
976.
977.
The stereoselective synthesis of E-rhinocerotinoic acid has been achieved in five steps from (−)-sclareol in an overall yield of 32%. This constitutes a significant improvement on the previous synthesis of this anti-inflammatory compound. 相似文献
978.
Matveeva E. D. Podrugina T. A. Grishin Yu. K. Tkachev V. V. Zhdankin V. V. Aldoshin S. M. Zefirov N. S. 《Russian Journal of Organic Chemistry》2003,39(4):536-541
A mixed phosphonium-iodonium ylide, phenyliodoniumethoxycarbonylmethylenetriphenylphosphorane borofluoride, was synthesized. Its structure was established by means of X-ray diffraction analysis. Temperature dependence of 1H, 13C, and 31P spectra of the ylide synthesized was investigated. A dynamic equilibrium between Z and E-isomers was observed. 相似文献
979.
Curtis T. Mcmullen 《Acta Mathematica》2003,191(2):191-223
980.
A. Henderson 《Mathematische Zeitschrift》2003,243(1):127-143
We prove that the local intersection cohomology of nilpotent orbit closures of cyclic quivers is trivial when the two orbits
involved correspond to partitions with at most two rows. This gives a geometric proof of a result of Graham and Lehrer, which
states that standard modules of the affine Hecke algebra of GLd corresponding to nilpotents with at most two Jordan blocks are multiplicity-free.
Received: 7 February 2002 / Published online: 8 November 2002 相似文献