全文获取类型
收费全文 | 33859篇 |
免费 | 1505篇 |
国内免费 | 1577篇 |
专业分类
系统科学 | 2313篇 |
丛书文集 | 979篇 |
教育与普及 | 782篇 |
理论与方法论 | 384篇 |
现状及发展 | 1044篇 |
研究方法 | 94篇 |
综合类 | 31336篇 |
自然研究 | 9篇 |
出版年
2024年 | 183篇 |
2023年 | 341篇 |
2022年 | 635篇 |
2021年 | 699篇 |
2020年 | 443篇 |
2019年 | 213篇 |
2018年 | 1014篇 |
2017年 | 1102篇 |
2016年 | 853篇 |
2015年 | 900篇 |
2014年 | 1153篇 |
2013年 | 1163篇 |
2012年 | 1504篇 |
2011年 | 2217篇 |
2010年 | 2018篇 |
2009年 | 1860篇 |
2008年 | 1972篇 |
2007年 | 2217篇 |
2006年 | 1178篇 |
2005年 | 1123篇 |
2004年 | 956篇 |
2003年 | 861篇 |
2002年 | 866篇 |
2001年 | 752篇 |
2000年 | 771篇 |
1999年 | 1233篇 |
1998年 | 1126篇 |
1997年 | 1193篇 |
1996年 | 1031篇 |
1995年 | 868篇 |
1994年 | 838篇 |
1993年 | 732篇 |
1992年 | 585篇 |
1991年 | 596篇 |
1990年 | 474篇 |
1989年 | 431篇 |
1988年 | 390篇 |
1987年 | 231篇 |
1986年 | 133篇 |
1985年 | 39篇 |
1984年 | 10篇 |
1983年 | 5篇 |
1981年 | 3篇 |
1980年 | 4篇 |
1973年 | 3篇 |
1971年 | 2篇 |
1970年 | 2篇 |
1968年 | 3篇 |
1967年 | 2篇 |
1955年 | 3篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
151.
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. 相似文献
152.
讨论了回弹法、钻芯法、超声波法和拨出法等常用结构实体混凝土强度检测技术的优、缺点,并就如何提高结构实体混凝土强度检测技术的精度,提出了一些亟待解决的关键技术问题。 相似文献
153.
XUZheng-quan XUYang YANAi-ping 《武汉大学学报:自然科学英文版》2005,10(2):375-379
Software component library is the essential part of reuse-based software development. It is shown that making use of a single component library to store all kinds of components and from which components are searched is very inefficient. We construct multi-libraries to support software reuse and use PVM as development environments to imitate Iargescale computer, which is expected to fulfill distributed storage and parallel search of components efficiently and improve software reuse. 相似文献
154.
155.
扩散过程样本的Holder连续性及其应用 总被引:7,自引:3,他引:4
杨新建 《湖南师范大学自然科学学报》1995,18(2):13-18
本文讨论扩散过程样本的Holder连续性,在局部Lipschitz条件下,我们证明了扩散过程样本类似于Brown运动样本一样的Holder连续性,进一步,我们还了扩散过程样本的象与图集的Hausdroff维数。 相似文献
156.
刘扬 《东莞理工学院学报》1995,2(2):26-32
本文针对传统的消除金属工作内部残余应力的热时效处理法的不足,从激振角度,运用材料力学、动力学中的振动理论等知识,并通过大量试验验证,研究了振动消除应力的方法--振动时效法的原理及其有关问题。说明这种新的方法具有节能、高效等一系列优点。 相似文献
157.
本文描述了复杂系统综合集成的一种新的方法--知识封装及其在知识封装上建立知识型复杂系统的过程, 探讨了知识在复杂系统中的作用及其介入的深度。采用知识封装后, 无法符号化的问题求解模块可以统一在知识系统的框架下进行处理。最后通过两个示例来说明如何对问题求解模块进行知识封装。 相似文献
158.
杨左宸 《四川师范大学学报(自然科学版)》1995,18(3):99-101
本文作者根据显著观测和发光光谱的测试结果表证实了在ZnS:Cu单晶中,蓝色铜发光中心及绿色铜发光中心的分布和位错线区域的横向与纵向的显著与纵向的显著结构有着固定的对应关系。 相似文献
159.
本文首先介绍CAD/CAM的产生及发展。然后谈CAD/CAM对建筑机械业的影响。本主独道见解是:CAD/CAM技术对建筑机械业影响巨大,一个全新的计算机辅助建筑工程制造CAEM概念将产生。当CAEM实现时,建楼房将象儿童搭积木房子一样轻而易举。“安得广厦万千间,使得天下寒士尽欢颜”梦想会成真。 相似文献
160.
杨仲平 《西安科技大学学报》1988,(2)
利用线性最优调节器理论可以设计出具有良好性能指标的晶闸管直流电机控制系统。这种设计方法优于传统的“双环系统”设计。然而,求解Riccati方程的计算量相当大。为寻求最佳加权Q阵,可能耗费许多时间。采用奇异摄动法设计准最优线性系统时,可以化高阶为低阶,从而简化计算工作量。本文利用奇异摄动理论设计了一个晶闸管直流电动机系统。已肯定本法适应于此类设计。本文还比较了不同设计方法所达到的动态性能。 相似文献