首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2434篇
  免费   288篇
  国内免费   207篇
电工技术   90篇
技术理论   1篇
综合类   377篇
化学工业   93篇
金属工艺   26篇
机械仪表   97篇
建筑科学   266篇
矿业工程   19篇
能源动力   36篇
轻工业   38篇
水利工程   14篇
石油天然气   15篇
武器工业   5篇
无线电   257篇
一般工业技术   164篇
冶金工业   21篇
原子能技术   8篇
自动化技术   1402篇
  2024年   6篇
  2023年   35篇
  2022年   51篇
  2021年   61篇
  2020年   77篇
  2019年   78篇
  2018年   80篇
  2017年   70篇
  2016年   83篇
  2015年   84篇
  2014年   145篇
  2013年   142篇
  2012年   154篇
  2011年   150篇
  2010年   153篇
  2009年   154篇
  2008年   171篇
  2007年   185篇
  2006年   144篇
  2005年   136篇
  2004年   99篇
  2003年   92篇
  2002年   59篇
  2001年   64篇
  2000年   55篇
  1999年   54篇
  1998年   49篇
  1997年   43篇
  1996年   38篇
  1995年   31篇
  1994年   25篇
  1993年   24篇
  1992年   37篇
  1991年   22篇
  1990年   14篇
  1989年   18篇
  1988年   11篇
  1987年   5篇
  1986年   6篇
  1985年   4篇
  1984年   2篇
  1983年   7篇
  1982年   5篇
  1981年   3篇
  1980年   1篇
  1979年   1篇
  1971年   1篇
