全文获取类型
收费全文 | 699871篇 |
免费 | 10957篇 |
国内免费 | 2239篇 |
专业分类
电工技术 | 12513篇 |
综合类 | 690篇 |
化学工业 | 104948篇 |
金属工艺 | 25558篇 |
机械仪表 | 20133篇 |
建筑科学 | 17499篇 |
矿业工程 | 2708篇 |
能源动力 | 19679篇 |
轻工业 | 65203篇 |
水利工程 | 6588篇 |
石油天然气 | 10895篇 |
武器工业 | 41篇 |
无线电 | 82691篇 |
一般工业技术 | 132942篇 |
冶金工业 | 137442篇 |
原子能技术 | 12757篇 |
自动化技术 | 60780篇 |
出版年
2021年 | 6041篇 |
2020年 | 4441篇 |
2019年 | 5625篇 |
2018年 | 9454篇 |
2017年 | 9288篇 |
2016年 | 9856篇 |
2015年 | 6975篇 |
2014年 | 11573篇 |
2013年 | 32674篇 |
2012年 | 18833篇 |
2011年 | 26410篇 |
2010年 | 20682篇 |
2009年 | 23195篇 |
2008年 | 23983篇 |
2007年 | 23604篇 |
2006年 | 21008篇 |
2005年 | 19171篇 |
2004年 | 18393篇 |
2003年 | 18170篇 |
2002年 | 17175篇 |
2001年 | 17416篇 |
2000年 | 16122篇 |
1999年 | 17226篇 |
1998年 | 43979篇 |
1997年 | 30698篇 |
1996年 | 23362篇 |
1995年 | 17596篇 |
1994年 | 15315篇 |
1993年 | 15004篇 |
1992年 | 10754篇 |
1991年 | 10102篇 |
1990年 | 9814篇 |
1989年 | 9460篇 |
1988年 | 8904篇 |
1987年 | 7676篇 |
1986年 | 7503篇 |
1985年 | 8648篇 |
1984年 | 8020篇 |
1983年 | 7148篇 |
1982年 | 6709篇 |
1981年 | 6856篇 |
1980年 | 6413篇 |
1979年 | 6197篇 |
1978年 | 5862篇 |
1977年 | 7058篇 |
1976年 | 9168篇 |
1975年 | 5059篇 |
1974年 | 4742篇 |
1973年 | 4940篇 |
1972年 | 3927篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
931.
A transformational approach for proving termination of parallel logic programs such as GHC programs is proposed. A transformation
from GHC programs to term rewriting systems is developed; it exploits the fact that unifications in GHC-resolution correspond
to matchings. The termination of a GHC program for a class of queries is implied by the termination of the resulting rewrite
system. This approach facilitates the applicability of a wide range of termination techniques developed for rewrite systems
in proving termination of GHC programs. The method consists of three steps: (a) deriving moding information from a given GHC
program, (b) transforming the GHC program into a term rewriting system using the moding information, and finally (c) proving
termination of the resulting rewrite system. Using this method, the termination of many benchmark GHC programs such as quick-sort,
merge-sort, merge, split, fair-split and append, etc., can be proved.
This is a revised and extended version of Ref. 12). The work was partially supported by the NSF Indo-US grant INT-9416687
Kapur was partially supported by NSF Grant nos. CCR-8906678 and INT-9014074.
M. R. K. Krishna Rao, Ph.D.: He currently works as a senior research fellow at Griffith University, Brisbane, Australia. His current interests are in
the areas of logic programming, modular aspects and noncopying implementations of term rewriting, learning logic programs
from examples and conuterexamples and dynamics of mental states in rational agent architectures. He received his Ph.D in computer
science from Tata Institute of Fundamental Research (TIFR), Bombay in 1993 and worked at TIFR and Max Planck Institut für
Informatik, Saarbrücken until January 1997.
Deepak Kapur, Ph.D.: He currently works as a professor at the State University of New York at Albany. His research interests are in the areas
of automated reasoning, term rewriting, constraint solving, algebraic and geometric reasoning and its applications in computer
vision, symbolic computation, formal methods, specification and verification. He obtained his Ph.D. in Computer Science from
MIT in 1980. He worked at General Electric Corporate Research and Development until 1987. Prof. Kapur is the editor-in-chief
of the Journal of Automated Reasoning. He also serves on the editorial boards of Journal of Logic Programming, Journal on
Constraints, and Journal of Applicable Algebra in Engineering, Communication and Computer Science.
R. K. Shyamasundar, Ph.D.: He currently works as a professor at Tata Institute of Fundamental Research (TIFR), Bombay. His current intersts are in
the areas of logic programming, reactive and real time programming, constraint solving, formal methods, specification and
verification. He received his Ph.D in computer science from Indian Institute of Science, Bangalore in 1975 and has been a
faculty member at Tata Institute of Fundamental Research since then. He has been a visiting/regular faculty member at Technological
University of Eindhoven, University of Utrecht, IBM TJ Watson Research Centre, Pennsylvania State University, University of
Illinois at Urbana-Champaign, INRIA and ENSMP, France. He has served on (and chaired) Program Committees of many International
Conferences and has been on the Editorial Committees. 相似文献
932.
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. 相似文献
933.
934.
F Sartucci L Bonfiglio C Del Seppia P Luschi S Ghione L Murri F Papi 《Canadian Metallurgical Quarterly》1997,769(2):362-366
cDNA selection was used to isolate coding sequences from cosmids mapping to the gene-rich telomeric region of human chromosome 21q. A novel cDNA, termed SMT3A, was isolated and mapped between the loci PFKL and D21S171, about 2.2 Mb proximal to the telomere. The predicted protein of 103 amino acids appears to be a homologue of the Saccharomyces cerevisiae SMT3 protein, whose gene was previously isolated as a suppressor of mutations in the MIF2 gene. The yeast MIF2 gene encodes an essential centromeric protein and shows homology to mammalian CENP-C, an integral component of active kinetochores. SMT3A was found to be highly homologous to two other recently isolated human genes, suggesting the presence of a new gene family. Homologous sequences were also found in protozoa, metazoa, and plants. Moreover, all predicted proteins show significant homology to ubiquitin. The proposed role of yeast SMT3 as centromeric protein and the strong evolutionary conservation of the SMT3A gene suggest an involvement of the encoded protein in the function and/or structure of the eukaryotic kinetochore. 相似文献
935.
OBJECTIVE: We hypothesized that institutionalized patients with dementia, who frequently have feeding problems and require supervised and assisted feeding, would lose more weight during their residency than nondemented, independently functioning residents and have compromised survival. To test this hypothesis, we examined the survival and longitudinal changes in weight of two cohorts of institutionalized residents with dementia and compared these cohorts with a cohort of nondemented residents. We also measured the resting energy expenditures of a subset of the subjects with dementia as an indicator of their energy needs. DESIGN: A longitudinal cohort study with retrospective baseline chart review and subsequent follow-up of monthly weights and mortality over 4 years. SETTING: A 725-bed long-term care institution with specified levels of care. SUBJECTS: Two cohorts of residents with dementia, one consisting of subjects who required total care throughout their institutional stay (n = 31) and another group who did not initially require total care (n = 48); these were compared with a cohort with normal mentation who were functionally independent in their daily activities (n = 26). The total number of subjects was 105. MEASUREMENTS: Demographics, medical problems, and medications by chart review; functional and mental status evaluations; longitudinal monthly weights and mortality for the 48-month study period; and resting energy expenditures by indirect calorimetry. MAIN RESULTS: Residents with dementia had lower weights on admission and throughout their stay than nondemented, independently functioning residents, and they were more likely to have a weight loss of 10 lbs or more at some point during the 4-year study period. However, their mean weights did not change during the study period. The mean survival from admission of those demented residents who died was more than 3 years. Resting energy expenditures of women residents with advanced dementia were 12% lower than predicted from the Harris Benedict equations. CONCLUSION: Dementia is not necessarily associated with unremitting weight loss during institutionalization despite the frequent occurrence of feeding difficulties and temporary weight loss. This may be caused partly by the lower than expected resting energy expenditures and, hence, energy needs of affected residents as their dementia progresses. Demented residents weighed significantly less than nondemented, independently functioning residents throughout their institutional stay. Nevertheless, nursing staff are able to maintain weight and survival for extended periods even in very impaired residents. 相似文献
936.
Reviews the book, Constructing the subject: Historical origins of psychological research by Kurt Danziger (1990). Kurt Danziger's Constructing the Subject: Historical Origins of Psychological Research is a book of singular importance because it provides such a penetrating analysis, and does so in a manner that is cause for considerable reflection. In brief, Danziger provides a history lesson that not only situates the names and the projects of experimental psychology in the first part of this century, but also aims to clarify the project of knowledge generation both past and present. Indeed, shades of Quine, Kuhn, and Hesse permeate this book in a way that demands psychologists examine their own investigative practices and logics of justification. Through Wundt, through Galton, through Ebbinghaus and others, Danziger illuminates the development of experimental psychology along with the historical and philosophical vicissitudes that have given rise to numerous psychological knowledge claims. If it is true that we must understand our history in order to understand our present, then Danziger's book should be required reading in all research laboratories. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
937.
Particulate TiB2 reinforced aluminum-based metal matrix composites (MMCs) were successfully fabricated by means of the reaction processing
method. TiB2 particulates were formed in situ through the reaction of Ti and B in Ti-Al-B, TiO2 and B in TiO2-Al-B, and TiO2 and B2O3 in TiO2-Al-B2O3 systems. The results showed that in situ TiB2 particulates formed in the Ti-Al-B system had a size of 5 μm and they exhibited block and rodlike structures. Moreover, coarse Al3Ti blocks several tens of micrometers in size were also formed simultaneously. On the other hand, equiaxed Al2O3 and TiB2 particulates with a size of less than 2 μm were formed in situ in the TiO2-Al-B and TiO2-Al-B2O3 systems. The Al3Ti phase was completely eliminated in the TiO2-Al-B system with increasing B content. Tensile tests revealed that the Al2O3 · TiB2/Al composite fabricated from the TiO2-Al-B system exhibits excellent mechanical properties. The yield strength of the Al2O3 · TiB2/Al composite appeared to increase with increasing TiB2 content. The yield strength of the Al2O3 · TiB2/Al composite could be further increased by introducing CuO into the TiO2-Al-B system. Such an increment in mechanical strength arose from the strengthening effect caused by the Al2Cu precipitates. The incorporation of CuO had no effect on the in situ reaction process of the TiO2-Al-B system. Finally, the effect of SiC addition on the microstructure and mechanical properties of the composites fabricated
from the TiO2-Al-B and TiO2-Al-B-CuO systems was also investigated. 相似文献
938.
C Diamond ML Huang DH Kedes C Speck GW Rankin D Ganem RW Coombs TM Rose JN Krieger L Corey 《Canadian Metallurgical Quarterly》1997,176(3):775-777
The prevalence of human herpesvirus 8 (HHV-8)/Kaposi's sarcoma (KS)-associated herpesvirus was investigated in the semen of 99 human immunodeficiency virus (HIV)-infected men (median CD4 cell count, 357/mm3) by use of a polymerase chain reaction (PCR) assay capable of detecting <10 copies of HHV-8 DNA. Of the subjects, 95 (96%) self-identified as men who have sex with men (MSM), and 3 had a history of clinical KS. Seminal cell specimens were negative for HHV-8 in 98 subjects. None of the 26 without KS (27.1% of 96 tested) who were seropositive for HHV-8 by IFA for latency-associated nuclear antigens had HHV-8 detected in their semen. The only subject with any evidence for seminal HHV-8 DNA was seropositive for HHV-8 and had active KS. HHV-8 was detected in 10 (10.4%) of 96 peripheral blood mononuclear cell specimens. The prevalence of HHV-8 DNA by PCR in semen of HIV-infected MSM without KS is low. 相似文献
939.
T Kimura H Yoshizu N Hatori M Shimizu D Segawa S Tanaka 《Canadian Metallurgical Quarterly》1997,45(4):607-610
A 60-year-old woman who complained of palpitation was diagnosed as ventricular tachycardia on electrocardiography and admitted to our hospital. The ultrasonic cardiography showed cardiac tumor in right ventricle and right atrium. Due to the obstruction of the right ventricle inflow by the tumor, we immediately performed resection of cardiac tumor and repair of right ventricle wall under cardiopulmonary bypass. The tumor was diagnosed as malignant lymphoma by pathological examination for surgical specimen of tumor. After operation her general condition was good, but residual cardiac lymphoma developed large size. We performed radiation therapy for cardiac lymphoma. Therefore the lymphoma was reduced to minimum size. Six months after operation metastatic malignant lymphoma appeared at whole body. So we performed chemotherapy for reduction of systemic malignant lymphoma. At first the chemotherapy was very effective. But metastasis spread rapidly and effectiveness of chemotherapy reduced. Thirteen months after operation she died for respiratory distress, probably due to metastatic brain tumor. 相似文献
940.
In a healthy 49-year-old man, a decrease in job efficiency was noticed along with bizarre behavior. On admission, he was euphoric, childish, superficial and had increased libido. Neurological findings were normal. There were no abnormal findings on routine blood tests, hematochemistry or urine analysis. MRI showed no abnormal findings. However, single photon emission CT (SPECT) showed diffuse hypoaccummulation of tracer from the temporal to frontal regions. Lumbar puncture showed clear cerebrospinal fluid (CSF) with pleocytosis and an elevated protein level. Moreover, antibody IgG titers to herpes simplex virus (HSV) and measles virus were elevated, according to EIA [serum HSV -1,202.2x, measles virus 47.1x: CSF HSV-116.1x, measles virus 9.9x]. The ratio of serum to CSF antibody titers of HSV and measles virus were 12.5 and 4.75, respectively. The antibody index values of HSV and measles virus IgG titers were 8.42 and 22.22. The ratio of albumin was 105.7. Chronic, progressive HSV encephalitis is rare, and there have been very few reports of encephalitis due to double infection by HSV and another virus. Our patient was diagnosed as having encephalitis due to double infection with HSV and measles virus, because the ratio of serum to CSF antibody titers was less than 20 and the antibody index values were over 1.91. Moreover, since the IgG index was elevated and the ratio of albumin was not low, it was suggested that the blood-brain-barrier had not been disrupted, and antibodies were being produced chronically in the medullary cavity. Hyperaccummulation of tracer on SPECT studies has been reported in the early stages of HSV encephalitis. In our case, while CT and MRI showed no abnormal findings, SPECT showed diffuse hypoaccummulation. SPECT appears to be a useful tool in the diagnosis of this disorder. In case of chronic, progressive personality change in middle-aged adults, we must be aware of double virus infection of the brain as a possible causal factor. 相似文献