全文获取类型
收费全文 | 6263篇 |
免费 | 524篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 20篇 |
综合类 | 1篇 |
化学工业 | 2104篇 |
金属工艺 | 53篇 |
机械仪表 | 137篇 |
建筑科学 | 230篇 |
矿业工程 | 11篇 |
能源动力 | 160篇 |
轻工业 | 1947篇 |
水利工程 | 71篇 |
石油天然气 | 42篇 |
无线电 | 223篇 |
一般工业技术 | 810篇 |
冶金工业 | 318篇 |
原子能技术 | 9篇 |
自动化技术 | 657篇 |
出版年
2024年 | 19篇 |
2023年 | 99篇 |
2022年 | 363篇 |
2021年 | 423篇 |
2020年 | 229篇 |
2019年 | 259篇 |
2018年 | 262篇 |
2017年 | 271篇 |
2016年 | 293篇 |
2015年 | 223篇 |
2014年 | 328篇 |
2013年 | 496篇 |
2012年 | 440篇 |
2011年 | 483篇 |
2010年 | 358篇 |
2009年 | 344篇 |
2008年 | 302篇 |
2007年 | 268篇 |
2006年 | 209篇 |
2005年 | 151篇 |
2004年 | 134篇 |
2003年 | 116篇 |
2002年 | 100篇 |
2001年 | 58篇 |
2000年 | 67篇 |
1999年 | 65篇 |
1998年 | 79篇 |
1997年 | 56篇 |
1996年 | 49篇 |
1995年 | 30篇 |
1994年 | 28篇 |
1993年 | 22篇 |
1992年 | 14篇 |
1991年 | 16篇 |
1990年 | 8篇 |
1989年 | 23篇 |
1988年 | 15篇 |
1987年 | 19篇 |
1986年 | 7篇 |
1985年 | 14篇 |
1984年 | 14篇 |
1983年 | 3篇 |
1982年 | 5篇 |
1981年 | 3篇 |
1980年 | 5篇 |
1978年 | 6篇 |
1977年 | 3篇 |
1976年 | 6篇 |
1975年 | 5篇 |
1973年 | 1篇 |
排序方式: 共有6793条查询结果,搜索用时 15 毫秒
101.
102.
103.
Rita A. RibeiroAuthor Vitae Ana M. MoreiraAuthor VitaePim van den BroekAuthor Vitae Afonso PimentelAuthor Vitae 《Decision Support Systems》2011,51(1):208-219
During software development, many decisions need to be made to guarantee the satisfaction of the stakeholders' requirements and goals. The full satisfaction of all of these requirements and goals may not be possible, requiring decisions over conflicting human interests as well as technological alternatives, with an impact on the quality and cost of the final solution. This work aims at assessing the suitability of multi-criteria decision making (MCDM) methods to support software engineers' decisions. To fulfil this aim, a HAM (Hybrid Assessment Method) is proposed, which gives its user the ability to perceive the influence different decisions may have on the final result. HAM is a simple and efficient method that combines one single pairwise comparison decision matrix (to determine the weights of criteria) with one classical weighted decision matrix (to prioritize the alternatives). To avoid consistency problems regarding the scale and the prioritization method, HAM uses a geometric scale for assessing the criteria and the geometric mean for determining the alternative ratings. 相似文献
104.
Ana Gàl 《Computational Complexity》2001,10(4):277-296
We give a characterization of span program size by a
combinatorial-algebraic measure. The measure we consider is a generalization
of a measure on covers which has been used to prove lower
bounds on formula size and has also been studied with respect to communication
complexity.?In the monotone case our new methods yield lower bounds for
the monotone span program complexity of explicit Boolean functions in
n variables over arbitrary fields, improving the previous lower bounds
on monotone span program size. Our characterization of span program
size implies that any matrix with superpolynomial separation between
its rank and cover number can be used to obtain superpolynomial lower
bounds on monotone span program size. We also identify a property
of bipartite graphs that is suficient for constructing Boolean functions
with large monotone span program complexity.
Received: September 30, 2000. 相似文献
105.
Formal approaches to the design of interactive systems rely on reasoning about properties of the system at a very high level
of abstraction. Specifications to support such an approach typically provide little scope for reasoning about presentations
and the representation of information in the presentation. In contrast, psychological theories such as distributed cognition place a strong emphasis
on the role of representations, and their perception by the user, in the cognitive process. However, the post-hoc techniques
for the observation and analysis of existing systems which have developed out of the theory do not help us in addressing such
issues at the design stage. Mn this paper we show how a formalisation can be used to investigate the representational aspects
of an interface. Our goal is to provide a framework to help identify and resolve potential problems with the representation
of information, and to support understanding of representational issues in design. We present a model for linking properties
at the abstract and perceptual levels, and illustrate its use in a case study of a ight deck instrument. There is a widespread
consensus that proper tool support is a prerequisite for the adoption of formal techniques, but the use of such tools can
have a profound effect on the process itself. In order to explore this issue, we apply a higher-order logic theorem prover
to the analysis.
Received May 1999 / Accepted in revised form July 2000 相似文献
106.
António V. Sousa Ana Maria Mendonça Aurélio Campilho 《Pattern Analysis & Applications》2008,11(3-4):409-423
This paper proposes a non-parametric method for the classification of thin-layer chromatographic (TLC) images from patterns represented in a dissimilarity space. Each pattern corresponds to a mixture of Gaussian approximation of the intensity profile. The methodology comprises various phases, including image processing and analysis steps to extract the chromatographic profiles and a classification phase to discriminate among two groups, one corresponding to normal cases and the other to three pathological classes. We present an extensive study of several dissimilarity-based approaches analysing the influence of the dissimilarity measure and the prototype selection method on the classification performance. The main conclusions of this paper are that, Match and Profile-difference dissimilarity measures present better results, and a new prototype selection methodology achieves a performance similar or even better than conventional methods. Furthermore, we also concluded that simplest classifiers, such as k-NN and linear discriminant classifiers (LDCs), present good performance being the overall classification error less than 10% for the four-class problem. 相似文献
107.
The different steps of the dehalogenation reaction carried out by LinB on three different substrates have been characterized using a combination of quantum mechanical calculations and molecular dynamics simulations. This has allowed us to obtain information in atomic detail about each step of the reaction mechanism, that is, substrate entrance and achievement of the near-attack conformation, transition state stabilization within the active site, halide stabilization, water molecule activation and subsequent hydrolytic attack on the ester intermediate with formation of alcohol, and finally product release. Importantly, no bias or external forces were applied during the whole procedure so that both intermediates and products were completely free to sample configuration space in order to adapt to the plasticity of the active site and/or search for an exit. Differences in substrate reactivity were found to be correlated with the ease of adopting the near-attack conformation and two different exit pathways were found for product release that do not interfere with substrate entrance. Additional support for the different entry and exit pathways was independently obtained from an examination of the enzyme's normal modes. 相似文献
108.
Guidelines for the incremental identification of aspects in requirements specifications 总被引:1,自引:0,他引:1
Jorge García-Duque Martín López-Nores José J. Pazos-Arias Ana Fernández-Vilas Rebeca P. Díaz-Redondo Alberto Gil-Solla Manuel Ramos-Cabrer Yolanda Blanco-Fernández 《Requirements Engineering》2006,11(4):239-263
The desired principle of separation of concerns in software development can be jeopardized by the so-called crosscutting concerns, which tend to be scattered over (and tangled with) the functionality of the modular units of a system. The correct identification of such concerns (and their encapsulation into separate artifacts) is thereby considered a way to improve software understanding and evolution. Pursuing a proper management of concerns from the requirements engineering stage can greatly benefit the entire software life-cycle. In this paper, we propose conceptual guidelines on how to perform the identification of crosscutting concerns in the process of building requirements specifications. We argue that the identification must be carried out in an incremental way, to encapsulate apart the crosscutting concerns even if they have not emerged completely yet.
相似文献
Yolanda Blanco-FernándezEmail: |
109.
Abstract This article focuses on two instruments of water resources management—charging for water and reallocation of water use through a water market. Charging for water in nature has been practiced for centuries in some cases. On the other hand, a culture of free access to water was dominant in most countries during ancient times. An historical review of the charging of water and its administration is presented. The article covers the time of ancient Rome to the present. A current example is the model practiced in the semi-arid region of Ceará State in northeast Brazil. Regarding water use reallocation by a water market, as an alternative to improve water efficiency, the experience presented comes from the south of Ceará State one century ago. Based on past experience, the article then presents a model to implement a water market bounded in space to an irrigation district, and in time to periods of water deficit in reservoirs. Six prerequisites of market-based transfers of water are analyzed, and it is shown that in the proposed model they can be addressed. 相似文献
110.
In this paper, we present several algorithms related with the computation of the homology of groups, from a geometric perspective (that is to say, carrying out the calculations by means of simplicial sets and using techniques of Algebraic Topology). More concretely, we have developed some algorithms which, making use of the effective homology method, construct the homology groups of Eilenberg–MacLane spaces K(G,1) for different groups G, allowing one in particular to determine the homology groups of G. 相似文献