全文获取类型
收费全文 | 2463篇 |
免费 | 217篇 |
国内免费 | 311篇 |
专业分类
电工技术 | 281篇 |
综合类 | 658篇 |
化学工业 | 28篇 |
金属工艺 | 6篇 |
机械仪表 | 81篇 |
建筑科学 | 262篇 |
矿业工程 | 26篇 |
能源动力 | 27篇 |
轻工业 | 132篇 |
水利工程 | 55篇 |
石油天然气 | 27篇 |
武器工业 | 26篇 |
无线电 | 301篇 |
一般工业技术 | 200篇 |
冶金工业 | 33篇 |
原子能技术 | 15篇 |
自动化技术 | 833篇 |
出版年
2024年 | 25篇 |
2023年 | 64篇 |
2022年 | 69篇 |
2021年 | 84篇 |
2020年 | 69篇 |
2019年 | 100篇 |
2018年 | 53篇 |
2017年 | 67篇 |
2016年 | 93篇 |
2015年 | 136篇 |
2014年 | 238篇 |
2013年 | 135篇 |
2012年 | 139篇 |
2011年 | 165篇 |
2010年 | 135篇 |
2009年 | 179篇 |
2008年 | 146篇 |
2007年 | 131篇 |
2006年 | 123篇 |
2005年 | 125篇 |
2004年 | 117篇 |
2003年 | 82篇 |
2002年 | 78篇 |
2001年 | 49篇 |
2000年 | 65篇 |
1999年 | 39篇 |
1998年 | 46篇 |
1997年 | 40篇 |
1996年 | 33篇 |
1995年 | 32篇 |
1994年 | 26篇 |
1993年 | 27篇 |
1992年 | 20篇 |
1991年 | 22篇 |
1990年 | 11篇 |
1989年 | 17篇 |
1988年 | 4篇 |
1987年 | 2篇 |
1986年 | 4篇 |
1985年 | 1篇 |
排序方式: 共有2991条查询结果,搜索用时 218 毫秒
81.
为解决软件开发后期(维护/演化)程序代码与需求模型不一致的问题,本文面向逆向需求工程,重点研究检测变更代码与原始需求模型之间行为差异的算法:首先沿用模型/代码转换技术,分析模型/代码比较原理,设计比早期连续型单向串行检测算法快2N倍(N为路径数)的离散型双向并行检测算法。然后采用该算法开发图形化需求/代码比较工具RCCT,并将其集成进综合需求建模系统(RMTS),使动画建模、特性检测、模型转换、需求/代码差异检测等功能融为一体。最后,通过电子转账案例演示该工具的使用方法,并编写测试程序证明离散型双向并行算法不但比原始算法高效,而且更加可靠。 相似文献
82.
《计算机工程与应用》2017,(17):47-52
目前通过IBD定位研究致病基因首先需要检测IBD片段,然后利用得到的IBD关系进行关联检测来定位致病基因,但是寻找IBD片段需要较长时间。提出了一种新的算法FADG,通过分析IBS和IBD的关系找出候选IBD片段,然后定义评价函数分别对病例组和对照组进行分析,差异最大的SNP位点就是致病位点。通过对GAW15提供的类风湿关节炎模拟数据的五个主要的致病位点和GS生成的模拟数据进行分析,实验结果与数据给定的致病位点一致;与已有的方法进行对比表明该算法在能找到正确位点的基础上效率较高;最后选择了RA数据中两条染色体分别进行permutation测试,验证算法得到致病位点的可信度,进一步排除所得结果假阳性的可能性。 相似文献
83.
针对独立基因预测算法可靠性较差的缺点,提出了真核生物多基因预测结果整合算法(Algorithm for integration of multiple eukaryotie gene prediction results,AIMEGPR).该算法在综合分析各种预测算法结果的基础上,首先用极大似然法估计各种预测算法的性能参数,然后利用这些性能参数计算基因证据区间上各个基因片段归属于各种基因元件类型的后验概率,最后采用动态规划法在基因证据区间上确定最优的一致基因结构.AIMEGPR既不需要人工定制整合规则,也不需要复杂的训练学习,因此AIMEGPR尤其在基因组新测序物种上进行编码基因注释时具有十分显著的优越性.实验结果表明,利用AIMEGPR算法对多基因预测结果整合可以明显提高一致基因的可靠性. 相似文献
84.
85.
提出一种控制有界情况下状态单向收敛的滑模控制方法.对于二阶系统,单向收敛是指初始状态与状态到达滑动模态的位置位于相平面同一象限的过程.通过分析到达阶段的动态特性,揭示了状态非单向收敛的原因,并提出了一种单向收敛条件,给出了系统状态单向收敛的区域.将所提出的方法应用于具有单向收敛要求的交会对接控制系统,结果验证了所提出方法的有效性. 相似文献
86.
有界聚类问题源于II3M研究院开发的一个分布式流处理系统,即S系统。问题的输入是一个点赋权和边赋权的无向图,并指定若干个称为终端的顶点。称顶点集合的一个子集为一个子类。子类中所有顶点的权和加上该子类边界上所有边的权和称为该子类的费用。有界聚类问题是要得到所有顶点的一个聚类,要求每个子类的费用不超过给定预算召,每个子类至多包含一个终端,并使得所有子类的总费用最小。对于限制树宽图上的有界聚类问题,给出了拟多项式时间精确算法。利用取整的技巧对该算法进行修正,可在多项式时间之内得到(1+ε)-近似解,其中每个子类的费用不超过(1+ε)B,:是任意小的正数。如果进一步要求每个子类恰好包含一个终端,则所给算法可在多项式时间之内得到(1+ε)-近似解,其中每个子类的费用不超过(2+ε)B。 相似文献
87.
片上多核Cache资源管理机制研究 总被引:2,自引:1,他引:1
随着片上多核成为处理器发展的主流和片上Cache资源的持续增长,Cache资源的管理已成为片上多核的关键问题。介绍了片上多核Cache资源管理的研究进展,依据研究内容将Cache资源的管理分为Cache划分和Cache共享两类。对Cache划分,探讨了其主要组成部分和一般形式,分析和比较了典型的片上多核Cache划分机制。对Cache共享,给出了其主要研究内容,并介绍和比较了几种主流的片上多核Cache共享机制。通过分析,认为软硬件协同管理的页划分应是未来片上多核Cache划分机制的研究重点;而片上多核Cache共享机制的研究则应从目标应用的Cache行为特征着手。 相似文献
88.
89.
非线性不确定系统的鲁棒性研究 总被引:5,自引:0,他引:5
1 引言非线性不确定系统的鲁棒性研究 ,早期是以在匹配条件 (matching condition)和广义匹配条件下 ,设计控制器使闭环系统达到实际稳定 (practical stabitity)为主 [1~ 3 ] .近些年利用 H∞ 控制理论的结果 ,出现了对具有有界结构的非线性不确定系统的鲁棒性讨论 [4~ 9] .模有界结构条件下 ,非线性不确定系统的鲁棒性有可能达到使状态趋于平衡点 ,而非仅仅实际稳定 .在文献 [4]中所讨论的非线性系统 ,要求其非线性部分具有线性界 .文献 [5 ]首次将模有界结构条件引入到线性不确定系统的鲁棒性研究中 .文献 [6]进一步讨论了这一结构下的… 相似文献
90.