全文获取类型
收费全文 | 1439篇 |
免费 | 61篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 24篇 |
综合类 | 6篇 |
化学工业 | 308篇 |
金属工艺 | 69篇 |
机械仪表 | 16篇 |
建筑科学 | 57篇 |
矿业工程 | 9篇 |
能源动力 | 52篇 |
轻工业 | 92篇 |
水利工程 | 14篇 |
石油天然气 | 5篇 |
无线电 | 195篇 |
一般工业技术 | 271篇 |
冶金工业 | 197篇 |
原子能技术 | 5篇 |
自动化技术 | 181篇 |
出版年
2022年 | 18篇 |
2021年 | 22篇 |
2020年 | 21篇 |
2019年 | 24篇 |
2018年 | 25篇 |
2017年 | 28篇 |
2016年 | 29篇 |
2015年 | 17篇 |
2014年 | 52篇 |
2013年 | 104篇 |
2012年 | 71篇 |
2011年 | 79篇 |
2010年 | 44篇 |
2009年 | 40篇 |
2008年 | 74篇 |
2007年 | 63篇 |
2006年 | 56篇 |
2005年 | 59篇 |
2004年 | 38篇 |
2003年 | 45篇 |
2002年 | 36篇 |
2001年 | 23篇 |
2000年 | 26篇 |
1999年 | 16篇 |
1998年 | 30篇 |
1997年 | 18篇 |
1996年 | 27篇 |
1995年 | 12篇 |
1994年 | 19篇 |
1993年 | 19篇 |
1992年 | 12篇 |
1991年 | 20篇 |
1990年 | 22篇 |
1989年 | 19篇 |
1988年 | 12篇 |
1987年 | 11篇 |
1986年 | 17篇 |
1985年 | 14篇 |
1984年 | 10篇 |
1982年 | 12篇 |
1980年 | 17篇 |
1979年 | 9篇 |
1976年 | 10篇 |
1975年 | 10篇 |
1973年 | 19篇 |
1972年 | 17篇 |
1971年 | 11篇 |
1969年 | 9篇 |
1961年 | 10篇 |
1959年 | 9篇 |
排序方式: 共有1501条查询结果,搜索用时 15 毫秒
31.
This paper presents a survey of soccer video analysis systems for different applications: video summarization, provision of augmented information, high-level analysis. Computer vision techniques have been adapted to be applicable in the challenging soccer context. Different semantic levels of interpretation are required according to the complexity of the corresponding applications. For each application area we analyze the computer vision methodologies, their strengths and weaknesses and we investigate whether these approaches can be applied to extensive and real time soccer video analysis. 相似文献
32.
Leo Freitas John McDermott 《International Journal on Software Tools for Technology Transfer (STTT)》2011,13(5):463-489
This paper reports on the Xenon project’s use of formal methods. Xenon is a higher-assurance secure hypervisor based on re-engineering
the Xen open-source hypervisor. The Xenon project used formal specifications both for assurance and as guides for security
re-engineering. We formally modelled the fundamental definition of security, the hypercall interface behaviour, and the internal
modular design. We used three formalisms: CSP, Z, and Circus for this work. Circus is a combination of Standard Z, CSP with its semantics given in Hoare and He’s unifying theories of programming. Circus is suited for both event-based and state-based modelling. Here, we report our experiences to date with using these formalisms
for assurance. 相似文献
33.
34.
We present second steps in the construction of formal models of NAND flash memory, based on a recently emerged open standard for such devices. The model is intended as a key part of a pilot project to develop a verified file store system based on flash memory. The project was proposed by Joshi and Holzmann as a contribution to the Grand Challenge in Verified Software, and involves constructing a highly assured flash file store for use in space-flight missions. The model is at a level of abstraction that captures the internal architecture of NAND flash devices. In this paper, we focus on mechanising the state model and its initialisation operation, where most of the conceptual complexity resides. 相似文献
35.
36.
Objective: Objective and subjective methods have been used in the past to assess workplace fatigue, but little is known about correlations between them. We examine correlations between subjective and objective measures, including measures collected in a workplace scenario. Methods: 15 young and 17 older participants were assessed before and after work with four types of fatigue measure: objective physical (posturography), objective mental (psychomotor vigilance task), subjective physical and mental (self-assessment), objective and subjective realistic (oculomotor behaviour, observer-rated facial expression, typing performance). Results: Pre- and post-test scores were analysed with an ANOVA, significant differences were submitted to a factor analysis. It yielded three factors: one representing posturography, the second self-rated mental and physical fatigue and the third observer-rated facial expression. Conclusions: Results advocate the existence of three independent fatigue components: Objective physical fatigue, introspective and extrospective fatigue.
Practitioner Summary: This study analyses correlations between different subjective and objective fatigue markers to better understand the complex nature of workplace fatigue. Measurements were conducted directly at the workplace. Results reveal that fatigue comprises three independent fatigue components: Objective physical fatigue, introspective and extrospective fatigue. 相似文献
37.
We discuss a family of states describing three-qubit systems in a context of quantum steering phenomena. We show that symmetric steering cannot appear between two qubits—only asymmetric steering can appear in such systems. The main aim of this paper is to discuss the possible relations between the entanglement measures and steering parameter for two-mode mixed state corresponding to the qubit–qubit subsystem. We have derived the conditions determining boundary values of the negativity parametrized by concurrence. We show that two-qubit mixed state cannot be steerable when the negativity of such state is smaller than, or equal to, its boundary value. Finally, we have found ranges of the values of the mixedness measure, parametrized by concurrence and negativity for steerable and unsteerable two-qubit mixed states. 相似文献
38.
Isoperimetric graph partitioning for image segmentation 总被引:5,自引:0,他引:5
Grady L Schwartz EL 《IEEE transactions on pattern analysis and machine intelligence》2006,28(3):469-475
Spectral graph partitioning provides a powerful approach to image segmentation. We introduce an alternate idea that finds partitions with a small isoperimetric constant, requiring solution to a linear system rather than an eigenvector problem. This approach produces the high quality segmentations of spectral methods, but with improved speed and stability. 相似文献
39.
Random walks for image segmentation 总被引:3,自引:0,他引:3
Grady L 《IEEE transactions on pattern analysis and machine intelligence》2006,28(11):1768-1783
A novel method is proposed for performing multilabel, interactive image segmentation. Given a small number of pixels with user-defined (or predefined) labels, one can analytically and quickly determine the probability that a random walker starting at each unlabeled pixel will first reach one of the prelabeled pixels. By assigning each pixel to the label for which the greatest probability is calculated, a high-quality image segmentation may be obtained. Theoretical properties of this algorithm are developed along with the corresponding connections to discrete potential theory and electrical circuits. This algorithm is formulated in discrete space (i.e., on a graph) using combinatorial analogues of standard operators and principles from continuous potential theory, allowing it to be applied in arbitrary dimension on arbitrary graphs 相似文献
40.