全文获取类型
收费全文 | 2095篇 |
免费 | 122篇 |
国内免费 | 104篇 |
专业分类
电工技术 | 89篇 |
综合类 | 360篇 |
化学工业 | 93篇 |
金属工艺 | 18篇 |
机械仪表 | 43篇 |
建筑科学 | 266篇 |
矿业工程 | 101篇 |
能源动力 | 67篇 |
轻工业 | 75篇 |
水利工程 | 90篇 |
石油天然气 | 44篇 |
武器工业 | 3篇 |
无线电 | 83篇 |
一般工业技术 | 145篇 |
冶金工业 | 343篇 |
原子能技术 | 44篇 |
自动化技术 | 457篇 |
出版年
2024年 | 7篇 |
2023年 | 42篇 |
2022年 | 37篇 |
2021年 | 60篇 |
2020年 | 57篇 |
2019年 | 61篇 |
2018年 | 34篇 |
2017年 | 54篇 |
2016年 | 58篇 |
2015年 | 61篇 |
2014年 | 106篇 |
2013年 | 113篇 |
2012年 | 123篇 |
2011年 | 178篇 |
2010年 | 200篇 |
2009年 | 253篇 |
2008年 | 102篇 |
2007年 | 104篇 |
2006年 | 122篇 |
2005年 | 112篇 |
2004年 | 99篇 |
2003年 | 63篇 |
2002年 | 52篇 |
2001年 | 57篇 |
2000年 | 28篇 |
1999年 | 30篇 |
1998年 | 19篇 |
1997年 | 13篇 |
1996年 | 4篇 |
1995年 | 5篇 |
1994年 | 4篇 |
1993年 | 6篇 |
1991年 | 6篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1988年 | 6篇 |
1986年 | 2篇 |
1984年 | 4篇 |
1982年 | 2篇 |
1981年 | 2篇 |
1979年 | 2篇 |
1978年 | 4篇 |
1977年 | 2篇 |
1965年 | 3篇 |
1964年 | 4篇 |
1961年 | 1篇 |
1959年 | 1篇 |
1955年 | 1篇 |
1954年 | 1篇 |
1951年 | 1篇 |
排序方式: 共有2321条查询结果,搜索用时 9 毫秒
131.
危机下中小房地产企业的出路 总被引:1,自引:0,他引:1
本文以2007年底开始的金融危机为背景,首先介绍了我国中小房地产企业的特点,接着分析金融危机对中小房地产企业的影响,最后提出帮助中小房地产面对危机,走出困境的一些建议。 相似文献
132.
文章概述了资本主义经济危机是世界社会史的进步.我们PCB行业要抓住这个时机,调整和优化结构,迎接经济复苏和未来。 相似文献
133.
Reviews the book, Comprendre et soigner la crise suicidaire by Laurent Morasz et Fran?ois Danet (2008).This work examines a psychodynamic theoretical approach focused on the suicide crisis clinic and the “caregiver/cared for” relationship by illustrating different clinical examples representing individuals at various stages of the suicide process. The value and strength of this book lie in the rich and interesting clinical experience it brings forward; there is no attempt to distinguish between “objective” and “more subjective psychodynamic” approaches. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
134.
金融危机背景下我国煤炭产业稳定发展问题探讨 总被引:1,自引:0,他引:1
从定性的角度对我国煤炭产业被动适应市场波动的原因进行了分析,探究了技术创新、融资和产业环境三方面制约煤炭企业稳定发展的因素,指出了政府在煤炭产业发展中应起到的作用。在短期内,煤炭产业的调整和发展仍将主要依赖政府,推进产权结构多元化是解决煤炭企业诸多现实矛盾的制度基础。 相似文献
135.
Bonatti Luca L.; Nespor Marina; Pe?a Marcela; Mehler Jacques 《Canadian Metallurgical Quarterly》2006,135(2):314
M. Pe?a, L. L. Bonatti, M. Nespor, and J. Mehler (see record 2002-06215-001) argued that humans compute nonadjacent statistical relations among syllables in a continuous artificial speech stream to extract words, but they use other computations to determine the structural properties of words. Instead, when participants are familiarized with a segmented stream, structural generalizations about words are quickly established. P. Perruchet, M. D. Tyler, N. Galland, and R. Peereman (see record 2004-21166-008) criticized M. Pe?a et al.'s work and dismissed their results. In this article, the authors show that P. Perruchet et al.'s criticisms are groundless. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
136.
Perruchet Pierre; Peereman Ronald; Tyler Michael D. 《Canadian Metallurgical Quarterly》2006,135(3):461
Reports an error in "Do We Need Algebraic-Like Computations? A Reply to Bonatti, Pena, Nespor, and Mehler (2004)" by Pierre Perruchet, Ronald Peereman, and Michael D. Tyler (Journal of Experimental Psychology: General, 2006[May], 135(2), 322-326). The page numbers that Dr. Perruchet cited from Dr. Bonatti et al.'s article were printed incorrectly. These page numbers should appear as follows in the correction. (The following abstract of this article originally appeared in record 2006-06642-011.) L. L. Bonatti, M. Pena, M. Nespor, and J. Mehler (see record 2006-06642-010) argued that P. Perruchet, M. D. Tyler, N. Galland, and R. Peereman (see record 2004-21166-008) confused the notions of segmentation and generalization by ignoring the evidence for generalization in M. Pena, L. L. Bonatti, M. Nespor, and J. Mehler (see record 2002-06215-001). In this reply, the authors reformulate and complement their initial arguments, showing that their way of dealing with segmentation and generalization is not due to confusion or ignorance but rather to the fact that the tests used in Pena et al. make it likely that neither segmentation nor generalization were captured in their experiments. Finally, the authors address the challenge posed by Pena et al. of accounting for the whole pattern of their results without invoking rule-based, algebraic-like computations. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
137.
Sagar Chaki Edmund Clarke Joël Ouaknine Natasha Sharygina Nishant Sinha 《Formal Aspects of Computing》2005,17(4):461-483
We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary
to other state/event approaches, our work also integrates two powerful verification techniques, counterexample-guided abstraction
refinement and compositional reasoning. Our specification language is a state/event extension of linear temporal logic, and
allows us to express many properties of software in a concise and intuitive manner. We show how standard automata-theoretic
LTL model checking algorithms can be ported to our framework at no extra cost, enabling us to directly benefit from the large
body of research on efficient LTL verification.
We also present an algorithm to detect deadlocks in concurrent message-passing programs. Deadlock- freedom is not only an
important and desirable property in its own right, but is also a prerequisite for the soundness of our model checking algorithm.
Even though deadlock is inherently non-compositional and is not preserved by classical abstractions, our iterative algorithm
employs both (non-standard) abstractions and compositional reasoning to alleviate the state-space explosion problem. The resulting
framework differs in key respects from other instances of the counterexample-guided abstraction refinement paradigm found
in the literature.
We have implemented this work in the magic verification tool for concurrent C programs and performed tests on a broad set
of benchmarks. Our experiments show that this new approach not only eases the writing of specifications, but also yields important
gains both in space and in time during verification. In certain cases, we even encountered specifications that could not be
verified using traditional pure event-based or state-based approaches, but became tractable within our state/event framework.
We also recorded substantial reductions in time and memory consumption when performing deadlock-freedom checks with our new
abstractions. Finally, we report two bugs (including a deadlock) in the source code of Micro-C/OS versions 2.0 and 2.7, which
we discovered during our experiments.
This research was sponsored by the National Science Foundation (NSF) under grants no. CCR-9803774 and CCR-0121547, the Office
of Naval Research (ONR) and the Naval Research Laboratory (NRL) under contract no. N00014-01-1-0796, the Army Research Office
(ARO) under contract no. DAAD19-01-1-0485, and was conducted as part of the Predictable Assembly from Certifiable Components
(PACC) project at the Software Engineering Institute (SEI).
This article combines and builds upon the papers (CCO+04) and (CCOS04).
Received December 2004
Revised July 2005
Accepted July 2005 by Eerke A. Boiten, John Derrick, Graeme Smith and Ian Hayes 相似文献
138.
杨华 《中国计量学院学报》2006,17(1):84-87
以2002—2004年深沪两市首次被ST的79家上市公司为研究对象,同时用79家盈利公司作配对样本,选择32个财务指标进行了Wilcoxon符号平均秩检验以判断选取指标的适宜性.运用Fisher二类线性判别分析和二元逻辑回归,分别建立起上市公司财务危机前的3年预警模型.结果表明,用这两种方法建立的模型的预测准确性均超过80%,但这两种方法建立模型的预测效果存在一定的差异. 相似文献
139.
Children ages 3-9 years were informed that an invisible agent (Princess Alice) would help them play a forced-choice game by "telling them, somehow, when they chose the wrong box," whereas a matched control group of children were not given this supernatural prime. On 2 unexpected event trials, an experimenter triggered a simulated unexpected event (i.e., a light turning on/off; a picture falling), and children's behavioral response to these events (i.e., moving their hand to the opposite box) was coded. Results showed a significant Age Group × Experimental Condition interaction; the only children to reliably alter their behavior in response to the unexpected events were the oldest children (M = 7 years 4 months), who were primed with the invisible agent concept. For children's posttest verbal explanations, also, only these children saw the unexpected events as being referential and declarative (e.g., "Princess Alice did it because I chose the wrong box"). Together, these data suggest that children may not regularly begin to see communicative signs as embedded in unexpected events until they are around 7 years of age. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
140.
I am bewildered at the fact that the pages of the American Psychologist reflect almost no awareness of the tragic social upheaval which is accompanying the efforts of the American Negro to win his political, economic, and no less important, his psychological integration with the remainder of American society. This crisis will not disappear because we ignore it. It will be resolved one way or another. The Negro has apparently turned his face from acceptance of his unhappy circumstances and is determined to fight for his human and Constitutional rights. I think it is time that we, as a profession, give recognition to what is occurring around us, that we discuss what our role can and should be, and that each of us, in our own communities volunteer our services and our knowledge to work towards a just and peaceful integration of the American Negro into the American society of the twentieth century. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献