全文获取类型
收费全文 | 479篇 |
免费 | 11篇 |
国内免费 | 23篇 |
专业分类
电工技术 | 17篇 |
综合类 | 21篇 |
化学工业 | 44篇 |
金属工艺 | 27篇 |
机械仪表 | 19篇 |
建筑科学 | 18篇 |
矿业工程 | 4篇 |
能源动力 | 8篇 |
轻工业 | 13篇 |
水利工程 | 1篇 |
石油天然气 | 8篇 |
无线电 | 38篇 |
一般工业技术 | 25篇 |
冶金工业 | 6篇 |
原子能技术 | 21篇 |
自动化技术 | 243篇 |
出版年
2023年 | 2篇 |
2022年 | 11篇 |
2021年 | 8篇 |
2020年 | 4篇 |
2019年 | 5篇 |
2018年 | 1篇 |
2017年 | 8篇 |
2016年 | 10篇 |
2015年 | 3篇 |
2014年 | 7篇 |
2013年 | 14篇 |
2012年 | 16篇 |
2011年 | 32篇 |
2010年 | 25篇 |
2009年 | 31篇 |
2008年 | 32篇 |
2007年 | 37篇 |
2006年 | 43篇 |
2005年 | 28篇 |
2004年 | 25篇 |
2003年 | 23篇 |
2002年 | 17篇 |
2001年 | 9篇 |
2000年 | 8篇 |
1999年 | 10篇 |
1998年 | 12篇 |
1997年 | 9篇 |
1996年 | 5篇 |
1995年 | 3篇 |
1994年 | 10篇 |
1993年 | 8篇 |
1992年 | 8篇 |
1991年 | 6篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1988年 | 1篇 |
1986年 | 4篇 |
1985年 | 3篇 |
1984年 | 3篇 |
1983年 | 2篇 |
1982年 | 2篇 |
1981年 | 4篇 |
1980年 | 4篇 |
1979年 | 7篇 |
1978年 | 3篇 |
1977年 | 3篇 |
1976年 | 2篇 |
1975年 | 1篇 |
1972年 | 1篇 |
1971年 | 1篇 |
排序方式: 共有513条查询结果,搜索用时 15 毫秒
1.
We determine the exact power of two-prover interactive proof systems introduced by Ben-Or, Goldwasser, Kilian, and Wigderson (1988). In this system, two all-powerful noncommunicating provers convince a randomizing polynomial time verifier in polynomial time that the inputx belongs to the languageL. We show that the class of languages having tow-prover interactive proof systems is nondeterministic exponential time.We also show that to prove membership in languages inEXP, the honest provers need the power ofEXP only.The first part of the proof of the main result extends recent techniques of polynomial extrapolation used in the single prover case by Lund, Fortnow, Karloff, Nisan, and Shamir.The second part is averification scheme for multilinearity of a function in several variables held by an oracle and can be viewed as an independent result onprogram verification. Its proof rests on combinatorial techniques employing a simple isoperimetric inequality for certain graphs: 相似文献
2.
应用M68HC908LJ12设计单相复费率电能表 总被引:2,自引:0,他引:2
介绍了以Motorola公司的M68HC908LJ12高性能单片机为CPU的单相复费率电能表的硬、软件设计和抗干扰设计。 相似文献
3.
本文分析了MC68HC908QT4单片机键盘模块的结构原理和寄存器功能,结合其键盘模块的特点,给出了具体的键盘应用实例。 相似文献
4.
Nadia Ben Atti Gema M. Diaz–Toca Henri Lombardi 《Applicable Algebra in Engineering, Communication and Computing》2006,17(1):75-82
We propose a slight modification of the Berlekamp-Massey Algorithm for obtaining the minimal polynomial of a given linearly
recurrent sequence. Such a modification enables to explain it in a simpler way and to adapt it to lazy evaluation.
partially supported by the Galois Theory and Explicit Methods in Arithmetic Project HPRN-CT-2000-00114
partially supported by the European Union funded project RAAG CT-2001-00271 相似文献
5.
Tracking characteristics on unstructured meshes is an important part of many numerical methods in computational fluid mechanics.
In this paper, we propose an efficient algorithm for characteristic tracking on two-dimensional unstructured triangular meshes.
Numerical experiments, including an example for applying this algorithm with the Eulerian-Lagrangian localized adjoint method
(ELLAM) to solve a convection-dominated convection-diffusion problem, are presented to demonstrate the efficiency of this
algorithm. 相似文献
6.
Joachim von zur Gathen 《Computational Complexity》1991,1(4):360-394
Optimal sequential and parallel algorithms for exponentiation in a finite field containing F
q
are presented, assuming thatqth powers can be computed for free. 相似文献
7.
本文以温度敏感性Pluronic F68与甲基丙烯酸缩水甘油酯(GMA)反应制备可光聚合的F68/GMA大分子单体,再在水溶液中与丙烯酸(AA)单体和甲基丙烯酸β-羟乙酯(HEMA)经紫外光原位聚合制备温度敏感水凝胶。详细地研究了水凝胶在不同温度下的溶胀性能。溶胀动力学测量的结果表明,该水凝胶具有温度响应性且具有可逆性。 相似文献
8.
Etienne Grandjean 《Computational Complexity》1994,4(1):62-106
An operation on integers isLTTC if it is computable in linear time on a Turing machine (using the dyadic or binary representation of integers). AnLTTC-RAM (respectivelyI-RAM) is a RAM which only uses LTTC operations (respectively operations in the setI).The address-free time complexity measure of a RAM evaluates execution times using the logarithmic cost criterion but assumes that addressing operations are performed for free. 相似文献
9.
Mahaney and others have shown that sparse self-reducible sets have time-efficient algorithms, and have concluded that it is unlikely that NP has sparse complete sets. Mahaney's work, intuition, and a 1978 conjecture of Hartmanis notwithstanding, nothing has been known about the density of complete sets for feasible classes until now. This paper shows that sparse self-reducible sets have space-efficient algorithms, and in many cases, even have time-space-efficient algorithms. We conclude that NL, NC
k
, AC
k
, LOG(DCFL), LOG(CFL), and P lack complete (or even Turing-hard) sets of low density unless implausible complexity class inclusions hold. In particular, if NL (respectively P,
k
, or NP) has a polylog-sparse logspace-hard set, then NLSC (respectively PSC,
k
, or PHSC), and if P has subpolynomially sparse logspace-hard sets, then PPSPACE. 相似文献
10.
Denis Thérien 《Computational Complexity》1994,4(4):383-388
Algebraic techniques are used to prove that any circuit constructed with MOD
q
gates that computes the AND function must use (n) gates at the first level. The best bound previously known to be valid for arbitraryq was (logn). 相似文献