全文获取类型
收费全文 | 9756篇 |
免费 | 946篇 |
国内免费 | 778篇 |
专业分类
电工技术 | 1170篇 |
技术理论 | 3篇 |
综合类 | 987篇 |
化学工业 | 189篇 |
金属工艺 | 156篇 |
机械仪表 | 567篇 |
建筑科学 | 232篇 |
矿业工程 | 133篇 |
能源动力 | 176篇 |
轻工业 | 102篇 |
水利工程 | 62篇 |
石油天然气 | 110篇 |
武器工业 | 93篇 |
无线电 | 1530篇 |
一般工业技术 | 441篇 |
冶金工业 | 121篇 |
原子能技术 | 66篇 |
自动化技术 | 5342篇 |
出版年
2024年 | 31篇 |
2023年 | 71篇 |
2022年 | 96篇 |
2021年 | 135篇 |
2020年 | 172篇 |
2019年 | 187篇 |
2018年 | 153篇 |
2017年 | 199篇 |
2016年 | 249篇 |
2015年 | 315篇 |
2014年 | 527篇 |
2013年 | 568篇 |
2012年 | 572篇 |
2011年 | 682篇 |
2010年 | 508篇 |
2009年 | 599篇 |
2008年 | 662篇 |
2007年 | 741篇 |
2006年 | 693篇 |
2005年 | 633篇 |
2004年 | 523篇 |
2003年 | 445篇 |
2002年 | 385篇 |
2001年 | 358篇 |
2000年 | 303篇 |
1999年 | 275篇 |
1998年 | 225篇 |
1997年 | 222篇 |
1996年 | 188篇 |
1995年 | 156篇 |
1994年 | 145篇 |
1993年 | 102篇 |
1992年 | 85篇 |
1991年 | 70篇 |
1990年 | 37篇 |
1989年 | 36篇 |
1988年 | 24篇 |
1987年 | 18篇 |
1986年 | 21篇 |
1985年 | 17篇 |
1984年 | 9篇 |
1983年 | 15篇 |
1982年 | 8篇 |
1981年 | 3篇 |
1980年 | 3篇 |
1979年 | 3篇 |
1978年 | 3篇 |
1973年 | 2篇 |
1957年 | 2篇 |
1951年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 11 毫秒
101.
命题动态逻辑是一种应用模态逻辑,用于程序行为的推理.Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑.对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有... 相似文献
102.
针对时滞不稳定系统,提出了一种基于模糊逻辑的设定值加权PID控制方法。采用以设定值跟随误差和误差变化为输入的二维模糊逻辑控制器来在线实时调整加权参数值,使系统获得更好的目标值跟踪特性。仿真实验结果表明这种方法具有较好的动态性能指标。 相似文献
103.
104.
105.
张胜礼 《计算机科学与探索》2014,(4):494-505
对于模糊知识及其否定关系,潘正华指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的模糊集FScom(fuzzy sets with contradictory negation, opposite negation and medium negation),随后建立了一种改进的模糊集IFScom(improved FScom)。为给模糊集FScom及其改进IFScom提供一种逻辑工具,提出了一种带有矛盾否定、对立否定和中介否定的模糊命题逻辑演算系统FPcom,并在给定无穷值语义赋值模型以及可满足性定义下,证明了FPcom具有可靠性和完备性。FPcom在一定意义上可视为对中介命题演算系统的改进。 相似文献
106.
针对异构信息网络中存在多种数据目标类型,以及多种数据连接关系的问题,将多个主题模型和马尔科夫逻辑网相结合,提出了一种融合概率图模型。多个主题模型可以分别描述不同数据目标子空间的主题分布,实现对多种数据目标的预处理。用一阶逻辑子句描述的连接规则构建马尔科夫逻辑网,将每个主题模型中的不同数据目标连接起来。通过使用Gibbs采样,可以对异构网络进行参数学习和推理。在国际通用的异构信息网络DBLP数据集上的实验结果表明,使用融合概率图模型能够更好地表示不同的数据目标和连接关系。实验对比了4种典型的分类方法,多次采样得到的分类结果稳定,对作者、文章和会议取得了较好的分类结果。 相似文献
107.
LIAO Kai CUI XiaoXin LIAO Nan MA KaiSheng WU Di WEI Wei LI Rui YU DunShan 《中国科学:信息科学(英文版)》2014,(4):269-281
With the technology scaling down, low power dissipation has become one of the research focuses in the field of integrated circuit design. Various types of adiabatic logics have been invented for low-power applications. However, the expanding leakage current degrades the performance of conventional adiabatic logics. In this article, a novel improved complementary pass-transistor adiabatic logic (ICPAL) based on fin-type field- effect transistor (FinFET) devices with ultra-low power dissipation has been presented. The proposed ICPAL takes full advantage of different FinFET operating modes, that is, shorted-gate mode, independent-gate mode, and low-power mode, to make a tremendous reduction in power dissipation. For explication and verification, the power dissipation of different ICPAL standard cells has been investigated and compared with other types of adiabatic circuits based on FinFETs. The results show that the ICPAL circuits have ultra-low power dissipation in a wide range of clock frequencies(30-800 MHz) under the condition of similar number of transistors, and the average reduction in power dissipation is about 23.1%, 75.0%, and 50.0% relative to 2N-2N2P, improved pass- transistor adiabatic logic, and complimentary pass-transistor adiabatic logic, respectively. Furthermore, ICPAL supports a better pre-evaluation of system power dissipation in VLSI design and has an intrinsic characteristic for the resistance to some types of side channel attacks. 相似文献
108.
A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L3-valued propositional logic, a multisequent is a triple Δ|Θ|Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in Θ has truth-value m, or some formula in Γ has truth-value f. Correspondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic. Dually, a comultisequent is a triple Δ : Θ : Γ, which is valid if there is an assignment v in which each formula in Δ has truth-value≠t, each formula in Θ has truth-value≠m, and each formula in Γ has truth-value≠f. Correspondingly there is a sound and complete Gentzen deduction system G− for co-multisequents which is nonmonotonic. 相似文献
109.
针对永磁直线同步电机伺服系统受到系统参数变化、负载扰动而降低其性能的问题,考虑端部效应以及摩擦力的存在,提出一种自适应区间二型模糊滑模控制方法.采用自适应区间二型模糊系统逼近滑模控制等效控制部分,把传统的一型模糊系统扩展到区间二型模糊系统,提高系统面临参数变化、不确定性扰动时的处理能力.基于Lyapunov函数设计切换项增益调整的自适应律,保证系统的稳定性.仿真结果表明,该方法提高了系统的鲁棒性,有效地削弱了系统的抖振. 相似文献
110.
在无线体域网(WBAN)的身份认证中,针对原方案通◢信传感器节点可追踪和不具备匿名性的缺点,提出一种改进双跳身份认证方案,并保留了原方案的高效运算特性。引入了二级节点N的保密密钥和核心节点HN的身份验证参数两个独立的保密参数,并让二级节点N的保密密钥独立。并与原方案保密值组成三个保密值,通过三个保密值来确保◣参数的保密性和新鲜性。安全性分析和BAN逻辑表明所提方案具备不可追踪性和匿名性,且计算成本与原方案相近,通信成本更低,存储成本略有上升。所提方案是原方案的有效改进。 相似文献