全文获取类型
收费全文 | 122篇 |
免费 | 4篇 |
专业分类
电工技术 | 2篇 |
化学工业 | 17篇 |
金属工艺 | 3篇 |
轻工业 | 4篇 |
石油天然气 | 6篇 |
无线电 | 22篇 |
一般工业技术 | 18篇 |
冶金工业 | 27篇 |
自动化技术 | 27篇 |
出版年
2022年 | 2篇 |
2021年 | 5篇 |
2020年 | 4篇 |
2018年 | 2篇 |
2016年 | 4篇 |
2015年 | 1篇 |
2014年 | 2篇 |
2013年 | 7篇 |
2012年 | 5篇 |
2011年 | 7篇 |
2010年 | 9篇 |
2009年 | 7篇 |
2008年 | 2篇 |
2007年 | 6篇 |
2006年 | 4篇 |
2005年 | 3篇 |
2004年 | 3篇 |
2003年 | 2篇 |
2002年 | 2篇 |
2001年 | 2篇 |
2000年 | 1篇 |
1998年 | 8篇 |
1997年 | 7篇 |
1995年 | 2篇 |
1994年 | 1篇 |
1993年 | 3篇 |
1991年 | 1篇 |
1990年 | 2篇 |
1988年 | 1篇 |
1987年 | 3篇 |
1986年 | 2篇 |
1985年 | 2篇 |
1983年 | 1篇 |
1981年 | 3篇 |
1978年 | 4篇 |
1977年 | 1篇 |
1976年 | 1篇 |
1973年 | 3篇 |
1972年 | 1篇 |
排序方式: 共有126条查询结果,搜索用时 15 毫秒
51.
52.
53.
Ittai Balaban Amir Pnueli Yaniv Saʼar Lenore D. Zuck 《Journal of Computer and System Sciences》2012,78(3):853-876
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of relying on a relatively simple theory of linked lists in order to support abstraction computation. To facilitate the application of this encoding, we provide a program transformation that, given a program operating on a multi-linked heap without sharing, transforms it into one over a single-parent heap. It is then possible to apply shape analysis by predicate and ranking abstraction. The technique has been successfully applied on examples with lists (reversal and bubble sort) and trees with of fixed arity (balancing of, and insertion into, a binary sort tree). 相似文献
54.
Existing non-linear quantitive feedback theory (QFT) techniques are based on some form of linearization of the non-linear plant, where the quality of the controller is a function of the equivalent linearized plant. We propose a new approach to non-linear QFT, based on local linearization of the non-linear plant about closed-loop acceptable outputs. Here, acceptable outputs appear as uncertain parameters in an equivalent linear family, being a generalization of the more traditional linearization about equilibrium points. In some applications, this technique may give better results and is an alternative when the other existing techniques fail. A comparison of this technique to previous ones using an uncertain Van der Pol plant considered previously in the QFT literature, and a pH control system, is presented. 相似文献
55.
56.
Thin amorphous films of chalcogenide Te48As18Ge6Si28 were prepared and their current-voltage (I–V) characteristics were examined. Memory switching effects were observed which were stable and reproducible, but the switching voltage was found to depend on the restoring voltage in a regular way for cyclic switching. Furthermore, the time delay for an applied voltage pulse to cause switching may be related to the I–V curve prior the switching. This dependence seems to support an electronic mechanism of switching. 相似文献
57.
Erlich Y Gordon A Brand M Hannon GJ Mitra PP 《IEEE transactions on information theory / Professional Technical Group on Information Theory》2010,56(2):706-723
Over the past three decades we have steadily increased our knowledge on the genetic basis of many severe disorders. Nevertheless, there are still great challenges in applying this knowledge routinely in the clinic, mainly due to the relatively tedious and expensive process of genotyping. Since the genetic variations that underlie the disorders are relatively rare in the population, they can be thought of as a sparse signal. Using methods and ideas from compressed sensing and group testing, we have developed a cost-effective genotyping protocol to detect carriers for severe genetic disorders. In particular, we have adapted our scheme to a recently developed class of high throughput DNA sequencing technologies. The mathematical framework presented here has some important distinctions from the 'traditional' compressed sensing and group testing frameworks in order to address biological and technical constraints of our setting. 相似文献
58.
Adaptive bit loading algorithms are proposed for multi-channel systems in general, and orthogonal frequency division multiplexing
in particular. A discrete coding-modulation adaptation is considered. Constant power allocation is assumed for all subchannels,
while the bit error rate on different subchannels is unconstrained. The proposed algorithms are computationally efficient
and require limited amount of feedback resources. Their performance compare favorably with other practical schemes known in
the art. 相似文献
59.
Eran Avraham Malachi Noked Yaniv Bouhadana Abraham Soffer Doron Aurbach 《Electrochimica acta》2010,56(1):441-447
In previous papers we reported on attempts to improve the performance of water desalination using capacitive de-ionization (CDI) processes by understanding the ions transport and adsorption/desorption behavior of activated carbon electrodes as a function of the applied potential. We also investigated the charge efficiency in CDI processes of brackish water in symmetrical cells containing identical highly porous activated carbon electrodes. In this work, we study the influence of oxygen-containing surface groups on activated carbon electrodes on the adsorption/desorption behavior of ions in brackish water. A special methodology was developed in order to estimate the charge efficiency of CDI processes which include the ability to prepare various kinds of activated carbon electrodes (ACEs) with controlled porosity and surface groups, measuring the PZC (potential of zero charge) of ACE in solutions and simultaneous adsorption and desorption of ions into/from them. The presence of polar, oxygen containing surface groups on ACE does not affect the electroadsorption behavior of Na+ and Cl− ions into porous carbons whose average pore size is greater than 0.58 nm, apart of considerably changing the PZC. This results in a shift of the entire curves of ion adsorption vs. potential. The possible use of ACE with oxidized surfaces in CDI processes is discussed. 相似文献
60.
Design of PID controllers satisfying gain margin and sensitivity constraints on a set of plants 总被引:3,自引:0,他引:3
O. Yaniv Author Vitae 《Automatica》2004,40(1):111-116
This paper presents a method for the design of PID-type controllers, including those augmented by a filter on the D element, satisfying a required gain margin and an upper bound on the (complementary) sensitivity for a finite set of plants. Important properties of the method are: (i) it can be applied to plants of any order including non-minimum phase plants, plants with delay, plants characterized by quasi-polynomials, unstable plants and plants described by measured data, (ii) the sensors associated with the PI terms and the D term can be different (i.e., they can have different transfer function models), (iii) the algorithm relies on explicit equations that can be solved efficiently, (iv) the algorithm can be used in near real-time to determine a controller for on-line modification of a plant accounting for its uncertainty and closed-loop specifications, (v) a single plot can be generated that graphically highlights tradeoffs among the gain margin, (complementary) sensitivity bound, low-frequency sensitivity and high-frequency sensor noise amplification, and (vi) the optimal controller for a practical definition of optimality can readily be identified. 相似文献