全文获取类型
收费全文 | 20724篇 |
免费 | 991篇 |
国内免费 | 1392篇 |
专业分类
系统科学 | 1345篇 |
丛书文集 | 532篇 |
教育与普及 | 133篇 |
理论与方法论 | 120篇 |
现状及发展 | 96篇 |
综合类 | 20881篇 |
出版年
2024年 | 60篇 |
2023年 | 136篇 |
2022年 | 340篇 |
2021年 | 421篇 |
2020年 | 418篇 |
2019年 | 284篇 |
2018年 | 359篇 |
2017年 | 377篇 |
2016年 | 463篇 |
2015年 | 719篇 |
2014年 | 1068篇 |
2013年 | 1273篇 |
2012年 | 1477篇 |
2011年 | 1650篇 |
2010年 | 1545篇 |
2009年 | 1647篇 |
2008年 | 1841篇 |
2007年 | 1807篇 |
2006年 | 1637篇 |
2005年 | 1385篇 |
2004年 | 1032篇 |
2003年 | 714篇 |
2002年 | 774篇 |
2001年 | 723篇 |
2000年 | 597篇 |
1999年 | 258篇 |
1998年 | 27篇 |
1997年 | 5篇 |
1996年 | 8篇 |
1995年 | 5篇 |
1994年 | 7篇 |
1993年 | 10篇 |
1992年 | 8篇 |
1991年 | 7篇 |
1990年 | 3篇 |
1989年 | 3篇 |
1988年 | 4篇 |
1987年 | 4篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1981年 | 2篇 |
1980年 | 3篇 |
1955年 | 4篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
971.
常用的基于数据流的测试充分性准则 总被引:1,自引:0,他引:1
软件测试所有技术活动的基础,在于测试用例的设计、选择以及评价。如何设计充分的测试集一直是测试人员面对的一个难题。控制流、数据流是分析程序结构的2个主要手段。该文综合介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则,如c-use覆盖、p-use覆盖、all-use覆盖、k-dr链覆盖、上下文覆盖等。这些准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测了多少代码还有多少代码未测到。 相似文献
972.
破产论是风险论的核心内容,复合Poisson风险模型一直是破产论研究的热点.本文从实际出发,一方面考虑了保险公司的投资收益;另一方面,在满足保险公司要求提高盈余水平的同时,兼顾了投保人的利益,研究了带常利息力和两个红利threshold策略的复合Poisson风险模型,给出了该模型下的Gerber-Shiu期望折现罚金... 相似文献
973.
对喷射条件下的电子芯片在FC-72中的流动沸腾换热进行了研究,并和同工况下的光滑芯片作了对比.实验选取的工况如下:过冷度为25、35℃;横流速度Vc为0.5、1、1.5m/s;喷射速度Vj为0、1、2m/s.实验采用的硅片尺寸为10mm×10mm×0.5mm,通过干腐蚀技术在其表面加工出30μm×120μm、50μm×120μm的方柱微结构.实验表明,所有芯片的换热性能都随过冷度和流速的增加而提高,方柱微结构能明显地强化芯片换热,而射流冲击进一步提高了芯片在高热流密度下的换热性能.同一横流速度下,喷射速度越大,换热性能越好,尤其是Vc=0.5m/s、Vj=2m/s时,强化效果最显著.随着横流速度的增加,射流冲击的强化效果减弱,临界热流密度值增幅减小. 相似文献
974.
超精密金刚石砂轮磨削是大口径先进光学元件微纳加工的主要技术,是实现确定性批量加工的重要保证.以实现高精度、高效率、高自动化程度加工为目的,阐述了大口径光学元件微纳加工与检测的加工技术系统,详细分析高精度加工设备及工艺控制、大尺寸检测、加工环境监控、快速抛光、表面织构化等研究应用情况. 相似文献
975.
从武夷山的一枯枝上分离得到了一株稀有软骨霉状菌,在培养过程中发现,该株黏细菌在人工培养基上只有在与一种未知的细菌共培养的状态下才能长出典型的子实体并保持菌种的活力.然而要从共培养的菌落中纯化这株黏细菌,使用常规的黏细菌纯化技术几乎是不可能.在这种情况下对伴生细菌进行16SrDNA菌种鉴定,再根据鉴定为施氏假单胞菌(Ps... 相似文献
976.
恶劣天气条件下车辆换车道的安全模型 总被引:3,自引:1,他引:2
考虑雾天对驾驶员能见度的影响,提出雾天驾驶反应延迟时间模型.依据车辆换车道的行车特征,提出基于连续反向圆曲线的换车道几何描述模型.结合车辆跟车行驶模型,建立恶劣气象条件影响下车辆换车道的安全模型,制定了不同天气条件和能见度范围下禁止换车道的车道流量控制标准.采用历史事故资料分析和现场实验的方式,验证了换车道时距比与事故比之间的良好关系. 相似文献
977.
在约化方法的框架下,针对实务界出现的一种新型信用衍生产品--信用攸关的利率互换(credit contingentinterest rate swap,CCIRS),以偏微分方程(partial differentialequation,PDE)为方法,利用对冲原理建立了定价模型.之后分别利用显式和隐式差分对模型进行数... 相似文献
978.
对可调倾角非球面加工夹具进行运动学分析,确定工作台转角与电机转角之间的关系,以及工件坐标系原点相对于基坐标系的位置向量.使用VC++6.0作为编程开发平台,结合开放性图形库(OpenGL)技术,将3D Studio(3DS)模型导入VC环境中,并正确地显示出模型.在此基础上对夹具的各部分进行分别的控制,进而实现可倾角夹具的仿真.此外,用Matlab进行图像处理,然后利用VC与Matlab的混合编程,在VC中调用计算结果. 相似文献
979.
设G=(V,E)是一个连通图.如果λ3(G)=ξ3(G),则G是λ3-最优或者极大3-限制性边连通的,其中ξ3(G)=min{|[X,Y]|:XV,|X|=3,G[X]连通}.G的逆度是指R(G)=∑v∈V1/d(v).本文主要研究R(G)与顶点数n,最小度δ及ξ3的关系,并由此得到一函数,用这一函数来限制R(G),使G是λ3-最优的. 相似文献
980.
随着教育信息化进程的大力推进,网络教育资源的建设越来越受到国家和各高校的重视.语义网提供了语义互操作模型,能有效实现网络资源的发现、共享和集成应用.阐述了语义网、语义检索、本体构建、元数据标准等关键技术,分析了本体与元数据的关系,给出了基于元数据的教育资源本体构建方法.设计了基于本体的网络教育资源语义检索系统,该系统由... 相似文献