排序方式: 共有2929条查询结果,搜索用时 15 毫秒
1.
Many database applications currently deal with objects in a metric space. Examples of such objects include unstructured multimedia objects and points of interest (POIs) in a road network. The M-tree is a dynamic index structure that facilitates an efficient search for objects in a metric space. Studies have been conducted on the bulk loading of large datasets in an M-tree. However, because previous algorithms involve excessive distance computations and disk accesses, they perform poorly in terms of their index construction and search capability. This study proposes two efficient M-tree bulk loading algorithms. Our algorithms minimize the number of distance computations and disk accesses using FastMap and a space-filling curve, thereby significantly improving the index construction and search performance. Our second algorithm is an extension of the first, and it incorporates a partitioning clustering technique and flexible node architecture to further improve the search performance. Through the use of various synthetic and real-world datasets, the experimental results demonstrated that our algorithms improved the index construction performance by up to three orders of magnitude and the search performance by up to 20.3 times over the previous algorithm.  相似文献   
2.
This paper deals with the problem of designing a robust static output feedback controller for polytopic systems. The current research that tackled this problem is mainly based on LMI method, which is conservative by nature. In this paper, a novel approach is proposed, which considers the design space of the controller parameters and iteratively partitions the space to small simplexes. Then, by assessing the stability in each simplex, the solution space for design parameters is directly determined. It has been theoretically proved that, if there exists a feasible solution in the design space, the algorithm can find it. To validate the result of the proposed approach, comparative simulation examples are given to illustrate the performance of the design methodology as compared to those of previous approaches.  相似文献   
3.
4.
The increased concentration of CO2 due to continuous breathing and no discharge of human beings in the manned closed space, like spacecraft and submarines, can be a threat to health and safety. Effective removal of low concentration CO2 from the manned closed space is essential to meet the requirements of long-term space or deep-sea exploration, which is an international frontier and trend. Ionic liquids (ILs), as a widespread and green solvent, already showed its excellent performance on CO2 capture and absorption, indicating its potential application in low concentration CO2 capture. In this review, we first summarized the current methods and strategies for direct capture from low concentration CO2 in both the atmosphere and manned closed spaces. Then, the multi-scale simulation methods of CO2 capture by ionic liquids are described in detail, including screening ionic liquids by COSMO-RS methods, capture mechanism by density functional theory and molecular dynamics simulation, and absorption process by computational fluid dynamics simulation. Lastly, some typical IL-based green technologies for low concentration CO2 capture, such as functionalized ILs, co-solvent systems with ILs, and supported materials based on ILs, are introduced, and analyzed the subtle possibility in manned closed spaces. Finally, we look forward to the technology and development of low concentration CO2 capture, which can meet the needs of human survival in closed space and proposed that supported materials with ionic liquids have great advantages and infinite possibilities in the vital area.  相似文献   
5.
基于分层加权的多边形图形匹配   总被引:6,自引:3,他引:3  
提出了一种适用凸凹多边形匹配的分层加权测度方法,在此方法中,对凹多边形、首先进行基于提取凸多边形的模式分解,对凹多边形添加辅助线,形成新的外接凸多边形、通过依次抽取外接凸多边形,将凹多边形表达为仅由凸多边形组成的多层拓扑结构,然后,利用预先定义的互为模板的相似度量准则和分层加权测度模型,计算得到多边形的相似度系数,从而实现凹多边形的匹配和检索。  相似文献   
6.
We study the problem of approximating one-dimensional nonintegrable codistributions by integrable ones and apply the resulting approximations to approximate feedback linearization of single-input systems. The approach derived in this paper allows a linearizable nonlinear system to be found that is close to the given system in a least-squares (L 2) sense. A linearly controllable single-input affine nonlinear system is feedback linearizable if and only if its characteristic distribution is involutive (hence integrable) or, equivalently, any characteristic one-form (a one-form that annihilates the characteristic distribution) is integrable. We study the problem of finding (least-squares approximate) integrating factors that make a fixed characteristic one-form close to being exact in anL 2 sense. A given one-form can be decomposed into exact and inexact parts using the Hodge decomposition. We derive an upper bound on the size of the inexact part of a scaled characteristic one-form and show that a least-squares integrating factor provides the minimum value for this upper bound. We also consider higher-order approximate integrating factors that scale a nonintegrable one-form in a way that the scaled form is closer to being integrable inL 2 together with some derivatives and derive similar bounds for the inexact part. This allows a linearizable nonlinear system that is close to the given system in a least-squares (L 2) sense together with some derivatives to be found. The Sobolev embedding techniques allow us to obtain an upper bound on the uniform (L ) distance between the nonlinear system and its linearizable approximation. This research was supported in part by NSF under Grant PYI ECS-9396296, by AFOSR under Grant AFOSR F49620-94-1-0183, and by a grant from the Hughes Aircraft Company.  相似文献   
7.
During the day, there are considerable variations in the climatic factors prevailing in these regions. This is especially so during the 24-hour daily cycle of the long, hot and dry summer (mid-May to midOctober). Such climatic conditions have had a considerable impact on the daily living pattern of family life in the same season, particularly in the urban areas. During the same 24-hour cycle, they have compelled the inhabitants to shift their living activities both vertically in section and horizontally in plan; they do this in pursuit of more acceptable, if not, desirable internal thermal environmental ambience.  相似文献   
8.
In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.  相似文献   
9.
刘晓东  孙圣和 《微电子学》2002,32(1):34-36,45
文章介绍了一种采用基本逻辑门单元的安全测试矢量集生成测试矢量的方法,该方法可以将搜索空间限制在2(n 1)种组合内。它采用故障支配和故障等效的故障传播、回退等技术,建立了一套从局部到全局的测试生成新方法。同时,利用基本门单元安全测试矢量的规律性,可以实现最小的内存容量要求。在一些基准电路的应用实例中,得到了满意的结果。  相似文献   
10.
In this paper we propose a soft-output RAKE receiver for CDMA mobile terminals using low spreading factor and/or high-order modulation constellations for high data rates. Based on the outputs of theRAKE correlator fingers, the receiver produces symbol or bit metrics for soft decision decoding. The formulation of these metrics is derived analytically taking into account the multipath propagation, interfering users and channel estimation errors. Simulations show thata performance gain is achieved when low spreading factors or high-order modulation constellations are used.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号