首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3800篇
  免费   342篇
  国内免费   277篇
电工技术   252篇
综合类   941篇
化学工业   122篇
金属工艺   19篇
机械仪表   160篇
建筑科学   108篇
矿业工程   22篇
能源动力   75篇
轻工业   72篇
水利工程   51篇
石油天然气   38篇
武器工业   28篇
无线电   431篇
一般工业技术   416篇
冶金工业   26篇
原子能技术   15篇
自动化技术   1643篇
  2024年   10篇
  2023年   46篇
  2022年   49篇
  2021年   50篇
  2020年   66篇
  2019年   97篇
  2018年   67篇
  2017年   86篇
  2016年   123篇
  2015年   105篇
  2014年   160篇
  2013年   227篇
  2012年   223篇
  2011年   277篇
  2010年   209篇
  2009年   229篇
  2008年   224篇
  2007年   253篇
  2006年   207篇
  2005年   181篇
  2004年   146篇
  2003年   153篇
  2002年   130篇
  2001年   107篇
  2000年   138篇
  1999年   109篇
  1998年   89篇
  1997年   87篇
  1996年   52篇
  1995年   82篇
  1994年   90篇
  1993年   48篇
  1992年   51篇
  1991年   50篇
  1990年   37篇
  1989年   45篇
  1988年   31篇
  1987年   26篇
  1986年   9篇
  1985年   16篇
  1984年   7篇
  1983年   3篇
  1982年   4篇
  1981年   6篇
  1980年   5篇
  1979年   2篇
  1978年   3篇
  1977年   2篇
  1975年   1篇
  1974年   1篇
排序方式: 共有4419条查询结果,搜索用时 31 毫秒
101.
基于消点法的几何自动推理系统实现   总被引:5,自引:2,他引:3  
罗慧敏 《计算机应用》2008,28(11):2984-2986
为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提供作图的方式接受用户的几何命题前提条件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证明和求解,并生成可读的证明步骤,大大方便了初高等几何教育和相关研究者的需要。  相似文献   
102.
故障树分析是一种自上而下的方法,通过对可能造成系统故障的硬件、软件、环境、人为因素进行分析,分析得出故障原因的各种可能组合方式,由总体至部分,按树状结构,逐层细化的一种分析方法.开发了故障树分析工具,提供了对规范化故障树定性的割集计算、简化等功能,提出了基于容斥定理的定量化顶事件概率简化计算方法,可满足企业对部件级元件进行故障详细分析的需求.还给出了所开发的系统实现界面,系统已在某企业中得到了具体的应用.  相似文献   
103.
A theorem which helps to determine the boundary of the image of an interval inR n under a differentiable mapping,F:R n C, is expounded. Examples illustrating the application of the theorem are given.  相似文献   
104.
In this paper we have a closer look at one of the rules of the tableau calculus presented by Fitting [4], called the -rule. We prove that a modification of this rule, called the +-rule, which uses fewer free variables, is also sound and complete. We examine the relationship between the +-rule and variations of the -rule presented by Smullyan [9]. This leads to a second proof of the soundness of the +-rule. An example shows the relevance of this modification for building tableau-based theorem provers.  相似文献   
105.
We present a new approach to query answering in default logics. The basic idea is to treat default rules as classical implications along with some qualifying conditions restricting the use of such rules while query answering. We accomplish this by taking advantage of the conception of structure-oriented theorem proving provided by Bibel's connection method. We show that the structure-sensitive nature of the connection method allows for an elegant characterization of proofs in default logic. After introducing our basic method for query answering in default logics, we present a corresponding algorithm and describe its implementation. Both the algorithm and its implementation are obtained by slightly modifying an existing algorithm and an existing implementation of the standard connection method. In turn, we give a couple of refinements of the basic method that lead to conceptually different algorithms. The approach turns out to be extraordinarily qualified for implementations by means of existing automated theorem proving techniques. We substantiate this claim by presenting implementations of the various algorithms along with some experimental analysis.Even though our method has a general nature, we introduce it in the first part of this paper with the example of constrained default logic. This default logic is tantamount to a variant due to Brewka, and it coincides with Reiter's default logic and a variant due to ukaszewicz on a large fragment of default logic. Accordingly, our exposition applies to these instances of default logic without any modifications.  相似文献   
106.
SATCHMORE: SATCHMO with RElevancy   总被引:3,自引:0,他引:3  
We introduce a relevancy detection algorithm to be used in conjunction with the SATCHMO prover. The version of SATCHMO considered here is essentially a bidirectional prover, utilizing Prolog (back chaining) on Horn clauses and forward chaining on non-Horn clauses. Our extension, SATCHMORE (SATCHMO with RElevancy), addresses the major weakness of SATCHMO: the uncontrolled use of forward chaining. By marking potentially relevant clause head literals, and then requiring that all the head literals be marked relevant (be totally relevant) before a clause is used for forward chaining, SATCHMORE is able to guide the use of these rules. Furthermore, the relevancy testing is performed without extending the proof search beyond what is done in SATCHMO. A simple implementation of the extended SATCHMO can be written in Prolog. We describe our relevancy testing approach, present the implementation, prove soundness and completeness, and provide examples that demonstrate the power of relevancy testing.This research was partially supported by NSF Grants IRI-8805696 and CCR-9116203. This paper is a major revision of Wilson and Loveland (1989).  相似文献   
107.
We use the Boyer-Moore Prover, Nqthm, to verify the Paris-Harrington version of Ramsey's theorem. The proof we verify is a modification of the one given by Ketonen and Solovay. The theorem is not provable in Peano Arithmetic, and one key step in the proof requires 0 induction.Author supported by NSF Grant DMS-9100665.  相似文献   
108.
109.
双馈风机和永磁直驱风机广泛应用于陆上风电场。受控制策略影响,送出线路故障时风场侧故障特性与同步机电源差异显著,使传统纵联保护性能下降。特勒根定理建立于基尔霍夫电压、电流定律,仅与电路拓扑结构有关,对含线性/非线性、时变/时不变元件的电路均能适用。将特勒根定理应用到陆上风场送出系统,建立了满足定理应用要求的线路故障拓扑结构图。以此为基础,分析了能够区分内、外部故障的特征量,提出了一种基于故障前后线路两端电压电流的新型纵联保护动作判据。利用风场多个故障案例的录波数据和基于PSCAD的仿真数据对所提判据进行验证及对比分析,证明了所提纵联保护方法的优越性和可行性。  相似文献   
110.
针对分数阶多智能体系统中存在时滞和非线性特性, 时滞往往会引起控制系统的性能下降甚至出现系统 不稳定等问题, 提出了一种含时滞非线性的分数阶多智能体系统自适应控制方法. 对于多智能体系统的控制协议, 设计了基于领导者和相邻智能体状态信息的自适应控制协议, 减小了过大常数控制增益带来的能源浪费. 对于一 致性, 利用图论基础、分数阶Halanay不等式稳定性定理、Kronecker积和Schur补引理, 获得了分数阶时滞非线性多 智能体系统的LMI一致性条件. 仿真结果验证了本文算法的正确性和有效性. 由于整数阶系统是分数阶系统的特殊 形式, 本文结论可以直接推广到整数阶多智能体系统中.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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