全文获取类型
收费全文 | 9510篇 |
免费 | 463篇 |
国内免费 | 20篇 |
专业分类
电工技术 | 97篇 |
综合类 | 4篇 |
化学工业 | 1956篇 |
金属工艺 | 140篇 |
机械仪表 | 188篇 |
建筑科学 | 613篇 |
矿业工程 | 21篇 |
能源动力 | 317篇 |
轻工业 | 839篇 |
水利工程 | 108篇 |
石油天然气 | 28篇 |
无线电 | 696篇 |
一般工业技术 | 1938篇 |
冶金工业 | 1242篇 |
原子能技术 | 36篇 |
自动化技术 | 1770篇 |
出版年
2023年 | 70篇 |
2022年 | 135篇 |
2021年 | 214篇 |
2020年 | 175篇 |
2019年 | 210篇 |
2018年 | 232篇 |
2017年 | 231篇 |
2016年 | 254篇 |
2015年 | 226篇 |
2014年 | 334篇 |
2013年 | 657篇 |
2012年 | 554篇 |
2011年 | 785篇 |
2010年 | 501篇 |
2009年 | 472篇 |
2008年 | 586篇 |
2007年 | 509篇 |
2006年 | 433篇 |
2005年 | 386篇 |
2004年 | 328篇 |
2003年 | 306篇 |
2002年 | 276篇 |
2001年 | 146篇 |
2000年 | 155篇 |
1999年 | 133篇 |
1998年 | 133篇 |
1997年 | 143篇 |
1996年 | 130篇 |
1995年 | 113篇 |
1994年 | 88篇 |
1993年 | 84篇 |
1992年 | 79篇 |
1991年 | 61篇 |
1990年 | 75篇 |
1989年 | 61篇 |
1988年 | 42篇 |
1987年 | 59篇 |
1986年 | 52篇 |
1985年 | 56篇 |
1984年 | 52篇 |
1983年 | 67篇 |
1982年 | 49篇 |
1981年 | 40篇 |
1980年 | 36篇 |
1979年 | 38篇 |
1978年 | 29篇 |
1977年 | 26篇 |
1976年 | 23篇 |
1975年 | 22篇 |
1974年 | 14篇 |
排序方式: 共有9993条查询结果,搜索用时 0 毫秒
51.
A New Approach to Abstract Syntax with Variable Binding 总被引:1,自引:1,他引:0
The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports notions
of ‘name-abstraction’ and ‘fresh name’ that provide a new way to represent, compute with, and reason about the syntax of formal
systems involving variable-binding operations. Inductively defined FM-sets involving the name-abstraction set former (together
with Cartesian product and disjoint union) can correctly encode syntax modulo renaming of bound variables. In this way, the
standard theory of algebraic data types can be extended to encompass signatures involving binding operators. In particular,
there is an associated notion of structural recursion for defining syntax-manipulating functions (such as capture avoiding
substitution, set of free variables, etc.) and a notion of proof by structural induction, both of which remain pleasingly
close to informal practice in computer science.
Received October 2000 / Accepted in revised form April 2001 相似文献
52.
Hamed Rezaishiraz Andrew Hyland Martin C Mahoney Richard J O'Connor K Michael Cummings 《Nicotine & tobacco research》2007,9(11):1139-1146
The present study investigated whether treatment with the combination of denicotinized cigarettes and 21-mg nicotine patch for 2 weeks before a designated quit date could lessen cravings for smoking, thereby helping smokers abstain from smoking. The study was a randomized controlled clinical trial conducted at Roswell Park Cancer Institute, Buffalo, New York, in 2004 and 2005. Patients included 98 adult heavy smokers (using 20 or more cigarettes/day). Half of the subjects received 2 weeks of combination of denicotinized cigarettes (Quest 3) and 21-mg nicotine patch for 2 weeks before the quit date. The remaining smokers were switched to light cigarettes (Quest 1) during the 2 weeks before the quit date. After the quit date, all subjects received counseling for smoking cessation and were provided nicotine patches for up to 8 weeks after the quit date. Self-reported cravings for smoking, withdrawal symptoms, and smoking abstinence were measured at predetermined intervals using phone-based surveys and in clinical visits. The group that used denicotinized cigarettes and nicotine patch before quitting reported less frequent and less intense cravings for cigarettes in the 2 weeks before and after the designated quit date. Self-reported withdrawal symptoms and quit rates did not differ significantly between the groups. The use of a denicotinized cigarette combined with the nicotine patch appears to lessen cravings to smoke in the immediate postcessation period. A larger, better-powered study is needed to test if this treatment combination has merit for increasing quit rates. 相似文献
53.
On-Line Shape recognition with incremental training using binary synaptic weights algorithm 总被引:2,自引:0,他引:2
Recognition of hand drawn shapes is beneficial in drawing packages and automated sketch entry in handheld computers. In this paper, we propose a new approach to on-line geometric shape recognition with incremental training function, which utilizes a heuristic function to reduce noise and a neural network for classification and on-line training. Instead of recognizing segments of a drawing and then performing syntactical analysis to match with a predefined shape, which is weak in terms of generalization and dealing with noise, we examine the shape as a whole. The main concept of the recognition method is derived from the fact that internal angles are very important in the perceived shape of outlines. Our application's aim is to recognize elliptic, rectangular, and triangular shapes in a way similar to human cognition of these shapes. Human beings recognize such basic shapes regardless of the variations in size, noise on the shape border, rotation and in the case of triangles, regardless of the type of the triangle. The key concept is that the neural network learns the relationships between the internal angles of a shape and its classification, therefore only a few training samples which represent the class of the shape are sufficient. Fast meremental training, which is performed on-line, is accomplished by the use of the Binary Synaptic Weights algorithm, a one pass, feedforward neural network training algorithm. Incremental training offers the advantage of adjusting the recognition capability of the system to the user's drawings. the results are very successful, such that the neural network correctly classified shapes that did not have any resemblance to the shapes in the initial training set. 相似文献
54.
Six experiments are reported that contrasted the effects of frequency and age of acquisition on written word recognition. Age of acquisition affected word-naming speed when frequency was controlled (Experiment 1), but there was no effect of frequency when age of acquisition was controlled (Experiment 2). Experiments 3 and 4 found an effect of age of acquisition upon immediate but not delayed naming speed, but no frequency effect on either immediate or delayed naming once age of acquisition was controlled. Independent effects of frequency and age of acquisition were observed in the lexical decision task (Experiments 5 and 6). Implications for theoretical accounts of word recognition and the possible roles of age of acquisition and frequency in word recognition are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
55.
Clotilde LM Bernard C Sequera DE Karmali A Fusellier A Carter JM 《Journal of laboratory automation》2012,17(4):309-314
Conventional enzyme-linked immunosorbent assay (ELISA) is a gold standard for screening antibodies and testing for protein or antigen presence. A significant limitation of this assay resides in the fact that only one analyte can be assessed per microplate well. Here, we describe and investigate a new technology consisting of an automated ELISA system in which up to 10 analytes can be measured within one single well, thus improving productivity, accuracy, and repeatability by reducing the amount of human labor required. Another strength of the platform is that a user can load any necessary sets/subsets of beads to perform required assays, with improved flexibility compared to manufactured-loaded arrays for multiplex analysis. We also demonstrate that this system can be used to determine the pathogenicity (i.e., presence of Shiga toxins) and serotype (i.e., Escherichia coli O157) of E. coli isolates. 相似文献
56.
Ceilidh Mackie Jana Levison Andrew Binns Ivan O'Halloran 《Journal of Great Lakes research》2021,47(1):145-159
Nutrient export from agricultural land to surface waters is a significant environmental concern within the Great Lakes Basin (GLB). A field-based watershed-scale study was completed to investigate spatial and temporal variations of phosphorus and nitrate to assess nutrient transport pathways and groundwater-surface water interactions in an agriculturally dominated clay plain system. This was conducted in the 127 km2 Upper Parkhill Watershed, near Lake Huron in southwestern Ontario, Canada. Data collection occurred from June 2018 to May 2019 via continuous sensor deployment and discrete sampling of stream water, groundwater, hyporheic zone, and tile drainage water. Samples were analyzed for various nutrient species (total, total dissolved, soluble reactive, and particulate phosphorus, and nitrate-N) to examine the hydrological dynamics of principal transport pathways of agriculturally-derived nutrients. Total phosphorus and nitrate concentrations in stream water ranged from 0.007 to 0.324 mg/L and 0.32 to 13.13 mg NO3?-N/L, respectively. Tile drainage water total phosphorous concentrations varied from 0.006 to 0.066 mg/L. Groundwater total dissolved phosphorus concentrations ranged from <0.003 to 0.085 mg/L. Transport of phosphorus through tile drainage was observed to be greater than through groundwater over the study period. No distinct relationship was observed between nutrient concentrations in the hyporheic zone and the vertical hydraulic gradient within this zone in the studied stream reach. Preliminary correlations were discerned between water quality observations and recognized land management practices. Given the elevated stream nutrient concentrations, these results are consequential for the continual improvement of strategies and programs devised to conserve water resources within the GLB. 相似文献
57.
58.
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. 相似文献
59.
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. 相似文献
60.
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. 相似文献