全文获取类型
收费全文 | 5601篇 |
免费 | 252篇 |
国内免费 | 8篇 |
专业分类
电工技术 | 58篇 |
综合类 | 19篇 |
化学工业 | 1374篇 |
金属工艺 | 117篇 |
机械仪表 | 132篇 |
建筑科学 | 187篇 |
矿业工程 | 11篇 |
能源动力 | 253篇 |
轻工业 | 563篇 |
水利工程 | 37篇 |
石油天然气 | 14篇 |
武器工业 | 1篇 |
无线电 | 291篇 |
一般工业技术 | 906篇 |
冶金工业 | 896篇 |
原子能技术 | 73篇 |
自动化技术 | 929篇 |
出版年
2023年 | 52篇 |
2022年 | 124篇 |
2021年 | 157篇 |
2020年 | 104篇 |
2019年 | 90篇 |
2018年 | 205篇 |
2017年 | 207篇 |
2016年 | 220篇 |
2015年 | 154篇 |
2014年 | 203篇 |
2013年 | 432篇 |
2012年 | 311篇 |
2011年 | 359篇 |
2010年 | 276篇 |
2009年 | 297篇 |
2008年 | 231篇 |
2007年 | 208篇 |
2006年 | 194篇 |
2005年 | 149篇 |
2004年 | 108篇 |
2003年 | 113篇 |
2002年 | 97篇 |
2001年 | 70篇 |
2000年 | 69篇 |
1999年 | 59篇 |
1998年 | 246篇 |
1997年 | 170篇 |
1996年 | 114篇 |
1995年 | 73篇 |
1994年 | 81篇 |
1993年 | 78篇 |
1992年 | 39篇 |
1991年 | 24篇 |
1990年 | 30篇 |
1989年 | 27篇 |
1988年 | 24篇 |
1987年 | 21篇 |
1986年 | 17篇 |
1985年 | 27篇 |
1984年 | 31篇 |
1983年 | 14篇 |
1982年 | 18篇 |
1981年 | 35篇 |
1980年 | 18篇 |
1979年 | 24篇 |
1977年 | 39篇 |
1976年 | 55篇 |
1975年 | 17篇 |
1974年 | 12篇 |
1973年 | 20篇 |
排序方式: 共有5861条查询结果,搜索用时 0 毫秒
81.
Lars Mönch John W. Fowler Stéphane Dauzère-Pérès Scott J. Mason Oliver Rose 《Journal of Scheduling》2011,14(6):583-599
In this paper, we discuss scheduling problems in semiconductor manufacturing. Starting from describing the manufacturing process,
we identify typical scheduling problems found in semiconductor manufacturing systems. We describe batch scheduling problems,
parallel machine scheduling problems, job shop scheduling problems, scheduling problems with auxiliary resources, multiple
orders per job scheduling problems, and scheduling problems related to cluster tools. We also present important solution techniques
that are used to solve these scheduling problems by means of specific examples, and report on known implementations. Finally,
we summarize some of the challenges in scheduling semiconductor manufacturing operations. 相似文献
82.
83.
(O)mür (O)cal 《国际自动化与计算杂志》2011,8(2):254-261
The coefficient diagram method (CDM) is one of the most effective control design methods. It creates control systems that
are very stable and robust with responses without the overshoot and small settling time. Furthermore, all control parameters
of the control systems are changed by varying some adjustment parameters in CDM depending on the demands. The model reference
adaptive systems (MRAS) are the systems that follow and change the control parameters according to a given model reference
system. There are several methods to combine the CDM with MRAS. One of these is to use the MRAS parameters as a gain of the
CDM parameters. Another is to directly use the CDM parameters as the MRAS parameters. In the industrial applications, the
system parameters can be changed frequently, but if the controller, by self-tuning, recalculates and develops its own parameters
continuously, the system becomes more robust. Also, if the poles of the controlled systems approach the jw axis, the response of the closed-loop MRAS becomes more and more insufficient. In order to obtain better results, CDM is
combined with a self-tuning model reference adaptive system. Systems controlled by a model reference adaptive controller give
responses with small or without overshoot, have small settling times, and are more robust. Thus, in this paper, a hybrid combination
of MRAS and CDM is developed and two different control structures of the control signal are investigated. The two methods
are compared with MRAS and applied to real-time process control systems. 相似文献
84.
Petra Punčochářová-Pořízková Jiří Fürst Jaromír Horáček Karel Kozel 《Mathematics and computers in simulation》2010
This study deals with a numerical solution of a 2D unsteady flow of a compressible viscous fluid in a channel for low inlet airflow velocity. The unsteadiness of the flow is caused by a prescribed periodic motion of a part of the channel wall with large amplitudes, nearly closing the channel during oscillations. The channel is a simplified model of the glottal space in the human vocal tract and the flow can represent a model of airflow coming from the trachea, through the glottal region with periodically vibrating vocal folds, and to the human vocal tract. 相似文献
85.
We consider a system of Maxwell’s and Landau-Lifshitz-Gilbert equations describing magnetization dynamics in micromagnetism. The problem is discretized by a convergent, unconditionally stable finite element method. A multigrid preconditioned Uzawa type method for the solution of the algebraic system resulting from the discretized Maxwell’s equations is constructed. The efficiency of the method is demonstrated on numerical experiments and the results are compared to those obtained by simplified models. 相似文献
86.
In this paper, regression analyses (RA) are presented for the neutronic calculation of ThO2 mixed 244CmO2 fuel with different neutronic parameters for various coolants, natural lithium, Li20Sn80 and Flinabe, respectively. The tritium breeding ratio (TBR), energy multiplication factor (M), total fission rate (Σf) and 232Th(n, γ) reaction is computed by XSDRNPM. In addition, this numerical results are estimated by RA depends on neutronic parameters and the empirical equations for neutronic performance are acquired. The results obtained by using XSDRNPM and the results of the RA, obtained empirical equations, are compared. The empirical equations indicate that RA can successfully be used for the prediction of the neutronic performance parameters in the hybrid reactor with a high degree of accuracy. In addition, correlation matrix is calculated to determined statistical relationships between variables TBR, M, Σf, and 232Th(n, γ). 相似文献
87.
Ö. Özgür Tanr?överAuthor Vitae Semih BilgenAuthor Vitae 《Computer Standards & Interfaces》2011,33(5):448-464
Conceptual models are used in understanding and communicating the domain of interest during analysis phase of system development. As they are used in early phases, errors and omissions may propagate to later phases and may be very costly to correct. This paper proposes a framework for evaluating conceptual models when represented in a domain specific language based on UML constructs. The framework describes the main aspects to be considered when conceptual models are represented in a domain specific language, presents a classification of semantic issues and some evaluation indicators. The indicators can, in principle, identify situations in the models where inconsistencies or incompleteness might occur. Whether these are real concerns might depend on domain semantics, hence these are semantic, not syntactic checks. The use of the proposed review framework is illustrated in the context of two conceptual models in a domain specific notation, KAMA. With reviews based on the framework, it is possible to spot semantic issues which are not noticed by case tools and help the analyst to identify more information about the domain. 相似文献
88.
Michael Leuschel J��r?me Falampin Fabian Fritz Daniel Plagge 《Formal Aspects of Computing》2011,23(6):683-709
In this paper we describe the successful application of the ProB tool for data validation in several industrial applications. The initial case study centred on the San Juan metro system
installed by Siemens. The control software was developed and formally proven with B. However, the development contains certain
assumptions about the actual rail network topology which have to be validated separately in order to ensure safe operation.
For this task, Siemens has developed custom proof rules for Atelier B. Atelier B, however, was unable to deal with about 80
properties of the deployment (running out of memory). These properties thus had to be validated by hand at great expense,
and they need to be revalidated whenever the rail network infrastructure changes. In this paper we show how we were able to
use ProB to validate all of the about 300 properties of the San Juan deployment, detecting exactly the same faults automatically in
a few minutes that were manually uncovered in about one man-month. We have repeated this task for three ongoing projects at
Siemens, notably the ongoing automatisation of the line 1 of the Paris Métro. Here again, about a man month of effort has
been replaced by a few minutes of computation. This achievement required the extension of the ProB kernel for large sets as well as an improved constraint propagation algorithm. We also outline some of the effort and features
that were required in moving from a tool capable of dealing with medium-sized examples towards a tool able to deal with actual
industrial specifications. We also describe the issue of validating ProB, so that it can be integrated into the SIL4 development chain at Siemens. 相似文献
89.
In this paper, a novel classification rule extraction algorithm which has been recently proposed by authors is employed to
determine the causes of quality defects in a fabric production facility in terms of predetermined parameters like machine
type, warp type etc. The proposed rule extraction algorithm works on the trained artificial neural networks in order to discover
the hidden information which is available in the form of connection weights in them. The proposed algorithm is mainly based
on a swarm intelligence metaheuristic which is known as Touring Ant Colony Optimization (TACO). The algorithm has a hierarchical
structure with two levels. In the first level, a multilayer perceptron type neural network is trained and its weights are
extracted. After obtaining the weights, in the second level, the TACO-based algorithm is applied to extract classification
rules. The main purpose of the present work is to determine and analyze the most effective parameters on the quality defects
in fabric production. The parameters and their levels which give the best quality results are tried to be discovered and evaluated
by making use of the proposed algorithm. It is also aimed to compare the accuracy of proposed algorithm with several other
rule-based algorithms in order to present its competitiveness. 相似文献
90.