全文获取类型
收费全文 | 22467篇 |
免费 | 559篇 |
国内免费 | 1512篇 |
专业分类
系统科学 | 1787篇 |
丛书文集 | 1108篇 |
教育与普及 | 707篇 |
理论与方法论 | 335篇 |
现状及发展 | 141篇 |
综合类 | 20460篇 |
出版年
2024年 | 101篇 |
2023年 | 401篇 |
2022年 | 457篇 |
2021年 | 468篇 |
2020年 | 384篇 |
2019年 | 370篇 |
2018年 | 212篇 |
2017年 | 327篇 |
2016年 | 365篇 |
2015年 | 594篇 |
2014年 | 1254篇 |
2013年 | 1100篇 |
2012年 | 1183篇 |
2011年 | 1300篇 |
2010年 | 1282篇 |
2009年 | 1515篇 |
2008年 | 1796篇 |
2007年 | 1473篇 |
2006年 | 1135篇 |
2005年 | 1085篇 |
2004年 | 938篇 |
2003年 | 966篇 |
2002年 | 856篇 |
2001年 | 795篇 |
2000年 | 575篇 |
1999年 | 480篇 |
1998年 | 448篇 |
1997年 | 390篇 |
1996年 | 397篇 |
1995年 | 346篇 |
1994年 | 284篇 |
1993年 | 200篇 |
1992年 | 212篇 |
1991年 | 215篇 |
1990年 | 160篇 |
1989年 | 166篇 |
1988年 | 125篇 |
1987年 | 81篇 |
1986年 | 43篇 |
1985年 | 19篇 |
1984年 | 5篇 |
1983年 | 7篇 |
1982年 | 4篇 |
1981年 | 11篇 |
1978年 | 3篇 |
1965年 | 3篇 |
1962年 | 2篇 |
1958年 | 2篇 |
1957年 | 1篇 |
1944年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 788 毫秒
111.
112.
一个快速的二进制多重精度gcd算法 总被引:3,自引:1,他引:2
求两个整数的最大公因子(gcd)的经典的Euclid算法时间复杂度为O(ln^3n),不适宜于多重精度运算。论文证明了gcd的相关性质,提出了一个基于二进制的、适用于多重精度运算的改进算法,其时间复杂度为O(ln^2n)。 相似文献
113.
基于时间Petri网的密码协议分析 总被引:4,自引:2,他引:2
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案. 相似文献
114.
刘涛 《山东师范大学学报(自然科学版)》2002,17(1):5-7
讨论了华林问题中一类特殊的奇异级数,在分析的范围内用代数数论的方法对它的下界作出一个估计,从而改进了Vaughan的结果。 相似文献
115.
介绍了工业水分过程系统建模的研究方法。该文采用数学机理模型、经验模型、神经网络模型在物元模型的基础上综合方法,建立了大时延、大流量、大范围非线性时变的烟丝水分过程的模型。该模型以数学机理模型的解作为初始点,经验模型作为全局调节器,菱形思维神经网络模型作为局部调节器,从而使该模型更接近于实际工业过程。此方法物理机理明晰、能获得工业过程的全局优化结果、能解决系统中一些结构不良问题等。仿真结果表明:较之三种模型的有效性,对于解决复杂工业过程控制系统问题,可知工程方法是一条可探索途径。 相似文献
116.
杜建正 《西南师范大学学报(自然科学版)》1994,(6)
运用模糊统计对10个持续时间词进行了初步研究,然后选出其中2个,让不同个性特征的男女被试对其赋值。结果表明:在时间词的估计值和估值范围上,A型行为类型者的赋值都小于B型行为类型者;低焦虑者的时间词的估值范围大于高焦虑者;在赋值特征上性别差异不显著. 相似文献
117.
118.
为了提高移动机器人的灵活性和机动性,人们提出了最大限度地利用普通常规轮的运动自由度来实现移动机器人的平面自由运动。当移动机器人具有n(n≥2)个可操舵驱动轮时,它可以实现平面上的自由运动,即它具有3个自由度。针对轮式移动机器人的运动学建模问题,基于坐标变换法,提出了一种解决具有可操舵轮的移动机器人运动学建模的通用方法,建立了在满足理想运动约束条件下的运动学模型,并以具有2个可操舵驱动轮的3自由度移动机器人为例,给出了运动学仿真结果。 相似文献
119.
120.
蒲建平 《渝西学院学报(自然科学版)》2006,(2)
引入了对称上强制的定义,提出了非线性似变分不等式组问题的Mann迭代算法,并证明了该算法在一定条件下的收敛性,使笔者提出的算法比文献[1]更具普遍性. 相似文献