全文获取类型
收费全文 | 629626篇 |
免费 | 17276篇 |
国内免费 | 7764篇 |
专业分类
电工技术 | 16665篇 |
技术理论 | 9篇 |
综合类 | 11184篇 |
化学工业 | 94624篇 |
金属工艺 | 29575篇 |
机械仪表 | 25315篇 |
建筑科学 | 19998篇 |
矿业工程 | 6440篇 |
能源动力 | 16060篇 |
轻工业 | 40933篇 |
水利工程 | 8335篇 |
石油天然气 | 16645篇 |
武器工业 | 1063篇 |
无线电 | 73546篇 |
一般工业技术 | 119617篇 |
冶金工业 | 86125篇 |
原子能技术 | 12909篇 |
自动化技术 | 75623篇 |
出版年
2022年 | 6953篇 |
2021年 | 9783篇 |
2020年 | 7375篇 |
2019年 | 7487篇 |
2018年 | 24245篇 |
2017年 | 23733篇 |
2016年 | 20564篇 |
2015年 | 10174篇 |
2014年 | 14106篇 |
2013年 | 28344篇 |
2012年 | 23174篇 |
2011年 | 33447篇 |
2010年 | 27876篇 |
2009年 | 26678篇 |
2008年 | 28127篇 |
2007年 | 28305篇 |
2006年 | 19341篇 |
2005年 | 17993篇 |
2004年 | 15871篇 |
2003年 | 15820篇 |
2002年 | 14719篇 |
2001年 | 13787篇 |
2000年 | 12685篇 |
1999年 | 12627篇 |
1998年 | 26713篇 |
1997年 | 18706篇 |
1996年 | 14622篇 |
1995年 | 11069篇 |
1994年 | 9680篇 |
1993年 | 9445篇 |
1992年 | 7097篇 |
1991年 | 6603篇 |
1990年 | 6500篇 |
1989年 | 6090篇 |
1988年 | 5742篇 |
1987年 | 5041篇 |
1986年 | 4840篇 |
1985年 | 5332篇 |
1984年 | 4915篇 |
1983年 | 4429篇 |
1982年 | 4124篇 |
1981年 | 4224篇 |
1980年 | 3893篇 |
1979年 | 3862篇 |
1978年 | 3897篇 |
1977年 | 4278篇 |
1976年 | 5405篇 |
1975年 | 3370篇 |
1974年 | 3180篇 |
1973年 | 3268篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
71.
The purpose of this paper is to evaluate two methods of assessing the productivity and quality impact of Computer Aided Software Engineering (CASE) and Fourth Generation Language (4GL) technologies: (1) by the retrospective method; and (2) the cross-sectional method. Both methods involve the use of questionnaire surveys. Developers' perceptions depend on the context in which they are expressed and this includes expectations about the effectiveness of a given software product. Consequently, it is generally not reliable to base inferences about the relative merits of CASE and 4GLs on a cross-sectional comparison of two separate samples of users. The retrospective method that requires each respondent to directly compare different products is shown to be more reliable. However, there may be scope to employ cross-sectional comparisons of the findings from different samples where both sets of respondents use the same reference point for their judgements, and where numerical rather than verbal rating scales are used to measure perceptions. 相似文献
72.
73.
74.
Malignant bone pain: pathophysiology and treatment 总被引:1,自引:0,他引:1
S Mercadante 《Canadian Metallurgical Quarterly》1997,69(1-2):1-18
2-acetyl aminofluorene (AAF) reacts in acidic conditions with nitrous fume yielding N-nitroso-AAF (N-NO-AAF), as previously described, that exerts more toxic and mutagenic effects than its parental compound. In this study, the effect of sodium nitrite (NaNO2) on the tumorigenicity of AAF in rats fed with AAF and NaNO2 was observed. Wistar rats were divided into five groups: group I served as control; group II were treated with NaNO2 (0.3%); group III was given 0.02% AAF alone; groups IV and V received both AAF and NaNO2 (0.2 and 0.3% respectively) in their diet for 12 weeks. At the end of the experiment, all rats in groups III, IV and V developed early stage phenomena of hepatocellular carcinoma, including hepatomegaly with variable-sized foci and neoplastic nodules. Severe damage was observed in the rats treated with AAF and NaNO2. Feeding of AAF (0.02%) for 3 months elevated the levels of c-Fos, c-Jun and c-Myc proteins in the rat livers. The AAF-induced c-Jun, c-Fos and c-Myc expressions were significantly magnified (P < 0.001) by NaNO2. These data confirmed that the strengthening of AAF-induced hepatocarcinogenesis by NaNO2 should be associated with its enhancing effect on the AAF-induced increases in the expressions of c-Jun, c-Fos and c-Myc. 相似文献
75.
超媒体系统中的人工智能方法 总被引:3,自引:0,他引:3
一、什么是超媒体近年来迅速崛起的多媒体(multimedia)技术,是一种使计算机具有交互式地综合处理和管理文字、图形、图象、声音、视频等多种媒体能力的技术,必将使计算机技术发生一 相似文献
76.
Jan van Eijck 《Formal Aspects of Computing》1994,6(1):766-787
Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition. 相似文献
77.
78.
I. S. W. B. Prasetya 《Formal Aspects of Computing》1994,6(4):466-470
UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent. 相似文献
79.
Prolog/Rex represents a powerful amalgamation of the latest techniques for knowledge representation and processing, rich in semantic features that ease the difficult task of encoding heterogeneous knowledge of real-world applications. The Prolog/Rex concept mechanism lets a user represent domain entities in terms of their structural and behavioral properties, including multiple inheritance, arbitrary user-defined relations among entities, annotated values (demons), incomplete knowledge, etc. A flexible rule language helps the knowledge engineer capture human expertise and provide flexible control of the reasoning process. Additional Prolog/Rex strength that cannot be found in any other hybrid language made on top of Prolog is language level support for keeping many potentially contradictory solutions to a problem, allowing possible solutions and their implications to be automatically generated and completely explored before they are committed. The same mechanism is used to model time-states, which are useful in planning and scheduling applications of Prolog/Rex 相似文献
80.
Weight smoothing to improve network generalization 总被引:2,自引:0,他引:2
A weight smoothing algorithm is proposed in this paper to improve a neural network's generalization capability. The algorithm can be used when the data patterns to be classified are presented on an n-dimensional grid (n>/=1) and there exists some correlations among neighboring data points within a pattern. For a fully-interconnected feedforward net, no such correlation information is embedded into the architecture. Consequently, the correlations can only be extracted through sufficient amount of network training. With the proposed algorithm, a smoothing constraint is incorporated into the objective function of backpropagation to reflect the neighborhood correlations and to seek those solutions that have smooth connection weights. Experiments were performed on problems of waveform classification, multifont alphanumeric character recognition, and handwritten numeral recognition. The results indicate that (1) networks trained with the algorithm do have smooth connection weights, and (2) they generalize better. 相似文献