全文获取类型
收费全文 | 39206篇 |
免费 | 2804篇 |
国内免费 | 61篇 |
专业分类
电工技术 | 245篇 |
综合类 | 124篇 |
化学工业 | 9659篇 |
金属工艺 | 709篇 |
机械仪表 | 814篇 |
建筑科学 | 1256篇 |
矿业工程 | 91篇 |
能源动力 | 1052篇 |
轻工业 | 8412篇 |
水利工程 | 396篇 |
石油天然气 | 263篇 |
武器工业 | 2篇 |
无线电 | 1648篇 |
一般工业技术 | 5925篇 |
冶金工业 | 6130篇 |
原子能技术 | 160篇 |
自动化技术 | 5185篇 |
出版年
2024年 | 70篇 |
2023年 | 367篇 |
2022年 | 849篇 |
2021年 | 1558篇 |
2020年 | 1029篇 |
2019年 | 1128篇 |
2018年 | 1593篇 |
2017年 | 1576篇 |
2016年 | 1669篇 |
2015年 | 1232篇 |
2014年 | 1666篇 |
2013年 | 3185篇 |
2012年 | 2646篇 |
2011年 | 2642篇 |
2010年 | 2092篇 |
2009年 | 1908篇 |
2008年 | 1751篇 |
2007年 | 1536篇 |
2006年 | 1151篇 |
2005年 | 953篇 |
2004年 | 844篇 |
2003年 | 830篇 |
2002年 | 658篇 |
2001年 | 527篇 |
2000年 | 437篇 |
1999年 | 488篇 |
1998年 | 2175篇 |
1997年 | 1405篇 |
1996年 | 907篇 |
1995年 | 506篇 |
1994年 | 411篇 |
1993年 | 397篇 |
1992年 | 152篇 |
1991年 | 112篇 |
1990年 | 89篇 |
1989年 | 106篇 |
1988年 | 117篇 |
1987年 | 111篇 |
1986年 | 81篇 |
1985年 | 99篇 |
1984年 | 88篇 |
1983年 | 55篇 |
1982年 | 55篇 |
1981年 | 78篇 |
1980年 | 81篇 |
1978年 | 44篇 |
1977年 | 123篇 |
1976年 | 234篇 |
1975年 | 38篇 |
1973年 | 46篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
991.
A. Bosque V. Viñals P. Ibáñez J.M. Llaber?´aAuthor vitae 《Microprocessors and Microsystems》2011,35(8):695-707
Coherence protocols consume an important fraction of power to determine which coherence action to perform. Specifically, on CMPs with shared cache and directory-based coherence protocol implemented as a duplicate of local caches tags, we have observed that a big fraction of directory lookups cause a miss, because the block looked up is not allocated in any local cache. To reduce the number of directory lookups and therefore the power consumption, we propose to add a filter before the directory access.We introduce two filter implementations. In the first one, filtering information is explicitly kept in the shared cache for every block. In the second one, filtering information is decoupled from the shared cache organization, so the filter size does not depend on the shared cache size.We evaluate our filters in a CMP with 8 in-order processors with 4 threads each and a memory hierarchy with write-through local caches and a shared cache. We show that, for SPLASH2 benchmarks, the proposed filters reduce the number of directory lookups performed by 60% while power consumption is reduced by ∼28%. For Specweb2005, the number of directory lookups performed is reduced by 68% (44%), while directory power consumption is reduced by 19% (9%) using the first (second) filter implementation. 相似文献
992.
993.
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. 相似文献
994.
Juan M. Marín Pérez Jorge Bernal Bernabé Jose M. Alcaraz Calero Felix J. Garcia Clemente Gregorio Martínez Pérez Antonio F. Gómez Skarmeta 《Future Generation Computer Systems》2011,27(1):40-55
There are a few issues that still need to be covered regarding security in the Grid area. One of them is authorization where there exist good solutions to define, manage and enforce authorization policies in Grid scenarios. However, these solutions usually do not provide Grid administrators with semantic-aware components closer to the particular Grid domain and easing different administration tasks such as conflict detection or resolution. This paper defines a proposal based on Semantic Web to define, manage and enforce security policies in a Grid scenario. These policies are defined by means of semantic-aware rules which help the administrator to create higher-level definitions with more expressiveness. These rules also permit performing added-value tasks such as conflict detection and resolution, which can be of interest in medium and large scale scenarios where different administrators define the authorization rules that should be followed before accessing a resource in the Grid. The proposed solution has been also tested providing some reasonable response times in the authorization decision process. 相似文献
995.
Francisco Jes��s Mart��n-Mateos Jos�� Luis Ruiz-Reina Jos�� Antonio Alonso Mar��a Jos�� Hidalgo 《Journal of Automated Reasoning》2011,47(3):229-250
Higman??s lemma is an important result in infinitary combinatorics, which has been formalized in several theorem provers. In this paper we present a formalization and proof of Higman??s Lemma in the ACL2 theorem prover. Our formalization is based on a proof by Murthy and Russell, where the key termination argument is justified by the multiset relation induced by a well-founded relation. To our knowledge, this is the first mechanization of this proof. 相似文献
996.
Frédéric Havet Martin Klazar Jan Kratochvíl Dieter Kratsch Mathieu Liedloff 《Algorithmica》2011,59(2):169-194
The notion of distance constrained graph labelings, motivated by the Frequency Assignment Problem, reads as follows: A mapping
from the vertex set of a graph G=(V,E) into an interval of integers {0,…,k} is an L(2,1)-labeling of G of span k if any two adjacent vertices are mapped onto integers that are at least 2 apart, and every two vertices with a common neighbor
are mapped onto distinct integers. It is known that for any fixed k≥4, deciding the existence of such a labeling is an NP-complete problem. We present exact exponential time algorithms that
are faster than the naive O
*((k+1)
n
) algorithm that would try all possible mappings. The improvement is best seen in the first NP-complete case of k=4, where the running time of our algorithm is O(1.3006
n
). Furthermore we show that dynamic programming can be used to establish an O(3.8730
n
) algorithm to compute an optimal L(2,1)-labeling. 相似文献
997.
Given a Laman graph G, i.e. a minimally rigid graph in R
2, we provide a Θ(n
2) algorithm to augment G to a redundantly rigid graph, by adding a minimum number of edges. Moreover, we prove that this problem of augmenting is
NP-hard for an arbitrary rigid graph G in R
2. 相似文献
998.
Francisco García‐Sánchez Luís Álvarez Sabucedo Rodrigo Martínez‐Béjar Luís Anido Rifón Rafael Valencia‐García Juan Miguel Gómez 《Expert Systems》2011,28(5):416-436
The increasing volume of eGovernment‐related services is demanding new approaches for service integration and interoperability in this domain. Semantic web (SW) technologies and applications can leverage the potential of eGovernment service integration and discovery, thus tackling the problems of semantic heterogeneity characterizing eGovernment information sources and the different levels of interoperability. eGovernment services will therefore be semantically described in the foreseeable future. In an environment with semantically annotated services, software agents are essential as the entities responsible for exploiting the semantic content in order to automate some tasks, and so enhance the user's experience. In this paper, we present a framework that provides a seamless integration of semantic web services and intelligent agents technologies by making use of ontologies to facilitate their interoperation. The proposed framework can assist in the development of powerful and flexible distributed systems in complex, dynamic, heterogeneous, unpredictable and open environments. Our approach is backed up by a proof‐of‐concept implementation, where the breakthrough of integrating disparate eGovernment services has been tested. 相似文献
999.
We describe a new approach to the application of stochastic search in Inductive Logic Programming (ILP). Unlike traditional
approaches we do not focus directly on evolving logical concepts but our refinement-based approach uses the stochastic optimization
process to iteratively adapt the initial working concept. Utilization of context-sensitive concept refinements (adaptations)
helps the search operations to produce mostly syntactically correct concepts. It also enables using available background knowledge
both for efficiently restricting the search space and for directing the search. Thereby, the search is more flexible, less
problem-specific and the framework can be easily used with any stochastic search algorithm within ILP domain. Experimental
results on several data sets verify the usefulness of this approach. 相似文献
1000.
Jesus Nuevo Luis M. Bergasa David F. Llorca Manuel Ocaña 《Image and vision computing》2011,29(4):209-218
This paper describes an active model with a robust texture model built on-line. The model uses one camera and it is able to operate without active illumination. The texture model is defined by a series of clusters, which are built in a video sequence using previously encountered samples. This model is used to search for the corresponding element in the following frames. An on-line clustering method, named leaderP is described and evaluated on an application of face tracking. A 20-point shape model is used. This model is built offline, and a robust fitting function is used to restrict the position of the points. Our proposal is to serve as one of the stages in a driver monitoring system. To test it, a new set of sequences of drivers recorded outdoors and in a realistic simulator has been compiled. Experimental results for typical outdoor driving scenarios, with frequent head movement, turns and occlusions are presented. Our approach is tested and compared with the Simultaneous Modeling and Tracking (SMAT) [1], and the recently presented Stacked Trimmed Active Shape Model (STASM) [2], and shows better results than SMAT and similar fitting error levels to STASM, with much faster execution times and improved robustness. 相似文献