全文获取类型
收费全文 | 18963篇 |
免费 | 1042篇 |
国内免费 | 578篇 |
专业分类
系统科学 | 1520篇 |
丛书文集 | 503篇 |
教育与普及 | 357篇 |
理论与方法论 | 363篇 |
现状及发展 | 909篇 |
研究方法 | 41篇 |
综合类 | 16887篇 |
自然研究 | 3篇 |
出版年
2024年 | 78篇 |
2023年 | 159篇 |
2022年 | 239篇 |
2021年 | 270篇 |
2020年 | 182篇 |
2019年 | 70篇 |
2018年 | 810篇 |
2017年 | 832篇 |
2016年 | 534篇 |
2015年 | 345篇 |
2014年 | 384篇 |
2013年 | 373篇 |
2012年 | 643篇 |
2011年 | 1377篇 |
2010年 | 1195篇 |
2009年 | 956篇 |
2008年 | 1060篇 |
2007年 | 1335篇 |
2006年 | 514篇 |
2005年 | 518篇 |
2004年 | 472篇 |
2003年 | 480篇 |
2002年 | 387篇 |
2001年 | 386篇 |
2000年 | 399篇 |
1999年 | 831篇 |
1998年 | 663篇 |
1997年 | 769篇 |
1996年 | 671篇 |
1995年 | 633篇 |
1994年 | 526篇 |
1993年 | 469篇 |
1992年 | 426篇 |
1991年 | 376篇 |
1990年 | 342篇 |
1989年 | 297篇 |
1988年 | 255篇 |
1987年 | 195篇 |
1986年 | 92篇 |
1985年 | 31篇 |
1984年 | 3篇 |
1983年 | 2篇 |
1982年 | 1篇 |
1967年 | 1篇 |
1955年 | 2篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
61.
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. 相似文献
62.
63.
分布交互仿真环境研究 总被引:5,自引:2,他引:3
分布交互仿真是一种新兴的仿真技术,分布交互仿真环境的研究具有重人的理论意义和实用价值。本文分析了分布交互仿真环境的功能需求,指出了它的设计原则。 相似文献
64.
从茴香油生产茴香醛的废渣、废液中提取副产品茴香酸,合成茴香酸乙酯。对合成条件进行了研究,取得了满意的结果。 相似文献
65.
给出了色树的两种性质;(1)色树相关联的两个顶点对应的串是色分划的不同色组对应的串;(2)色树顶点的对应串所含链的上等。并应用构造方法证明了任意树都是以树,从而解决了遗留问题。 相似文献
66.
本文是对参考文献[1]第二章定理14证明的补充和改进。该定理乃指: 定理14.在任何上(或下)半模的有穷长的偏序集内,Jordan-Dedekind链条件成立。 文献[1]中,考虑上半模情形,谈到已知一个连接链:γ∶a=x_0相似文献
67.
68.
为了消除应用焓法进行含有相变的有限元传热计算结果呈台阶形的现象,本文作者提出“焓计算单元”和“固相分数”的概念,并将几种一维有限元实施方案的计算结果与精确解对比,说明采用所提出的概念,可以使有限元计算得出更为合理的结果。 相似文献
69.
剖析了人类专家进行化工过程能量综合的过程,简述了几种知识表示方法的优、缺点。分析了化工过程能量综合领域知识的种类和特点,提出了题域知识的“面向对象”表示方法。 相似文献
70.
C. Baroni Urbani G. S. Boyan A. Blarer J. Billen T. M. Musthak Ali 《Cellular and molecular life sciences : CMLS》1994,50(1):63-71
The Indian antHarpegnathos saltator may be unique among insects in using its jumping capacity not only as an escape mechanism but also as a normal means of locomotion, and for catching its prey in flight. High-speed cinematography used to analyse the various phases of the jump suggests thatHarpegnathos employs a novel jumping mechanism to mediate these behaviours: namely the synchronous activation of its middle and hindlegs. Electrophysiological recordings from muscles or nerves in pairs of middle and hindlegs show remarkably synchronous activity during fictive jumping, supporting the synchronous activation hypothesis.Harpegnathos is not the only ant to jump, and a cladistic analysis suggests that jumping behaviour evolved independently three times during ant evolutionary history. 相似文献