全文获取类型
收费全文 | 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条查询结果,搜索用时 10 毫秒
991.
Study on a new and effective fuzzy PID ship autopilot 总被引:1,自引:0,他引:1
Minh-Duc?LeEmail author Si-Hiep?Nguyen Lan-Anh?Nguyen 《Artificial Life and Robotics》2004,8(2):197-201
Ship autopilots are usually designed based on Proportional Differential (PD) and Proportional Integrate Differential (PID) controllers because of their simplicity, reliability, and ease of construction. However, their performance in various environmental conditions is not as good as desired. This disadvantage can be overcome by adjusting works or constructing adaptive controllers, although these methods are complex and not easy. This article presents a new method for constructing a ship autopilot based on the combination of fuzzy logic control (FLC) and linear control theory (PID control). The new ship autopilot has the advantages of both the PID and FLC control methodologies: ease of construction, and optimal control laws can be established based on ship master knowledge. Therefore, the new ship autopilot can be well adapted with parameter variations and strong environment effects. Simulation using MATLAB software for a ship with real parameters showed high effectiveness of the fuzzy PID autopilot in course-keeping and course-changing maneuvers in comparison with the ordinary PID ship autopilots.This work was presented, in part, at the 8th International Symposium on Artificial Life and Robotics, Oita, Japan, January 24–26, 2003 相似文献
992.
In this study an indirect adaptive sliding mode control (SMC) based on a fuzzy logic scheme is proposed to strengthen the tracking control performance of a general class of multi-input multi-output (MIMO) nonlinear uncertain systems. Combining reaching law approach and fuzzy universal approximation theorem, the proposed design procedure combines the advantages of fuzzy logic control, adaptive control and sliding mode control. The stability of the control systems is proved in the sense of the Lyapunov second stability theorem. Two simulation studies are presented to demonstrate the effectiveness of our new hybrid control algorithm. 相似文献
993.
Robert P. Rich 《Computer Languages, Systems and Structures》1980,5(1):1-28
A computer program has been written in PL/I to check the correctness of proofs in an axiomatic theory. A notation for the statements of the theory is described. Application examples are provided. 相似文献
994.
The Accellera organisation selected Sugar, IBMs formal specification language, as the basis for a standard to drive assertion-based verification in the electronics industry. Sugar combines regular expressions, Linear Temporal Logic (LTL) and Computation Tree Logic (CTL) into a property language intended for both static verification (e.g. model checking) and dynamic verification (e.g. simulation). In 2003 Accellera decided to rename the evolving standard to Accellera Property Specification Language (or PSL for short). We motivate and describe a deep semantic embedding of PSL in the version of higher-order logic supported by the HOL 4 theorem-proving system. The main goal of this paper is to demonstrate that mechanised theorem proving can be a useful aid to the validation of the semantics of an industrial design language. 相似文献
995.
996.
997.
998.
Reasoning About Space: The Modal Way 总被引:6,自引:0,他引:6
Aiello Marco; van Benthem Johan; Bezhanishvili Guram 《Journal of Logic and Computation》2003,13(6):889-920
999.
Yu. Ya. Samokhvalov 《Cybernetics and Systems Analysis》2001,37(4):509-514
The use of automatic theorem proving is considered as a methodological basis of fuzzy situational search for decisions. 相似文献
1000.
Stochastic logic programs (SLPs) are logic programs with parameterised clauses which define a log-linear distribution over refutations of goals. The log-linear distribution provides, by marginalisation, a distribution over variable bindings, allowing SLPs to compactly represent quite complex distributions.We analyse the fundamental statistical properties of SLPs addressing issues concerning infinite derivations, 'unnormalised SLPs and impure SLPs. After detailing existing approaches to parameter estimation for log-linear models and their application to SLPs, we present a new algorithm called failure-adjusted maximisation (FAM). FAM is an instance of the EM algorithm that applies specifically to normalised SLPs and provides a closed-form for computing parameter updates within an iterative maximisation approach. We empirically show that FAM works on some small examples and discuss methods for applying it to bigger problems. 相似文献