全文获取类型
收费全文 | 18927篇 |
免费 | 1048篇 |
国内免费 | 497篇 |
专业分类
电工技术 | 698篇 |
技术理论 | 1篇 |
综合类 | 1774篇 |
化学工业 | 2565篇 |
金属工艺 | 464篇 |
机械仪表 | 778篇 |
建筑科学 | 1858篇 |
矿业工程 | 452篇 |
能源动力 | 371篇 |
轻工业 | 1839篇 |
水利工程 | 283篇 |
石油天然气 | 353篇 |
武器工业 | 81篇 |
无线电 | 848篇 |
一般工业技术 | 2804篇 |
冶金工业 | 977篇 |
原子能技术 | 139篇 |
自动化技术 | 4187篇 |
出版年
2024年 | 61篇 |
2023年 | 201篇 |
2022年 | 284篇 |
2021年 | 370篇 |
2020年 | 431篇 |
2019年 | 438篇 |
2018年 | 404篇 |
2017年 | 513篇 |
2016年 | 578篇 |
2015年 | 594篇 |
2014年 | 1077篇 |
2013年 | 1110篇 |
2012年 | 1286篇 |
2011年 | 1526篇 |
2010年 | 1145篇 |
2009年 | 1162篇 |
2008年 | 977篇 |
2007年 | 1191篇 |
2006年 | 1011篇 |
2005年 | 852篇 |
2004年 | 758篇 |
2003年 | 669篇 |
2002年 | 575篇 |
2001年 | 447篇 |
2000年 | 363篇 |
1999年 | 337篇 |
1998年 | 285篇 |
1997年 | 240篇 |
1996年 | 180篇 |
1995年 | 191篇 |
1994年 | 129篇 |
1993年 | 117篇 |
1992年 | 87篇 |
1991年 | 69篇 |
1990年 | 70篇 |
1989年 | 78篇 |
1988年 | 79篇 |
1987年 | 48篇 |
1986年 | 43篇 |
1985年 | 58篇 |
1984年 | 73篇 |
1983年 | 89篇 |
1982年 | 90篇 |
1981年 | 29篇 |
1980年 | 30篇 |
1979年 | 21篇 |
1978年 | 19篇 |
1977年 | 17篇 |
1959年 | 5篇 |
1955年 | 11篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
11.
Laura M. Haas Michael J. Carey Miron Livny Amit Shukla 《The VLDB Journal The International Journal on Very Large Data Bases》1997,6(3):241-256
In this paper, we re-examine the results of prior work on methods for computing ad hoc joins. We develop a detailed cost model for predicting join algorithm performance, and we use the model to develop cost formulas
for the major ad hoc join methods found in the relational database literature. We show that various pieces of “common wisdom” about join algorithm
performance fail to hold up when analyzed carefully, and we use our detailed cost model to derive op
timal buffer allocation schemes for each of the join methods examined here. We show that optimizing their buffer allocations
can lead to large performance improvements, e.g., as much as a 400% improvement in some cases. We also validate our cost model's
predictions by measuring an actual implementation of each join algorithm considered. The results of this work should be directly
useful to implementors of relational query optimizers and query processing systems.
Edited by M. Adiba. Received May 1993 / Accepted April 1996 相似文献
12.
13.
寻找非构造油气藏的新思路 总被引:3,自引:0,他引:3
目前,一种新的理论体系和研究方法已经形成,并正在发展和逐步完善。那就是层序地层学和油气成藏系统理论的诞生和发展;以及由计算机的快速发展带动起来的地震测井资料的采集、处理、显示和各种地质问题的计算机模拟技术,使得地质学和石油地质学都在朝着从定性到定量,从推测到更科学的预测方向发展。在今后的5~10年中,中国的石油地质家们不仅要注意方法和技术方面的进步,还应当重视在陆相层序地层学和陆相层序中油气成藏机制等基本理论方面的研究。 相似文献
14.
The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench. 相似文献
15.
16.
The general mixed μ problem has been shown to be NP hard, so that the exact solution of the general problem is computationally intractable, except for small problems. In this paper we consider not the general problem, but a particular special case of this problem, the rank one mixed μ problem. We show that for this case the mixed μ problem is equivalent to its upper bound (which is convex), and it can in fact be computed easily (and exactly). This special case is shown to be equivalent to the so-called ‘affine parameter variation’ problem (for a polynomial with perturbed coefficients) which has been examined in detail in the literature, and for which several celebrated ‘Kharitonov-type’ results have been proven. 相似文献
17.
This article is the second of two papers that review the field of spatially sensitive social scientific research into the links between social status and transport disadvantage. The first paper undertook a comprehensive review of the social scientific and transport planning literature to mark the level of development in the field and identify conceptual and methodological issues and constraints in this field of inquiry. The present article supports the advancement of socially and geographically sensitive transport research by opportunities for the development of more sophisticated spatial analytical methodologies. The approach we present is able to account for factors not previously addressed in either social or transport planning research, in particular the temporal dimensions of transport service accessibility. The article articulates the methodology through an empirical case study of socio-spatial transport disadvantage within the Gold Coast City. The article demonstrates that there are important theoretical and practical lessons to be gained for researchers and policy makers in addressing the social dimensions of transport and infrastructure provision. Further, the article argues that an attentiveness to new ways of combining and representing social and transport data-sets can promote policy relevant empirical social inquiry. The article also contributes in a productive way to the empirical knowledge of Australia's sixth-largest metropolitan area, which is often overlooked by urban scholars. 相似文献
18.
Sven Beyer Christian Jacobi Daniel Kröning Dirk Leinenbach Wolfgang J. Paul 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(4-5):411-430
In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor
with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE
compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification
has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA.
A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional
verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University. 相似文献
19.
The inhibition effect of three organic additives on the precipitation and polymorphism of CaCO3 deposited on gold surfaces was investigated using electrochemical and microscopic techniques. Additives, two polyacrylic acid (PAA) polymers with different molecular weights (Mw 2100, Mw 30,000), and 1,2,4,5‐benzenetetracarboxylic acid (BTCA), were either added to the solution before or during deposition. In the presence of 100 ppm of one of the three additives in solution, almost no scale was observed on the surface for at least 24 hours. In the presence of lower concentrations of PAA Mw 2100, only distorted calcite crystals were obtained while with PAA Mw 30,000 the polymorph was spherical vaterite. A mixture of calcite and vaterite was observed with the BTCA additive. Addition of the polymers inhibits further nucleation and growth even if added after partial deposition of CaCO3 while BTCA has no effect once nucleation has started. The results indicate that the inhibit ion effect of the PAA polymers is due to adsorption on the electrode surface while the effect of BTCA is related to chelation of calcium ions in solution. 相似文献
20.