全文获取类型
收费全文 | 13512篇 |
免费 | 731篇 |
国内免费 | 908篇 |
专业分类
电工技术 | 359篇 |
综合类 | 776篇 |
化学工业 | 1129篇 |
金属工艺 | 418篇 |
机械仪表 | 1644篇 |
建筑科学 | 957篇 |
矿业工程 | 250篇 |
能源动力 | 518篇 |
轻工业 | 303篇 |
水利工程 | 268篇 |
石油天然气 | 390篇 |
武器工业 | 112篇 |
无线电 | 851篇 |
一般工业技术 | 702篇 |
冶金工业 | 325篇 |
原子能技术 | 121篇 |
自动化技术 | 6028篇 |
出版年
2024年 | 23篇 |
2023年 | 108篇 |
2022年 | 164篇 |
2021年 | 255篇 |
2020年 | 220篇 |
2019年 | 224篇 |
2018年 | 233篇 |
2017年 | 287篇 |
2016年 | 410篇 |
2015年 | 425篇 |
2014年 | 761篇 |
2013年 | 733篇 |
2012年 | 725篇 |
2011年 | 1103篇 |
2010年 | 737篇 |
2009年 | 746篇 |
2008年 | 831篇 |
2007年 | 991篇 |
2006年 | 933篇 |
2005年 | 802篇 |
2004年 | 741篇 |
2003年 | 740篇 |
2002年 | 550篇 |
2001年 | 430篇 |
2000年 | 318篇 |
1999年 | 308篇 |
1998年 | 275篇 |
1997年 | 227篇 |
1996年 | 170篇 |
1995年 | 158篇 |
1994年 | 111篇 |
1993年 | 71篇 |
1992年 | 78篇 |
1991年 | 49篇 |
1990年 | 43篇 |
1989年 | 44篇 |
1988年 | 30篇 |
1987年 | 9篇 |
1986年 | 16篇 |
1985年 | 19篇 |
1984年 | 13篇 |
1983年 | 10篇 |
1982年 | 9篇 |
1981年 | 7篇 |
1980年 | 5篇 |
1979年 | 2篇 |
1976年 | 3篇 |
1975年 | 1篇 |
1973年 | 1篇 |
1965年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
31.
合理的半径补偿算法能有效提高逆向工程的最终精度.在分析了现有半径补偿算法及其相应优缺点的基础上,针对三角网格法,通过Delaunay三角剖分思想的引入,提出了一种基于Delaunay三角剖分的半径补偿新算法,并对其中三角剖分的优化准则、边界点的处理等关键技术进行了详细的阐述,最后以增压器叶轮为例,实现了叶轮叶面测量数据的半径补偿. 相似文献
32.
为了增强模型检测工具的检测能力,拓宽模型检测技术的应用范围,对基于时间自动机的LTL性质模型检测进行了研究,对自动机的状态空间的存储方式和状态空间的展开过程进行了分析,讨论了LTL性质模型检测工具的检测流程和检测算法的实现策略对工具检测性能的影响,针对制约模型工具的检测能力和检测效率的因素,采取了一些相应的优化改进策略.采用了BDD(二叉决策图)共享存储技术和位编码压缩存储,较有效地减小了空间消耗,缓解了模型检测中状态爆炸引起的内存空间不足问题.与DTSpin等著名的模型检测工具进行了实验比较,取得了较好的实验结果. 相似文献
33.
Correlation between a dithering signal and the prediction error has been used for detecting model mismatch in univariate model based control systems. This paper extends that approach to MIMO control systems. A closed-loop cross-correlation method is presented to detect which specific input-output pairings of a model-based controller are mismatched. This method may be used in screening the complete set of models and in selecting candidate models for re-identification. The method first finds the rows and columns of the transfer function matrix that contain mismatch, and then the candidates are found by the intersection of the said rows and columns. Placing the system under partial control, whereby one or more of the manipulated variables are held constant, can be used to further reduce the set of candidate models. 相似文献
34.
基于MVC模式的Struts框架研究 总被引:5,自引:0,他引:5
Struts框架是当前Web应用开发中最流行的开发框架之一。在介绍了MVC模式的基础上对Struts框架的体系结构和工作流程作了介绍,并结合数据库连接池实现了一个电子商务网站的客户登录系统。 相似文献
35.
目前,制约竞争情报发展的一个关键问题就是情报的收集与分析手段比较落后,远远不能胜任竞争情报系统所蕴含的特点和功效。本文将竞争情报作为一种特殊的知识,吸纳知识发现理论成果和方法,提升现有竞争情报系统的构造技术,真正做到快速、全面、准确和智能化的竞争情报生成和利用。 相似文献
36.
Certain behavioral properties of distributed systems are difficult to express in interleaving semantics, whereas they are naturally expressed in terms of partial orders of events or, equivalently, Mazurkiewicz traces. Two examples of such properties are serializability of a database and global snapshots of concurrent systems. Recently, a modest extension for LTL by an operator that expresses snapshots, has been proposed. It combines the ease of linear (interleaving) specification with this useful partial order concept. The new construct allows one to assert that a global snapshot appeared in the past, perhaps not in the observed execution sequence, but possibly in an equivalent one. 相似文献
37.
We propose a data mining approach to predict human wine taste preferences that is based on easily available analytical tests at the certification step. A large dataset (when compared to other studies in this domain) is considered, with white and red vinho verde samples (from Portugal). Three regression techniques were applied, under a computationally efficient procedure that performs simultaneous variable and model selection. The support vector machine achieved promising results, outperforming the multiple regression and neural network methods. Such model is useful to support the oenologist wine tasting evaluations and improve wine production. Furthermore, similar techniques can help in target marketing by modeling consumer tastes from niche markets. 相似文献
38.
Per Bjesse 《Formal Methods in System Design》2009,35(1):56-72
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial
netlists. Our aim is to construct an algorithm that allows us to check both bounded and unbounded properties using standard
bit-level model checking methods as back-end decision procedures, while incurring minimum runtime penalties for designs that
are unsuited to our analysis. We do this by combining modifications of several previously known techniques into a static abstraction
algorithm which is guaranteed to produce bit-level netlists that are as small or smaller than the original bitblasted designs.
We evaluate our algorithm on several challenging hardware components. 相似文献
39.
40.