全文获取类型
收费全文 | 4155篇 |
免费 | 58篇 |
国内免费 | 193篇 |
专业分类
系统科学 | 282篇 |
丛书文集 | 219篇 |
教育与普及 | 71篇 |
理论与方法论 | 51篇 |
现状及发展 | 13篇 |
综合类 | 3770篇 |
出版年
2024年 | 19篇 |
2023年 | 44篇 |
2022年 | 38篇 |
2021年 | 46篇 |
2020年 | 64篇 |
2019年 | 77篇 |
2018年 | 33篇 |
2017年 | 59篇 |
2016年 | 64篇 |
2015年 | 116篇 |
2014年 | 289篇 |
2013年 | 260篇 |
2012年 | 307篇 |
2011年 | 311篇 |
2010年 | 278篇 |
2009年 | 269篇 |
2008年 | 312篇 |
2007年 | 254篇 |
2006年 | 216篇 |
2005年 | 166篇 |
2004年 | 156篇 |
2003年 | 151篇 |
2002年 | 135篇 |
2001年 | 100篇 |
2000年 | 95篇 |
1999年 | 98篇 |
1998年 | 64篇 |
1997年 | 42篇 |
1996年 | 60篇 |
1995年 | 44篇 |
1994年 | 47篇 |
1993年 | 34篇 |
1992年 | 25篇 |
1991年 | 30篇 |
1990年 | 46篇 |
1989年 | 25篇 |
1988年 | 14篇 |
1987年 | 8篇 |
1986年 | 5篇 |
1985年 | 3篇 |
1981年 | 1篇 |
1980年 | 1篇 |
排序方式: 共有4406条查询结果,搜索用时 15 毫秒
71.
72.
73.
王丽文 《沈阳师范大学学报(自然科学版)》1996,(3)
本文研究了东北小鲵的血细胞形态学特征及血液检验分析,并与大蟾蜍、蛇进行了比较.结果,东北小鲵的血细胞形态、数量均与大蟾蜍及蛇有较大差异,而血红蛋白含量和凝血时则无显著性差异. 相似文献
74.
近年来,皇岗动植物检疫局在对进口水果的检疫检验中,多次查获了瞒报疫区(地中海实蝇疫区,下同)水果的违章案件,严重的有只报关、不报检;报检非疫区水果进口疫区水果或混装有疫区水果。从查获的各种瞒报案件以及目前走私水果的情况来看,必须警惕疫区水果以各种途径瞒报入境。 以下从深圳口岸的实际情况,通过分析瞒报入境疫区水果的目的途径来探讨防止疫区水果瞒报入境的办法。 相似文献
75.
利用低温和气调对鲜荔枝作检疫杀虫处理试验 总被引:7,自引:0,他引:7
应用在O2含量约为1%~5%、CO2约5%~6%和在2℃低温下处理13d的气调和低温综合处理技术,可完全杀死人工接种在荔枝鲜果中的桔小实蝇(Bactroceradorsalis)的卵和幼虫.不影响荔枝鲜果的品质 相似文献
76.
一种用于判断矩阵排序的扩展最小二乘方法 总被引:1,自引:0,他引:1
王应明 《厦门大学学报(自然科学版)》1997,36(2):189-196
对判断矩阵排序提出一种新的扩展最小二乘方法(ELSM),并从理论上给出相应的收敛性迭代算法和一致性检验方法.与最小二乘排序方法LSM相比较,新的排序方法ELSM保序性好,排序结果准确;与特征向量排序方法EM相比较,ELSM排序方法虽然算法复杂些,但概念更清楚,涵义更明确,更为突出的优点是可以推广应用于群组判断矩阵排序.最后通过仿真实例说明ELSM排序方法的优越性 相似文献
77.
介绍一种基于微机PC总线而设计的多通道血沉、血粘微机检验接口卡,并在WINDOWS操作系统上用面向对象编程的工程控集成软件GENIE编程测试。 相似文献
78.
Deepak KAPUR 《系统科学与复杂性》2006,19(3):307-330
A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions. 相似文献
79.
从目前中国货币需求现状出发,修正了1978年以来中国的货币需求函数及加入货币化进程这一制度变量,并运用协整分析对相关变量的年度数据(1978—2004)进行实证分析,得出以下结论:在长期内,实际M1余额、实际GDP、一年期定期存款利率和货币化进程指数间存在协整关系;实际M2余额、实际GDP、商品零售物价指数和货币化指数间存在协整关系。 相似文献
80.