全文获取类型
收费全文 | 521篇 |
免费 | 38篇 |
国内免费 | 25篇 |
专业分类
电工技术 | 16篇 |
综合类 | 18篇 |
化学工业 | 6篇 |
金属工艺 | 30篇 |
机械仪表 | 43篇 |
建筑科学 | 1篇 |
矿业工程 | 2篇 |
能源动力 | 1篇 |
轻工业 | 9篇 |
水利工程 | 2篇 |
石油天然气 | 1篇 |
武器工业 | 1篇 |
无线电 | 323篇 |
一般工业技术 | 15篇 |
冶金工业 | 1篇 |
自动化技术 | 115篇 |
出版年
2024年 | 1篇 |
2023年 | 4篇 |
2022年 | 4篇 |
2021年 | 5篇 |
2020年 | 3篇 |
2019年 | 5篇 |
2018年 | 4篇 |
2017年 | 7篇 |
2016年 | 6篇 |
2015年 | 9篇 |
2014年 | 19篇 |
2013年 | 15篇 |
2012年 | 21篇 |
2011年 | 24篇 |
2010年 | 28篇 |
2009年 | 34篇 |
2008年 | 41篇 |
2007年 | 38篇 |
2006年 | 43篇 |
2005年 | 41篇 |
2004年 | 38篇 |
2003年 | 35篇 |
2002年 | 30篇 |
2001年 | 18篇 |
2000年 | 20篇 |
1999年 | 22篇 |
1998年 | 16篇 |
1997年 | 18篇 |
1996年 | 13篇 |
1995年 | 7篇 |
1994年 | 7篇 |
1993年 | 4篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1990年 | 1篇 |
1986年 | 1篇 |
排序方式: 共有584条查询结果,搜索用时 15 毫秒
571.
572.
SMT求解器作为重要的基础软件, 其存在的缺陷可能会导致依赖于它的软件功能失效, 甚至带来安全事故. 然而, 修复SMT求解器缺陷是一个十分耗时的任务, 因为开发者需要花费大量的时间和精力来理解并找到缺陷的根本原因. 虽然已有许多软件缺陷定位方面的研究, 但尚未有系统的工作研究如何自动定位SMT求解器缺陷. 因此, 提出一种基于多源频谱的SMT求解器缺陷定位方法SMTLOC. 首先, 对于给定的SMT求解器缺陷, SMTLOC提出一种枚举算法, 用以对触发该缺陷的公式进行变异, 从而生成一组不触发缺陷, 但与触发缺陷的公式具有相似执行路径的证人公式. 然后, SMTLOC根据证人公式的执行路径以及SMT求解器的源码信息, 提出一种融合覆盖频谱和历史频谱的文件可疑度计算方法, 从而定位可能存在缺陷的文件. 为了验证SMTLOC的有效性, 收集60个SMT求解器缺陷. 实验结果表明, SMTLOC的缺陷定位效果明显优于传统的频谱缺陷定位方法, SMTLOC可以将46.67%的缺陷定位在TOP-5的文件内, 定位效果提升了133.33%. 相似文献
573.
SMT/THT混装生产中的工艺控制 总被引:1,自引:0,他引:1
鲜飞 《电子工业专用设备》2008,37(7)
SMT混装生产在许多电子产品的生产制造中大量使用,为此对SMT混装生产时需要考虑的一些制造工艺性问题进行了阐述,给SMT技术人员提供了一个参考。 相似文献
574.
575.
鲜飞 《国外电子测量技术》2005,24(4):47-50
球栅阵列(BGA)是现代组装技术的新概念,它的出现促进SMT(表面贴装技术)与SMD(表面贴装元器件)的发展和革新,并将成为高密度、高性能、多功能及高I/O数封装的最佳选择。本文将结合实际工作中的一些体会和经验,就BGA焊点的接收标准、缺陷表现及可靠性等问题展开论述,特别对有争议的一种缺陷空洞进行较为详细透彻的分析,并提出一些改善BGA焊点质量的工艺改进的建议。 相似文献
576.
随着电子产品不断的小型化、多功能化以及数字化发展 ,表面组装技术 SMT(Surface MountTechnology)作为一种最新的电子装联技术 ,已经渗透到各个技术领域 ,并且应用日趋普及、广泛。对于电子产品质量的控制和保证也越来越受到人们的重视。其中 ,焊点焊接质量的好坏直接影响着产品的质量优劣。因此分析影响焊接质量的各种因素和探讨如何增强焊点质量的可靠性也就一直得到较多的关注 ,而焊点形态工艺参数是影响焊点可靠性的重要因素之一 相似文献
577.
EPIC硬件简单,同时多线程易于开发线程级并行,在EPIC上实现同时多线程可以结合二者的优点。取指策略对同时多线程处理器的性能有重要影响。该文介绍了几种有代表性的超标量同时多线程处理器取指策略,分析了这些策略在EPIC同时多线程处理器上的适用性,提出了一种新的适用于EPIC的取指策略SICOUNT。分析表明SICOUNT策略可以充分利用EPIC软硬件协同的优势,在选择取指线程时使用编译器所提供的停顿信息,能更精确地估计各个线程的流动速度,使取出指令的质量更高。 相似文献
578.
极小不可满足子式能够为可满足性模理论(SMT)公式的不可满足的原因提供精确的解释,帮助自动化工具迅速定位错误.针对极小SMT不可满足子式的求解问题,提出了SMT公式搜索树及其3类结点的概念,并给出了不可满足子式、极小不可满足子式与3类结点之间的映射关系.基于这种映射关系,采用宽度优先的搜索策略提出了宽度优先搜索的极小SMT不可满足子式求解算法.基于业界公认的SMT Competition 2007测试集进行实验的结果表明,该算法能够有效地求解极小不可满足子式. 相似文献
579.
580.
基于短语的模型是目前发展相对成熟的一种统计机器翻译(Statistical machine translation, SMT)模型. 但基于短语的模型不包含任何结构信息, 因而缺乏有效的全局调序能力, 同时不能对非连续短语进行建模. 基于句法的模型因具有结构信息而具有解决以上问题的潜力, 因而越来越受到研究者们的重视. 然而现有的大多数基于句法的模型都因严格的句法限制而制约了模型的描述能力. 为突破这种限制并将 基于短语的模型的优点融入到句法模型中, 本文提出一种基于同步树序列替换文法(Synchronous tree sequence substitution grammar, STSSG)的统计机器翻译模型. 在此模型中, 树序列被用作为基本的翻译单元. 在这种框架下, 不满足句法限制的翻译等价对和满足句法限制的翻译等价对都可以融入句法信息并被翻译模型所使用. 从而, 两种模型的优点均得到充分利用. 在2005年度美国国家标准与技术研究所(NIST)举办的机器翻译评比的中文翻译任务语料上的实验表明, 本文提出的模型显著地超过了两个基准系统: 基于短语的翻译系统Moses和一个基于严格树结构的句法翻译模型. 相似文献