全文获取类型
收费全文 | 1389篇 |
免费 | 159篇 |
国内免费 | 79篇 |
专业分类
化学 | 229篇 |
晶体学 | 1篇 |
力学 | 34篇 |
综合类 | 159篇 |
数学 | 745篇 |
物理学 | 459篇 |
出版年
2024年 | 3篇 |
2023年 | 21篇 |
2022年 | 31篇 |
2021年 | 41篇 |
2020年 | 36篇 |
2019年 | 50篇 |
2018年 | 32篇 |
2017年 | 31篇 |
2016年 | 40篇 |
2015年 | 32篇 |
2014年 | 56篇 |
2013年 | 59篇 |
2012年 | 37篇 |
2011年 | 59篇 |
2010年 | 60篇 |
2009年 | 97篇 |
2008年 | 76篇 |
2007年 | 91篇 |
2006年 | 89篇 |
2005年 | 80篇 |
2004年 | 62篇 |
2003年 | 66篇 |
2002年 | 64篇 |
2001年 | 45篇 |
2000年 | 38篇 |
1999年 | 39篇 |
1998年 | 33篇 |
1997年 | 28篇 |
1996年 | 31篇 |
1995年 | 51篇 |
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篇 |
排序方式: 共有1627条查询结果,搜索用时 0 毫秒
71.
Ming Sheng Ying 《数学学报(英文版)》2001,17(1):89-102
We use a semantical method of complete residuated lattice-valued logic to give a generalization of fuzzy topology as a partial
answer to a problem by Roser and Turquette.
This work is supported by the National Foundation for Distinguished Young Scholars (Grant No: 69725004),
Research and Development Project of High-Technology (Grant No: 863-306-ZT06-04-3) and Foundation of
Natural Sciences (Grant No: 69823001) of China and Fok Ying-Tung Education Foundation 相似文献
72.
V. F. Murzina 《Algebra and Logic》2003,42(3):181-191
A modal logic associated with the
-spaces introduced by Ershov is examined. We construct a modal calculus that is complete w.r.t. the class of all strictly linearly ordered
-frames, and the class of all strictly linearly ordered
-frames. 相似文献
73.
纳磁逻辑电路具有低功耗、非易失和可常温下制备等优点, 实现低功耗片上时钟是其集成化的必备条件. 本文提出了一种基于交换作用的纳磁逻辑电路片上时钟结构, 用载流铜导线产生的奥斯特场将铁磁体薄膜覆层进行磁化, 然后依靠铁磁体层与纳磁体界面存在的交换作用场使后者磁化方向发生翻转. 与轭式铁磁体时钟用外磁场控制纳磁体磁化方向相比, 该方案在功耗方面降低了5/6, 时钟边界杂散场强度降低了2/3, 达到降低功耗、减轻串扰的目的. 此外, 采用微磁仿真进一步验证了该时钟结构上的纳磁体逻辑阵列可以实现逻辑功能.
关键词:
纳磁逻辑
片上时钟
交换作用 相似文献
74.
In this paper, we present the parallelization of tabu search on a network of workstations using PVM. Two parallelization strategies are integrated: functional decomposition strategy and multi-search threads strategy. In addition, domain decomposition strategy is implemented probabilistically. The performance of each strategy is observed and analyzed. The goal of parallelization is to speedup the search in finding better quality solutions. Observations support that both parallelization strategies are beneficial, with functional decomposition producing slightly better results. Experiments were conducted for the VLSI cell placement, an NP-hard problem, and the objective was to achieve the best possible solution in terms of interconnection length, timing performance (circuit speed), and area. The multiobjective nature of this problem is addressed using a fuzzy goal-based cost computation. 相似文献
75.
In this paper we study the relationship between Constraint Programming (CP) and Shortest Path (SP) problems. In particular, we show that classical, multicriteria, partially ordered, and modality-based SP problems can be naturally modeled and solved within the Soft Constraint Logic Programming (SCLP) framework, where logic programming is coupled with soft constraints. In this way we provide this large class of SP problems with a high-level and declarative linguistic support whose semantics takes care of both finding the cost of the shortest path(s) and also of actually finding the path(s). On the other hand, some efficient algorithms for certain classes of SP problems can be exploited to provide some classes of SCLP programs with an efficient way to compute their semantics. 相似文献
76.
剩余格与正则剩余格的特征定理 总被引:53,自引:2,他引:53
本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格,并引入了正则剩余格的概念,对剩余格与正则剩余格的定义进行了讨论,给出了剩余格与正则剩余格的特征定理,其中包含剩余格与正则剩余格的等式特征,从而这两个格类都构成簇.本文还讨论了剩余格与正则剩余格公理系统的独立性,以及它们与相近代数结构的关系. 相似文献
77.
78.
In this paper we introduce a modal theory which is sound and complete for arithmetical -interpretations in , in other words, we will show that is the -provability logic of . Moreover we will show that is decidable. As a by-product of these results, we show that has de Jongh property. 相似文献
79.
研究错误逻辑的知识表达模型,以错误逻辑理论结合生态文明"五位一体"所构建的生态文明建设指标体系,进行基于对象识别的知识表达.指标体系内的各元素分别被定义为错误逻辑模型中的事物、特征、函数和规则.建模时,首先进行事物分解,第二步进行特定事物下对应的特性及规则分解,最后根据判别规则G对错误函数f形式的影响,对各项指标所适用的错误函数类型进行分类.对象的生成可以为用矩阵这样的数据结构对逻辑知识进行系统化组织做前期准备. 相似文献
80.
Steffen Lewitzka 《Annals of Pure and Applied Logic》2019,170(2):218-250
In previous work [15], we presented a hierarchy of classical modal systems, along with algebraic semantics, for the reasoning about intuitionistic truth, belief and knowledge. Deviating from Gödel's interpretation of IPC in S4, our modal systems contain IPC in the way established in [13]. The modal operator can be viewed as a predicate for intuitionistic truth, i.e. proof. Epistemic principles are partially adopted from Intuitionistic Epistemic Logic IEL [4]. In the present paper, we show that the S5-style systems of our hierarchy correspond to an extended Brouwer–Heyting–Kolmogorov interpretation and are complete w.r.t. a relational semantics based on intuitionistic general frames. In this sense, our S5-style logics are adequate and complete systems for the reasoning about proof combined with belief or knowledge. The proposed relational semantics is a uniform framework in which also IEL can be modeled. Verification-based intuitionistic knowledge formalized in IEL turns out to be a special case of the kind of knowledge described by our S5-style systems. 相似文献