首页 | 官方网站   微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   33210篇
  免费   871篇
  国内免费   66篇
工业技术   34147篇
  2022年   197篇
  2021年   387篇
  2020年   332篇
  2019年   399篇
  2018年   489篇
  2017年   511篇
  2016年   521篇
  2015年   465篇
  2014年   737篇
  2013年   2135篇
  2012年   1243篇
  2011年   1595篇
  2010年   1175篇
  2009年   1261篇
  2008年   1438篇
  2007年   1468篇
  2006年   1258篇
  2005年   1177篇
  2004年   1057篇
  2003年   1027篇
  2002年   1033篇
  2001年   637篇
  2000年   617篇
  1999年   578篇
  1998年   609篇
  1997年   505篇
  1996年   615篇
  1995年   557篇
  1994年   534篇
  1993年   540篇
  1992年   486篇
  1991年   322篇
  1990年   438篇
  1989年   427篇
  1988年   381篇
  1987年   427篇
  1986年   382篇
  1985年   519篇
  1984年   495篇
  1983年   445篇
  1982年   468篇
  1981年   447篇
  1980年   357篇
  1979年   367篇
  1978年   329篇
  1977年   308篇
  1976年   268篇
  1975年   318篇
  1974年   243篇
  1973年   279篇
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
101.
This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler and proof were divided into three parts: A transformational front end that translates source text into a core language, a syntax-directed compiler that translates the core language into a combinator-based tree-manipulation language, and a linearizer that translates combinator code into code for an abstract stored-program machine with linear memory for both data and code. This factorization enabled different proof techniques to be used for the different phases of the compiler, and also allowed the generation of good code. Finally, the whole process was made possible by carefully defining the semantics ofvlisp PreScheme rather than just adopting Scheme's. We believe that the architecture of the compiler and its correctness proof can easily be applied to compilers for languages other than PreScheme.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603. Author's current address: Department of Computer Science and Engineering, Oregon Graduate Institute, P.O. Box 91000, Portland, OR 97291-1000.The work reported here was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001. Preparation of this paper was generously supported by The MITRE Corporation.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603.  相似文献   
102.
On formalism and stability of switched systems   总被引:1,自引:1,他引:0  
In this paper,we formulate a uniform mathematical framework for studying switched systems with piecewise linear partitioned state space and state dependent switching.Based on known results from the the...  相似文献   
103.
Cotter  John  Wang  Jing  Guldiken  Rasim 《Microsystem Technologies》2021,27(1):307-314
Microsystem Technologies - This paper introduces a method of replicating electrical circuits through a series of specific requirements as part of a design methodology referred to as Intrinsically...  相似文献   
104.
The article continues a study of the complexity of an analytic tableaux algorithm for SAT. The main result is that the average number of branches in analytic tableaux of formulae of lengthn is((1.09988...) n ). The maximum number of branches is also studied. Both the average and worst case complexity measures are used to compare analytic tableaux and truth tables.For the average case result the precise number of consistent branches and the precise number of inconsistent branches (for formulae of lengthn) are each expressed as multiply indexed sums whose terms involve factorials and Stirling numbers of the second kind. The asymptotic behavior of these sums is determined by adapting a classical technique for determining the asymptotic behavior of singly indexed sums whose terms involve factorials.  相似文献   
105.
An analytical and numerical study of the two-dimensional Bratu equation   总被引:1,自引:0,他引:1  
Bratu's problem, which is the nonlinear eigenvalue equationu+ exp(u)=0 withu=0 on the walls of the unit square and as the eigenvalue, is used to develop several themes on applications of Chebyshev pseudospectral methods. The first is the importance ofsymmetry: because of invariance under the C4 rotation group and parity in bothx andy, one can slash the size of the basis set by a factor of eight and reduce the CPU time by three orders of magnitude. Second, the pseudospectral method is ananalytical as well as a numerical tool: the simple approximation3.2A exp(–0.64A), whereA is the maximum value ofu(x, y), is derived via collocation with but a single interpolation point, but is quantitatively accurate for small and moderateA. Third, the Newton-Kantorovich/Chebyshev pseudospectral algorithm is so efficient that it is possible to compute good numerical solutions—five decimal places—on amicrocomputer inbasic. Fourth, asymptotic estimates of the Chebyshev coefficients can be very misleading: the coefficients for moderately or strongly nonlinear solutions to Bratu's equations fall off exponentially rather than algebraically withv untilv is so large that one has already obtained several decimal places of accuracy. The corner singularities, which dominate the behavior of the Chebyshev coefficients in thelimit v, are so weak as to be irrelevant, and replacing Bratu's problem by a more complicated and realistic equation would merely exaggerate the unimportance of the corner branch points even more.  相似文献   
106.
In normal vision, eye movements cause the image to move on the retina. Special apparatus can stabilize the image on the retina so it cannot move, and vision fades away. Previous methods for stabilizing the image were either optical systems or complex computer-controlled feedback systems. A simpler feedback system is presented which detects eye motion and rotates a mirror through which the target is viewed, to exactly compensate for eye motion. Unlike previous optical systems, this new system has no lenses in either the viewing or the image-forming path to limit the spatial resolution.  相似文献   
107.
An examination of the influence of pressure and heating rate on the thermoplastic properties of a weakly coking coal and of coal with various pitch-like additives was carried out using a high pressure dilatometer. Pressure up to 4 MPa markedly increased the swelling properties and increased the plastic range by decreasing the softening temperature, but the effects of pressure were strongly influenced by rate of heating with high heating rates enhancing the effects. Additions of tar or pitch also enhanced swelling at low pressure. The solid carbonization residues from the dilatometer were examined by polarized light microscopy to determine the content and composition of optically anisotropic species. The anisotropic content was increased by increases in pressure and heating rate and pitch additives enhanced the anisotropic content, especially at low pressure, without affecting the composition of the anisotropy. No direct correlations exist between the dilatometric parameters and the optical anisotropy but their dependence on the conditions emphasizes that when considering high pressure gasification of coal, it is necessary to obtain data under appropriate conditions.  相似文献   
108.
This paper begins with a review of those high energy accelerators which are now in operation. Accelerators under construction are discussed and very high energy machines, still far in the future, are listed and described. Possible uses of cryogenic and superconducting magnets are mentioned. Colliding beam projects in operation and planned are presented. High energy physics has become very expensive. The total investment in Brookhaven's 33-GeV accelerator complex is now over $60 million and is still rising. Merely to operate the accelerator and its experimental areas requires the services of over 400 people. Our power bill is about $1 million per year. All of this is to produce new knowledge, very fundamental in nature but without evident immediate application. With the budget of the United States in a state of unbalance and with growing sentiment that money spent should show immediate results, is it wise or even sensible to think of new and more expensive steps along the route to the solution of the many mysteries of the nucleus and its components? I think that it is wise and that frontier fields like that of high energy physics must be pursued vigorously if we are to maintain our intellectual and technical position in the world. Sooner or later our experimental results will have important impacts on our life, probably in quite unforeseeable fashions. Nuclear physics began its history before the turn of the century; only in the last two decades has it resulted in a new power industry.  相似文献   
109.
We have estimated the turnover and relative pool sizes of nascent-VLDL-TG and VLDL-remnants-TG in anesthetized rats. [1-14C]Palmitoyl- and [2-3H]glyceryl-labeled “VLDL”-TG (including nascent VLDL-TG and VLDL-remnants-TG) were prepared by injecting labeled palmitate and glycerol into donor rats. Labeled serum from these rats was then injected intravenously into nembutalized male rats and serial blood samples taken for 30 min. Special care was taken to define any early components in the labeled “VLDL”-TG disappearance curves. In other experiments, the donors were rendered functionally hepatectomized 30 min after injection of3H-glycerol and the endogenous labeled VLDL-TG was allowed to circulate 30–60 min before collection of the TG-labeled VLDL-remnants-containing serum. The latter was injected into 4 recipient nembutalized rats and the remnant-TG-turnover measured by serial sampling as above. In two cases,14C-“VLDL” and3H-VLDL-remnants were injected as a single bolus into ether-anesthetized rats. Despite its complex composition, “VLDL”-TG in most cases disappeared in a single exponential fashion for 30 min with an average half-life of 5.9 min in nembutalized and 2.8 in ether-anesthetized rats. VLDL-remnants-TG showed a more complex behavior, but contained a major rapid component with a mean t1/2 of ca. 1.5 min in both groups. The data, analyzed by multicompartmental analysis, were fitted to a simple model in which turnover of a larger nascent VLDL-TG pool with formation of a more rapidly turning over smaller pool of VLDL-remnant-TG is the rate-limiting step in overall TG removal from the d<1.006 fraction of rat serum. The data are consistent with our theoretical prediction that under these conditions the kinetics of the VLDL-remnants cannot be resolved from analysis of the total composite “VLDL” (nascent plus remnant) pool.  相似文献   
110.
Toughening by Metallic Lamina in Nickel/Alumina Composites   总被引:2,自引:0,他引:2  
Tape casting and hot-pressing were used to produce metal/ alumina laminate composites. The mechanical behavior of these laminates was characterized. The strength and toughness of the laminates were greatly improved in comparison to that of monolithic alumina. Indentation strength values of the laminates remained approximately constant for indent loads between 10 and 100 N. Thus, this type of laminate appears to be a good candidate for damage-tolerant composite material design.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号