首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1390篇
  免费   161篇
  国内免费   80篇
化学   229篇
晶体学   1篇
力学   34篇
综合类   159篇
数学   748篇
物理学   460篇
  2024年   3篇
  2023年   21篇
  2022年   31篇
  2021年   41篇
  2020年   36篇
  2019年   50篇
  2018年   32篇
  2017年   31篇
  2016年   40篇
  2015年   32篇
  2014年   56篇
  2013年   60篇
  2012年   37篇
  2011年   59篇
  2010年   61篇
  2009年   97篇
  2008年   76篇
  2007年   91篇
  2006年   89篇
  2005年   80篇
  2004年   63篇
  2003年   66篇
  2002年   64篇
  2001年   45篇
  2000年   38篇
  1999年   39篇
  1998年   33篇
  1997年   28篇
  1996年   31篇
  1995年   52篇
  1994年   24篇
  1993年   26篇
  1992年   17篇
  1991年   9篇
  1990年   13篇
  1989年   13篇
  1988年   8篇
  1987年   8篇
  1986年   5篇
  1985年   6篇
  1984年   3篇
  1983年   5篇
  1982年   2篇
  1981年   2篇
  1980年   3篇
  1979年   2篇
  1977年   1篇
  1973年   1篇
  1972年   1篇
排序方式: 共有1631条查询结果,搜索用时 15 毫秒
1.
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)  相似文献   
2.
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.  相似文献   
3.
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.  相似文献   
4.
经典的D IJKSTRA和BELLM AN-F LOYD通信网络路由算法,只能根据特定网络参数得到最佳路由,却无法获得网络存在的全部可用路由,而通信网理论研究及网络管理等方面,往往需要获得节点之间的全部可用路由.研究出一种路由新算法,遵循逻辑代数运算规则、采用关联矩阵中行与行之间整合与删除方式计算,N个节点的网络只需N-1次整合及删除运算,就能得到源节点到任意节点两点之间全部路由结果.详细论证了算法的正确性与合理性,简介了算法的并行运算可行性及与经典路由算法的兼容性等问题.通过算例详细说明算法的计算过程,并验证其正确性.  相似文献   
5.
In [3] it was shown that a (real) signed measure on a cyclic coarse-grained quantum logic can be extended, as a signed measure, over the entire power algebra. Later ([9]) this result was re-proved (and further improved on) and, moreover, the non-negative measures were shown to allow for extensions as non-negative measures. In both cases the proof technique used was the technique of linear algebra. In this paper we further generalize the results cited by extending group-valued measures on cyclic coarse-grained quantum logics (or non-negative group-valued measures for lattice-ordered groups). Obviously, the proof technique is entirely different from that of the preceding papers. In addition, we provide a new combinatorial argument for describing all atoms of cyclic coarse-grained quantum logics.  相似文献   
6.
Tensor products of quantum logics and effect algebras with some known problems are reviewed. It is noticed that although tensor products of effect algebras having at least one state exist, in the category of complex Hilbert space effect algebras similar problems as with tensor products of projection lattices occur. Nevertheless, if one of the two coupled physical systems is classical, tensor product exists and can be considered as a Boolean power. Some applications of tensor products (in the form of Boolean powers) to quantum measurements are reviewed.  相似文献   
7.
We study game formulas the truth of which is determined by a semantical game of uncountable length. The main theme is the study of principles stating reflection of these formulas in various admissible sets. This investigation leads to two weak forms of strict-II11 reflection (or ∑1-compactness). We show that admissible sets such as H2) and Lω2 which fail to have strict-II11 reflection, may or may not, depending on set-theoretic hypotheses satisfy one or both of these weaker forms. Mathematics Subject Classification : 03C70, 03C75.  相似文献   
8.
陈浩 《大学数学》2003,19(4):89-94
通过两个积分 (一个是不定积分 ,一个是定积分 )及一个极限 ,说明如何灵活使用积分法解决积分问题 ,方法灵活、巧妙 ,适用范围广 .  相似文献   
9.
根据光束偏转原理,研制了激光等离子体冲击波自动测试系统的硬件和软件。该系统使用计算机与可编程序控制器作为上下位机,采取上下位机通讯的方式控制步进电机及二维移动架的移动,以改变探测光的相对位置,并利用单模光纤和光电倍增管将探测到的光偏转信号传入数字示波器进行存储,最后计算机将示波器中采集到的光偏转信号进行分析处理。使用该系统对激光等离子冲击波的衰减过程进行了实际测试,得到了较为理想的实验结果。  相似文献   
10.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号