全文获取类型
收费全文 | 4357篇 |
免费 | 470篇 |
国内免费 | 411篇 |
专业分类
电工技术 | 188篇 |
综合类 | 398篇 |
化学工业 | 42篇 |
金属工艺 | 73篇 |
机械仪表 | 438篇 |
建筑科学 | 73篇 |
矿业工程 | 44篇 |
能源动力 | 21篇 |
轻工业 | 28篇 |
水利工程 | 25篇 |
石油天然气 | 12篇 |
武器工业 | 68篇 |
无线电 | 225篇 |
一般工业技术 | 179篇 |
冶金工业 | 245篇 |
原子能技术 | 5篇 |
自动化技术 | 3174篇 |
出版年
2024年 | 14篇 |
2023年 | 43篇 |
2022年 | 81篇 |
2021年 | 80篇 |
2020年 | 68篇 |
2019年 | 72篇 |
2018年 | 61篇 |
2017年 | 64篇 |
2016年 | 102篇 |
2015年 | 129篇 |
2014年 | 181篇 |
2013年 | 204篇 |
2012年 | 219篇 |
2011年 | 237篇 |
2010年 | 219篇 |
2009年 | 269篇 |
2008年 | 312篇 |
2007年 | 309篇 |
2006年 | 360篇 |
2005年 | 308篇 |
2004年 | 265篇 |
2003年 | 252篇 |
2002年 | 209篇 |
2001年 | 174篇 |
2000年 | 154篇 |
1999年 | 122篇 |
1998年 | 122篇 |
1997年 | 94篇 |
1996年 | 88篇 |
1995年 | 75篇 |
1994年 | 74篇 |
1993年 | 62篇 |
1992年 | 52篇 |
1991年 | 49篇 |
1990年 | 26篇 |
1989年 | 30篇 |
1988年 | 19篇 |
1987年 | 12篇 |
1986年 | 7篇 |
1985年 | 3篇 |
1983年 | 2篇 |
1979年 | 2篇 |
1975年 | 2篇 |
1965年 | 1篇 |
1964年 | 1篇 |
1962年 | 2篇 |
1961年 | 2篇 |
1959年 | 1篇 |
1957年 | 1篇 |
1955年 | 1篇 |
排序方式: 共有5238条查询结果,搜索用时 10 毫秒
1.
2.
H. D. Saltzstein and T. Kasachkoff (2004) (see record 2004-21519-004) critique the social intuitionist model (J. Haidt, 2001) (see record 2001-18918-008), but the model they critique is a stripped-down version that should be called the "possum" model. They make 3 charges about the possum model that are not true about the social intuitionist model: that it includes no role for reasoning, that it reduces social influence to compliance, and that it does not take a developmental perspective. After a defense of the honor of the social intuitionist model, this article raises 2 areas of legitimate dispute: the scope and nature of moral reasoning and the usefulness of appealing to innate ideas, rather than to learning and reasoning, as the origin of moral knowledge. This article presents 3 clusters of innate moral intuitions, related to sympathy, hierarchy, and reciprocity. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
3.
Inaki Arrazola Agn s Plainfoss Henri Prade Claudette Testemale 《Information Systems》1989,14(6):487-492
This paper presents different approaches which enable a data base management system to obtain a plausible fuzzy estimate for an attribute value of an item for which the information is not explicitly stored in the data base. This can be made either by a kind of analogical reasoning from information about particular items or by means of expert rules which specify the (fuzzy) sets of possible values of the attribute under consideration, for various classes of items. Another kind of expert rules enables the system to compute an estimate from the attribute value of another item provided that, in other respects, this latter item sufficiently resembles the item, the value of which we are interested in; then these expert rules are used either for controlling the analogical reasoning process or for enlarging the scope of application of the first kind of expert rules. The different approaches are discussed in the framework of possibility theory. 相似文献
4.
5.
Common sense sometimes predicts events to be likely or unlikely rather than merely possible. We extend methods of qualitative reasoning to predict the relative likelihoods of possible qualitative behaviors by viewing the dynamics of a system as a Markov chain over its transition graph. This involves adding qualitative or quantitative estimates of transition probabilities to each of the transitions and applying the standard theory of Markov chains to distinguish persistent states from transient states and to calculate recurrence times, settling times, and probabilities for ending up in each state. Much of the analysis depends solely on qualitative estimates of transition probabilities, which follow directly from theoretical considerations and which lead to qualitative predictions about entire classes of systems. Quantitative estimates for specific systems are derived empirically and lead to qualitative and quantitative conclusions, most of which are insensitive to small perturbations in the estimated transition probabilities. The algorithms are straightforward and efficient. 相似文献
6.
Dragan Simić Svetlana Simić 《Soft Computing - A Fusion of Foundations, Methodologies and Applications》2007,11(12):1185-1192
A concept of business intelligent system for financial prediction is considered in this paper. It provides data needed for
fast, precise and good business decision support to all levels of management. The aim of the project is the development of
a new online analytical processing oriented on case-based reasoning (CBR) where a previous experience for every new problem
is taken into account. Methodological aspects have been tested in practice as a part of the management information system
development project of “Novi Sad Fair”. A case study of an improved application of CBR in prediction of future payments is
discussed in the paper.
This paper is originally presented at The International Conference on Hybrid Information Technology 2006, at the special session
on “Intelligent Information Systems for Financial Engineering”, November 2006 in Cheju Island, Korea. 相似文献
7.
J. Dingel 《Formal Aspects of Computing》2002,14(2):123-197
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to
the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists.
Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these
problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus
allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The
calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction
of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are
independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated.
Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification
notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus
rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement
relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality.
The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing
program and vice versa.
Received July 2001 / Accepted in revised form May 2002 相似文献
8.
模糊Petri网及知识表示 总被引:6,自引:0,他引:6
蔡之华 《计算机应用与软件》1994,11(3):30-36
在建造专家系统中虽然有很多种知识表示方法,但都有不尽人意的地方,本文试图用一种新的方法-Petri网模型来表示知识。本文给出了Fuzzzy Petri网和广义Fuzzy Petri网两种模型,并给出了相应的推理算法,一旦专家知识用Petri网表示后,根据Petri网固有的特性,我们就能处理专家系统中并行推理、无回溯推理,反向推理等问题。 相似文献
9.
Larry Wos 《Journal of Automated Reasoning》1987,3(4):433-435
This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems.This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38. 相似文献
10.
Any intelligent problem solving system should be able, given the known data on a case, to decide whether some item of information is true, false or unknown. In this paper the way in which various forms of commonsense reasoning can be integrated to provide such decisions is described. To this end three structural types of knowledge defined over data, and four strategies for exploiting these structures, are identified. ‘Decide-Status’ integrates the reasoning strategies into a task frame. This frame structure not only integrates the reasoning but also affords the appropriate facilities for providing strategic justifications for its conclusions, if required. 相似文献