全文获取类型
收费全文 | 61532篇 |
免费 | 6694篇 |
国内免费 | 3987篇 |
专业分类
电工技术 | 5912篇 |
技术理论 | 3篇 |
综合类 | 5671篇 |
化学工业 | 4636篇 |
金属工艺 | 2935篇 |
机械仪表 | 4452篇 |
建筑科学 | 12254篇 |
矿业工程 | 2411篇 |
能源动力 | 1897篇 |
轻工业 | 3222篇 |
水利工程 | 3384篇 |
石油天然气 | 4111篇 |
武器工业 | 1411篇 |
无线电 | 4525篇 |
一般工业技术 | 5454篇 |
冶金工业 | 2157篇 |
原子能技术 | 683篇 |
自动化技术 | 7095篇 |
出版年
2024年 | 236篇 |
2023年 | 754篇 |
2022年 | 1586篇 |
2021年 | 1901篇 |
2020年 | 2175篇 |
2019年 | 1765篇 |
2018年 | 1664篇 |
2017年 | 2208篇 |
2016年 | 2422篇 |
2015年 | 2557篇 |
2014年 | 4018篇 |
2013年 | 3758篇 |
2012年 | 4800篇 |
2011年 | 4950篇 |
2010年 | 3794篇 |
2009年 | 3750篇 |
2008年 | 3368篇 |
2007年 | 4113篇 |
2006年 | 3688篇 |
2005年 | 3231篇 |
2004年 | 2636篇 |
2003年 | 2192篇 |
2002年 | 1865篇 |
2001年 | 1610篇 |
2000年 | 1288篇 |
1999年 | 1057篇 |
1998年 | 869篇 |
1997年 | 670篇 |
1996年 | 653篇 |
1995年 | 537篇 |
1994年 | 407篇 |
1993年 | 291篇 |
1992年 | 252篇 |
1991年 | 158篇 |
1990年 | 156篇 |
1989年 | 116篇 |
1988年 | 75篇 |
1987年 | 49篇 |
1986年 | 42篇 |
1985年 | 25篇 |
1984年 | 22篇 |
1980年 | 65篇 |
1979年 | 47篇 |
1965年 | 26篇 |
1964年 | 34篇 |
1960年 | 23篇 |
1959年 | 36篇 |
1957年 | 23篇 |
1956年 | 33篇 |
1955年 | 33篇 |
排序方式: 共有10000条查询结果,搜索用时 134 毫秒
991.
当前扩展知识空间理论只提出了技能测试,没有给出技能测试的详细过程。定义了问题函数、技能函数以及技能状态函数,完成了知识结构到技能结构的映射,给出了技能自适应测试的详细过程,实现了对受测者技能水平的测试。此外,引入了知识状态的邻居和边界,并对自适应测试过程中选题策略这一关键过程做了进一步优化,使测试更适合受测者的知识特点。 相似文献
992.
993.
基于JSP的网络考试系统分析与设计是根据河南工程学院网络教研室的实际需要提出的课题,给出了该系统实现过程中的主要技术方案,包括部分主观题型的计算机评分的方法、考试过程中可能出现的特殊情况的处理方法、多媒体试题的处理方法,中文乱码的处理方法和系统安全措施等。 相似文献
994.
基于流程描述的测试程序开发平台的研究与应用 总被引:1,自引:0,他引:1
为提高通用自动测试系统中测试软件的通用性和开发效率,以STD(测试和信号定义,IEEE1641)标准为基础,借鉴该标准中信号分类及处理的方法,对测试流程进行描述。并以测试流程描述为基础,提出基于流程描述的测试软件开发平台。该平台通过对测试流程的描述和自动解析,实现无编程的测试程序开发。目前,该测试程序开发平台已经在某新型通用测试诊断系统中得到初步应用。 相似文献
995.
一种基于改进遗传算法的面向路径测试用例自动生成方法 总被引:1,自引:0,他引:1
介绍了基于改进遗传算法测试用例生成的核心算法,针对软件测试用例生成问题的特点对传统遗传算法的遗传算子进行了改进,实验获得了较好的效果。 相似文献
996.
本文总结了电厂性能计算所面临的实用化问题,在分析的基础上提出相应的解决方案。 相似文献
997.
基于改进遗传算法的智能组卷在试题库建设中的研究 总被引:1,自引:0,他引:1
智能组卷是计算机辅助教学(CAI)中一个重要的研充课题,本文通过分析组卷的各项约束指标,建立了智能组卷的数学模型,并提出了~种基于改进遗传算法的好的智能组卷算法。 相似文献
998.
针对非线性模拟电路中元件表现出的折线故障特征,提出一种基于测前迭代仿真的模拟电路统一故障诊断方法.在测前将线性元件参数分段划分区间,在各区间进行仿真得到节点电压平面上的点计算斜率特征,对于斜率变化的区间重新进行参数扫描,并通过迭代仿真得到连续平滑的折线轨迹上的点作为测后诊断依据;在测后诊断中,通过计算实测点到各条折线轨迹的点集合的最小距离来定位电路故障,并根据测前仿真的分段信息对故障元件的参数区间进行识别.文中利用计算机程序实现了测前迭代仿真和测后故障定位及参数区间识别,能够同时诊断容差电路元件的硬故障(开路、短路)和软故障(元件参数变化至容差允许范围之外).最后通过实例的仿真实验和实际电路实验验证了该方法的有效性. 相似文献
999.
动态测试用例生成技术是一类新兴的软件测试技术。由于使用该类技术无需任何人工干预,也无需验证人员具备任何专业知识,同时该类技术能够无误地发现程序错误,越来越多的研究者采用该技术查找预发布的二进制级软件错误。然而,已有的该类技术及其实现系统不具有可重定向性,只能处理面向某种特定指令集体系结构(ISA)的二进制代码,进行测试用例的生成与查错。本文提出了一种全新的指令集体系结构无关的二进制级动态测试用例生成技术,以及实现该技术的系统Hunter。与已有的动态测试用例生成技术不同,Hunter具有极强的可重定向性,可对任何指令集体系结构的二进制代码进行查错,定向地为其生成指向不同执行路径的测试用例。Hunter定义了一套元指令集体系结构(MetaISA),将在二进制代码执行过程中收集到的所有执行信息映射为MetaISA,并对生成的MetaISA序列进行符号化执行、约束收集、约束求解以及测试用例生成,从而使整个过程与ISA无关。我们实现了Hunter,将其重定向至32位x86、PowerPC和Sparc ISA,并使用该系统为6个含有已知错误的测试程序查错。实验结果表明,由于MetaISA的引入,只需很小的开销,Hunter系统即可容易且有效地重定向至不同的ISA,并且Hunter能够有效地发现面向32位x86、PowerPC和Sparc ISA编写的二进制应用中隐藏极深的错误。 相似文献
1000.
随机设计越来越复杂,受约束的随机化测试方法已成为验证的发展趋势。本文以数据流交叉模块的验证为例,介绍如何基于UVM验证方法学构建受约束的随机化测试平台,其主要内容包括:UVM验证平台的建立、受约束的随机的实现、功能覆盖率的实现、自动检查结构等方面。 相似文献