全文获取类型
收费全文 | 22656篇 |
免费 | 1534篇 |
国内免费 | 902篇 |
学科分类
工业技术 | 25092篇 |
出版年
2024年 | 50篇 |
2023年 | 237篇 |
2022年 | 312篇 |
2021年 | 447篇 |
2020年 | 523篇 |
2019年 | 525篇 |
2018年 | 502篇 |
2017年 | 620篇 |
2016年 | 720篇 |
2015年 | 738篇 |
2014年 | 1270篇 |
2013年 | 1449篇 |
2012年 | 1566篇 |
2011年 | 1827篇 |
2010年 | 1352篇 |
2009年 | 1399篇 |
2008年 | 1256篇 |
2007年 | 1465篇 |
2006年 | 1235篇 |
2005年 | 1049篇 |
2004年 | 918篇 |
2003年 | 847篇 |
2002年 | 712篇 |
2001年 | 527篇 |
2000年 | 455篇 |
1999年 | 409篇 |
1998年 | 358篇 |
1997年 | 314篇 |
1996年 | 238篇 |
1995年 | 222篇 |
1994年 | 194篇 |
1993年 | 164篇 |
1992年 | 134篇 |
1991年 | 89篇 |
1990年 | 93篇 |
1989年 | 95篇 |
1988年 | 93篇 |
1987年 | 58篇 |
1986年 | 60篇 |
1985年 | 75篇 |
1984年 | 82篇 |
1983年 | 104篇 |
1982年 | 98篇 |
1981年 | 34篇 |
1980年 | 34篇 |
1979年 | 25篇 |
1978年 | 22篇 |
1977年 | 21篇 |
1975年 | 6篇 |
1955年 | 11篇 |
排序方式: 共有10000条查询结果,搜索用时 250 毫秒
81.
DIDS: rapidly prototyping configuration design systems 总被引:3,自引:0,他引:3
Alan Balkany William P. Birmingham Bruce Maxim Jay T. Runkel Iris D. Tommelein 《Journal of Intelligent Manufacturing》1994,5(1):33-45
The domain independent design system (DIDS) provides a set of tools for rapidly constructing new configuration design systems from a library of reusable software elements called mechanisms. A DIDS user begins by creating a model of the problem domain and the task to be automated. This includes describing a library of parts from which new artifacts could be configured, optimization and preference criteria, and functionality constraints. DIDS analyzes this input and automatically builds an operational prototype system by selecting and combining mechanisms. DIDS' ability to automate this process is derived from its model of configuration design, which enables reusable mechanisms to be identified and automatically selected based on a problem's characteristics. The use of DIDS is illustrated by showing how DIDS solved an elevator-configuration problem. 相似文献
82.
The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench. 相似文献
83.
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. 相似文献
84.
85.
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. 相似文献
86.
针对目前计算机视领域中普遍存在的大量非线性问题以及此带来的鲁棒必差、效率低等问题,结合目前比较新的解决非线性问题的方法,诸如同伦法、吴方法以及Adomain方法等,对一系列计算机视觉中的非线性问题给出了比较满意的解答。 相似文献
87.
Annual commercial poplar wood production in Turkey is about 3.6 million cubic meters, half of which comes from hybrid poplar I-214. The poplar plantation areas of Turkey are 70% of the poplar plantation areas of the Near and Middle Eastern countries, and nearly 5% of the world. In this study, unit times of standard operations were investigated in poplar nurseries and plantations in which new mechanical technology was applied and compared with traditional methods. Analyses of unit times were made on 11 treatments for poplar nurseries and nine treatments for poplar plantations; some new methods are also recommended. Mechanization methods based on new technologies give promising results in poplar nurseries and plantations. 相似文献
88.
89.
The general mixed μ problem has been shown to be NP hard, so that the exact solution of the general problem is computationally intractable, except for small problems. In this paper we consider not the general problem, but a particular special case of this problem, the rank one mixed μ problem. We show that for this case the mixed μ problem is equivalent to its upper bound (which is convex), and it can in fact be computed easily (and exactly). This special case is shown to be equivalent to the so-called ‘affine parameter variation’ problem (for a polynomial with perturbed coefficients) which has been examined in detail in the literature, and for which several celebrated ‘Kharitonov-type’ results have been proven. 相似文献
90.
This article is the second of two papers that review the field of spatially sensitive social scientific research into the links between social status and transport disadvantage. The first paper undertook a comprehensive review of the social scientific and transport planning literature to mark the level of development in the field and identify conceptual and methodological issues and constraints in this field of inquiry. The present article supports the advancement of socially and geographically sensitive transport research by opportunities for the development of more sophisticated spatial analytical methodologies. The approach we present is able to account for factors not previously addressed in either social or transport planning research, in particular the temporal dimensions of transport service accessibility. The article articulates the methodology through an empirical case study of socio-spatial transport disadvantage within the Gold Coast City. The article demonstrates that there are important theoretical and practical lessons to be gained for researchers and policy makers in addressing the social dimensions of transport and infrastructure provision. Further, the article argues that an attentiveness to new ways of combining and representing social and transport data-sets can promote policy relevant empirical social inquiry. The article also contributes in a productive way to the empirical knowledge of Australia's sixth-largest metropolitan area, which is often overlooked by urban scholars. 相似文献