全文获取类型
收费全文 | 517篇 |
免费 | 14篇 |
专业分类
电工技术 | 2篇 |
综合类 | 2篇 |
化学工业 | 162篇 |
金属工艺 | 20篇 |
机械仪表 | 4篇 |
建筑科学 | 42篇 |
矿业工程 | 1篇 |
能源动力 | 14篇 |
轻工业 | 82篇 |
水利工程 | 1篇 |
石油天然气 | 11篇 |
无线电 | 12篇 |
一般工业技术 | 57篇 |
冶金工业 | 72篇 |
自动化技术 | 49篇 |
出版年
2024年 | 2篇 |
2023年 | 4篇 |
2022年 | 18篇 |
2021年 | 12篇 |
2020年 | 10篇 |
2019年 | 8篇 |
2018年 | 12篇 |
2017年 | 7篇 |
2016年 | 3篇 |
2015年 | 11篇 |
2014年 | 13篇 |
2013年 | 24篇 |
2012年 | 18篇 |
2011年 | 26篇 |
2010年 | 18篇 |
2009年 | 31篇 |
2008年 | 30篇 |
2007年 | 29篇 |
2006年 | 20篇 |
2005年 | 17篇 |
2004年 | 19篇 |
2003年 | 18篇 |
2002年 | 12篇 |
2001年 | 11篇 |
2000年 | 14篇 |
1999年 | 9篇 |
1998年 | 8篇 |
1997年 | 7篇 |
1996年 | 10篇 |
1995年 | 6篇 |
1994年 | 12篇 |
1993年 | 6篇 |
1992年 | 9篇 |
1991年 | 11篇 |
1990年 | 7篇 |
1989年 | 8篇 |
1988年 | 7篇 |
1987年 | 7篇 |
1985年 | 3篇 |
1983年 | 2篇 |
1982年 | 3篇 |
1981年 | 2篇 |
1979年 | 6篇 |
1978年 | 3篇 |
1975年 | 2篇 |
1972年 | 2篇 |
1967年 | 2篇 |
1944年 | 2篇 |
1943年 | 1篇 |
1936年 | 1篇 |
排序方式: 共有531条查询结果,搜索用时 15 毫秒
11.
Rare-earth iron garnet films with in-plane anisotropy grown on (111)-oriented substrates can be used as magneto-optical indicator films for visualization of magnetic leakage fields in nondestructive evaluation. The influence of Faraday rotation, Faraday ellipticity, absorption and film thickness on the performance of a magneto-optical indicator film is investigated. A new optimization method is introduced and compared with the method of contrast optimization. The theory is experimentally verified and an application example is presented. 相似文献
12.
The need for new, improved solder alloys and a better understanding of reactions during the soldering process grows steadily
as the need for smaller and more reliable electronic products increases. Information obtained from phase equilibria data and
thermodynamic calculations has proven to be an important tool in the design and understanding of new lead-free solder alloys.
A wide range of candidate alloys can be rapidly evaluated for proper freezing ranges, susceptibility to contamination effects,
and reactions with substrate materials before the expensive process of preparing and testing candidate alloys is initiated. 相似文献
13.
14.
15.
The semantic definition of action refinement on labelled configuration structures is compared with the notion ofsyntactic substitution, which can be used as another notion of action refinement in a process algebraic setting. The comparison is done by studying a process algebra equipped with sequential composition, parallel composition with an explicit synchronisation set, and an operator for action refinement. On the one hand, the language (including the refinement operator) is given a configuration structure semantics. On the other hand, a reduction procedure transforms a process termPinto aflatterm (i.e., with the refinement operator not occurring in it)red(P) by means of syntactic substitution, defined in a structural inductive way. The main aim of the paper is to investigate general conditions under which the termsPandred(P) have the same semantics. The results we present are essentially dependent on the question whether the refined action can be synchronised or not. In the latter case,Pandred(P) give rise to isomorphic configuration structures under mild assumptions. The former case is considerably more difficult, since then refinement cannot be expected to distribute over parallel composition. We give necessary and sufficientsemanticconditions under which distribution still holds up to semantic equivalence. Subsequently, we also give sufficient (but not necessary)syntacticconditions for reducible terms. Finally, we generalise these results to a language with recursion. 相似文献
16.
17.
Walter Lang Frank Jakobs Elena Tolstosheeva Hannes Sturm Azat Ibragimov Antonia Kesel Dirk Lehmhus Ursula DickeAuthor vitae 《Sensors and actuators. A, Physical》2011,171(1):3-11
Ubiquitous computing is about to become part of our everyday lives by integrating hundreds of “invisible” to us computing devices in our environment, so that they can unobtrusively and constantly assist us. This will imply more and smaller “invisible” sensors, homogeneously distributed and at the same time densely packed in host materials, responding to various stimuli and immediately delivering information. In order to reach this aim, the embedded sensors should be integrated within the host material, heading towards sensorial materials. The first step is to omit all parts that are not needed for the sensorial task and to find new solutions for a gentle integration. This is what we call function scale integration. The paper discusses sensor embedding in the human hand as an example of integration in nature, new technological applications and main challenges associated with this approach. 相似文献
18.
In this paper we give an overview over a series of experiments to visualize and measure flow fields in the human vascular
system with respect to their diagnostic capabilities. The experiments utilize a selection of GPU-based sparse and dense flow
visualization algorithms to show the diagnostic opportunities for volumetric cardiovascular phase contrast magnetic resonance
imaging data sets. Besides classical hardware accelerated particle and line-based approaches, an extensible tublet-based visualization,
a four-dimensional volumetric line integral convolution and a new two-dimensional cutting plane tool for three-dimensional
velocity data sets have been implemented. To evaluate the results, several hearts of human subjects have been investigated
and a flow phantom was built to artificially simulate distinctive flow features. Our results demonstrate that we are able
to provide an interactive tool for cardiovascular diagnostics with complementary hardware accelerated visualizations.
Electronic Supplementary Material The online version of this article () contains supplementary material, which is available to authorized users.
相似文献
Dieter SchmalstiegEmail: |
19.
Anjana Ramkumar Pieter Jan Stappers Wiro J. Niessen Sonja Adebahr Tanja Schimek-Jasch Ursula Nestle 《International journal of human-computer interaction》2017,33(2):123-134
HCI plays an important role in interactive medical image segmentation. The Goals, Operators, Methods, and Selection rules (GOMS) model and the National Aeronautics and Space Administration Task Load Index (NASA-TLX) questionnaire are different methods that are often used to evaluate the HCI process. In this article, we aim at improving the HCI process of interactive segmentation using both the GOMS model and the NASA-TLX questionnaire to: 1) identify the relations between these two methods and 2) propose HCI design suggestions based on the synthesis of the evaluation results using both methods. For this, we conducted an experiment where three physicians used two interactive segmentation approaches to segment different types of organs at risk for radiotherapy planning. Using the GOMS model, we identified 16 operators and 10 methods. Further analysis discovered strong relations between the use of GOMS operators and the results of the NASA-TLX questionnaire. Finally, HCI design issues were identified, and suggestions were proposed based on the evaluation results and the identified relations. 相似文献
20.
Rob J. van Glabbeek Ursula Goltz Jens-Wolfhard Schicke 《Information Processing Letters》2011,111(13):626-633
A well-known problem in Petri net theory is to formalise an appropriate causality-based concept of process or run for place/transition systems. The so-called individual token interpretation, where tokens are distinguished according to their causal history, giving rise to the processes of Goltz and Reisig, is often considered too detailed. The problem of defining a fully satisfying more abstract concept of process for general place/transition systems has so-far not been solved. In this paper, we recall the proposal of defining an abstract notion of process, here called BD-process, in terms of equivalence classes of Goltz-Reisig processes, using an equivalence proposed by Best and Devillers. It yields a fully satisfying solution for at least all one-safe nets. However, for certain nets which intuitively have different conflicting behaviours, it yields only one maximal abstract process. Here we identify a class of place/transition systems, called structural conflict nets, where conflict and concurrency due to token multiplicity are clearly separated. We show that, in the case of structural conflict nets, the equivalence proposed by Best and Devillers yields a unique maximal abstract process only for conflict-free nets. Thereby BD-processes constitute a simple and fully satisfying solution in the class of structural conflict nets. 相似文献