全文获取类型
收费全文 | 4195篇 |
免费 | 470篇 |
国内免费 | 334篇 |
专业分类
电工技术 | 93篇 |
技术理论 | 1篇 |
综合类 | 340篇 |
化学工业 | 88篇 |
金属工艺 | 13篇 |
机械仪表 | 85篇 |
建筑科学 | 142篇 |
矿业工程 | 28篇 |
能源动力 | 35篇 |
轻工业 | 35篇 |
水利工程 | 36篇 |
石油天然气 | 40篇 |
武器工业 | 20篇 |
无线电 | 681篇 |
一般工业技术 | 259篇 |
冶金工业 | 235篇 |
原子能技术 | 21篇 |
自动化技术 | 2847篇 |
出版年
2024年 | 16篇 |
2023年 | 30篇 |
2022年 | 60篇 |
2021年 | 76篇 |
2020年 | 79篇 |
2019年 | 94篇 |
2018年 | 97篇 |
2017年 | 121篇 |
2016年 | 138篇 |
2015年 | 128篇 |
2014年 | 211篇 |
2013年 | 296篇 |
2012年 | 253篇 |
2011年 | 336篇 |
2010年 | 217篇 |
2009年 | 275篇 |
2008年 | 291篇 |
2007年 | 300篇 |
2006年 | 244篇 |
2005年 | 228篇 |
2004年 | 211篇 |
2003年 | 180篇 |
2002年 | 143篇 |
2001年 | 120篇 |
2000年 | 89篇 |
1999年 | 86篇 |
1998年 | 76篇 |
1997年 | 46篇 |
1996年 | 62篇 |
1995年 | 47篇 |
1994年 | 51篇 |
1993年 | 36篇 |
1992年 | 37篇 |
1991年 | 30篇 |
1990年 | 21篇 |
1989年 | 16篇 |
1988年 | 15篇 |
1987年 | 7篇 |
1986年 | 6篇 |
1985年 | 21篇 |
1984年 | 24篇 |
1983年 | 25篇 |
1982年 | 26篇 |
1981年 | 21篇 |
1980年 | 25篇 |
1979年 | 30篇 |
1978年 | 10篇 |
1977年 | 6篇 |
1976年 | 12篇 |
1964年 | 5篇 |
排序方式: 共有4999条查询结果,搜索用时 15 毫秒
141.
142.
Yong Gao 《Artificial Intelligence》2009,173(14):1343-1366
Data reduction is a key technique in the study of fixed parameter algorithms. In the AI literature, pruning techniques based on simple and efficient-to-implement reduction rules also play a crucial role in the success of many industrial-strength solvers. Understanding the effectiveness and the applicability of data reduction as a technique for designing heuristics for intractable problems has been one of the main motivations in studying the phase transition of randomly-generated instances of NP-complete problems.In this paper, we take the initiative to study the power of data reductions in the context of random instances of a generic intractable parameterized problem, the weighted d-CNF satisfiability problem. We propose a non-trivial random model for the problem and study the probabilistic behavior of the random instances from the model. We design an algorithm based on data reduction and other algorithmic techniques and prove that the algorithm solves the random instances with high probability and in fixed-parameter polynomial time O(dknm) where n is the number of variables, m is the number of clauses, and k is the fixed parameter. We establish the exact threshold of the phase transition of the solution probability and show that in some region of the problem space, unsatisfiable random instances of the problem have parametric resolution proof of fixed-parameter polynomial size. Also discussed is a more general random model and the generalization of the results to the model. 相似文献
143.
Paul E. Dunne 《Artificial Intelligence》2009,173(18):1559-1591
We analyse the computational complexity of the recently proposed ideal semantics within both abstract argumentation frameworks (afs) and assumption-based argumentation frameworks (abfs). It is shown that while typically less tractable than credulous admissibi-lity semantics, the natural decision problems arising with this extension-based model can, perhaps surprisingly, be decided more efficiently than sceptical preferred semantics. In particular the task of finding the unique ideal extension is easier than that of deciding if a given argument is accepted under the sceptical semantics. We provide efficient algorithmic approaches for the class of bipartite argumentation frameworks and, finally, present a number of technical results which offer strong indications that typical problems in ideal argumentation are complete for the class of languages decidable by polynomial time algorithms allowed to make non-adaptive queries to a C oracle, where C is an upper bound on the computational complexity of deciding credulous acceptance: C=np for afs and logic programming (lp) instantiations of abfs; for abfs modelling default theories. 相似文献
144.
Given a list of n items and a function defined over sub-lists, we study the space required for computing the function for arbitrary sub-lists in constant time.For the function mode we improve the previously known space bound O(n2/logn) to O(n2loglogn/log2n) words.For median the space bound is improved to O(n2loglog2n/log2n) words from O(n2⋅log(k)n/logn), where k is an arbitrary constant and log(k) is the iterated logarithm. 相似文献
145.
Janusz Szczepanski 《Information Sciences》2009,179(9):1217-1220
Investigations of complexity of sequences lead to important applications such as effective data compression, testing of randomness, discriminating between information sources and many others. In this paper we establish formulae describing the distribution functions of random variables representing the complexity of finite sequences introduced by Lempel and Ziv in 1976. It is known that this quantity can be used as an estimator of entropy. We show that the distribution functions depend affinely on the probabilities of the so-called “exact” sequences. 相似文献
146.
Sebastian Dörn 《Information Processing Letters》2009,109(6):325-328
In this paper we give tight quantum query complexity bounds of some important linear algebra problems. We prove Θ(n2) quantum query bounds for verify the determinant, rank, matrix inverse and the matrix power problem. 相似文献
147.
A famous lower bound for the bilinear complexity of the multiplication in associative algebras is the Alder–Strassen bound. Algebras for which this bound is tight are called algebras of minimal rank. After 25 years of research, these algebras are now well understood. Here we start the investigation of the algebras for which the Alder–Strassen bound is off by one. As a first result, we completely characterize the semisimple algebras over R whose bilinear complexity is by one larger than the Alder–Strassen bound. Furthermore, we characterize all algebras A (with radical) of minimal rank plus one over R for which A/radA has minimal rank plus one. The other possibility is that A/radA has minimal rank. For this case, we only present a partial result. 相似文献
148.
Words that appear as constrained subsequences in a text-string are considered as possible indicators of the host string structure, hence also as a possible means of sequence comparison and classification. The constraint consists of imposing a bound on the number ω of positions in the text that may intervene between any two consecutive characters of a subsequence. A subset of such ω-sequences is then characterized that consists, in intuitive terms, of sequences that could not be enriched with more characters without losing some occurrence in the text. A compact spatial representation is then proposed for these representative sequences, within which a number of parameters can be defined and measured. In the final part of the paper, such parameters are empirically analyzed on a small collection of text-strings endowed with various degrees of structure. 相似文献
149.
The minimum number of NOT gates in a Boolean circuit computing a Boolean function f is called the inversion complexity of f. In 1958, Markov determined the inversion complexity of every Boolean function and, in particular, proved that log2(n+1) NOT gates are sufficient to compute any Boolean function on n variables. In this paper, we consider circuits computing non-deterministically and determine the inversion complexity of every Boolean function. In particular, we prove that one NOT gate is sufficient to compute any Boolean function in non-deterministic circuits if we can use an arbitrary number of guess inputs. 相似文献
150.
Adaptive binary tree for fast SVM multiclass classification 总被引:1,自引:0,他引:1
This paper presents an adaptive binary tree (ABT) to reduce the test computational complexity of multiclass support vector machine (SVM). It achieves a fast classification by: (1) reducing the number of binary SVMs for one classification by using separating planes of some binary SVMs to discriminate other binary problems; (2) selecting the binary SVMs with the fewest average number of support vectors (SVs). The average number of SVs is proposed to denote the computational complexity to exclude one class. Compared with five well-known methods, experiments on many benchmark data sets demonstrate our method can speed up the test phase while remain the high accuracy of SVMs. 相似文献