全文获取类型
收费全文 | 13678篇 |
免费 | 1782篇 |
国内免费 | 1960篇 |
专业分类
电工技术 | 340篇 |
综合类 | 1635篇 |
化学工业 | 249篇 |
金属工艺 | 111篇 |
机械仪表 | 723篇 |
建筑科学 | 394篇 |
矿业工程 | 115篇 |
能源动力 | 31篇 |
轻工业 | 344篇 |
水利工程 | 95篇 |
石油天然气 | 134篇 |
武器工业 | 33篇 |
无线电 | 2071篇 |
一般工业技术 | 621篇 |
冶金工业 | 185篇 |
原子能技术 | 25篇 |
自动化技术 | 10314篇 |
出版年
2024年 | 219篇 |
2023年 | 695篇 |
2022年 | 708篇 |
2021年 | 720篇 |
2020年 | 495篇 |
2019年 | 537篇 |
2018年 | 293篇 |
2017年 | 382篇 |
2016年 | 403篇 |
2015年 | 522篇 |
2014年 | 980篇 |
2013年 | 796篇 |
2012年 | 958篇 |
2011年 | 1059篇 |
2010年 | 1055篇 |
2009年 | 1116篇 |
2008年 | 1129篇 |
2007年 | 1034篇 |
2006年 | 841篇 |
2005年 | 695篇 |
2004年 | 568篇 |
2003年 | 419篇 |
2002年 | 361篇 |
2001年 | 276篇 |
2000年 | 228篇 |
1999年 | 160篇 |
1998年 | 133篇 |
1997年 | 105篇 |
1996年 | 102篇 |
1995年 | 80篇 |
1994年 | 54篇 |
1993年 | 62篇 |
1992年 | 60篇 |
1991年 | 52篇 |
1990年 | 58篇 |
1989年 | 42篇 |
1988年 | 6篇 |
1987年 | 2篇 |
1986年 | 11篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1982年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
61.
62.
63.
INTENET网上化学化工信息资源和检索方法 总被引:1,自引:0,他引:1
Internet时网化学化工信息资源相当丰富,根据实际应用,本文推荐了专利、期刊、专业网站及搜索引擎和检索方法。 相似文献
64.
正店铺没有流量,也不知道如何推广。今天给大家分享一下思路,去看看自己的网站或者淘宝店铺为什么没有流量和客户!我们先分析下淘宝店铺为什么没有流量没有客户吧!先把基础性工作做好我这里说的基础性工作是指淘宝店铺装修。对于企业来说,如果连自己的店面都不装修的话,你让来你店铺的人怎么 相似文献
65.
李志萍 《电脑编程技巧与维护》2014,(4):6-8,17
运用随机游走模型提出了一种基于维基百科的语义相关度的计算方法。维基百科中包含了丰富的链接结构,这些链接结构一定程度上能够反应词条之间概念上的相关性,以内容链接和外部链接关系来计算基于维基百科的语义相关度,并在WS-353数据集上进行了实验,取得了较好的准确性。 相似文献
66.
由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ(x)的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的. 相似文献
67.
基于颜色矩的图像检索算法研究 总被引:3,自引:0,他引:3
为克服基于文字的图像检索技术对大型图像数据库实施困难、描述不完整等弊端,对RGB颜色矩和Munsell颜色矩进行研究,RGB颜色矩只适用于简单图像,Munsell颜色矩无法判断图片具体信息。为此,采用信息融合技术进行检索判断层的融合,选择多颜色空间融合颜色矩,在分析传统融合算法基础上,提出一种改进融合算法NewcombMNZ。实验结果表明,该算法能提高检索精准度和排序值,对噪声具有良好的鲁棒性,且能减少检索性能较差的特征对融合结果的影响,适用于特征数量较少的情况。 相似文献
68.
当前将本体引入到语义虚拟环境的研究,只是将领域本体的可视化信息用本体表示,并未发挥本体本身具有的优势。为此,提出一种基于本体的语义虚拟环境查询与推理模型。利用OWL语言统一描述虚拟场景图形内容与语义信息,并分别对两者进行查询,在图形内容查询过程中引入本体的推理方法推理出隐含的图形内容信息,然后查询需要的信息。在语义信息查询时引入语义搜索方法,利用基于语义距离计算本体概念相似度的方法计算语义虚拟环境本体中类之间的相似度,搜索与被查询实例语义相似度最大的实例,并借助推理找出其间的关系。对语义虚拟家具商店进行本体的查询与推理,结果证明了该模型的可行性。 相似文献
69.
针对采用单一方法提取图像特征时检索率不高的问题,结合非下采样剪切波变换(NSST)统计特征和旋转不变的局部相位量化(RI-LPQ)原理,提出一种纹理图像检索方法。非下采样剪切波不仅具有方向选择性及平移不变性,而且可以对图像进行有效的稀疏表示,与传统小波相比,可有效捕捉图像的边缘轮廓等纹理信息,与非下采样轮廓波相比,具有更高的计算效率。利用广义高斯分布函数对图像NSST高频子带系数的统计特征进行分析,RI-LPQ描述算子直接提取图像特征,采用具有权重系数的相似性测度公式对Brodatz图像库进行纹理图像检索。实验结果表明,与传统小波和轮廓波的方法相比,NSST统计特征方法的平均检索率分别提高4.77%和1.44%,纹理图像检索方法的平均检索率分别提高7.36%和1.98%。 相似文献
70.
Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。 相似文献