全文获取类型
收费全文 | 1187篇 |
免费 | 93篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 16篇 |
化学工业 | 355篇 |
金属工艺 | 23篇 |
机械仪表 | 40篇 |
建筑科学 | 28篇 |
矿业工程 | 1篇 |
能源动力 | 61篇 |
轻工业 | 142篇 |
水利工程 | 8篇 |
石油天然气 | 3篇 |
无线电 | 88篇 |
一般工业技术 | 220篇 |
冶金工业 | 39篇 |
原子能技术 | 8篇 |
自动化技术 | 250篇 |
出版年
2024年 | 1篇 |
2023年 | 18篇 |
2022年 | 78篇 |
2021年 | 81篇 |
2020年 | 36篇 |
2019年 | 64篇 |
2018年 | 53篇 |
2017年 | 56篇 |
2016年 | 58篇 |
2015年 | 48篇 |
2014年 | 44篇 |
2013年 | 79篇 |
2012年 | 94篇 |
2011年 | 100篇 |
2010年 | 75篇 |
2009年 | 73篇 |
2008年 | 60篇 |
2007年 | 65篇 |
2006年 | 24篇 |
2005年 | 29篇 |
2004年 | 30篇 |
2003年 | 13篇 |
2002年 | 13篇 |
2001年 | 10篇 |
2000年 | 2篇 |
1999年 | 11篇 |
1998年 | 12篇 |
1997年 | 4篇 |
1996年 | 10篇 |
1995年 | 4篇 |
1994年 | 4篇 |
1993年 | 5篇 |
1992年 | 4篇 |
1990年 | 2篇 |
1989年 | 1篇 |
1988年 | 1篇 |
1987年 | 3篇 |
1986年 | 1篇 |
1985年 | 1篇 |
1984年 | 3篇 |
1982年 | 3篇 |
1981年 | 3篇 |
1979年 | 1篇 |
1977年 | 1篇 |
1976年 | 1篇 |
1975年 | 1篇 |
1972年 | 1篇 |
1957年 | 1篇 |
排序方式: 共有1282条查询结果,搜索用时 0 毫秒
101.
102.
Autonomous market environments have been proposed in the literature as the future of electronic markets. The ability to delegate complex negotiation processes and obtain similar or better results than their human counterparts has generated a great interest in agent-based markets. More recently, such a paradigm has been applied in the field of knowledge management and, more specifically, to knowledge sharing and exchange; however, most of the knowledge market proposals in the literature fail to give details on a key component of their models: knowledge quality. This article presents a new proposal for an agent-based market environment that aims at filling the previously mentioned gap in research. The main contribution of our research is the integration of formal mechanisms for knowledge quality and quantity measurement and the use of these values to set a price for knowledge and select the most suitable agent for negotiation. 相似文献
103.
Christoph M. Wintersteiger Youssef Hamadi Leonardo de Moura 《Formal Methods in System Design》2013,42(1):3-23
In recent years, bit-precise reasoning has gained importance in hardware and software verification. Of renewed interest is the use of symbolic reasoning for synthesising loop invariants, ranking functions, or whole program fragments and hardware circuits. Solvers for the quantifier-free fragment of bit-vector logic exist and often rely on SAT solvers for efficiency. However, many techniques require quantifiers in bit-vector formulas to avoid an exponential blow-up during construction. Solvers for quantified formulas usually flatten the input to obtain a quantified Boolean formula, losing much of the word-level information in the formula. We present a new approach based on a set of effective word-level simplifications that are traditionally employed in automated theorem proving, heuristic quantifier instantiation methods used in SMT solvers, and model finding techniques based on skeletons/templates. Experimental results on two different types of benchmarks indicate that our method outperforms the traditional flattening approach by multiple orders of magnitude of runtime. 相似文献
104.
Leonardo Dallegrave Afonso Viviana Cocco Mariani Leandro dos Santos Coelho 《Expert systems with applications》2013,40(9):3794-3802
System reliability analysis and optimization are important to efficiently utilize available resources and to develop an optimal system design architecture. System reliability optimization has been solved by using optimization techniques including meta-heuristics. Meanwhile, the development of meta-heuristics has been an active research field of the reliability optimization wherein the redundancy, the component reliability, or both are to be determined. In recent years, a broad class of stochastic meta-heuristics, such as simulated annealing, genetic algorithm, tabu search, ant colony, and particle swarm optimization paradigms, has been developed for reliability-redundancy optimization of systems. Recently, a new kind of evolutionary algorithm called Imperialist Competitive Algorithm (ICA) was proposed. The ICA is based on imperialistic competition where the populations are represented by countries, which are classified as imperialists or colonies. However, the trade-off between the exploration (i.e. the global search) and the exploitation (i.e. the local search) of the search space is critical to the success of the classical ICA approach. An improvement in the ICA by implementing an attraction and repulsion concept during the search for better solutions, the AR-ICA approach, is proposed in this paper. Simulations results demonstrates the AR-ICA is an efficient optimization technique, since it obtained promising solutions for the reliability redundancy allocation problem when compared with the previously best-known results of four different benchmarks for the reliability-redundancy allocation problem presented in the literature. 相似文献
105.
Henrique Rocha Cesar Couto Cristiano Maffort Rogel Garcia Clarisse Simoes Leonardo Passos Marco Tulio Valente 《Software Quality Journal》2013,21(4):529-549
Despite the relevance of the software evolution phase, there are few characterization studies on recurrent evolution growth patterns and on their impact on software properties, such as coupling and cohesion. In this paper, we report a study designed to investigate whether the software evolution categories proposed by Lanza can be used to explain not only the growth of a system in terms of lines of code (LOC), but also in terms of metrics from the Chidamber and Kemerer (CK) object-oriented metrics suite. Our results show that high levels of recall (ranging on average from 52 to 72 %) are achieved when using LOC to predict the evolution of coupling and size. For cohesion, we have achieved smaller recall rates (<27 % on average). 相似文献
106.
Leonardo Candela Fuat Akal Henri Avancini Donatella Castelli Luigi Fusco Veronica Guidetti Christoph Langguth Andrea Manzi Pasquale Pagano Heiko Schuldt Manuele Simi Michael Springmann Laura Voicu 《International Journal on Digital Libraries》2007,7(1-2):59-80
This paper introduces DILIGENT, a digital library infrastructure built by integrating digital library and Grid technologies and resources. This infrastructure
allows different communities to dynamically build specialised digital libraries capable to support the entire e-Science knowledge
production and consumption life-cycle by using shared computing, storage, content, and application resources. The paper presents
some of the main software services that implement the DILIGENT system. Moreover, it exemplifies the provided features by presenting how the DILIGENT infrastructure is being exploited in supporting the activity of user communities working in the Earth Science Environmental
sector.
This work is partially funded by the European Commission in the context of the DILIGENT project, under the 2nd call of FP6 IST priority. 相似文献
107.
Weber Lukas Vinon Tobias Kndler Christian Solis-Vasquez Leonardo Bernhardt Arthur Petrov Ilia Koch Andreas 《Distributed and Parallel Databases》2022,40(1):27-45
Distributed and Parallel Databases - Massive data transfers in modern data-intensive systems resulting from low data-locality and data-to-code system design hurt their performance and scalability.... 相似文献
108.
109.
We provide a discussion of bounded rationality learning behind traditional learning mechanisms, i.e., Recursive Ordinary Least Squares and Bayesian Learning . These mechanisms lack for many reasons a behavioral interpretation and, following the Simon criticism, they appear to be substantively rational. In this paper, analyzing the Cagan model, we explore two learning mechanisms which appear to be more plausible from a behavioral point of view and somehow procedurally rational: Least Mean Squares learning for linear models and Back Propagation for Artificial Neural Networks . The two algorithms look for a minimum of the variance of the error forecasting by means of a steepest descent gradient procedure. The analysis of the Cagan model shows an interesting result: non-convergence of learning to the Rational Expectations Equilibrium is not due to the restriction to linear learning devices; also Back Propagation learning for Artificial Neural Networks may fail to converge to the Rational Expectations Equilibrium of the model. 相似文献
110.