全文获取类型
收费全文 | 60196篇 |
免费 | 7247篇 |
国内免费 | 5939篇 |
专业分类
电工技术 | 7109篇 |
技术理论 | 1篇 |
综合类 | 9699篇 |
化学工业 | 2324篇 |
金属工艺 | 1421篇 |
机械仪表 | 4866篇 |
建筑科学 | 2424篇 |
矿业工程 | 1573篇 |
能源动力 | 1383篇 |
轻工业 | 1483篇 |
水利工程 | 1619篇 |
石油天然气 | 1182篇 |
武器工业 | 900篇 |
无线电 | 5665篇 |
一般工业技术 | 4522篇 |
冶金工业 | 1019篇 |
原子能技术 | 303篇 |
自动化技术 | 25889篇 |
出版年
2024年 | 244篇 |
2023年 | 646篇 |
2022年 | 1101篇 |
2021年 | 1245篇 |
2020年 | 1632篇 |
2019年 | 1624篇 |
2018年 | 1494篇 |
2017年 | 1953篇 |
2016年 | 2197篇 |
2015年 | 2369篇 |
2014年 | 3491篇 |
2013年 | 4320篇 |
2012年 | 4256篇 |
2011年 | 4702篇 |
2010年 | 3604篇 |
2009年 | 3910篇 |
2008年 | 4018篇 |
2007年 | 4614篇 |
2006年 | 4016篇 |
2005年 | 3480篇 |
2004年 | 2828篇 |
2003年 | 2481篇 |
2002年 | 2119篇 |
2001年 | 1798篇 |
2000年 | 1610篇 |
1999年 | 1330篇 |
1998年 | 1033篇 |
1997年 | 922篇 |
1996年 | 748篇 |
1995年 | 630篇 |
1994年 | 562篇 |
1993年 | 418篇 |
1992年 | 363篇 |
1991年 | 309篇 |
1990年 | 229篇 |
1989年 | 214篇 |
1988年 | 165篇 |
1987年 | 105篇 |
1986年 | 70篇 |
1985年 | 59篇 |
1984年 | 83篇 |
1983年 | 75篇 |
1982年 | 63篇 |
1981年 | 48篇 |
1980年 | 40篇 |
1979年 | 39篇 |
1978年 | 20篇 |
1977年 | 35篇 |
1976年 | 20篇 |
1975年 | 16篇 |
排序方式: 共有10000条查询结果,搜索用时 5 毫秒
151.
K. Y. Sze W. K. Chan T. H. H. Pian 《International journal for numerical methods in engineering》2002,55(7):853-878
This paper presents eight‐node solid‐shell elements for geometric non‐linear analysis of elastic shells. To subdue shear, trapezoidal and thickness locking, the assumed natural strain method and an ad hoc modified generalized laminate stiffness matrix are employed. A selectively reduced integrated element is formulated with its membrane and bending shear strain components taken to be constant and equal to the ones evaluated at the element centroid. With the generalized stresses arising from the modified generalized laminate stiffness matrix assumed to be independent from the ones obtained from the displacement, an extended Hellinger–Reissner functional can be derived. By choosing the assumed generalized stresses similar to the assumed stresses of a previous solid element, a hybrid‐stress solid‐shell element is formulated. Commonly employed geometric non‐linear homogeneous and laminated shell problems are attempted and our results are close to those of other state‐of‐the‐art elements. Moreover, the hybrid‐stress element converges more readily than the selectively reduced integrated element in all benchmark problems. Copyright © 2002 John Wiley & Sons, Ltd. 相似文献
152.
J. Dingel 《Formal Aspects of Computing》2002,14(2):123-197
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to
the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists.
Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these
problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus
allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The
calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction
of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are
independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated.
Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification
notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus
rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement
relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality.
The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing
program and vice versa.
Received July 2001 / Accepted in revised form May 2002 相似文献
153.
球罐活性缺陷的模糊评定方法 总被引:6,自引:0,他引:6
根据国内外有关标准和文献,利用模糊数学中的模糊描述和隶属度等概念,首次采用多级模糊综合评定理论,分层次地把活性缺陷的主要监测信息(即声发射源信息)和专家们的经验考虑在内,建立在用球形贮罐声发射源严重度多级模糊综合评定模型和方法,并编制计算机数据分析和处理程序,使评定结果趋于更合理和可靠.并给出在用球形贮罐声发射源严重度多级模糊综合评定算例,结果表明,该评定方法可以达到定量化的程度,与局部无损复验结果有良好的一致性. 相似文献
154.
模糊Petri网及知识表示 总被引:6,自引:0,他引:6
蔡之华 《计算机应用与软件》1994,11(3):30-36
在建造专家系统中虽然有很多种知识表示方法,但都有不尽人意的地方,本文试图用一种新的方法-Petri网模型来表示知识。本文给出了Fuzzzy Petri网和广义Fuzzy Petri网两种模型,并给出了相应的推理算法,一旦专家知识用Petri网表示后,根据Petri网固有的特性,我们就能处理专家系统中并行推理、无回溯推理,反向推理等问题。 相似文献
155.
The Logarithmic Image Processing Model: Connections with Human Brightness Perception and Contrast Estimators 总被引:1,自引:0,他引:1
Jean-Charles Pinoli 《Journal of Mathematical Imaging and Vision》1997,7(4):341-358
The logarithmic image processing (LIP) model is amathematical framework based on abstract linear mathematicswhich provides a set of specific algebraic and functionaloperations that can be applied to the processing of intensityimages valued in a bounded range. The LIP model has been provedto be physically justified in the setting of transmitted lightand to be consistent with several laws and characteristics ofthe human visual system. Successful application examples havealso been reported in several image processing areas, e.g.,image enhancement, image restoration, three-dimensional imagereconstruction, edge detection and image segmentation.The aim of this article is to show that the LIP model is atractable mathematical framework for image processing which isconsistent with several laws and characteristics of humanbrightness perception. This is a survey article in the sensethat it presents (almost) previously published results in arevised, refined and self-contained form. First, an introductionto the LIP model is exposed. Emphasis will be especially placedon the initial motivation and goal, and on the scope of themodel. Then, an introductory summary of mathematicalfundamentals of the LIP model is detailed. Next, the articleaims at surveying the connections of the LIP model with severallaws and characteristics of human brightness perception, namelythe brightness scale inversion, saturation characteristic, Weber'sand Fechner's laws, and the psychophysical contrast notion. Finally,it is shown that the LIP model is a powerful and tractable framework for handling the contrast notion. This is done througha survey of several LIP-model-based contrast estimators associated with special subparts (point, pair of points,boundary, region) of intensity images, that are justified bothfrom a physical and mathematical point of view. 相似文献
156.
线性时变系统的区间稳定性与鲁棒稳定性 总被引:7,自引:0,他引:7
本文应用向量比较定理研究线性时变系统的区间稳定性和具非线性时变摄动的线性时变系统的鲁棒稳定性,所得的新结果包含文献的一些主要结果作为特例,本文的研究方法说明向量比较方法是分析区间稳定性和鲁棒稳定性的一种自然而有力的工具。 相似文献
157.
Let us consider n data measurements of a univariate process that have been altered by random errors. We assume that an underlying model function has a substantially smaller number of turning points than the observed ones. We propose algorithms that make least the sum of the moduli of the errors by requiring k monotonic sections, alternately increasing and decreasing, in the sequence of the smoothed values. The main difficulty in this calculation is that the optimal positions of the joins of the monotonic sections have to be found automatically among so many combinations that it is impossible to test each one separately. Moreover, the calculation seems to be very intractable to general optimization techniques because O(nk ) local minima can occur. It is shown that dynamic programming can be used for separating the data into optimal disjoint sections of adjacent data, where each section requires a single L1 monotonic calculation. This procedure is highly efficient, requiring at most O(kn2 ) computer operations and O(n) best L1 monotonic calculations to subranges of data for a global minimum. 相似文献
158.
Brian J. Ross 《Formal Aspects of Computing》1997,9(3):331-348
Imperative programs can be inverted directly from their forward-directed program code with the use of logical inference. The relational semantics of imperative computations treats programs as logical relations over the observable state of the environment, which is taken to be the state of the variables in memory. Program relations denote both forward and backward computations, and the direction of the computation depends upon the instantiation pattern of arguments in the relation. This view of inversion has practical applications when the relational semantics is treated as a logic program. Depending on the logic programming inference scheme used, execution of this relational program can compute the inverse of the imperative program. A number of nontrivial imperative computations can be inverted with minimal logic programming tools. 相似文献
159.
本文介绍了大坝施工混凝土质量的评价系统软件的设计思路和设计成果。它利用现代计算机技术和应用模糊数学理论评价混凝土重力坝和拱坝单块和整体的质量。在采用模糊综合评价工程质量中,对不同工艺环节,对坝体不同部位,鉴于其质量要求的差异应赋予不同的权重,在权重的取值上采用了专家调查排序,定量转化的方法是比较适宜的。在程序设计中,评价数学模型采用了BASIC程序,访膜块通过*TXT文件实现了与整个大坝混凝土质量微机管理系统的接口及数据传递。操作运行方便灵活。 相似文献
160.
This paper presents an efficient method which provides the optimal generation mix and the optimal generation construction process. The approximation method in which the dynamic programming technique and gradient method are combined is applied to determine the optimal generation mix with hydropower generation technologies. The successive approximations dynamic programming (SADP) technique, which is very suitable for high-dimensional multistage decision process problems, is used for obtaining the optimal generation construction process. The effectiveness and feasibility of the developed technique are demonstrated on a practical power system model which has five types of generation technologies including a hydropower generation technology. 相似文献