全文获取类型
收费全文 | 1966篇 |
免费 | 220篇 |
国内免费 | 101篇 |
专业分类
化学 | 228篇 |
晶体学 | 2篇 |
力学 | 383篇 |
综合类 | 166篇 |
数学 | 894篇 |
物理学 | 614篇 |
出版年
2024年 | 6篇 |
2023年 | 26篇 |
2022年 | 35篇 |
2021年 | 45篇 |
2020年 | 51篇 |
2019年 | 63篇 |
2018年 | 44篇 |
2017年 | 45篇 |
2016年 | 50篇 |
2015年 | 44篇 |
2014年 | 89篇 |
2013年 | 86篇 |
2012年 | 63篇 |
2011年 | 90篇 |
2010年 | 79篇 |
2009年 | 124篇 |
2008年 | 100篇 |
2007年 | 125篇 |
2006年 | 117篇 |
2005年 | 112篇 |
2004年 | 99篇 |
2003年 | 92篇 |
2002年 | 87篇 |
2001年 | 69篇 |
2000年 | 51篇 |
1999年 | 63篇 |
1998年 | 45篇 |
1997年 | 45篇 |
1996年 | 50篇 |
1995年 | 69篇 |
1994年 | 33篇 |
1993年 | 37篇 |
1992年 | 31篇 |
1991年 | 20篇 |
1990年 | 20篇 |
1989年 | 20篇 |
1988年 | 13篇 |
1987年 | 12篇 |
1986年 | 8篇 |
1985年 | 6篇 |
1984年 | 4篇 |
1983年 | 7篇 |
1982年 | 2篇 |
1981年 | 2篇 |
1980年 | 3篇 |
1979年 | 2篇 |
1977年 | 1篇 |
1973年 | 1篇 |
1972年 | 1篇 |
排序方式: 共有2287条查询结果,搜索用时 15 毫秒
1.
2.
It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) 相似文献
3.
一阶形式系统K~*及其完备性 总被引:2,自引:0,他引:2
裴道武 《数学年刊A辑(中文版)》2002,(6)
模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性. 相似文献
4.
Bernhard Heinemann 《Mathematical Logic Quarterly》1997,43(2):203-215
Based on a modification of Moss' and Parikh's topological modal language [8], we study a generalization of a weakly expressive fragment of a certain propositional modal logic of time. We define a bimodal logic comprising operators for knowledge and nexttime. These operators are interpreted in binary computation structures. We present an axiomatization of the set T of theorems valid for this class of semantical domains and prove – as the main result of this paper – its completeness. Moreover, the question of decidability of T is treated. 相似文献
5.
Motivated by some functional models arising in fuzzy logic, when classical boolean relations between sets are generalized,
we study the functional equation S(S(x, y), T(x, y)) = S(x, y), where S is a continuous t-conorm and T is a continuous t-norm. Some interesting methods for solving this type of equations are introduced. 相似文献
6.
B. M. Azizur Rahman A. K. M. Saiful Kabir Muttukrishnan Rajarajan Kenneth T. V. Grattan 《Optical and Quantum Electronics》2005,37(1-3):171-183
Modal solutions of planar photonic crystal waveguides with rectangular air-holes are presented by using a rigorous full-vectorial finite element-based approach. The effective indices, mode field profiles, spot-sizes, power confinements, modal hybridness, beat lengths and group velocity dispersions are shown for the fundamental and higher order modes of the quasi-TE and TM polarizations. 相似文献
7.
This paper proposes a model for the parametric representation of linguistic hedges in Zadeh’s fuzzy logic. In this model each linguistic truth-value, which is generated from a primary term of the linguistic truth variable, is identified by a real number r depending on the primary term. It is shown that the model yields a method of efficiently computing linguistic truth expressions accompanied with a rich algebraic structure of the linguistic truth domain, namely De Morgan algebra. Also, a fuzzy logic based on the parametric representation of linguistic truth-values is introduced. 相似文献
8.
戴伏生 《数学的实践与认识》2006,36(2):186-192
经典的D IJKSTRA和BELLM AN-F LOYD通信网络路由算法,只能根据特定网络参数得到最佳路由,却无法获得网络存在的全部可用路由,而通信网理论研究及网络管理等方面,往往需要获得节点之间的全部可用路由.研究出一种路由新算法,遵循逻辑代数运算规则、采用关联矩阵中行与行之间整合与删除方式计算,N个节点的网络只需N-1次整合及删除运算,就能得到源节点到任意节点两点之间全部路由结果.详细论证了算法的正确性与合理性,简介了算法的并行运算可行性及与经典路由算法的兼容性等问题.通过算例详细说明算法的计算过程,并验证其正确性. 相似文献
9.
关于PFI-代数与剩余格 总被引:10,自引:0,他引:10
本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系.这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究. 相似文献
10.
从D触发器激励表入手,分别给出了采用单边沿D触发器和双边沿D触发器的2^n进制异步加法计数器、减法计数器的设计方法.在此基础上,采用逻辑函数修改技术,通过实例讨论了基于单边沿D触发器和双边沿D触发器的异步任意进制计数器的设计.该设计方法方便,快速,具有一定的实用意义. 相似文献