全文获取类型
收费全文 | 1309篇 |
免费 | 32篇 |
国内免费 | 117篇 |
专业分类
系统科学 | 74篇 |
丛书文集 | 57篇 |
教育与普及 | 2篇 |
理论与方法论 | 20篇 |
现状及发展 | 12篇 |
综合类 | 1293篇 |
出版年
2023年 | 9篇 |
2022年 | 7篇 |
2021年 | 9篇 |
2020年 | 9篇 |
2019年 | 6篇 |
2018年 | 9篇 |
2017年 | 23篇 |
2016年 | 10篇 |
2015年 | 20篇 |
2014年 | 29篇 |
2013年 | 46篇 |
2012年 | 72篇 |
2011年 | 72篇 |
2010年 | 76篇 |
2009年 | 77篇 |
2008年 | 88篇 |
2007年 | 90篇 |
2006年 | 91篇 |
2005年 | 69篇 |
2004年 | 68篇 |
2003年 | 66篇 |
2002年 | 62篇 |
2001年 | 39篇 |
2000年 | 40篇 |
1999年 | 49篇 |
1998年 | 51篇 |
1997年 | 29篇 |
1996年 | 42篇 |
1995年 | 25篇 |
1994年 | 27篇 |
1993年 | 36篇 |
1992年 | 28篇 |
1991年 | 21篇 |
1990年 | 15篇 |
1989年 | 25篇 |
1988年 | 14篇 |
1987年 | 7篇 |
1986年 | 2篇 |
排序方式: 共有1458条查询结果,搜索用时 13 毫秒
1.
一阶逻辑完备性定理的新代数证明 总被引:1,自引:1,他引:0
给出了一阶逻辑完备性定理的一个新的代数证明,这个证明不使用依赖于Boole代数表示定理的γ-解释,但使用关于Q-滤子△↓的△↓-解释,也需要用到选择公理,另外指出了已有代数证明的不足之处,并作了修正。 相似文献
2.
对于复特征灵敏度分析问题,文中给出了一种代数法求解公式。从理论分析的角度来说,所提出的方法既适全于单频,也适合于重频。为了说明算法的数值稳定性,文中给出了严格的数学证明。 相似文献
3.
微分代数控制问题的数值计算方法 总被引:3,自引:0,他引:3
费景高 《系统工程与电子技术》1992,(6)
描述许多轨道控制问题的方程通常构成非线性半显式的微分代数系统。本文提出一些数值方法来计算这些控制问题的控制规律。对于一个模型问题,本文进行了稳定性分析,并且给出了稳定性区域。文中估计了这些方法的全局误差,它们给出控制误差与计算步长的关系。 相似文献
4.
史贻云 《海南大学学报(自然科学版)》2003,21(1):1-3
研究有关co H 空间上的自同伦等价.当co H 空间X是1 连通的有限CW 复形时,εSP(SX)是有限生成的群.另外本文还得到εco H(X)是有限群的一个充分条件. 相似文献
5.
采用代数不变式和空间直和的理论,对1次 3次平面多项式系统在保证轨线走向不变的前提下进行代数分类,共分成40个等价类. 相似文献
6.
基于代数变换和KMM算法的框架,通过在牛顿方程中嵌入一种自调节功能,提出了一种新的求解P0阵线性互补问题的不可行内点算法,并证明了该算法的全局收敛性. 相似文献
7.
刘建元 《陕西师范大学学报(自然科学版)》2002,30(2):55-58
依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证数据电路设计的基本原理,并在此基础上,给出了时序电路等价验证的方法。 相似文献
8.
完整刻画了 I_m∪C_p(p≥6为偶数或素数且 p≠m-3)及其补图的匹配等价图. 相似文献
9.
陈琪 《达县师范高等专科学校学报》2005,15(1):67-69
美国的尤金·奈达博士(Dr.Eugene A. Nida)的动态等值论(Dynamic Equivalence)被许多学者推崇为评判译文质量优劣的标准以及翻译所追求的最终目标.在运用奈达的"动态等值"论来指导文学翻译时,应注意的问题是,译文如果要准确传递原文信息就要充分体现原作者的美学意图,这样才能使译文受众获得和原文受众基本一致的感觉. 相似文献
10.
实代数数的代数表达式的符号判定 总被引:2,自引:0,他引:2
将符号计算方法与数值计算方法结合起来应用于计算机代数领域,构造了一种判定实代数数的代数表达式的符号的算法,并在计算机数学系统上加以实现,算法的基本思想是对每一个实代数数a定义了一个二元组(I,f(x)),其中I是包含a的区间,f(x)是a所满足的多项式,并将代数数的运算转化为对应的二元组的运算,同时结合多项式的根的最短距离估计式,从而达到对代数数的代数表达式进行符号判定的目的。 相似文献