全文获取类型
收费全文 | 4269篇 |
免费 | 66篇 |
国内免费 | 204篇 |
专业分类
系统科学 | 294篇 |
丛书文集 | 223篇 |
教育与普及 | 69篇 |
理论与方法论 | 47篇 |
现状及发展 | 14篇 |
综合类 | 3892篇 |
出版年
2024年 | 23篇 |
2023年 | 52篇 |
2022年 | 48篇 |
2021年 | 60篇 |
2020年 | 79篇 |
2019年 | 91篇 |
2018年 | 47篇 |
2017年 | 72篇 |
2016年 | 80篇 |
2015年 | 129篇 |
2014年 | 296篇 |
2013年 | 265篇 |
2012年 | 314篇 |
2011年 | 316篇 |
2010年 | 282篇 |
2009年 | 266篇 |
2008年 | 318篇 |
2007年 | 258篇 |
2006年 | 215篇 |
2005年 | 181篇 |
2004年 | 157篇 |
2003年 | 141篇 |
2002年 | 126篇 |
2001年 | 97篇 |
2000年 | 92篇 |
1999年 | 98篇 |
1998年 | 63篇 |
1997年 | 38篇 |
1996年 | 54篇 |
1995年 | 47篇 |
1994年 | 45篇 |
1993年 | 31篇 |
1992年 | 25篇 |
1991年 | 29篇 |
1990年 | 44篇 |
1989年 | 27篇 |
1988年 | 14篇 |
1987年 | 8篇 |
1986年 | 5篇 |
1985年 | 3篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1959年 | 1篇 |
排序方式: 共有4539条查询结果,搜索用时 0 毫秒
71.
形式地给出了合作事务定义及事务间由于消息交换而形成的各务间的检验点依赖和恢复依赖,基于这些定义,某一事务记检验点时,所有检验点依赖于该事务也记检验点,当某一事务恢复时,所有恢复依赖于该事务的事务也恢复到其检验点的状态,开发了一种适合于移动环境的事务恢复技术,;在事务正常的消息传送中,通过额外的一点带宽附加传送事务间的依赖关系,在事务记检验点时,尽可能并行地通知所有相关的事务记检验点,实验表明,该事务恢复技术能减少系统检验点的响应时间,提高系统的恢复速度及系统吞吐率,对网络带宽的要求基本没有增加。 相似文献
72.
孙建明 《华中科技大学学报(自然科学版)》2003,31(10):106-108
对上海证券指数收市价及成交量作了ADF检验,发现指数收市价存在有单位根,价格服从随机行走模型,成交量趋势平稳,市场是有效的.用葛兰杰(Granger)因果关系检验发现指数收市价增量与成交量增量互为因果关系,没有谁变化在先谁变化在后的问题。 相似文献
73.
74.
75.
本文采用数理统计中单因素方差分析等统计方法,以西藏大学数理系93-95级双语数学专业本科学生作为研究对象,对83名学生入学时成绩(即高考文化课成绩)与人学后所选的7门专业课的学习成绩进行了对比、计算和分析,找出了高校双语学生学习成绩变化的规律、存在的问题及解决问题的方法,为高校双语教育工作者提供一点资料。 相似文献
76.
王丽文 《沈阳师范大学学报(自然科学版)》1996,(3)
本文研究了东北小鲵的血细胞形态学特征及血液检验分析,并与大蟾蜍、蛇进行了比较.结果,东北小鲵的血细胞形态、数量均与大蟾蜍及蛇有较大差异,而血红蛋白含量和凝血时则无显著性差异. 相似文献
77.
孙千仞 《河南教育学院学报(自然科学版)》1997,(2)
在参数的显著性假设检验中,原假设为简单假设而备用假设为复合假设的情况比较重要。本文对这类问题中交换原、备两假设后再检验的可能性进行了探讨,从而揭示了两类检验之间所存在的关系;同时也说明了在解决一些具体问题的过程中,区间上某些特定点与此区间有着性质上的密切联系。这个观点在一些问题的研究中有着重要的应用。 相似文献
78.
一种用于判断矩阵排序的扩展最小二乘方法 总被引:1,自引:0,他引:1
王应明 《厦门大学学报(自然科学版)》1997,36(2):189-196
对判断矩阵排序提出一种新的扩展最小二乘方法(ELSM),并从理论上给出相应的收敛性迭代算法和一致性检验方法.与最小二乘排序方法LSM相比较,新的排序方法ELSM保序性好,排序结果准确;与特征向量排序方法EM相比较,ELSM排序方法虽然算法复杂些,但概念更清楚,涵义更明确,更为突出的优点是可以推广应用于群组判断矩阵排序.最后通过仿真实例说明ELSM排序方法的优越性 相似文献
79.
介绍一种基于微机PC总线而设计的多通道血沉、血粘微机检验接口卡,并在WINDOWS操作系统上用面向对象编程的工程控集成软件GENIE编程测试。 相似文献
80.
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. 相似文献