全文获取类型
收费全文 | 549篇 |
免费 | 11篇 |
国内免费 | 25篇 |
专业分类
电工技术 | 20篇 |
综合类 | 23篇 |
化学工业 | 83篇 |
金属工艺 | 29篇 |
机械仪表 | 20篇 |
建筑科学 | 21篇 |
矿业工程 | 4篇 |
能源动力 | 8篇 |
轻工业 | 20篇 |
水利工程 | 2篇 |
石油天然气 | 9篇 |
无线电 | 41篇 |
一般工业技术 | 32篇 |
冶金工业 | 6篇 |
原子能技术 | 21篇 |
自动化技术 | 246篇 |
出版年
2023年 | 3篇 |
2022年 | 12篇 |
2021年 | 11篇 |
2020年 | 8篇 |
2019年 | 5篇 |
2018年 | 1篇 |
2017年 | 8篇 |
2016年 | 11篇 |
2015年 | 3篇 |
2014年 | 10篇 |
2013年 | 17篇 |
2012年 | 18篇 |
2011年 | 42篇 |
2010年 | 26篇 |
2009年 | 33篇 |
2008年 | 34篇 |
2007年 | 44篇 |
2006年 | 45篇 |
2005年 | 31篇 |
2004年 | 28篇 |
2003年 | 27篇 |
2002年 | 17篇 |
2001年 | 13篇 |
2000年 | 9篇 |
1999年 | 14篇 |
1998年 | 12篇 |
1997年 | 14篇 |
1996年 | 5篇 |
1995年 | 4篇 |
1994年 | 11篇 |
1993年 | 11篇 |
1992年 | 9篇 |
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篇 |
排序方式: 共有585条查询结果,搜索用时 525 毫秒
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.
Metallo-Supramolecular Polymerization: A Route to Easy-To-Process Organic/Inorganic Hybrid Materials
Mark Burnworth Daniel Knapton Stuart J. Rowan Christoph Weder 《Journal of Inorganic and Organometallic Polymers and Materials》2007,17(1):91-103
The self-assembly polymerization of ditopic macromolecules via metal–ligand binding is a facile route for the preparation
of metallo-supramolecular polymers (MSPs). We herein review our recent work focused on the synthesis and investigation of
metallo-supramolecular polymers based on 2,6-bis(1′-methylbenzimidazolyl)pyridine endcapped poly(p-phenylene ethynylene) and poly(p-xylene) macromonomers. These materials are readily solution-processable and display appreciable mechanical properties as
well as other attractive properties such as specific opto/electrical functions or high thermal stability. Our work illustrates
that metallosupramolecular polymerization offers an attractive approach to assemble high-molecular-weight macromolecules from
well-defined, easy to process precursors. Variation of the ditopic ligands and metal ions allows one to easily tailor the
desired properties.
This paper is dedicated to Professor Ian Manners and his scientific accomplishments. 相似文献
9.
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. 相似文献
10.
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. 相似文献