全文获取类型
收费全文 | 4053篇 |
免费 | 54篇 |
国内免费 | 194篇 |
专业分类
系统科学 | 283篇 |
丛书文集 | 213篇 |
教育与普及 | 68篇 |
理论与方法论 | 46篇 |
现状及发展 | 12篇 |
综合类 | 3679篇 |
出版年
2024年 | 20篇 |
2023年 | 45篇 |
2022年 | 62篇 |
2021年 | 71篇 |
2020年 | 75篇 |
2019年 | 77篇 |
2018年 | 33篇 |
2017年 | 59篇 |
2016年 | 64篇 |
2015年 | 113篇 |
2014年 | 284篇 |
2013年 | 252篇 |
2012年 | 303篇 |
2011年 | 305篇 |
2010年 | 272篇 |
2009年 | 257篇 |
2008年 | 296篇 |
2007年 | 229篇 |
2006年 | 210篇 |
2005年 | 159篇 |
2004年 | 149篇 |
2003年 | 138篇 |
2002年 | 124篇 |
2001年 | 95篇 |
2000年 | 91篇 |
1999年 | 97篇 |
1998年 | 62篇 |
1997年 | 36篇 |
1996年 | 53篇 |
1995年 | 44篇 |
1994年 | 44篇 |
1993年 | 31篇 |
1992年 | 22篇 |
1991年 | 29篇 |
1990年 | 43篇 |
1989年 | 25篇 |
1988年 | 14篇 |
1987年 | 8篇 |
1986年 | 5篇 |
1985年 | 3篇 |
1981年 | 1篇 |
1980年 | 1篇 |
排序方式: 共有4301条查询结果,搜索用时 0 毫秒
41.
形式地给出了合作事务定义及事务间由于消息交换而形成的各务间的检验点依赖和恢复依赖,基于这些定义,某一事务记检验点时,所有检验点依赖于该事务也记检验点,当某一事务恢复时,所有恢复依赖于该事务的事务也恢复到其检验点的状态,开发了一种适合于移动环境的事务恢复技术,;在事务正常的消息传送中,通过额外的一点带宽附加传送事务间的依赖关系,在事务记检验点时,尽可能并行地通知所有相关的事务记检验点,实验表明,该事务恢复技术能减少系统检验点的响应时间,提高系统的恢复速度及系统吞吐率,对网络带宽的要求基本没有增加。 相似文献
42.
孙建明 《华中科技大学学报(自然科学版)》2003,31(10):106-108
对上海证券指数收市价及成交量作了ADF检验,发现指数收市价存在有单位根,价格服从随机行走模型,成交量趋势平稳,市场是有效的.用葛兰杰(Granger)因果关系检验发现指数收市价增量与成交量增量互为因果关系,没有谁变化在先谁变化在后的问题。 相似文献
43.
44.
介绍一种基于微机PC总线而设计的多通道血沉、血粘微机检验接口卡,并在WINDOWS操作系统上用面向对象编程的工程控集成软件GENIE编程测试。 相似文献
45.
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. 相似文献
46.
47.
研究了某个子系统发生传感器故障时,信息分配对无故障子系统的鲁棒性影响问题。基于提高无故障子系统的抗故障污染能力考虑,从使故障影响极小化出发提出了一种鲁棒信息分配思想。对于仅由双子滤波器组成的联邦滤波结构,给出了一种基于故障检测函数的自适应信息分配方法。从概率的角度,根据这种方法可使其他无故障子滤波器具有较强的抗干扰能力。对于具有主滤波器的联邦滤波结构,给出了一种给定故障衰减系数条件下的鲁棒信息分配系数设计方法。理论分析表明,该方法可使其他无故障子滤波器对故障具有很强的抗干扰能力,从而有利于提高联邦滤波器的快速重构能力。仿真说明本文思想是可行的。 相似文献
48.
在pH 3 0~ 4 3的酸性介质中 ,铝 铬天青S TritonX 10 0配合物与蛋白质迅速反应生成多元配合物 ,从而引起吸收光谱的改变 ,在 2 2 0nm和 6 36nm附近吸光度增大 ,且吸光度差ΔA(=A0 -A)值与蛋白质的浓度成正比 .不同蛋白质在 0~ 5 0mg/L和 10~ 80mg/L范围内遵循比尔定律 ,各反应的摩尔吸光系数分别在 4 2 3× 10 5~ 2 0 1× 10 6(2 2 0nm附近 )和 2 6 4× 10 5~ 1 6 4× 10 6(6 36nm附近 )之间 .基于此 ,建立了一种测定蛋白质的新光度法 .该法简便、快速、选择性好 ,用于人血清和尿液样品中蛋白质总量的测定 ,结果满意 相似文献
49.
“国以民为本,民以食为天”,肉品的安全关系到国际民生,亦关系到每个人的身体健康和国家的稳定发展,保障“放心肉”的上市和流通销售是我所每个员工责无旁贷的职责。我们的目的是要通过对动物、动物产品的检查和处理,达到防止动物传染病传播扩散,保护畜牧业生产和人民的身体健康。而把好流通环节的检疫是我们动检工作的重中之重。根据石河子的现状为把好动检关探讨如下: 相似文献
50.
讨论了具有双线性DBL(1,0,1)误差的非线性回归模型的相关性和方差齐性的检验问题,用Score检验方法给出了双线性项检验以及相关性和方差齐性同时检验的检验统计量,并用随机模拟验证了检验方法的正确性;推广和发展了具有线性序列误差回归模型的结果;最后将结果应用于DBL(0,1,1)误差的非线性回归模型。 相似文献