全文获取类型
收费全文 | 6425篇 |
免费 | 172篇 |
国内免费 | 277篇 |
专业分类
系统科学 | 180篇 |
丛书文集 | 292篇 |
教育与普及 | 180篇 |
理论与方法论 | 77篇 |
现状及发展 | 29篇 |
综合类 | 6116篇 |
出版年
2024年 | 63篇 |
2023年 | 184篇 |
2022年 | 206篇 |
2021年 | 201篇 |
2020年 | 151篇 |
2019年 | 103篇 |
2018年 | 69篇 |
2017年 | 71篇 |
2016年 | 96篇 |
2015年 | 136篇 |
2014年 | 268篇 |
2013年 | 247篇 |
2012年 | 345篇 |
2011年 | 372篇 |
2010年 | 353篇 |
2009年 | 385篇 |
2008年 | 395篇 |
2007年 | 346篇 |
2006年 | 315篇 |
2005年 | 278篇 |
2004年 | 225篇 |
2003年 | 248篇 |
2002年 | 215篇 |
2001年 | 193篇 |
2000年 | 177篇 |
1999年 | 174篇 |
1998年 | 144篇 |
1997年 | 170篇 |
1996年 | 123篇 |
1995年 | 109篇 |
1994年 | 100篇 |
1993年 | 80篇 |
1992年 | 71篇 |
1991年 | 56篇 |
1990年 | 74篇 |
1989年 | 62篇 |
1988年 | 35篇 |
1987年 | 14篇 |
1986年 | 14篇 |
1985年 | 2篇 |
1983年 | 3篇 |
1982年 | 1篇 |
排序方式: 共有6874条查询结果,搜索用时 15 毫秒
81.
陈义华 《兰州理工大学学报》1997,(4)
根据连通循环图的性质,证明了循环图的同构因子分解,对于某些偶数度循环图结论成立,得到了Cn〈j1,j2,…,jr〉及Cn〈1,2,…,r〉的同构因子分解条件. 相似文献
82.
何承源 《重庆师范学院学报》1997,14(2):42-47
分别给出了只用r-循环分块矩阵及对称r-循环分块矩阵的元素本身和参数r,便可判断其非异性的八种方法。 相似文献
83.
本文对有序三元系超大集的存在性进行了讨论,得到了v≡4(mod24),v≡4(mod120)及v=7'11^m13^nП↓a,t(4^a+1)^t-1(诸指数均为非负整数)时OLMTS(v)(1=0)及OLDTS(v)(1≥0)的存在性。 相似文献
84.
文中提出构造小波滤波器的一种新算法,这种方法避免使用Z变换或Fourier变换,是一种非常好的构造小波的方法.本文总结研究了如何确定滤波器长度与消失矩的阶数,并且构造了9/11,10/10,9/15小渡,并将其用于指纹图像的压缩,实验证明9/11,10/10小渡的效果都很好. 相似文献
85.
陈雪峰 《科技情报开发与经济》2006,16(22):164-165
介绍了循环流化床锅炉的特性、现状、应用,分析了循环流化床锅炉在生产、使用中出现的问题,并提出了解决的办法。 相似文献
86.
有色金属资源循环利用 总被引:1,自引:0,他引:1
邱定蕃 《江苏技术师范学院学报》2006,12(6):1-5,20
资源循环是维持整个生态平衡的重要法则之一。如果这一平衡遭到破坏并长期不加以恢复,其结果是人类社会本身难以持续。资源循环是建立循环经济的核心。资源循环利用是中国有色金属工业可持续发展的根本保证。文章论述了资源循环利用对有色金属工业的重大意义和最终建立资源循环型社会的必然性。 相似文献
87.
88.
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. 相似文献
89.
A local positive feedback of the tropical Pacific ocean-atmosphere system on interdecadal timescales
LI Chunhui WANG Dongxiao LIANG Jianyin GU Dejun LIU Yun 《科学通报(英文版)》2006,51(5):601-606
SINCE THE 1990S, THE CLIMATIC VARIABILITY ON INTERDE- CADAL TIME SCALES BECAME THE FOCUS OF THE INTERNATIONAL CLIMATOLOGY RESEARCH MISSIONS[1―3]. ON TIME SCALES OF A DECADE OR MORE, THE OCEAN CIRCULATION PREDOMINATEDHEAT BALANCE AND HYDROLOGICAL CYCLE, S… 相似文献
90.
我国城市化进程中的水资源环境问题 总被引:6,自引:0,他引:6
城市化进程中,城市水文循环和水环境物质代谢的失衡严重影响着城市水环境的量和质,使城市水资源环境问题日益突出。本文在对城市水文循环和水环境物质代谢分析的基础上,提出城市化过程中城市环境面临的挑战,最后简要提出了城市水资源环境问题解决的战略构思。 相似文献