全文获取类型
收费全文 | 5658篇 |
免费 | 437篇 |
国内免费 | 5篇 |
专业分类
电工技术 | 67篇 |
化学工业 | 1489篇 |
金属工艺 | 210篇 |
机械仪表 | 138篇 |
建筑科学 | 147篇 |
矿业工程 | 25篇 |
能源动力 | 193篇 |
轻工业 | 851篇 |
水利工程 | 40篇 |
石油天然气 | 21篇 |
无线电 | 296篇 |
一般工业技术 | 1375篇 |
冶金工业 | 94篇 |
原子能技术 | 67篇 |
自动化技术 | 1087篇 |
出版年
2023年 | 74篇 |
2022年 | 67篇 |
2021年 | 178篇 |
2020年 | 162篇 |
2019年 | 175篇 |
2018年 | 295篇 |
2017年 | 298篇 |
2016年 | 318篇 |
2015年 | 245篇 |
2014年 | 320篇 |
2013年 | 665篇 |
2012年 | 353篇 |
2011年 | 418篇 |
2010年 | 393篇 |
2009年 | 306篇 |
2008年 | 197篇 |
2007年 | 145篇 |
2006年 | 88篇 |
2005年 | 35篇 |
2004年 | 54篇 |
2003年 | 59篇 |
2002年 | 60篇 |
2001年 | 51篇 |
2000年 | 57篇 |
1999年 | 37篇 |
1998年 | 38篇 |
1997年 | 37篇 |
1996年 | 41篇 |
1995年 | 42篇 |
1994年 | 42篇 |
1993年 | 40篇 |
1992年 | 33篇 |
1991年 | 29篇 |
1989年 | 23篇 |
1988年 | 24篇 |
1987年 | 21篇 |
1986年 | 21篇 |
1985年 | 44篇 |
1984年 | 50篇 |
1983年 | 42篇 |
1982年 | 45篇 |
1981年 | 55篇 |
1980年 | 41篇 |
1979年 | 36篇 |
1978年 | 35篇 |
1977年 | 38篇 |
1976年 | 50篇 |
1975年 | 39篇 |
1974年 | 31篇 |
1973年 | 38篇 |
排序方式: 共有6100条查询结果,搜索用时 15 毫秒
91.
Franjo Ivančić Zijiang Yang Malay K. Ganai Aarti Gupta Pranav Ashar 《Theoretical computer science》2008
This paper discusses our methodology for formal analysis and automatic verification of software programs. It is applicable to a large subset of the C programming language that includes pointer arithmetic and bounded recursion. We consider reachability properties, in particular whether certain assertions or basic blocks are reachable in the source code, or whether certain standard property violations can occur. We perform this analysis via a translation to a Boolean circuit representation based on modeling basic blocks. The program is then analyzed by a back-end SAT-based bounded model checker, where each unrolling is mapped to one step in a block-wise execution of the program. 相似文献
92.
The interaction spaces between instructors and learners in the traditional face-to-face classroom environment are being changed by the diffusion and adoption of many forms of computer-based pedagogy. An integrated understanding of these evolving interaction spaces together with how they interconnect and leverage learning are needed to develop meaningful strategies for effective teaching and learning. The 18i collaborative interaction spaces model was designed based on constructivist principles, and describes 18 mixed instructor–learner spaces contextualized at a finer operational scale that makes explicit a wider range of interactions. The model was implemented during the life cycle of an undergraduate GIS-based multimedia cartography course. One output was the generation of a repository of rule-based trajectory plans for rapid planning and problem solving. The model provides an integrated workflow to manage course contents, products, interactions, individuality, and learning styles in blended environments. 相似文献
93.
Recent trends in manufacturing and health care move these two work systems closer together from a system ergonomics point of view. Individual treatment of products, especially patients, by specialists in a distributed environment demand information technology (IT)‐based support suitable for complex systems. IT‐based support of processes in complex systems is difficult due to the lack of standard processes. IT support also means to rethink processes to use efficiency potentials. Close cooperation of users and software developers is needed to increase the ergonomic quality of the system. Therefore, suitable tools are needed: UML is available as the standard industry modeling language, Zope/Plone as the quasi‐standard for content management systems, SimPy as an object‐oriented simulation tool for event‐triggered processes, and ACT‐R as a powerful cognitive architecture for simulation of human information processes. The integration of these tools enables system‐ergonomic support of processes in the complex work system as well as of the development and deployment process. It is the base of an integral system‐ergonomic approach for IT‐based process management. Knowledge gained during process analysis either enters models or leads to the extension and adaptation of the tool chain. The models serve as basis for discussion among system ergonomists, programmers, and specialists from the work system. Further, they are understood by simulation and process support tools. Transcoding efforts between humans with different professional backgrounds and machines are reduced, and the flexibility demanded by complex systems is met. © 2008 Wiley Periodicals, Inc. 相似文献
94.
Roman Frič 《Soft Computing - A Fusion of Foundations, Methodologies and Applications》2009,13(1):63-70
We deal with categorical aspects of the extensions of generalized probability measures. In particular, we study various domains
of fuzzy sets, describe the relationships between σ-fields of crisp sets and generated Łukasiewicz tribes of measurable functions, and mention some probabilistic aspects. D-posets and sequential continuity play an important role.
This work was supported by the Slovak Research and Development Agency under the contract No. APVV-0071-06, Protocol for Scientific
and Technological Collaboration between the Republic of Italy and Slovak Republic, Project No. 15: Algebraic and Logical Systems
of Soft Computing, and VEGA 2/6088/26. 相似文献
95.
96.
S. Košina S. Balúch J. Annus M. Omastová J. Krištín 《Journal of Materials Science》1994,29(13):3403-3407
The electrical conductivity and morphology of thick (up to 3 mm) porous polypyrrole (PPy) layers produced electrochemically from pyrrole in acetonitrile (ACN) solutions have been studied. The electrical conductivity of pressed porous layers ranges from 1 to 10 Scm–1, which is about one order of magnitude less than that in films which were prepared under similar conditions but without PnClCr. Analysis of the temperature dependence of conductivity has confirmed the major role of hopping in relation to tunnelling in charge transport inside the PPy layers even at lower temperatures. Scanning electron microscopy (SEM) showed a globular structure, which is different from the usual cauliflower-like structure of PPy films prepared without any oxidizing agent. Globular particles of about 1–3 m diameter have been found under a thin smooth crust on the electrode side of the sample. Globular particles form linked chain-like or larger round formations poorly filling the space. Closely packed fibrils of about 20 nm diameter and over 100 nm in length were found inside the aggregates. 相似文献
97.
The analysis of statistical parameters of computer-generated therfial images by a line-scanning technique indicates an approach to efficient image transmission. 相似文献
98.
Gisler T Rüger H Egelhaaf SU Tschumi J Schurtenberger P Rička J 《Applied optics》1995,34(18):3546-3553
We present a quantitative experimental comparison of fiber-based, single- and few-mode dynamic light scattering with the classical pinhole-detection optics. The recently presented theory of mode-selective dynamic light scattering [Appl. Opt. 32, 2860 (1993)] predicts a collection efficiency and a signal-tobaseline ratio superior to that of a classical pinhole setup. These predictions are confirmed by our experiments. Using single-mode optical fibers with different cutoff wavelengths and commercially available mechanical components, we have constructed a mode-selective detection optics in a simple and compact dynamic light-scattering spectrometer that permits an optimal compromise between signal intensity and dynamical resolution. 相似文献
99.
The flow stress of polycrystals is controlled by the processes occurring in the grain interior as well as in the mantle, i.e. at the grain boundary and its immediate vicinity. The early stages of evolution of dislocation substructure in these two regions with strain in 316L stainless steel polycrystals have been studied at 293 K, 673 K and 1123 K representing the low temperature thermal, the intermediate temperature athermal and the high temperature thermal regimes respectively. Specimens with grain sizes of 4 and 12 m were employed to determine the effect of grain size.Transmission electron microscopy studies on deformed specimens show the different roles of grain boundary and grain interior in different temperature regimes. In the low temperature regime grain boundaries act as obstacles to moving dislocations and as such high density of dislocation is found in the grain boundary vicinity. In the intermediate temperature regime the dislocations which are easily spread into the grain interior rearrange to form cell walls. In the high temperature regime grain boundaries transform to the equilibrium state and do not contain any grain boundary dislocations, and the distribution of dislocations within grains is homogeneous at all strains. Significantly higher values of dislocation densities in the vicinity as well as in the grain interior were found in the finer grain size material in the whole strain region employed. 相似文献
100.