全文获取类型
收费全文 | 9645篇 |
免费 | 491篇 |
国内免费 | 20篇 |
专业分类
电工技术 | 97篇 |
综合类 | 4篇 |
化学工业 | 1989篇 |
金属工艺 | 142篇 |
机械仪表 | 194篇 |
建筑科学 | 619篇 |
矿业工程 | 21篇 |
能源动力 | 320篇 |
轻工业 | 847篇 |
水利工程 | 108篇 |
石油天然气 | 28篇 |
无线电 | 703篇 |
一般工业技术 | 1967篇 |
冶金工业 | 1293篇 |
原子能技术 | 37篇 |
自动化技术 | 1787篇 |
出版年
2023年 | 71篇 |
2022年 | 144篇 |
2021年 | 224篇 |
2020年 | 177篇 |
2019年 | 212篇 |
2018年 | 235篇 |
2017年 | 232篇 |
2016年 | 255篇 |
2015年 | 228篇 |
2014年 | 338篇 |
2013年 | 664篇 |
2012年 | 556篇 |
2011年 | 792篇 |
2010年 | 507篇 |
2009年 | 475篇 |
2008年 | 589篇 |
2007年 | 516篇 |
2006年 | 440篇 |
2005年 | 391篇 |
2004年 | 335篇 |
2003年 | 310篇 |
2002年 | 278篇 |
2001年 | 149篇 |
2000年 | 156篇 |
1999年 | 140篇 |
1998年 | 148篇 |
1997年 | 150篇 |
1996年 | 135篇 |
1995年 | 115篇 |
1994年 | 89篇 |
1993年 | 87篇 |
1992年 | 80篇 |
1991年 | 64篇 |
1990年 | 76篇 |
1989年 | 63篇 |
1988年 | 44篇 |
1987年 | 64篇 |
1986年 | 55篇 |
1985年 | 57篇 |
1984年 | 54篇 |
1983年 | 67篇 |
1982年 | 50篇 |
1981年 | 42篇 |
1980年 | 37篇 |
1979年 | 38篇 |
1978年 | 29篇 |
1977年 | 26篇 |
1976年 | 23篇 |
1975年 | 22篇 |
1974年 | 14篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
71.
72.
Though they constitute the major knowledge source in problem-solving systems, no unified theory of heuristics has emerged. Pearl [15] defines heuristics as criteria, methods, or principles for deciding which among several alternative courses of action promises to be the most effective in order to achieve some goal. The absence of a more precise definition has impeded our efforts to understand, utilize, and discover heuristics. Another consequence is that problem-solving techniques which rely on heuristic knowledge cannot be relied upon to act rationally — in the sense of the normative theory of rationality.To provide a sound basis for BPS, the Bayesian Problem-Solver, we have developed a simple formal theory of heuristics, which is general enough to subsume traditional heuristic functions as well as other forms of problem-solving knowledge, and to straddle disparate problem domains. Probabilistic heuristic estimates represent a probabilistic association of sensations with prior experience — specifically, a mapping from observations directly to subjective probabilities which enables the use of theoretically principled mechanisms for coherent inference and decision making during problem-solving. This paper discusses some of the implications of this theory, and describes its successful application in BPS.This research was made possible by support from Heuristicrats, the National Aeronautics and Space Administration, and the Rand Corporation. 相似文献
73.
Sidney D'Mello Andrew Olney Claire Williams Patrick Hays 《International journal of human-computer studies》2012,70(5):377-398
We developed an intelligent tutoring system (ITS) that aims to promote engagement and learning by dynamically detecting and responding to students' boredom and disengagement. The tutor uses a commercial eye tracker to monitor a student's gaze patterns and identify when the student is bored, disengaged, or is zoning out. The tutor then attempts to reengage the student with dialog moves that direct the student to reorient his or her attentional patterns towards the animated pedagogical agent embodying the tutor. We evaluated the efficacy of the gaze-reactive tutor in promoting learning, motivation, and engagement in a controlled experiment where 48 students were tutored on four biology topics with both gaze-reactive and non-gaze-reactive (control condition) versions of the tutor. The results indicated that: (a) gaze-sensitive dialogs were successful in dynamically reorienting students’ attentional patterns to the important areas of the interface, (b) gaze-reactivity was effective in promoting learning gains for questions that required deep reasoning, (c) gaze-reactivity had minimal impact on students’ state motivation and on self-reported engagement, and (d) individual differences in scholastic aptitude moderated the impact of gaze-reactivity on overall learning gains. We discuss the implications of our findings, limitations, future work, and consider the possibility of using gaze-reactive ITSs in classrooms. 相似文献
74.
Thanh T. L. Tran Liping Peng Yanlei Diao Andrew McGregor Anna Liu 《The VLDB Journal The International Journal on Very Large Data Bases》2012,21(5):651-676
Uncertain data streams, where data are incomplete and imprecise, have been observed in many environments. Feeding such data streams to existing stream systems produces results of unknown quality, which is of paramount concern to monitoring applications. In this paper, we present the claro system that supports stream processing for uncertain data naturally captured using continuous random variables. claro employs a unique data model that is flexible and allows efficient computation. Built on this model, we develop evaluation techniques for relational operators by exploring statistical theory and approximation. We also consider query planning for complex queries given an accuracy requirement. Evaluation results show that our techniques can achieve high performance while satisfying accuracy requirements and outperform state-of-the-art sampling methods. 相似文献
75.
Andy Gill Tristan Bull Andrew Farmer Garrin Kimmell Ed Komp 《Higher-Order and Symbolic Computation》2012,25(2-4):255-274
In this article we overview the design and implementation of the second generation of Kansas Lava. Driven by the needs and experiences of implementing telemetry decoders and other circuits, we have made a number of improvements to both the external API and the internal representations used. We have retained our dual shallow/deep representation of signals in general, but now have a number of externally visible abstractions for combinatorial and sequential circuits, and enabled signals. We introduce these abstractions, as well as our abstractions for reading and writing memory. Internally, we found the need to represent unknown values inside our circuits, so we made aggressive use of associated type families to lift our values to allow unknowns, in a principled and regular way. We discuss this design decision, how it unfortunately complicates the internals of Kansas Lava, and how we mitigate this complexity. Finally, when connecting Kansas Lava to the real world, the standardized idiom of using named input and output ports is provided by Kansas Lava using a new monad, called Fabric. We present the design of this Fabric monad, and illustrate its use in a small but complete example. 相似文献
76.
Kim Khoa Nguyen Mohamed Cheriet Mathieu Lemay Victor Reijs Andrew Mackarel Alin Pastrama 《Computer Networks》2012,56(10):2538-2550
Cloud computing services have recently become a ubiquitous service delivery model, covering a wide range of applications from personal file sharing to being an enterprise data warehouse. Building green data center networks providing cloud computing services is an emerging trend in the Information and Communication Technology (ICT) industry, because of Global Warming and the potential GHG emissions resulting from cloud services. As one of the first worldwide initiatives provisioning ICT services entirely based on renewable energy such as solar, wind and hydroelectricity across Canada and around the world, the GreenStar Network (GSN) was developed to dynamically transport user services to be processed in data centers built in proximity to green energy sources, reducing Greenhouse Gas (GHG) emissions of ICT equipments. Regarding the current approach, which focuses mainly in reducing energy consumption at the micro-level through energy efficiency improvements, the overall energy consumption will eventually increase due to the growing demand from new services and users, resulting in an increase in GHG emissions. Based on the cooperation between Mantychore FP7 and the GSN, our approach is, therefore, much broader and more appropriate because it focuses on GHG emission reductions at the macro-level. This article presents some outcomes of our implementation of such a network model, which spans multiple green nodes in Canada, Europe and the USA. The network provides cloud computing services based on dynamic provision of network slices through relocation of virtual data centers. 相似文献
77.
Garbage collection can be done in vector mode on supercomputers like the CRAY-2 and the Cyber 205. Both copying collection and mark-and-sweep can be expressed as breadth-first searches in which the queue can be processed in parallel. We have designed a copying garbage collector whose inner loop works entirely in vector mode. We give performance measurements of the algorithm as implemented for Lisp CONS cells on the Cyber 205. Vector-mode garbage collection performs up to nine times faster than scalar-mode collection-a worthwhile improvement.Supported in part by NSF Grants DCR-8603543 and CCR-8806121, and by a Digital Equipment Corp. Faculty Incentive Grant.Supported by the NSF Research Experiences for Undergraduates program. 相似文献
78.
LetR be a unidirectional asynchronous ring ofn identical processors each with a single input bit. Letf be any cyclic nonconstant function ofn boolean variables. Moran and Warmuth (1986) prove that anydeterministic algorithm that evaluatesf onR has communication complexity (n logn) bits. They also construct a family of cyclic nonconstant boolean functions that can be evaluated inO(n logn) bits by a deterministic algorithm.This contrasts with the following new results:
相似文献
1. | There exists a family of cyclic nonconstant boolean functions which can be evaluated with expected complexity bits by arandomized algorithm forR. |
2. | Anynondeterministic algorithm forR which evaluates any cyclic nonconstant function has communication complexity bits. |
79.
Measurements are reported of the dielectric properties of two semiconducting glasses of composition SiO2 · Na2O with admixtures of Sb2O
5 and SnO2, covering a wide range of temperatures and a range of six decades of frequency 10–2 to 104 Hz. Both glasses show a gradual evolution of growing low frequency dispersion (LFD) with increasing temperature, with both the real and imaginary components of the complex susceptibility following a power law of the type
n–1, with n 1 at the lowest frequencies. There are also clear indications of reversible phase transitions taking place which manifest themselves by changes in the spectral shape of the dielectric response. 相似文献
80.
Several related algorithms are presented for computing logarithms in fieldsGF(p),p a prime. Heuristic arguments predict a running time of exp((1+o(1))
) for the initial precomputation phase that is needed for eachp, and much shorter running times for computing individual logarithms once the precomputation is done. The running time of the precomputation is roughly the same as that of the fastest known algorithms for factoring integers of size aboutp. The algorithms use the well known basic scheme of obtaining linear equations for logarithms of small primes and then solving them to obtain a database to be used for the computation of individual logarithms. The novel ingredients are new ways of obtaining linear equations and new methods of solving these linear equations by adaptations of sparse matrix methods from numerical analysis to the case of finite rings. While some of the new logarithm algorithms are adaptations of known integer factorization algorithms, others are new and can be adapted to yield integer factorization algorithms. 相似文献