全文获取类型
收费全文 | 37944篇 |
免费 | 1548篇 |
国内免费 | 1505篇 |
专业分类
系统科学 | 2140篇 |
丛书文集 | 1294篇 |
教育与普及 | 1330篇 |
理论与方法论 | 410篇 |
现状及发展 | 1027篇 |
研究方法 | 119篇 |
综合类 | 34672篇 |
自然研究 | 5篇 |
出版年
2024年 | 188篇 |
2023年 | 460篇 |
2022年 | 633篇 |
2021年 | 717篇 |
2020年 | 433篇 |
2019年 | 172篇 |
2018年 | 928篇 |
2017年 | 1029篇 |
2016年 | 733篇 |
2015年 | 765篇 |
2014年 | 1061篇 |
2013年 | 971篇 |
2012年 | 1378篇 |
2011年 | 2098篇 |
2010年 | 1924篇 |
2009年 | 1766篇 |
2008年 | 1930篇 |
2007年 | 2220篇 |
2006年 | 1241篇 |
2005年 | 1325篇 |
2004年 | 964篇 |
2003年 | 878篇 |
2002年 | 745篇 |
2001年 | 856篇 |
2000年 | 991篇 |
1999年 | 1900篇 |
1998年 | 1611篇 |
1997年 | 1723篇 |
1996年 | 1584篇 |
1995年 | 1355篇 |
1994年 | 1198篇 |
1993年 | 1061篇 |
1992年 | 894篇 |
1991年 | 811篇 |
1990年 | 714篇 |
1989年 | 628篇 |
1988年 | 513篇 |
1987年 | 318篇 |
1986年 | 170篇 |
1985年 | 62篇 |
1984年 | 8篇 |
1983年 | 4篇 |
1981年 | 3篇 |
1980年 | 5篇 |
1974年 | 2篇 |
1973年 | 7篇 |
1970年 | 3篇 |
1967年 | 3篇 |
1964年 | 2篇 |
1957年 | 3篇 |
排序方式: 共有10000条查询结果,搜索用时 31 毫秒
271.
Frank Waaldijk 《Foundations of Science》2005,10(3):249-324
We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical
mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics
reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem
in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem
is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many
issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics
and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially
with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between
the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical
and/or intuitionistic definition in classical and intuitionistic mathematics, respectively. 相似文献
272.
随着招投标机制的引入,公路工程施工建设逐渐走向了市场.但是从近年来运行的情况来看,依然存在很多问题.本文从招投标实践出发,总结了目前公路工程招投标领域存在的一些问题,并提出了相应的改进措施和对策,对进一步规范公路工程招投标进行了积极的思考和探索. 相似文献
273.
高精度步进压印机热误差的建模分析 总被引:1,自引:0,他引:1
为了消除由紫外光曝光所引起的步进压印机的热误差,以提高压印机的套刻对准精度,运用逐步回归分析法选取了压印机上温度测量点的数量,将压印机上布置的温度传感器从15个减少到6个,并建立了压印机温度测量关键点处的温度与压头在x、z方向热误差关系的数学模型.实验结果与模型计算结果的对比分析表明,模型的热误差预测精度在x方向可以达到899/6,而在z方向可以达到939/6.应用表明,该方法是一种在压印机热误差建模中选择温度测量关键点的有效方法,可避免热误差建模过程中的变量耦合问题,从而提高了模型的精确性. 相似文献
274.
275.
本文通过对塑料瓶盖压缩性能检测证明,每一种塑料瓶盖的压缩性能和压缩曲线都具有特征性,塑料瓶盖的压缩性能和压缩曲线可以作为检测塑料瓶盖真伪的重要依据之一. 相似文献
276.
LIUYi-chun WANGLi-na ZHANGHuan-guo 《武汉大学学报:自然科学英文版》2005,10(1):227-230
A new class of atomicity, namely contract atomicity is presented. A new technical strategy based on convertible signature and two-phase commitment is proposed for implementing atomicity of electronic contract protocol. A new atomic contract signing protocol is given out by using EIGamal like convertible undeniable signature and commitment ofconversion key, and another new atomic contract signing protocol is brought forward by using RSA based convertible undeniable signature scheme and commitment of conversion key. These two new protocols are proved to be of atomicity, fairness, privacy, non repudiation. 相似文献
277.
简要评估了“926”植物生长调节剂的经济效益和生态环境。分析了开发应用的前景。 相似文献
278.
刘扬 《东莞理工学院学报》1995,2(2):26-32
本文针对传统的消除金属工作内部残余应力的热时效处理法的不足,从激振角度,运用材料力学、动力学中的振动理论等知识,并通过大量试验验证,研究了振动消除应力的方法--振动时效法的原理及其有关问题。说明这种新的方法具有节能、高效等一系列优点。 相似文献
279.
详细阐述了省道002线分水岭到仲宫段跨越地带地层的时代、岩性,划分了岩、土的工程类别,为道路和桥梁设计、支挡物设置及工程概算提供了依据。 相似文献
280.