全文获取类型
收费全文 | 8583篇 |
免费 | 279篇 |
国内免费 | 651篇 |
专业分类
系统科学 | 665篇 |
丛书文集 | 325篇 |
教育与普及 | 170篇 |
理论与方法论 | 39篇 |
现状及发展 | 65篇 |
综合类 | 8249篇 |
出版年
2024年 | 77篇 |
2023年 | 241篇 |
2022年 | 255篇 |
2021年 | 276篇 |
2020年 | 212篇 |
2019年 | 196篇 |
2018年 | 125篇 |
2017年 | 186篇 |
2016年 | 220篇 |
2015年 | 287篇 |
2014年 | 481篇 |
2013年 | 407篇 |
2012年 | 467篇 |
2011年 | 454篇 |
2010年 | 502篇 |
2009年 | 537篇 |
2008年 | 643篇 |
2007年 | 525篇 |
2006年 | 429篇 |
2005年 | 363篇 |
2004年 | 314篇 |
2003年 | 264篇 |
2002年 | 252篇 |
2001年 | 217篇 |
2000年 | 200篇 |
1999年 | 185篇 |
1998年 | 155篇 |
1997年 | 151篇 |
1996年 | 161篇 |
1995年 | 129篇 |
1994年 | 121篇 |
1993年 | 91篇 |
1992年 | 73篇 |
1991年 | 83篇 |
1990年 | 84篇 |
1989年 | 64篇 |
1988年 | 35篇 |
1987年 | 25篇 |
1986年 | 16篇 |
1985年 | 6篇 |
1984年 | 2篇 |
1957年 | 2篇 |
排序方式: 共有9513条查询结果,搜索用时 468 毫秒
981.
系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。 相似文献
982.
提出一类混合参数共轭梯度法,在步长满足Wolfe线搜索的条件下,算法产生的搜索方向是下降方向.在适当的条件下,算法是全局收敛的. 相似文献
983.
吉南白山市板庙子金矿床成矿流体研究 总被引:1,自引:0,他引:1
板庙子金矿是老岭成矿带上近年来发现的大型隐伏矿床.为研究成矿流体的性质及元素沉淀机制,运用显微测温、激光拉曼探针技术,对其矿物的流体包裹体进行系统研究.实验结果表明:1)流体包裹体类型主要为气液两相包裹体,其次为富气相包裹体、纯液相包裹体;2)均一温度变化范围在113~355℃之间,成矿流体盐度为0.87~7.85wt%(NaCl),密度为0.60~1.0g/cm3;3)气体成分主要为H2O、CO2.研究结果表明初始成矿流体为中低温,低密度,气体成分以H2O、CO2为主的流体,成矿过程中与变质流体等的混合是其成矿的主要机制;该矿床为受层位与断裂共同控矿、早期有岩浆活动的浅成低温热液金矿床. 相似文献
984.
用不动点方法研究了混合可加-二次-三次(AQC)函数方程f(2x+y)+f(2x-y)=2f(2x)+2f(x+y)+2f(x-y)-4f(x)-f(y)-f(-y)在FFNLS上的HUR稳定性。 相似文献
985.
利用不完全双二次元Q_2~-和一阶BDFM元,对拟线性黏弹性方程构造了一个新的H~1-Galerkin混合元模式。通过Bramble-Hilbert引理,证明了单元所对应的插值算子一个新的高精度结果。进一步地,在半离散和一个二阶全离散格式下,分别导出了原始变量u在H~1-模和中间变量珗p在H(div)-模意义下的超逼近性质。 相似文献
986.
针对复杂场景中路径规划具有未知性和动态性,传统方法无法对路径规划问题进行求解的问题,设计一种改进混合蛙跳算法的机器人路径规划方法,以提高动态环境路径规划的求解精度.首先对动态环境路径规划的研究现状进行分析,并在此基础上建立数学模型;然后采用混合蛙跳算法对该模型进行求解,并针对基本混合蛙跳算法不足进行改进;最后对路径规划的有效性进行测试.测试结果表明,混合蛙跳算法可准确找到最优的路径规划方案,可应用于复杂场景路径规划中,且性能优于其他路径规划方法. 相似文献
987.
马家军 《重庆工商大学学报(自然科学版)》2016,33(3):43-46
针对KFDA算法中存在的问题,提出了基于大间距准则的混合核Fisher人脸特征提取算法;首先,将原始数据通过非线性映射投影到高维数据空间;然后,引入大间距准则和混合核函数使得同类样本在投影后离得更近,不同类样本在投影后离得更远;在PIE和AR人脸库中的仿真实验验证了算法的有效性和稳定性。 相似文献
988.
该文构造了计算二维粘性不可压缩流动的Fourier-Chebyshev拟谱格式,严格证明了其广义稳定性和收敛性,并给出了数值结果,该文的理论分析为此类混合逼近的误差估计提供了一个框架。 相似文献
989.
在黄小晶等人提出的混合相位未知脉冲反褶积方法[1,2]基础上,本文提出一种改进的反褶积方法。与文献[2]的反褶积方法比较,本方法具有运算量小,压缩地震子波的反褶积效果更好等优点。 相似文献
990.