全文获取类型
收费全文 | 1479篇 |
免费 | 74篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 18篇 |
综合类 | 2篇 |
化学工业 | 467篇 |
金属工艺 | 46篇 |
机械仪表 | 56篇 |
建筑科学 | 30篇 |
矿业工程 | 4篇 |
能源动力 | 60篇 |
轻工业 | 131篇 |
水利工程 | 2篇 |
石油天然气 | 3篇 |
无线电 | 104篇 |
一般工业技术 | 224篇 |
冶金工业 | 107篇 |
原子能技术 | 6篇 |
自动化技术 | 296篇 |
出版年
2023年 | 6篇 |
2022年 | 21篇 |
2021年 | 93篇 |
2020年 | 36篇 |
2019年 | 41篇 |
2018年 | 38篇 |
2017年 | 54篇 |
2016年 | 60篇 |
2015年 | 49篇 |
2014年 | 85篇 |
2013年 | 119篇 |
2012年 | 76篇 |
2011年 | 83篇 |
2010年 | 71篇 |
2009年 | 71篇 |
2008年 | 78篇 |
2007年 | 50篇 |
2006年 | 57篇 |
2005年 | 32篇 |
2004年 | 37篇 |
2003年 | 44篇 |
2002年 | 21篇 |
2001年 | 14篇 |
2000年 | 18篇 |
1999年 | 13篇 |
1998年 | 20篇 |
1997年 | 24篇 |
1996年 | 22篇 |
1995年 | 19篇 |
1994年 | 18篇 |
1993年 | 17篇 |
1992年 | 13篇 |
1991年 | 12篇 |
1990年 | 7篇 |
1989年 | 6篇 |
1988年 | 12篇 |
1987年 | 7篇 |
1986年 | 4篇 |
1985年 | 7篇 |
1984年 | 9篇 |
1983年 | 18篇 |
1982年 | 6篇 |
1981年 | 8篇 |
1980年 | 10篇 |
1979年 | 5篇 |
1978年 | 7篇 |
1977年 | 7篇 |
1973年 | 4篇 |
1971年 | 6篇 |
1965年 | 3篇 |
排序方式: 共有1556条查询结果,搜索用时 421 毫秒
51.
Logic programming requires that the programmer convert a problem into a set of constraints based on predicates. Choosing the predicates and introducing appropriate constraints can be intricate and error prone. If the problem domain is structured enough, we can let the programmer express the problem in terms of more abstract, higher‐level constraints. A compiler can then convert the higher‐level program into a logic‐programming formalism. The compiler writer can experiment with alternative low‐level representations of the higher‐level constraints in order to achieve a high‐quality translation. The programmer can then take advantage of both a reduction in complexity and an improvement in runtime speed for all problems within the domain. We apply this analysis to the domain of tabular constraint‐satisfaction problems. Examples of such problems include logic puzzles solvable on a hatch grid and combinatorial problems such as graph coloring and independent sets. The proper abstractions for these problems are rows, columns, entries, and their interactions. We present a higher‐level language, Constraint Lingo, dedicated to problems in this domain. We also describe how we translate programs from Constraint Lingo into lower‐level logic formalisms such as the logic of propositional schemata. These translations require that we choose among competing lower‐level representations in order to produce efficient results. The overall effectiveness of our approach depends on the appropriateness of Constraint Lingo, our ability to translate Constraint Lingo programs into high‐quality representations in logic formalisms, and the efficiency with which logic engines can compute answer sets. We comment on our computational experience with these tools in solving both graph problems and logic puzzles. Copyright © 2004 John Wiley & Sons, Ltd. 相似文献
52.
Eric Chin David Chieng Victor Teh Marek Natkaniec Krzysztof Loziak Janusz Gozdecki 《Wireless Networks》2014,20(3):379-396
Through time domain observation, typical wireless signal strength values seems to exhibit some forms of mean-reverting and discontinuous “jumps” behaviour. Motivated by this fact, we propose a wireless link prediction and triggering (LPT) technique using a modified mean-reverting Ornstein–Uhlenbeck (OU) jump diffusion process. The proposed technique which we refer as OU-LPT is an integral component of wireless mesh network monitoring system developed by ICT FP7 CARrier grade wireless MEsh Network project. In particular, we demonstrate how this technique can be applied in the context of wireless mesh networks to support link switching or handover in the event of predicted link degradation or failure. The proposed technique has also been implemented and evaluated in a real-time experimental testbed. The results show that OU-LPT technique can significantly enhance the reliability of wireless links by reducing the rate of false triggers compared to a conventional linear prediction technique and therefore offers a new direction on how wireless link prediction, triggering and switching process can be conducted in the future. 相似文献
53.
In the paper, an existence theorem for a Lagrange optimal control problem connected with a two-directionally continuous variant of a linear autonomous repetitive process is derived. As a corollary, existence of an optimal solution in the case of cost functional depending on a fixed ??end-function?? is obtained. 相似文献
55.
Adam Pietras Aleksandra Węglowska Beata Rams Marek Węglowski 《Welding International》2016,30(2):112-118
The article presents the results of research on the use of the new technology of friction welding with a non-wearing tool for welding pipe ends with lids. The pipes and lids were made of aluminium alloy EN AW 2017A, non-weldable by conventional methods. The aim of the study was to verify the possibility of welding the lid to the pipe using the FSW method as well as a new method with a tool with specially profiled friction surface. The article presents the results of structural tests and strength tests of the weld joints obtained using the new technique. 相似文献
56.
Estimation in nonlinear regression usually requires a considerable amount of computational work. If it is possible to linearize the original formulas, the linear regression is sometimes applied to transformed linear relations. The method of quasilinearized regression (first order approximation of nonlinear regression), comparable to linear regression, with respect to computational effort, is described in this paper. This method gives substantially better results than linear regression of linearized formula. 相似文献
57.
58.
Jerzy Jedlinski Jean Luc Grosseau Poussard Jarosław Dabek Kazimierz Kowalski Marek Nocun Grzegorz Smola Zbigniew Żurek 《Oxidation of Metals》2017,88(3-4):371-382
The very early stages of the oxidation of an Fe20Cr2Al alloy, unmodified and ion-implanted by aluminium, yttrium and a combination of both elements, Al and Y, were studied at 1100 °C in oxygen using two-stage-oxidation exposures with 18O2 as a tracer and subsequent characterisation of the scales using SIMS analyses of distribution of oxygen isotopes and oxide-related negative ion clusters, SEM observations of the surface morphology and photoluminescence spectroscopy analysis of the phase composition. The scales formed in all cases, except for the Al-implanted alloy, exhibited layered structures, with the outer part comprising Fe- and Cr-rich oxide, and the inner part being Al2O3, which grew due to a mixed outward–inward mechanism . The alumina sub-layers contained the transient oxides and α-Al2O3. Implanted Al significantly affected the mechanism of the scale growth, providing that the scale consisted essentially of α-Al2O3, and grew via a mixed inward-outward mechanism typical for scales on alumina formers. 相似文献
59.
Information Systems and e-Business Management - The aim of the article is to present a framework enabling the quick and practical assessment of the nature of business processes, necessary to select... 相似文献
60.
Jan Machowski Piotr Kacejko Łukasz Nogal Marek Wancerz 《Control Engineering Practice》2013,21(5):583-592
This paper deals with supplementary control of a MTDC network designed for the stability enhancement of a AC power system. The proposed control is a WAMS-based control modulating the real and reactive power at the terminals of the DC network. Relevant control formulas have been derived for a linear multi-machine system model with the application of the direct Lyapunov method. Validity and robustness of the proposed control has been verified by computer simulation for a multi-machine test system using a nonlinear model and detailed modeling of power system components. The proposed control is robust and insensitive to changes in the network configuration and loading conditions in the AC power system. In the case, when more of the MTDC networks and/or the HVDC links are used in one interconnected power system the proposed stabilizing control produces additive damping i.e. each controlled network element contributes to the positive damping. Some practical aspects have also been discussed. The proposed WAMS-based stabilizing control of the MTDC network is innovative by both its main concept and the derivation of control formulas using the direct Lyapunov method. 相似文献