全文获取类型
收费全文 | 564169篇 |
免费 | 7334篇 |
国内免费 | 1850篇 |
专业分类
电工技术 | 10691篇 |
综合类 | 454篇 |
化学工业 | 82499篇 |
金属工艺 | 20058篇 |
机械仪表 | 15838篇 |
建筑科学 | 14676篇 |
矿业工程 | 1549篇 |
能源动力 | 14555篇 |
轻工业 | 53229篇 |
水利工程 | 4564篇 |
石油天然气 | 4537篇 |
武器工业 | 20篇 |
无线电 | 74957篇 |
一般工业技术 | 104285篇 |
冶金工业 | 113095篇 |
原子能技术 | 8278篇 |
自动化技术 | 50068篇 |
出版年
2021年 | 3615篇 |
2019年 | 3459篇 |
2018年 | 5492篇 |
2017年 | 5571篇 |
2016年 | 5860篇 |
2015年 | 4583篇 |
2014年 | 7614篇 |
2013年 | 25303篇 |
2012年 | 13393篇 |
2011年 | 19047篇 |
2010年 | 14882篇 |
2009年 | 17197篇 |
2008年 | 18260篇 |
2007年 | 18729篇 |
2006年 | 16877篇 |
2005年 | 15748篇 |
2004年 | 15348篇 |
2003年 | 14918篇 |
2002年 | 14454篇 |
2001年 | 14855篇 |
2000年 | 13859篇 |
1999年 | 14822篇 |
1998年 | 36658篇 |
1997年 | 25832篇 |
1996年 | 20161篇 |
1995年 | 15384篇 |
1994年 | 13672篇 |
1993年 | 13363篇 |
1992年 | 9606篇 |
1991年 | 9247篇 |
1990年 | 8829篇 |
1989年 | 8461篇 |
1988年 | 8021篇 |
1987年 | 6693篇 |
1986年 | 6680篇 |
1985年 | 8032篇 |
1984年 | 7393篇 |
1983年 | 6463篇 |
1982年 | 6000篇 |
1981年 | 6125篇 |
1980年 | 5618篇 |
1979年 | 5399篇 |
1978年 | 5127篇 |
1977年 | 6248篇 |
1976年 | 8429篇 |
1975年 | 4293篇 |
1974年 | 4121篇 |
1973年 | 3960篇 |
1972年 | 3250篇 |
1971年 | 2797篇 |
排序方式: 共有10000条查询结果,搜索用时 10 毫秒
991.
J. Dingel 《Formal Aspects of Computing》2002,14(2):123-197
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to
the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists.
Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these
problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus
allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The
calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction
of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are
independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated.
Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification
notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus
rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement
relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality.
The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing
program and vice versa.
Received July 2001 / Accepted in revised form May 2002 相似文献
992.
Formal Aspects of Computing are dedicated to Professor Rod Burstall, and, as a collection of papers, memoirs and incidental pieces, form a Festschrift
for Rod. The contributions are made by some of the many who know Rod and have been in uenced by him. The research papers included
here represent some of the areas in which Rod has been active, and the editors thank their colleagues for agreeing to contribute
to this Festschrift. 相似文献
993.
Aard J. Groen Petra C. De WeerdNederhof Inge C. Kerssensvan Drongelen Rob A.J. Badoux Gerard P.H. Olthuis 《Creativity & Innovation Management》2002,11(1):2-16
In this paper we describe a framework for analysing the creation and justification of Research & Development. The 4S framework is developed for analysing the scope, scale, skills and social network aspects of Research & Development value. The framework is based on social system theory, a process contingency model, and recent Research & Development metrics. We present a first empirical assessment based on a workshop using the 4S framework for leveraging Research & Development. Results that assist in the assessment of value creation utilising R & D within networks are very relevant in high tech industries. The multi–dimensional process approach of this framework seems promising for understanding and managing R&D value creation, but needs further operationalisation. Case studies are described and a Dutch network on leveraging R&D has been initiated. 相似文献
994.
Punt J.B. Sparreboom D. Brouwer F. Prasad R. 《Vehicular Technology, IEEE Transactions on》1998,47(4):1302-1313
Dynamic channel selection (DCS) is an algorithm for flexible resource sharing in mobile radio systems. The digital enhanced cordless telecommunications (DECT) standard implements a version of DCS based on time as well as frequency multiplexing. In this paper, mathematical models are developed to evaluate the probabilities of channel availability, desired carrier power, and the carrier-to-interference ratio (CIR) for a constant traffic load. These results can be used to compute the call setup blocking probability. The models reported in this study are based on a decentralized DCS according to the DECT standard specifications. The results show that blocking due to availability of a channel (resource blocking), not interference blocking, generally is the most important factor in overall call blocking. Furthermore, it is seen that resource blocking is sensitive to the implementation of portable sets. Also, with homogeneous static traffic, this type of DCS ran be as good as fixed channel allocation (FCA) with respect to resource blocking 相似文献
995.
Textural evolution in electrodeposits is strongly affected by foreign species in the electrolyte and also by the co-deposition
of hydrogen. The effects of foreign species on textural development in electrodeposits were studied by employing a Monte Carlo
model. This model is based on physical principles and incorporates parameters which are used to control electrodeposition
processes. An attempt was made in the simulation to reflect the basic process of the deposit growth, and to identify the factors
responsible for the texture formation and its variation with the deposition condition. It is assumed that the texture of the
deposit results from the minimization of the free energy of the system. Based on this assumption, it was demonstrated that
the surface-energy anisotropy played an important role in the formation of fibre texture. In particular, the model can be
used to simulate textural evolution under the influence of adsorbed foreign species, because the surface-energy anisotropy
is modified by the adsorbed foreign species. Part I of the paper presents results of our studies on iron electrodeposition
with the emphasis on the effect of hydrogen adsorption on iron deposit texture. Relevant experimental results have also been
presented to corroborate the simulation study. Part II of the paper presents simulation studies of textural evolution in copper
deposits under the influence of adsorbed potassium and chloride ions.
This revised version was published online in November 2006 with corrections to the Cover Date. 相似文献
996.
Hartung J. Jacquin A. Pawlyk J. Rosenberg J. Okada H. Crouch P.E. 《Selected Areas in Communications, IEEE Journal on》1998,16(1):42-55
This paper describes a prototype video coding platform meant for the conception and testing of multimedia products such as next-generation videophones. The platform is largely based on ITU-T Recommendation H.263, with a number of additional object-oriented quality enhancement features which make it especially well suited for very low bit-rate coding of “head-and-shoulders” video material typical of real-time multimedia applications, video teleconferencing, and video telephony. These features consist of: (1) segmentation into objects of interest, (2) segmentation-based prefiltering, (3) model-assisted rate control, (4) adaptive vector quantization, and finally (5) segmentation-based postfiltering. In the spirit of Recommendation H.263, these enhancements are modular and can be selectively turned on or off, thereby enabling a wide variety of coding modes 相似文献
997.
Hebb J.P. Jensen K.F. Thomas J. 《Semiconductor Manufacturing, IEEE Transactions on》1998,11(4):607-614
The radiative properties of patterned silicon wafers have a major impact on the two critical issues in rapid thermal processing (RTP), namely wafer temperature uniformity and wafer temperature measurement. The surface topography variation of the die area caused by patterning and the roughness of the wafer backside can have a significant effect on the radiative properties, but these effects are not well characterized. We report measurements of room temperature reflectance of a memory die, logic die, and various multilayered wafer backsides. The surface roughness of the die areas and wafer backsides is characterized using atomic force microscopy (AFM). These data are subsequently used to assess the effectiveness of thin film optics in providing approximations for the radiative properties of patterned wafers for RTP applications 相似文献
998.
In this paper, we study the minimum cross-entropy optimization problem subject to a general class of convex constraints. Using a simple geometric inequality and the conjugate inequality we demonstrate how to directly construct a "partial" geometric dual program which allows us to apply the dual perturbation method to derive the strong duality theorem and a dual-to-primal conversion formula. This approach generalizes the previous results of linearly, quadratically, and entropically constrained cross-entropy optimization problems and provides a platform for using general purpose optimizers to generate ε-optimal solution pair to the problem. 相似文献
999.
Attempts have been made to extend SQL to work with multimedia databases. We are reserved on the representation ability of extended SQL to cope with the richness in content of multimedia data. In this paper we present an example of a multimedia database system, Computer Aided Facial Image Inference and Retrieval system (CAFIIR). The system stores and manages facial images and criminal records, providing necessary functions for crime identification. We would like to demonstrate some core techniques for multimedia database with CAFIIR system. Firstly, CAFIIR is a integrated system. Besides database management, there are image analysis, image composition, image aging, and report generation subsystems, providing means for problem solving. Secondly, the richness of multimedia data urges feature-based database for their management. CAFIIR is feature-based. A indexing mechanism,iconic index, has been proposed for indexing facial images using hierarchical self-organization neural network. The indexing method operates on complex feature measures and provides means for visual navigation. Thirdly, special retrieval methods for facial images have been developed, including visual browsing, similarity retrieval, free text retrieval and fuzzy retrieval. 相似文献
1000.
The purpose and scope of the human genome project are discussed. Basic biological concepts underlying the project are reviewed. The two processes-logic and experimentation-used to understand DNA sequences are compared, and the process of obtaining the sequence is described. Two problem areas in this collaboration between biologists and computer scientists are examined. They arise from differences in training that can make communication difficult, and nomenclature problems 相似文献