全文获取类型
收费全文 | 9760篇 |
免费 | 946篇 |
国内免费 | 778篇 |
专业分类
电工技术 | 1170篇 |
技术理论 | 3篇 |
综合类 | 987篇 |
化学工业 | 189篇 |
金属工艺 | 156篇 |
机械仪表 | 567篇 |
建筑科学 | 232篇 |
矿业工程 | 133篇 |
能源动力 | 176篇 |
轻工业 | 102篇 |
水利工程 | 62篇 |
石油天然气 | 110篇 |
武器工业 | 93篇 |
无线电 | 1530篇 |
一般工业技术 | 441篇 |
冶金工业 | 121篇 |
原子能技术 | 66篇 |
自动化技术 | 5346篇 |
出版年
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年 | 665篇 |
2007年 | 741篇 |
2006年 | 693篇 |
2005年 | 633篇 |
2004年 | 524篇 |
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条查询结果,搜索用时 15 毫秒
991.
KRISHNAPRASAD THIRUNARAYAN 《人工智能实验与理论杂志》2013,25(4):391-406
Abstract In the past we developed a semantics for a restricted annotated logic language for inheritance reasoning. Here we generalize it to annotated Horn logic programs. We first provide a formal account of the language, describe its semantics, and provide an interpreter written in Prolog for it. We then investigate its relationship to Belnap's 4-valued logic, Gelfond and Lifschitz's semantics for logic programs with negation, Brewka's prioritized default logics and other annotated logics due to Kifer et al. 相似文献
992.
In this paper a review of type-2 fuzzy logic applications in pattern recognition, classification and clustering problems is presented. Recently, type-2 fuzzy logic has gained popularity in a wide range of applications due to its ability to handle higher degrees of uncertainty. In particular, there have been recent applications of type-2 fuzzy logic in the fields of pattern recognition, classification and clustering, where it has helped improving results over type-1 fuzzy logic. In this paper a concise and representative review of the most successful applications of type-2 fuzzy logic in these fields is presented. 相似文献
993.
994.
基于数据驱动方法的图形界面开发方案以界面控件为对象,使用图形界面配置数据描述功能逻辑,通过图形界面配置数据的变动驱使系统的运行,实现功能逻辑。实现了图形界面配置数据和功能逻辑的分离,当需求发生变动时,只需要修改图形界面配置数据,功能逻辑即可实现。这不仅提高了图形界面的复用性,还降低了后期维护成本。 相似文献
995.
目前,大多数模糊推理都是利用t-范数和t-余范数或其改进形式对连接词进行建模,这些模型不能将模糊规则中前件集与后件集之间的相关性信息引入到模糊推理过程,这会丢失蕴含在规则中的一些信息甚至导致推理结果与实际经验严重不符.为解决此问题,本文首先引入模糊集合面向对象变换的概念,并将其推广,建立了合成type-2模糊集合模型.基于此模型,针对区间型type-2模糊逻辑系统,提出一种面向后件集的模糊推理机制,该机制能将前件集与后件集的相关性信息(包括清晰数和模糊数两种情形)引入到模糊推理过程.仿真结果表明,该方法能捕获到模糊规则中更多的不确定性信息,并为模糊逻辑系统的设计提供更大的自由度. 相似文献
996.
Wen Yu 《International journal of systems science》2013,44(11):1325-1335
This article introduces an approach to identify unknown nonlinear systems by fuzzy rules and support vector machines (SVMs). Structure identification is realised by an on-line SVM technique, the fuzzy rules are generated automatically. Time-varying learning rates are applied for updating the membership functions of the fuzzy rules. Finally, the upper bounds of the modelling errors are proven. 相似文献
997.
Majdi Mafarja 《International journal of systems science》2013,44(3):503-512
Attribute reduction can be defined as the process of determining a minimal subset of attributes from an original set of attributes. This paper proposes a new attribute reduction method that is based on a record-to-record travel algorithm for solving rough set attribute reduction problems. This algorithm has a solitary parameter called the DEVIATION, which plays a pivotal role in controlling the acceptance of the worse solutions, after it becomes pre-tuned. In this paper, we focus on a fuzzy-based record-to-record travel algorithm for attribute reduction (FuzzyRRTAR). This algorithm employs an intelligent fuzzy logic controller mechanism to control the value of DEVIATION, which is dynamically changed throughout the search process. The proposed method was tested on standard benchmark data sets. The results show that FuzzyRRTAR is efficient in solving attribute reduction problems when compared with other meta-heuristic approaches. 相似文献
998.
This article presents an input–output simulation approach to controlling multi-affine systems for linear temporal logic (LTL) specifications, which consists of the following steps. First, the state space is partitioned into rectangles, each of which satisfies atomic LTL propositions. Then, we study the control of multi-affine systems on rectangles, including the control based on the exit sub-region to drive all trajectories starting from a rectangle to exit through a facet and the control to stabilise the multi-affine system towards a desired point. With the proposed controllers, a finitely abstracted transition system is constructed which is shown to be input–output simulated by the rectangular transition system of the multi-affine system. Since the input–output simulation preserves LTL properties, the controller synthesis of the multi-affine system for LTL specifications is achieved by designing a nonblocking supervisor for the abstracted transition system and by implementing the resulting supervisor to the original multi-affine system. 相似文献
999.
Behrooz Safarinejadian Parisa Ghane Hossein Monirvaghefi 《International journal of systems science》2013,44(3):394-404
This paper presents a new method for fault detection (FD) based on interval type-2 fuzzy sets. The main idea is based on a confident span using interval type-2 fuzzy systems. An estimate for upper and lower bounds of output has been taken using the designing of an optimal fuzzy system through clustering. Finally the method has been tested in two non-linear systems, a two-tank with a fluid flow and pH neutralisation process, and it is compared with a well-known method named ANFIS. Furthermore, the mathematical model and the results of simulations prove the effectiveness, usefulness and applications of our new method. 相似文献
1000.
Action systems have been shown to be applicable for modelling and constructing systems in both discrete and hybrid domains. We present a novel semantics for action systems using a sampling logic that facilitates reasoning about the truly concurrent behaviour between an action system and its environment. By reasoning over the apparent states, the sampling logic allows one to determine whether a state predicate is definitely or possibly true over an interval. We present a semantics for action systems that allows the time taken to sample inputs and evaluate expressions (and hence guards) into account. We develop a temporal logic based on the sampling logic that facilitates formalisation of safety, progress, timing and transient properties. Then, we incorporate this logic to the method of enforced properties, which facilitates stepwise refinement of action systems. 相似文献