全文获取类型
收费全文 | 67633篇 |
免费 | 1945篇 |
国内免费 | 4473篇 |
专业分类
系统科学 | 6535篇 |
丛书文集 | 2431篇 |
教育与普及 | 1183篇 |
理论与方法论 | 394篇 |
现状及发展 | 496篇 |
研究方法 | 2篇 |
综合类 | 63010篇 |
出版年
2024年 | 498篇 |
2023年 | 1638篇 |
2022年 | 1817篇 |
2021年 | 2163篇 |
2020年 | 1598篇 |
2019年 | 1578篇 |
2018年 | 995篇 |
2017年 | 1212篇 |
2016年 | 1464篇 |
2015年 | 2105篇 |
2014年 | 3552篇 |
2013年 | 3310篇 |
2012年 | 3691篇 |
2011年 | 3910篇 |
2010年 | 3892篇 |
2009年 | 4394篇 |
2008年 | 4718篇 |
2007年 | 4223篇 |
2006年 | 3418篇 |
2005年 | 2984篇 |
2004年 | 2774篇 |
2003年 | 2639篇 |
2002年 | 2496篇 |
2001年 | 2257篇 |
2000年 | 1693篇 |
1999年 | 1356篇 |
1998年 | 1142篇 |
1997年 | 1160篇 |
1996年 | 1017篇 |
1995年 | 818篇 |
1994年 | 701篇 |
1993年 | 539篇 |
1992年 | 514篇 |
1991年 | 449篇 |
1990年 | 456篇 |
1989年 | 390篇 |
1988年 | 229篇 |
1987年 | 132篇 |
1986年 | 65篇 |
1985年 | 24篇 |
1984年 | 2篇 |
1982年 | 1篇 |
1981年 | 24篇 |
1980年 | 7篇 |
1959年 | 1篇 |
1958年 | 1篇 |
1957年 | 2篇 |
1947年 | 1篇 |
1944年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
31.
32.
串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现. 相似文献
33.
34.
研究污染环境下受到毒素和双重噪声(白噪声和有色噪声)作用的随机系统,建立污染环境中具有Markov切换的随机互惠三种群模型。利用随机微分方程相关理论和分析方法,考虑系统同时受到白噪声、有色噪声、毒素浓度及种群间相互作用因素对种群生存状态的影响,得到随机互惠三种群系统中各种群趋于灭绝、随机非平均持久、随机弱平均持久和随机强平均持久的充分条件。数值模拟验证了理论结果的正确性。 相似文献
35.
针对储物柜存取货物场景的实际情况和人员行为的特点,提出一种通过融合时间调整机制控制前景融入背景的改进型混合高斯建模检测方法,并引入手臂识别机制。融合时间调整机制减小了由于人员停止运动而错误决策为背景的可能性;手臂识别算法模型有效地识别人员伸手动作。实验结果表明,该方法可以简单有效地从连续的图像序列中检测出人员在储物柜场景下的存取货物行为。 相似文献
36.
周雪 《哈尔滨师范大学自然科学学报》2015,31(3)
应用线性化方法研究两种群竞争的Keller-Segel模型常数平衡解的个数及其稳定性问题. 相似文献
37.
38.
39.
《江西科技师范学院学报》2015,(6)
文章基于熵值修正G1法对智慧旅游建设水平进行研究,构建城市智慧旅游建设水平评价指标体系和模型,对江西省11个地级市进行实证研究,结果显示,11个城市的智慧旅游建设水平整体较低,其中基础设施建设水平、经济发展水平、科技创新和硬件支撑上城市间差异较大,在智慧旅游环境支撑总体差异小,保持在较高水平。并依据评价结果对江西省11个城市分为三个类别,对每一类别城市的特点进行了分析,以期能够指导江西智慧旅游的规划建设。 相似文献
40.