全文获取类型
收费全文 | 98130篇 |
免费 | 2142篇 |
国内免费 | 968篇 |
专业分类
电工技术 | 1514篇 |
技术理论 | 1篇 |
综合类 | 3268篇 |
化学工业 | 13763篇 |
金属工艺 | 5512篇 |
机械仪表 | 3912篇 |
建筑科学 | 3601篇 |
矿业工程 | 1004篇 |
能源动力 | 1536篇 |
轻工业 | 4411篇 |
水利工程 | 1510篇 |
石油天然气 | 1270篇 |
武器工业 | 74篇 |
无线电 | 10961篇 |
一般工业技术 | 18083篇 |
冶金工业 | 3317篇 |
原子能技术 | 422篇 |
自动化技术 | 27081篇 |
出版年
2024年 | 57篇 |
2023年 | 232篇 |
2022年 | 405篇 |
2021年 | 629篇 |
2020年 | 465篇 |
2019年 | 364篇 |
2018年 | 14805篇 |
2017年 | 13782篇 |
2016年 | 10317篇 |
2015年 | 1156篇 |
2014年 | 909篇 |
2013年 | 1109篇 |
2012年 | 4014篇 |
2011年 | 10309篇 |
2010年 | 9121篇 |
2009年 | 6303篇 |
2008年 | 7576篇 |
2007年 | 8485篇 |
2006年 | 906篇 |
2005年 | 1918篇 |
2004年 | 1584篇 |
2003年 | 1592篇 |
2002年 | 996篇 |
2001年 | 478篇 |
2000年 | 585篇 |
1999年 | 481篇 |
1998年 | 398篇 |
1997年 | 310篇 |
1996年 | 315篇 |
1995年 | 241篇 |
1994年 | 199篇 |
1993年 | 127篇 |
1992年 | 112篇 |
1991年 | 126篇 |
1990年 | 66篇 |
1989年 | 51篇 |
1988年 | 37篇 |
1987年 | 25篇 |
1968年 | 43篇 |
1967年 | 33篇 |
1966年 | 42篇 |
1965年 | 44篇 |
1963年 | 28篇 |
1960年 | 30篇 |
1959年 | 35篇 |
1958年 | 37篇 |
1957年 | 36篇 |
1956年 | 34篇 |
1955年 | 63篇 |
1954年 | 68篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
41.
Amnon H. Eden 《Minds and Machines》2007,17(1):121-123
42.
Entrainment and musicality in the human system interface 总被引:1,自引:1,他引:0
Satinder P. Gill 《AI & Society》2007,21(4):567-605
What constitutes our human capacity to engage and be in the same frame of mind as another human? How do we come to share a sense of what ‘looks good’ and what ‘makes sense’? How do we handle differences and come to coexist with them? How do we come to feel that we understand what someone else is experiencing? How are we able to walk in silence with someone familiar and be sharing a peaceful space? All of these aspects are part of human ‘interaction’. In designing interactive technologies designers have endeavoured to explicate, analyse and simulate, our capacity for social adaptation. Their motivations are mixed and include the desires to improve efficiency, improve consumption, to connect people, to make it easier for people to work together, to improve education and learning. In these endeavours to explicate, analyse and simulate, there is a fundamental human capacity that is beyond technology and that facilitates these aspects of being, feeling and thinking with others. That capacity, we suggest, is human entrainment. This is our ability to coordinate the timing of our behaviours and rhythmically synchronise our attentional resources. Expressed within the movements of our bodies and voices, it has a quality that is akin to music. In this paper, disparate domains of research such as pragmatics, social psychology, behaviourism, cognitive science, computational linguistics, gesture, are brought together, and considered in light of the developments in interactive technology, in order to shape a conceptual framework for understanding entrainment in everyday human interaction. 相似文献
43.
Sorin Manolache Petru Eles Zebo Peng 《International journal of parallel programming》2007,35(2):125-156
As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications
require guarantees on both message arrival probability and response time. We address the problem of transient link failures
by means of temporally and spatially redundant transmission of messages, such that designer-imposed message arrival probabilities
are guaranteed. Response time minimisation is achieved by a heuristic that statically assigns multiple copies of each message
to network links, intelligently combining temporal and spatial redundancy. Concerns regarding energy consumption are addressed
in two ways. First, we reduce the total amount of transmitted messages, and, second, we minimise the application response
time such that the resulted time slack can be exploited for energy savings through voltage reduction. The advantages of the
proposed approach are guaranteed message arrival probability and guaranteed worst case application response time. 相似文献
44.
45.
We show new upper bounds for problems in the W-hierarchy of fixed-parameter complexity. A crucial ingredient of our proofs
is an extension to the W-RAM model, which permits more-powerful operations but remains equivalent to the original. We use
the extended model to give new upper bounds for Subsetsum, Maximum Irredundant Set, and various problems concerning intersection
of finite-state machines. 相似文献
46.
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. 相似文献
47.
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. 相似文献
48.
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. 相似文献
49.
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. 相似文献
50.
The multi-homogeneous Bezout number is a bound for the number of solutions of a system of multi-homogeneous polynomial equations,
in a suitable product of projective spaces. Given an arbitrary, not necessarily multi-homogeneous, system, one can ask for
the optimal multi-homogenization that would minimize the Bezout number. In this paper it is proved that the problem of computing,
or even estimating, the optimal multi-homogeneous Bezout number is actually NP-hard. In terms of approximation theory for
combinatorial optimization, the problem of computing the best multi-homogeneous structure does not belong to APX, unless P
= NP. Moreover, polynomial-time algorithms for estimating the minimal multi-homogeneous Bezout number up to a fixed factor
cannot exist even in a randomized setting, unless BPP ⫆ NP. 相似文献