全文获取类型
收费全文 | 85924篇 |
免费 | 1044篇 |
国内免费 | 410篇 |
专业分类
电工技术 | 786篇 |
综合类 | 2317篇 |
化学工业 | 11797篇 |
金属工艺 | 4830篇 |
机械仪表 | 3063篇 |
建筑科学 | 2274篇 |
矿业工程 | 569篇 |
能源动力 | 1145篇 |
轻工业 | 3780篇 |
水利工程 | 1302篇 |
石油天然气 | 342篇 |
无线电 | 9486篇 |
一般工业技术 | 16623篇 |
冶金工业 | 3231篇 |
原子能技术 | 273篇 |
自动化技术 | 25560篇 |
出版年
2018年 | 14475篇 |
2017年 | 13398篇 |
2016年 | 9996篇 |
2015年 | 624篇 |
2014年 | 268篇 |
2013年 | 298篇 |
2012年 | 3203篇 |
2011年 | 9527篇 |
2010年 | 8342篇 |
2009年 | 5612篇 |
2008年 | 6862篇 |
2007年 | 7863篇 |
2006年 | 212篇 |
2005年 | 1312篇 |
2004年 | 1196篇 |
2003年 | 1232篇 |
2002年 | 602篇 |
2001年 | 154篇 |
2000年 | 225篇 |
1999年 | 112篇 |
1998年 | 161篇 |
1997年 | 96篇 |
1996年 | 120篇 |
1995年 | 55篇 |
1994年 | 61篇 |
1993年 | 39篇 |
1992年 | 46篇 |
1991年 | 45篇 |
1990年 | 34篇 |
1989年 | 37篇 |
1988年 | 43篇 |
1987年 | 31篇 |
1986年 | 34篇 |
1985年 | 45篇 |
1984年 | 37篇 |
1983年 | 37篇 |
1982年 | 30篇 |
1969年 | 31篇 |
1968年 | 45篇 |
1967年 | 34篇 |
1966年 | 43篇 |
1965年 | 46篇 |
1963年 | 30篇 |
1960年 | 30篇 |
1959年 | 35篇 |
1958年 | 37篇 |
1957年 | 38篇 |
1956年 | 36篇 |
1955年 | 63篇 |
1954年 | 68篇 |
排序方式: 共有10000条查询结果,搜索用时 27 毫秒
151.
Peter Bro Miltersen 《Theory of Computing Systems》2007,41(1):119-125
We prove that the one-dimensional sandpile prediction problem is in LOGDCFL, a subset of AC1. The previously best known upper bound on the ACi-scale was AC2. Furthermore, we prove that the one-dimensional sandpile prediction problem is hard for TC0 and thus not in AC1-ε for any constant ε > 0. 相似文献
152.
Daniel Meister 《Theory of Computing Systems》2007,41(2):257-289
A finite recurrent system over sets of natural numbers of dimension n is a pair composed of n n-ary functions over sets of
natural numbers and an n-tuple of singleton sets of natural numbers. Every function is applied to the entries of the tuple
and computes a set of natural numbers, that may also be empty. The results are composed into another tuple, and the process
is started anew. Thus, a finite recurrent system defines an infinite sequence of n-tuples containing sets of natural numbers.
The last entry of a generated n-tuple is called the output of a step, and the union of the output sets of all steps is the
set defined by the finite recurrent system. Membership problems ask whether a given number is in a specified output set or
in some output set. We study membership problems for special finite recurrent systems, whose functions are built from the
set operations union, intersection and complementation and the arithmetical operations addition and multiplication. Sum and
product of two sets of natural numbers are defined elementwise. We restrict the set of operations from which functions are
built and determine the impact on the complexity of the membership problems. We focus on PSPACE-decidable membership problems
and show completeness results for the complexity classes NL, NP and PSPACE. 相似文献
153.
Dynamic complexity investigates the required effort to maintain knowledge about a property of a structure under changing operations.
This article introduces a refined notion of dynamic problems which takes the initial structure into account. It develops the
basic structural complexity notions accordingly. It also shows that the dynamic version of the LOGCFL-complete problem D2LREACH(acyclic) can be maintained with first-order updates. 相似文献
154.
We consider the problem of scheduling jobs on related machines owned by selfish agents. We provide a 5-approximation deterministic
truthful mechanism, the first deterministic truthful result for the problem. Previously, Archer and Tardos showed a 2-approximation
randomized mechanism which is truthful in expectation only (a weaker notion of truthfulness). In case the number of machines
is constant, we provide a deterministic Fully Polynomial-Time Approximation Scheme (FPTAS) and a suitable payment scheme that
yields a truthful mechanism for the problem. This result, which is based on converting FPTAS to monotone FPTAS, improves a
previous result of Auletta et al., who showed a (4 + ε)-approximation truthful mechanism. 相似文献
155.
Katsutoshi Yada 《Soft Computing - A Fusion of Foundations, Methodologies and Applications》2007,11(8):811-817
The aim of this paper is to propose a new system for the strategic use of customer data that includes and integrates such
differing data sources as company databases, mobile telephone networks and Internet data and is a consumer research support
system for the discovery of new marketing opportunities. This system, called CODIRO, will be discussed in this paper using
a case study of the effects on sales of processed food product television commercials. A system for verifying the validity
of consumer behavior models will also be described and discussed. Use of the CODIRO analysis system makes it easy to introduce,
into the analytic model, consumer attitude changes and in-store data of many types that have not been used to measure advertising
and promotional activity effectiveness in the past. 相似文献
156.
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. 相似文献
157.
158.
Emergency department status boards: user-evolved artefacts for inter- and intra-group coordination 总被引:1,自引:1,他引:0
Robert L. Wears Shawna J. Perry Stephanie Wilson Julia Galliers James Fone 《Cognition, Technology & Work》2007,9(3):163-170
Large, easily viewed status boards are commonly used in some healthcare settings such as emergency departments, operating
theaters, intensive care units, and inpatient wards. Because these artefacts were developed by front-line users, and have
little to no supervisory or regulatory control, they offer valuable insights into the theories of work and hazard held by
those users. Although the status boards case were locally developed over many years for within-group coordination, they have
also become useful for between-group coordination across organizational boundaries. In this paper, we compare and contrast
the use of such status boards in two disparate settings: a US emergency department, and a UK pediatric ward, and note striking
similarities in their form and usage, despite the large differences in setting. 相似文献
159.
Artem Sokolov Darrell Whitley Andre’ da Motta Salles Barreto 《Genetic Programming and Evolvable Machines》2007,8(3):221-237
This paper evaluates different forms of rank-based selection that are used with genetic algorithms and genetic programming.
Many types of rank based selection have exactly the same expected value in terms of the sampling rate allocated to each member
of the population. However, the variance associated with that sampling rate can vary depending on how selection is implemented.
We examine two forms of tournament selection and compare these to linear rank-based selection using an explicit formula. Because
selective pressure has a direct impact on population diversity, we also examine the interaction between selective pressure
and different mutation strategies. 相似文献
160.