全文获取类型
收费全文 | 1482篇 |
免费 | 250篇 |
国内免费 | 273篇 |
专业分类
电工技术 | 14篇 |
综合类 | 170篇 |
化学工业 | 57篇 |
金属工艺 | 4篇 |
机械仪表 | 21篇 |
建筑科学 | 57篇 |
矿业工程 | 3篇 |
能源动力 | 5篇 |
轻工业 | 32篇 |
水利工程 | 3篇 |
石油天然气 | 5篇 |
武器工业 | 3篇 |
无线电 | 122篇 |
一般工业技术 | 48篇 |
冶金工业 | 32篇 |
原子能技术 | 1篇 |
自动化技术 | 1428篇 |
出版年
2024年 | 6篇 |
2023年 | 27篇 |
2022年 | 28篇 |
2021年 | 40篇 |
2020年 | 36篇 |
2019年 | 17篇 |
2018年 | 38篇 |
2017年 | 41篇 |
2016年 | 38篇 |
2015年 | 51篇 |
2014年 | 70篇 |
2013年 | 96篇 |
2012年 | 112篇 |
2011年 | 101篇 |
2010年 | 95篇 |
2009年 | 103篇 |
2008年 | 119篇 |
2007年 | 131篇 |
2006年 | 102篇 |
2005年 | 108篇 |
2004年 | 75篇 |
2003年 | 68篇 |
2002年 | 77篇 |
2001年 | 67篇 |
2000年 | 44篇 |
1999年 | 55篇 |
1998年 | 41篇 |
1997年 | 26篇 |
1996年 | 25篇 |
1995年 | 32篇 |
1994年 | 24篇 |
1993年 | 13篇 |
1992年 | 22篇 |
1991年 | 5篇 |
1990年 | 6篇 |
1989年 | 5篇 |
1988年 | 3篇 |
1986年 | 2篇 |
1985年 | 9篇 |
1984年 | 7篇 |
1983年 | 2篇 |
1982年 | 5篇 |
1981年 | 3篇 |
1980年 | 4篇 |
1979年 | 5篇 |
1978年 | 2篇 |
1977年 | 5篇 |
1976年 | 4篇 |
1975年 | 2篇 |
1973年 | 3篇 |
排序方式: 共有2005条查询结果,搜索用时 15 毫秒
1.
2.
We describe a formal language/notation for DNA molecules that may contain nicks and gaps. The elements of the language, DNA
expressions, denote formal DNA molecules. Different DNA expressions may denote the same formal DNA molecule. We analyse the
shortest DNA expressions denoting a given formal DNA molecule. We determine lower bounds on their lengths and explain how
we construct these minimal DNA expressions. 相似文献
3.
This paper reports how the study of formal logical reasoning provides insight into more everyday types of reasoning, such as that involved in language comprehension. Both of these types of cognition are thought to involve the use of mental models, and so it is reasonable to think that the cognitive operations needed for formal logical reasoning would be involved in everyday reasoning as well. We focused on three aspects of formal reasoning: (a) the integration of information into a common mental model, (b) the drawing of inferences, and (c) the coordination of alternative possibilities. We were able to show that the integration and inference components were related to narrative comprehension processes, but the coordination of alternative models was not. Thus, there is evidence for some overlap in the mental processes used in formal and everyday reasoning. This further justifies the study of formal logical reasoning as a window into certain types of everyday reasoning. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
4.
Docherty Nancy M.; Cohen Alex S.; Nienow Tasha M.; Dinzeo Thomas J.; Dangelmaier Ruth E. 《Canadian Metallurgical Quarterly》2003,112(3):469
This study examined the degree to which different types of communication disturbances in the speech of 48 schizophrenia patients and 28 controls were variable and state related versus stable and traitlike. Clinically rated formal thought disorder and 5 types of referential disturbance showed substantial stability within participants over time. The sixth type of referential disturbance, the vague reference, was not stable over time. Formal thought disorder was associated with the severity of core psychotic symptoms in patients, whereas referential disturbances showed little or no association with positive or negative symptom severity. Furthermore, changes in psychotic symptoms over time were accompanied by corresponding changes in formal thought disorder but not referential disturbances. These results support the idea that some types of referential disturbances are traitlike and may be reflective of vulnerability as well as manifest illness. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
5.
Mani Azimi Ching-Tsun Chou Akhilesh Kumar Victor W. Lee Phamndra K. Mannava Seungjoon Park 《Formal Methods in System Design》2003,22(2):109-116
In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects. 相似文献
6.
7.
8.
Douglas Walton 《Artificial Intelligence and Law》2006,14(3):177-239
In this paper it is shown how tools developed in argumentation theory and artificial intelligence can be applied to the development
of a new dialectical analysis of the speech act of making a proposal in a deliberation dialogue. These tools are developed,
modified and used to formulate dialogue pre-conditions, defining conditions and post-conditions for the speech act of making
a proposal in a deliberation dialogue. The defining conditions set out what is required for a move in a dialogue to count
as the making of a proposal by one of the parties. What is required are the conditions that (1) the move fit the requirements
of the argumentation scheme for practical reasoning, and (2) the premises are propositions describing common goals of both
parties or propositions that they reasonably consider means to achieve these goals. The analysis goes beyond the standard
speech act approach by specifying not only the normative requirements for making a well-formed proposal, but also the requirements
for responding to it by questioning or criticizing it, and the requirements for defending it. 相似文献
9.
Gerhard Jäger 《Journal of Logic, Language and Information》2002,11(4):427-451
In this paper, we discuss some formal properties of the model ofbidirectional Optimality Theory that was developed inBlutner (2000). We investigate the conditions under whichbidirectional optimization is a well-defined notion, and we give aconceptually simpler reformulation of Blutner's definition. In thesecond part of the paper, we show that bidirectional optimization can bemodeled by means of finite state techniques. There we rely heavily onthe related work of Frank and Satta (1998) about unidirectionaloptimization. 相似文献
10.
Temporal message-flow diagrams (TMFDs), alternatively called sequence charts, interaction diagrams, event traces, or actor diagrams, are illustrations of a system's global message-passing activity over time, and a pictorial aid to understanding the system's behavior. They are widely used for requirements and documentation for network protocols and object-oriented applications. We present a general formalism for TMFDs, describe a suite of tools we have designed that employs this formalism, and present our experiences with these tools. The formalism and tools described serve to support and broaden the use of TMFDs in developing communicating systems. 相似文献