全文获取类型
收费全文 | 442篇 |
免费 | 21篇 |
专业分类
电工技术 | 3篇 |
化学工业 | 101篇 |
金属工艺 | 1篇 |
机械仪表 | 9篇 |
建筑科学 | 32篇 |
矿业工程 | 2篇 |
能源动力 | 41篇 |
轻工业 | 58篇 |
水利工程 | 4篇 |
无线电 | 25篇 |
一般工业技术 | 90篇 |
冶金工业 | 13篇 |
原子能技术 | 3篇 |
自动化技术 | 81篇 |
出版年
2023年 | 3篇 |
2021年 | 8篇 |
2020年 | 3篇 |
2019年 | 7篇 |
2018年 | 10篇 |
2017年 | 14篇 |
2016年 | 11篇 |
2015年 | 10篇 |
2014年 | 16篇 |
2013年 | 29篇 |
2012年 | 22篇 |
2011年 | 30篇 |
2010年 | 14篇 |
2009年 | 18篇 |
2008年 | 21篇 |
2007年 | 24篇 |
2006年 | 21篇 |
2005年 | 26篇 |
2004年 | 8篇 |
2003年 | 15篇 |
2002年 | 13篇 |
2001年 | 4篇 |
2000年 | 6篇 |
1999年 | 12篇 |
1998年 | 5篇 |
1997年 | 4篇 |
1995年 | 4篇 |
1994年 | 5篇 |
1993年 | 7篇 |
1992年 | 6篇 |
1991年 | 6篇 |
1990年 | 6篇 |
1989年 | 3篇 |
1988年 | 4篇 |
1987年 | 2篇 |
1986年 | 3篇 |
1985年 | 7篇 |
1984年 | 3篇 |
1983年 | 4篇 |
1982年 | 9篇 |
1981年 | 3篇 |
1980年 | 6篇 |
1979年 | 2篇 |
1978年 | 3篇 |
1977年 | 3篇 |
1976年 | 2篇 |
1974年 | 2篇 |
1972年 | 5篇 |
1963年 | 2篇 |
1956年 | 1篇 |
排序方式: 共有463条查询结果,搜索用时 15 毫秒
1.
2.
3.
4.
A Comparison of Free BDDs and Transformed BDDs 总被引:2,自引:0,他引:2
Ordered binary decision diagrams (OBDDs) introduced by Bryant (IEEE Trans. on Computers, Vol. 35, pp. 677–691, 1986) have found a lot of applications in verification and CAD. Their use is limited if the OBDD size of the considered functions is too large. Therefore, a variety of generalized BDD models has been presented, among them FBDDs (free BDDs) and TBDDs (transformed BDDs). Here the quite tight relations between these models are revealed and their advantages and disadvantages are discussed. 相似文献
5.
Summary The complements of an AFL form an AFL if and only if is closed under length-preserving universal quantification. The complements of the context-sensitive languages form a principal AFL with a hardest set L
1. The context-sensitive languages are closed under complementation if and only if L
1 is context-sensitive.This research was supported in part by the National Science Foundation under Grants MCS76-10076 and DCR74-15091 相似文献
6.
Summary The amount of nondeterminism in a nondeterministic finite automaton (NFA) is measured by counting the minimal number of guessing points a string w has to pass through on its way to an accepting state. NFA's with more nondeterminism can achieve greater savings in the number of states over their deterministic counterparts than NFA's with less nondeterminism. On the other hand, for some nontrivial infinite regular languages a deterministic finite automaton (DFA) can already be quite succinct in the sense that NFA's need as many states (and even context-free grammars need as many nonterminals) as the minimal DFA has states.This research was supported in part by the National Science Foundation under Grant No. MCS 76-10076 相似文献
7.
A transformation is presented which converts any pushdown automaton (PDA)M
0 withn
0 states andp
0 stack symbols into an equivalent PDAM withn states and n
0
/n2
p
0 stack symbols into an equivalent ofn, 1n
0. This transformation preserves realtime behavior but not derterminism. The transformation is proved to be the best possible one in the following sense: for each choice of the parametersn
0 + 1 stack symbols for any desired value realtime PDAM
0 such that any equivalent PDAM (whether realtime or not) havingn states must have at least (n
0
/n)2 p0 stack symbols. Furthermore, the loss of deterministic behavior cannot be avoided, since for each choice ofn
0 andp
0, there is a deterministic PDAM
0 such that no equivalent PDAM with fewer states can be deterministic.This research was supported in part by the National Science Foundation under Grants MCS76-10076 and MCS76-10076A01. 相似文献
8.
Yanka Jeliazova Michael Kayser Beate Mildner Achim Walter Hassel Detlef Diesing 《Thin solid films》2006,500(1-2):330-335
The dielectric breakdown of thin (d = 3–4 nm) aluminium and tantalum oxide films was investigated by means of current voltage plots in metal/insulator/metal systems. Dielectric breakdown field strengths, EDB, of 0.6 GV m− 1 were found for both oxide types at room temperature. Differences appear in the temperature dependence of EDB. Tantalum oxide films show an unchanged breakdown behaviour for temperatures up to 420 K while aluminium oxide films lose already 80% of their EDB value in the same temperature range. Time-resolved investigations of the electric breakdown revealed intermediate states of both oxide types which were stable for several ms being characterized by an enhanced tunnel current. The breakdown voltage clearly scales with the oxide thickness for both oxide types. 相似文献
9.
10.
It is well known that allowing nondeterminism in a finite automaton can produce in the most extreme case an exponential savings in the number of states required to recognize a regular language. This paper studies situations intermediate between forbidding nondeterminism and allowing it. The amount of nondeterminism used by a finite automaton is quantified, so that the decrease in the size of the state space that occurs as the amount of nondeterminism that is permitted increases in increments can be studied. These intermediate situations are shown always to lie between two extremes:(1) there are no savings as the amount of nondeterminism increases incrementally, so that savings occur only when the amount of nondeterminism becomes unlimited;(2) each increment of nondeterminism results in additional savings, the number s of states decreasing approximately as s1/i, until exponential savings have been achieved after about i = logs/log log s increments. 相似文献