全文获取类型
收费全文 | 21362篇 |
免费 | 1123篇 |
国内免费 | 534篇 |
专业分类
电工技术 | 657篇 |
技术理论 | 1篇 |
综合类 | 1821篇 |
化学工业 | 3117篇 |
金属工艺 | 567篇 |
机械仪表 | 844篇 |
建筑科学 | 2015篇 |
矿业工程 | 482篇 |
能源动力 | 452篇 |
轻工业 | 2124篇 |
水利工程 | 292篇 |
石油天然气 | 459篇 |
武器工业 | 86篇 |
无线电 | 1073篇 |
一般工业技术 | 3137篇 |
冶金工业 | 1007篇 |
原子能技术 | 183篇 |
自动化技术 | 4702篇 |
出版年
2024年 | 68篇 |
2023年 | 247篇 |
2022年 | 332篇 |
2021年 | 451篇 |
2020年 | 534篇 |
2019年 | 513篇 |
2018年 | 484篇 |
2017年 | 590篇 |
2016年 | 661篇 |
2015年 | 701篇 |
2014年 | 1252篇 |
2013年 | 1278篇 |
2012年 | 1457篇 |
2011年 | 1691篇 |
2010年 | 1267篇 |
2009年 | 1280篇 |
2008年 | 1078篇 |
2007年 | 1289篇 |
2006年 | 1094篇 |
2005年 | 956篇 |
2004年 | 835篇 |
2003年 | 756篇 |
2002年 | 626篇 |
2001年 | 472篇 |
2000年 | 407篇 |
1999年 | 378篇 |
1998年 | 326篇 |
1997年 | 267篇 |
1996年 | 207篇 |
1995年 | 220篇 |
1994年 | 146篇 |
1993年 | 129篇 |
1992年 | 100篇 |
1991年 | 72篇 |
1990年 | 76篇 |
1989年 | 82篇 |
1988年 | 85篇 |
1987年 | 48篇 |
1986年 | 46篇 |
1985年 | 59篇 |
1984年 | 78篇 |
1983年 | 97篇 |
1982年 | 92篇 |
1981年 | 32篇 |
1980年 | 32篇 |
1979年 | 21篇 |
1978年 | 20篇 |
1977年 | 17篇 |
1959年 | 5篇 |
1955年 | 11篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
11.
Somsak Vanit-Anunchai Jonathan Billington Guy Edward Gallasch 《International Journal on Software Tools for Technology Transfer (STTT)》2008,10(1):29-56
State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration
method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces
the peak number of states that need to be stored, while still exploring the full state space. The technique shows promise
but has never achieved reductions greater than about a factor of 10 in the number of states stored in memory for industrially
relevant examples. This paper discusses sweep-line analysis of the connection management procedures of a new Internet standard,
the Datagram Congestion Control Protocol (DCCP). As the intuitive approaches to sweep-line analysis are not effective, we
introduce new variables to track progress. This creates further state explosion. However, when used with the sweep-line, the
peak number of states is reduced by over two orders of magnitude compared with the original. Importantly, this allows DCCP
to be analysed for larger parameter values.
Somsak Vanit-Anunchai was partially supported by an Australian Research Council Discovery Grant (DP0559927) and Suranaree
University of Technology.
Guy Edward Gallasch was supported by an Australian Research Council Discovery Grant (DP0559927). 相似文献
12.
B. G. Clarke 《Canadian Metallurgical Quarterly》2007,133(2):107-115
This paper describes a module that was introduced into a civil engineering degree program with the help of professional engineers. The aim was to develop a bridge between the world of learning and professional practice by putting students in the role of consulting engineers working with industry to produce a feasible solution to a real inquiry from a client. The module is placed in context by comparing the goals of accredited civil engineering programs in the United Kingdom and America, by describing how it is linked to the degree program and by explaining the matrix developed to identify the skills the students needed to demonstrate their ability to practice as professional engineers. Details of the module are given with examples of student work and feedback. 相似文献
13.
Facility layout problems: A survey 总被引:3,自引:0,他引:3
Layout problems are found in several types of manufacturing systems. Typically, layout problems are related to the location of facilities (e.g., machines, departments) in a plant. They are known to greatly impact the system performance. Most of these problems are NP hard. Numerous research works related to facility layout have been published. A few literature reviews exist, but they are not recent or are restricted to certain specific aspects of these problems. The literature analysis given here is recent and not restricted to specific considerations about layout design.
We suggest a general framework to analyze the literature and present existing works using such criteria as: the manufacturing system features, static/dynamic considerations, continual/discrete representation, problem formulation, and resolution approach. Several research directions are pointed out and discussed in our conclusion. 相似文献
14.
Local Exact Particle Tracing on Unstructured Grids 总被引:1,自引:0,他引:1
For analyzing and interpreting results of flow simulations, particle tracing is a well established visualization method. In addition, it is a preliminary step for more advanced techniques such as line integral convolution. For interactive exploration of large data sets, a very efficient and reliable particle tracing method is needed. For wind channel experiments or flight simulations, large unstructured computational grids have become common practice. Traditional approachs, based on numerical integration methods of ordinary differential equations however fail to deliver sufficiently accurate path calculation at the speed required for interactive use. In this paper we extend the local exact approach of Nielson and Jung in such a way that it can be used for interactive particle tracing in large data sets of steady flow simulation experiments. This will be achieved by sophisticated preprocessing using additional memory. For further visual enhancement of the streamline we construct an implicitly defined smooth Bézier curve that is used for ray tracing. This allows us to visualize additional scalar values of the simulation as attributes to the trajectory and enables the display of high‐quality smooth curves without creating any visualization geometry and providing a good impression of the spatial situation at the same time. ACM CSS: I.3.3 Computer Graphics—Line and curve generation; I .3.7 Computer Graphics—Raytracing; G.1.2 Numerical Analysis—Spline and piecewise polynomial approximation 相似文献
15.
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 相似文献
16.
17.
寻找非构造油气藏的新思路 总被引:3,自引:0,他引:3
目前,一种新的理论体系和研究方法已经形成,并正在发展和逐步完善。那就是层序地层学和油气成藏系统理论的诞生和发展;以及由计算机的快速发展带动起来的地震测井资料的采集、处理、显示和各种地质问题的计算机模拟技术,使得地质学和石油地质学都在朝着从定性到定量,从推测到更科学的预测方向发展。在今后的5~10年中,中国的石油地质家们不仅要注意方法和技术方面的进步,还应当重视在陆相层序地层学和陆相层序中油气成藏机制等基本理论方面的研究。 相似文献
18.
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. 相似文献
19.
20.
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. 相似文献