全文获取类型
收费全文 | 5191篇 |
免费 | 60篇 |
国内免费 | 493篇 |
专业分类
系统科学 | 76篇 |
丛书文集 | 500篇 |
教育与普及 | 154篇 |
理论与方法论 | 19篇 |
现状及发展 | 25篇 |
综合类 | 4970篇 |
出版年
2024年 | 7篇 |
2023年 | 58篇 |
2022年 | 53篇 |
2021年 | 82篇 |
2020年 | 79篇 |
2019年 | 75篇 |
2018年 | 20篇 |
2017年 | 73篇 |
2016年 | 64篇 |
2015年 | 98篇 |
2014年 | 183篇 |
2013年 | 177篇 |
2012年 | 193篇 |
2011年 | 214篇 |
2010年 | 231篇 |
2009年 | 298篇 |
2008年 | 299篇 |
2007年 | 275篇 |
2006年 | 206篇 |
2005年 | 212篇 |
2004年 | 180篇 |
2003年 | 232篇 |
2002年 | 224篇 |
2001年 | 215篇 |
2000年 | 228篇 |
1999年 | 186篇 |
1998年 | 177篇 |
1997年 | 186篇 |
1996年 | 223篇 |
1995年 | 179篇 |
1994年 | 149篇 |
1993年 | 138篇 |
1992年 | 134篇 |
1991年 | 114篇 |
1990年 | 117篇 |
1989年 | 84篇 |
1988年 | 41篇 |
1987年 | 22篇 |
1986年 | 8篇 |
1985年 | 4篇 |
1982年 | 2篇 |
1981年 | 1篇 |
1965年 | 1篇 |
1957年 | 1篇 |
1932年 | 1篇 |
排序方式: 共有5744条查询结果,搜索用时 109 毫秒
381.
多延迟微分代数系统广泛出现于工程领域。针对一类刚性多延迟代数系统,进行了变步长Runge-Kutta方法的稳定性分析,其判据基于非经典Lipschitz条件。 相似文献
382.
本文构造了仿射型李代数g(A)的Chevalley基和Chevalley代数,并且给出了其普遍包络代数U(g(A))的"Z-形式".对g(A)的可积最高权模构造了容许格及稳定子,并研究了它们的结构性质. 相似文献
383.
Zurong Yu 《信阳师范学院学报(自然科学版)》1991,4(3):78-82
The explicit forms of the irreducible representation matrices for the quantum Sl_q(3)enveloping algebra are computed in datial 相似文献
384.
化简逻辑函数的新方法 总被引:1,自引:0,他引:1
宋海声 《西北师范大学学报(自然科学版)》2002,38(3):37-41
代数法化简逻辑函数的难点在于没有固定的方法和步骤,因而也无函数式是否化简到了最简的判别方法。为解决这些难题,提出了“镜像消元法”,给出了化简的具体步骤和方法。对于6个以上变量的逻辑函数的化简,镜像消元法优于卡诺图法。 相似文献
385.
对于外延膜多尺度应变模型的求解,设计了一类代数多重网格方法,进而以该代数多重网格为预条件子,结合其轭梯度法,得到一种预处理技术。数值实验结果表明,我们构造的代数多重网格算法是健壮的,具有很好的计算效率。 相似文献
386.
387.
提出一种基于规格说明的面向对象软件原型开发方法,规格说明分为结构部分和行为部分。结果部分利用面向对象开发方法OMT的直观可社的表示和分析设计规程;行为部分利用类CCS的表示文和形式验证机制,使得规格说明及其求精结果由一致的语言表示,且在同一的形式框架构成的原型上进行持为分析。 相似文献
388.
389.
模式的语义描述与识别 总被引:2,自引:0,他引:2
讨论了代数语义方法用于模式描述和识别的可行性,采用这种方法,模式结构被作为一种代数结构,其语义约束采用等式规范的形式给出,这样可以将识别问题变为一个等式断言采用等式项重写在规范中进行验证,并举例说明这种方法。 相似文献
390.
应用矩阵求迹运算“tr(·)”得到了线性矩阵不等式F_0+sum from j=1 to k of x_j F_j>0解的充分条件,这些充分条件皆为应用中容易检验的代数不等式.并据此给出了相应的代数解 相似文献