全文获取类型
收费全文 | 2007篇 |
免费 | 109篇 |
国内免费 | 4篇 |
专业分类
电工技术 | 54篇 |
综合类 | 3篇 |
化学工业 | 525篇 |
金属工艺 | 34篇 |
机械仪表 | 64篇 |
建筑科学 | 87篇 |
矿业工程 | 4篇 |
能源动力 | 60篇 |
轻工业 | 221篇 |
水利工程 | 21篇 |
石油天然气 | 5篇 |
无线电 | 166篇 |
一般工业技术 | 330篇 |
冶金工业 | 191篇 |
原子能技术 | 18篇 |
自动化技术 | 337篇 |
出版年
2023年 | 20篇 |
2022年 | 84篇 |
2021年 | 92篇 |
2020年 | 38篇 |
2019年 | 34篇 |
2018年 | 59篇 |
2017年 | 47篇 |
2016年 | 69篇 |
2015年 | 45篇 |
2014年 | 69篇 |
2013年 | 120篇 |
2012年 | 78篇 |
2011年 | 129篇 |
2010年 | 101篇 |
2009年 | 117篇 |
2008年 | 120篇 |
2007年 | 102篇 |
2006年 | 82篇 |
2005年 | 67篇 |
2004年 | 67篇 |
2003年 | 62篇 |
2002年 | 50篇 |
2001年 | 30篇 |
2000年 | 31篇 |
1999年 | 27篇 |
1998年 | 59篇 |
1997年 | 44篇 |
1996年 | 30篇 |
1995年 | 18篇 |
1994年 | 23篇 |
1993年 | 17篇 |
1992年 | 14篇 |
1991年 | 6篇 |
1990年 | 13篇 |
1989年 | 12篇 |
1988年 | 11篇 |
1987年 | 7篇 |
1986年 | 4篇 |
1985年 | 12篇 |
1984年 | 10篇 |
1983年 | 10篇 |
1982年 | 13篇 |
1981年 | 11篇 |
1980年 | 10篇 |
1979年 | 11篇 |
1978年 | 5篇 |
1977年 | 10篇 |
1976年 | 6篇 |
1975年 | 3篇 |
1910年 | 2篇 |
排序方式: 共有2120条查询结果,搜索用时 9 毫秒
1.
We describe a Gauss–Seidel algorithm for optimizing a three‐dimensional unstructured grid so as to conform to a given metric. The objective function for the optimization process is based on the maximum value of an elemental residual measuring the distance of any simplex in the grid to the local target metric. We analyse different possible choices for the objective function, and we highlight their relative merits and deficiencies. Alternative strategies for conducting the optimization are compared and contrasted in terms of resulting grid quality and computational costs. Numerical simulations are used for demonstrating the features of the proposed methodology, and for studying some of its characteristics. Copyright © 2004 John Wiley & Sons, Ltd. 相似文献
2.
3.
Manual responses can be defined by differing response parameters. Any of them may generate a Simon effect. For all those response parameters, the same implementation of the Simon effect (in terms of subserving mechanism) is assumed. In 3 experiments, subjects had to respond with either fingers or sticks. Temporal properties of the Simon effect changed with response parameters relevant in a task. The Simon effect for manual responses decayed. For stick responses, in which the action goal differed from the anatomical mapping of the acting hand, a sustained Simon effect was observed. However, if the action goal for stick responses was not instrumental for selecting the correct response, the Simon effect decayed. The findings are consistent with the notion of different mechanisms involved in generating a Simon effect. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
4.
Anna Artho Konrad Grob Carlo Mariani 《European Journal of Lipid Science and Technology》1993,95(5):176-180
The previous on-line LC-GC method for the direct analysis of the minor components in oils and fats (without cleavage of esters) was modified: The free alcohols/sterols were silylated instead of acylated, and the LC fraction transferred to GC is widened to range from the beginning of the LC chromatogram up to the sterol esters. Silylation eliminated the problem that acylation may esterify some free alcohols with free fatty acids from the oil if the oil or fat is of high acidity. Widening of the LC fraction to include squalene and the tocopherols added information to that previously obtained. 相似文献
5.
C. A. Hall L. E. De Carlo M. L. Wenner N. L. Troyani 《International journal for numerical methods in engineering》1993,36(21):3617-3627
The computational method for large deformation plasticity called differential equations on a manifold (DEM) has previously been shown to be effective for axisymmetric and plane strain sheet metal forming problems. The method has now been formulated for in-plane stretching problems, incorporated into a computer code, and applied to several problems. The code's performance is robust and accurate, as evidenced by a comparison with other published results. Incorporation of an automatic mesh generator significantly reduces data preparation time. 相似文献
6.
7.
This paper concerns several analytical problems related to linear polyhedra in euclidean three-dimensional-space. Symbolic formulas for line, surface, and volume integration are given, and it is shown that domain integrals are computable in polynomial time. In particular, it is shown that mass, first and second moments, and products of inertia are computable inO(E) time, whereE is the number of edges of the boundary. Simple symbolic expressions for the normal derivatives of domain integrals are also derived. In particular, it is shown that they are closely linked to the topology of the integration domain, as well as that they are expressible as combinations of domain integrals over lower-order domains (faces, edges, and vertices). The symbolic results presented in this paper may lead to an easy incorporation of integral constraints, for example, concerning mass and inertia, in the engineering designing process of solid objects. 相似文献
8.
Carlo Ghezzi Claudio Menghi Amir Molzam Sharifloo Paola Spoletini 《Requirements Engineering》2014,19(3):231-255
Software development processes have been evolving from rigid, pre-specified, and sequential to incremental, and iterative. This evolution has been dictated by the need to accommodate evolving user requirements and reduce the delay between design decision and feedback from users. Formal verification techniques, however, have largely ignored this evolution and even when they made enormous improvements and found significant uses in practice, like in the case of model checking, they remained confined into the niches of safety-critical systems. Model checking verifies if a system’s model \(\mathcal{M}\) satisfies a set of requirements, formalized as a set of logic properties \(\Phi\) . Current model-checking approaches, however, implicitly rely on the assumption that both the complete model \(\mathcal{M}\) and the whole set of properties \(\Phi\) are fully specified when verification takes place. Very often, however, \(\mathcal{M}\) is subject to change because its development is iterative and its definition evolves through stages of incompleteness, where alternative design decisions are explored, typically to evaluate some quality trade-offs. Evolving systems specifications of this kind ask for novel verification approaches that tolerate incompleteness and support incremental analysis of alternative designs for certain functionalities. This is exactly the focus of this paper, which develops an incremental model-checking approach for evolving Statecharts. Statecharts have been chosen both because they are increasingly used in practice natively support model refinements. 相似文献
9.
The addition reactions of ethylene oxide and/or propylene oxide catalyzed by KOH and initiated with compounds containing free hydroxyls are followed by secondary reactions which vary the expected molecular weight. By using ethylene oxide, diols are formed and by using propylene oxide, both diols and unsaturated monofunctional compounds are formed. These products are usually characterized by their hydroxyl number. The average molecular weight is found by taking into consideration the starter functionality only. There are often some behavioral differences among similar products owing to the different quantity and chain length of the secondary products contained therein. The secondary products are analyzed and the quantity of the secondary products were determined from the hydroxyl number values and from the unsaturation of reagents and products. In the case of monofunctional adducts using the calculation method, the results have been experimentally confirmed. 相似文献
10.
The enzymic activity of the GTP-dependent acyl-CoA synthase isolated from rat liver mitochondria is affected by removal and
addition of lecithin (3). Purified preparations of this enzyme contain bound lecithin. In this presentation the nature of
the lecithin-protein interaction is examined. From binding measurements at different temperatures it is possible to postulate
which type of secondary valence bonds is holding the protein and lecithin together.
Presented at AOCS Meeting, Chicago, October 1967. 相似文献