全文获取类型
收费全文 | 8649篇 |
免费 | 1335篇 |
国内免费 | 1582篇 |
专业分类
电工技术 | 175篇 |
综合类 | 1156篇 |
化学工业 | 30篇 |
金属工艺 | 34篇 |
机械仪表 | 433篇 |
建筑科学 | 318篇 |
矿业工程 | 34篇 |
能源动力 | 8篇 |
轻工业 | 137篇 |
水利工程 | 22篇 |
石油天然气 | 5篇 |
武器工业 | 15篇 |
无线电 | 1084篇 |
一般工业技术 | 326篇 |
冶金工业 | 63篇 |
原子能技术 | 2篇 |
自动化技术 | 7724篇 |
出版年
2024年 | 191篇 |
2023年 | 585篇 |
2022年 | 470篇 |
2021年 | 522篇 |
2020年 | 376篇 |
2019年 | 443篇 |
2018年 | 215篇 |
2017年 | 263篇 |
2016年 | 272篇 |
2015年 | 323篇 |
2014年 | 552篇 |
2013年 | 531篇 |
2012年 | 652篇 |
2011年 | 683篇 |
2010年 | 723篇 |
2009年 | 760篇 |
2008年 | 814篇 |
2007年 | 818篇 |
2006年 | 574篇 |
2005年 | 430篇 |
2004年 | 320篇 |
2003年 | 236篇 |
2002年 | 154篇 |
2001年 | 130篇 |
2000年 | 107篇 |
1999年 | 80篇 |
1998年 | 64篇 |
1997年 | 56篇 |
1996年 | 53篇 |
1995年 | 43篇 |
1994年 | 18篇 |
1993年 | 23篇 |
1992年 | 19篇 |
1991年 | 24篇 |
1990年 | 13篇 |
1989年 | 15篇 |
1988年 | 2篇 |
1987年 | 2篇 |
1986年 | 10篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
111.
112.
作战文书关键信息抽取是实现自动标图系统的关键。现有研究多以文书处理流程设计为主,未深入分析军标用法,信息抽取不完整。为完整提取信息,提出了基于分词处理与语义角色标注(SRL)相结合的文书关键信息抽取方法,实验证明方法有效、可行。基于文中方法所设计的信息抽取系统,已在某集团军内推广、应用。 相似文献
113.
论文提出一种面向信号处理应用的并行软件可视化开发框架。首先采用SDF图对信号处理应用进行分析,建立并行信号处理计算软件元模型,使用EBNF范式描述元模型。其次使用Eclispe GMF建模技术构建基于元模型的信号处理并行计算软件可视化建模平台,并实现了图形模型到XM L目标模型的解析转换。最后运用实例验证了该框架的有效性。 相似文献
114.
为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证。 Abdelmajid 在 Kerberos 协议中添加用户物理位置作为新的认证因素得到改进协议,并用改进 BAN 逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议 Kerberos *,结合可识别性和管辖性构造一种新的管辖规则,运用改进 GNY 逻辑对协议 Ker-beros *进行安全性分析。分析结果表明,协议 Kerberos *是安全的,运用改进 GNY 逻辑证明过程比改进 BAN 逻辑更详细、更严谨,此方法可运用于其它类似协议形式化分析。 相似文献
115.
形式化方法是分析验证安全协议的重要技术之一。模型检测是用在形式化方法中实现形式化自动验证的重要手段。基于 Promela 语言,将 P .Maggi 和 R .Sisto 提出的建模方法扩展到建立包含三个合法主体和一个攻击者的复杂模型,枚举法和打表法同时被运用在求解攻击者模型需要表示的知识项过程中,提高了协议建模效率,保证了建模准确性。以Woo-Lam 协议为例,运用 Spin 工具成功发现一个已知著名攻击。此通用方法适用于类似复杂协议形式化分析与验证。 相似文献
116.
孙滨刘林 《计算机与数字工程》2014,(2):187-189,209
论文提出一个基于语义的文本间的相似度算法,以文本的特征词相似度为基础,来计算文本间的相似度,利用聚类算法对文本簇进行聚类.实验结果证明基于知网的文本语义相似度方法在对文本相似度计算以及文本聚类方面,能有效提高聚类的效果. 相似文献
117.
软件过程的性能是由软件过程模型和软件过程实例化两方面因素决定,如果对软件过程进行了不恰当的实例化,会导致成本超支、进度延期、甚至项目失败.已有的过程描述法不足以分析实例化过程模型,由于没有考虑实例化阶段的时间资源约束,语法结构正确的过程模型并不能保证过程执行的正确性.提出一种带时间和资源约束的实例化过程模型验证方法,为目前已有的s-TRISO/ML建模语言增加时间和资源约束属性,然后提出了从s-TRISO/ML模型转换成时间自动机的转换方法和实现算法,利用已有的分析工具Uppaal对转换得到的时间自动机的性质进行验证,得到一个合理的实例化模型,从而为真实的开发流程提供指导. 相似文献
118.
基于子树匹配的文本相似度算法 总被引:1,自引:0,他引:1
为降低文本向量维度,提高文本间语义相似度度量性能,综合利用统计方法与语义词典的优势,提出一种文本相似度算法.基于文本生成元数据特征向量,减少向量空间维度,设计基于子树匹配的文本相似度算法,借助子树加速对文本相似度的计算,并通过将文本元数据特征向量与子树进行相似度语义匹配,提高文本相似度计算时语义相似度度量的准确性.该算法考虑到对元数据中同义词的语义理解,加强文本之间相似度度量时的语义覆盖能力.实验结果表明文中所提出的方法是可行和有效的. 相似文献
119.
为了解决传统中文文本去重准确率低的问题,本文提出了一种基于语义指纹和LCS的文本去重方法。针对中文文本,预处理后抽取出文本摘要,然后使用tf-idf算法分别得出文本内容特征向量和摘要特征向量,分别将这两个向量作为simhash算法的输入,计算得到文章的内容指纹和摘要指纹。计算两个文本对应的两个指纹的汉明距离,代入本文公式,最终得到这两文本的指纹距离;使用指纹对文本对进行初步筛选,对判定为相似的两个文本使用LCS算法进行进一步对比,避免误判,最终实现中文文本快速去重。实验过程中,通过与LCS算法、simhash算法等多种算法的结果进行对比,可以体现该方法在算法精确度方面的优势,同时,该方法的运行速度优势也能较好地支持大数据量文本的去重操作。 相似文献
120.
事件关系检测是一项面向事件之间逻辑关系的自然语言处理技术。事件关系识别的核心任务是以事件为基本语义单元,通过分析事件的篇章结构信息及语义特征,实现事件逻辑关系的深层检测。该文首次建立一套事件关系检测的任务和研究体系,包括任务定义、关系体系划分、语料采集与标注、评价方法等。同时,该文提出了一种跨场景推理的事件关系检测方法,该方法认为,具有相同事件场景的“事件对”,往往具有相同的事件关系类型。该文提出的基于跨场景推理的事件关系检测方法在针对四大类事件关系类型的检测精确率为54.21%。 相似文献