全文获取类型
收费全文 | 1645篇 |
免费 | 134篇 |
国内免费 | 101篇 |
专业分类
电工技术 | 15篇 |
综合类 | 158篇 |
化学工业 | 442篇 |
金属工艺 | 36篇 |
机械仪表 | 36篇 |
建筑科学 | 23篇 |
矿业工程 | 20篇 |
能源动力 | 118篇 |
轻工业 | 75篇 |
水利工程 | 24篇 |
石油天然气 | 10篇 |
武器工业 | 1篇 |
无线电 | 184篇 |
一般工业技术 | 283篇 |
冶金工业 | 23篇 |
原子能技术 | 25篇 |
自动化技术 | 407篇 |
出版年
2024年 | 4篇 |
2023年 | 64篇 |
2022年 | 35篇 |
2021年 | 49篇 |
2020年 | 64篇 |
2019年 | 52篇 |
2018年 | 48篇 |
2017年 | 94篇 |
2016年 | 89篇 |
2015年 | 68篇 |
2014年 | 118篇 |
2013年 | 136篇 |
2012年 | 101篇 |
2011年 | 153篇 |
2010年 | 126篇 |
2009年 | 124篇 |
2008年 | 94篇 |
2007年 | 135篇 |
2006年 | 83篇 |
2005年 | 53篇 |
2004年 | 28篇 |
2003年 | 16篇 |
2002年 | 20篇 |
2001年 | 15篇 |
2000年 | 8篇 |
1999年 | 16篇 |
1998年 | 7篇 |
1997年 | 7篇 |
1996年 | 5篇 |
1995年 | 3篇 |
1994年 | 7篇 |
1993年 | 5篇 |
1992年 | 2篇 |
1991年 | 4篇 |
1990年 | 6篇 |
1989年 | 5篇 |
1988年 | 8篇 |
1987年 | 9篇 |
1986年 | 10篇 |
1985年 | 1篇 |
1984年 | 3篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1980年 | 2篇 |
1979年 | 1篇 |
排序方式: 共有1880条查询结果,搜索用时 10 毫秒
61.
62.
#SMT问题是SMT问题的扩展,它需要计算一阶逻辑公式F所有可满足解的个数.目前,该问题已被广泛应用于编译器优化、硬件设计、软件验证和自动化推理等领域.随着#SMT问题的广泛应用,设计可以求解较大规模#SMT实例的求解器亟待解决.基于以上原因,设计了一种求解较大规模#SMT实例的近似求解器——VolComputeWithLocalSearch.它在现有的#SMT精确求解算法的基础上加入差分进化算法,通过调用体积计算工具qhull,进而给出#SMT问题的近似解.算法采用群体规则减少体积计算的次数,差分进化方法快速地枚举各个有解的区域.另外,从理论上证明了VolComputeWithLocalSearch求解器可以得到精确解的下界,使其可以应用在软件测试等只需要知道问题下界的领域.实验结果表明:VolComputeWithLocalSearch求解器是稳定的、具有快速的求解能力,并在高维问题上具有很好的表现. 相似文献
63.
64.
Yonggang Ji 《Computational statistics & data analysis》2012,56(4):827-839
A stochastic search variable selection approach is proposed for Bayesian model selection in binary and tobit quantile regression. A simple and efficient Gibbs sampling algorithm was developed for posterior inference using a location-scale mixture representation of the asymmetric Laplace distribution. The proposed approach is then illustrated via five simulated examples and two real data sets. Results show that the proposed method performs very well under a variety of scenarios, such as the presence of a moderately large number of covariates, collinearity and heterogeneity. 相似文献
65.
66.
包装器是一种能够从网页中自动抽取数据并将其转换为结构化数据的软件程序。现有的包装器生成系统多是半自动化的,需要用户具有关于目标页面的先验知识,而且大多只能处理简单结构数据,而不能很好地处理具有嵌套结构的数据。提出了一种基于后缀树的包装器自动生成方法,生成的包装器不仅可以处理简单结构数据,还可以处理嵌套结构数据,具有较低的时间复杂度,有一定的实用价值。 相似文献
67.
《Polymer》1982,23(6):849-854
The free-radical polymerization of vinyl chloroformate and of some of its derivatives, e.g., vinyl carbamates and vinyl carbonates, has been studied. Peroxydicarbonates are the most convenient initiators, especially for vinyl chloroformate polymerization carried out in bulk and in methylene chloride solution at 35°C since they lead to high molecular-weight polymers and quantitative yields. The structure of these polymers has been examined by i.r., 1H and 13C n.m.r. spectroscopy. 相似文献
68.
69.
一种基于形态学编码的地形骨架特征提取方法 总被引:1,自引:0,他引:1
鉴于剖面识别骨架特征提取方法(profile recognition and polygon breaking algorithm, PPA)准确性差、不能提取特殊地形等问题,提出了一种结合形态学的剖面识别骨架特征提取方法(profile recognition and polygon breaking algorithm based on morphology erosion, MEPPA).通过剖面识别提取原始的骨架特征候选点,根据方向系数连接成多边形条带,在此基础上提出了生成标量特征域的填充算法;引入形态学区域细化思想,提出了形态编码和骨架特征形态简化算法,将特征域简化为骨架特征线;为了满足各领域对矢量骨架特征的需求,提出了标量特征线复原、检测与优化剔除等策略,准确地复原了矢量骨架特征模型;提出了保留外分支和环路特征的解决方案,解决了传统骨架特征提取方法不能保留较长的主干线以及不能提取环路地形特征的问题.在真实数据上进行了实验研究,结果表明提取的骨架特征形态的整体效果优于传统方法. 相似文献
70.
在膜分离中,薄膜超薄化对促进气体传输至关重要,而将膜厚降至亚微米级则极具挑战性.本文中,我们提出表面胶转化法来合成亚微米厚度的纯硅MFI分子筛膜.通过精细调控前驱体化学组成制备了低浸润性的黏性胶,有效防止凝胶从氧化铝载体表面渗透至空隙中.在晶种的诱导下,辅以少量水蒸气,表面凝胶经历了直接和完全晶化过程,形成了厚度为~5... 相似文献