全文获取类型
收费全文 | 9785篇 |
免费 | 949篇 |
国内免费 | 784篇 |
专业分类
电工技术 | 1171篇 |
技术理论 | 3篇 |
综合类 | 991篇 |
化学工业 | 190篇 |
金属工艺 | 156篇 |
机械仪表 | 567篇 |
建筑科学 | 232篇 |
矿业工程 | 134篇 |
能源动力 | 176篇 |
轻工业 | 102篇 |
水利工程 | 62篇 |
石油天然气 | 110篇 |
武器工业 | 93篇 |
无线电 | 1536篇 |
一般工业技术 | 441篇 |
冶金工业 | 121篇 |
原子能技术 | 66篇 |
自动化技术 | 5367篇 |
出版年
2024年 | 31篇 |
2023年 | 71篇 |
2022年 | 96篇 |
2021年 | 135篇 |
2020年 | 173篇 |
2019年 | 189篇 |
2018年 | 156篇 |
2017年 | 200篇 |
2016年 | 249篇 |
2015年 | 318篇 |
2014年 | 527篇 |
2013年 | 570篇 |
2012年 | 573篇 |
2011年 | 685篇 |
2010年 | 510篇 |
2009年 | 602篇 |
2008年 | 664篇 |
2007年 | 746篇 |
2006年 | 695篇 |
2005年 | 636篇 |
2004年 | 526篇 |
2003年 | 446篇 |
2002年 | 385篇 |
2001年 | 358篇 |
2000年 | 304篇 |
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条查询结果,搜索用时 31 毫秒
21.
Modal Logic, Transition Systems and Processes 总被引:2,自引:0,他引:2
BENTHEM JOHAN VAN; EIJCK JAN VAN; STEBLETSOVA VERA 《Journal of Logic and Computation》1994,4(5):811-855
22.
The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench. 相似文献
23.
Erick García-Benitez Stephen Yurkovich Kevin M. Passino 《Journal of Intelligent and Robotic Systems》1993,7(2):195-213
In this paper, we propose a two level hierarchical control strategy to achieve accurate end-point position of a planar two-link flexible manipulator. The upper level consists of a feedforward rule-based supervisory controller that incorporates fuzzy logic, whereas the lower level consists of conventional controllers that combine shaft position-endpoint acceleration feedback for disturbance rejection properties and shaping of the (joint) actuator inputs to minimize the energy transferred to the flexible modes during commanded movements. The effectiveness of this hierarchical control strategy is verified by experimental results for various movements of the links, in various configurations. In particular, we illustrate how the hierarchical intelligent control strategy performs better than conventional control techniques for endpoint position control in the presence of flexure effects. 相似文献
24.
Siba Prasada Panigrahi Santanu Kumar Nayak Sasmita Kumari Padhy 《International Journal of Adaptive Control and Signal Processing》2008,22(7):705-716
This paper presents a neuro‐fuzzy network (NFN) where all its parameters can be tuned simultaneously using genetic algorithms (GAs). The approach combines the merits of fuzzy logic theory, neural networks and GAs. The proposed NFN does not require a priori knowledge about the system and eliminates the need for complicated design steps such as manual tuning of input–output membership functions, and selection of fuzzy rule base. Although, only conventional GAs have been used, convergence results are very encouraging. A well‐known numerical example derived from literature is used to evaluate and compare the performance of the network with other equalizing approaches. Simulation results show that the proposed neuro‐fuzzy controller, all parameters of which have been tuned simultaneously using GAs, offers advantages over existing equalizers and has improved performance. From the perspective of application and implementation, this paper is very interesting as it provides a new method for performing blind equalization. The main contribution of this paper is the use of learning algorithms to train a feed‐forward neural network for M‐ary QAM and PSK signals. This paper also provides a platform for researchers of the area for further development. Copyright © 2008 John Wiley & Sons, Ltd. 相似文献
25.
Abd El-Shafy A. Nafeh Faten H. Fahmy Essam M. Abou El-Zahab 《Solar Energy Materials & Solar Cells》2003,75(3-4):723-728
In this paper the implementation of a suggested stand-alone PV system, for maximum-power point tracking (MPPT), is carried out. Also, this paper presents a comparative study, through experimental work, between the conventional PI controller and the fuzzy logic controller (FLC) under different atmospheric conditions. The implemented system with both the PI controller and the FLC gives a good maximum-power operation of the PV array, but the tracking capability for different optimum operating points is better and faster for the case of using the FLC compared to the case of using the PI controller. 相似文献
26.
根据生产实践 ,结合PLC的技术特点和 385m2 凯利式叶滤机的电气联锁特性 ,阐述了应用PLC技术 ,可进一步提高 385m2 凯利式叶滤机的运转率和自动化水平。 相似文献
27.
Chenn-Jung Huang Wei-Kuang Lai Sheng-Yu Hsiao Hao-Yu Liu Rui-Lin Luo 《International Journal of Wireless Information Networks》2004,11(3):131-146
In this paper, a routing protocol which utilizes the characteristics of Bluetooth technology is proposed for Bluetooth-based mobile ad hoc networks. The routing tables are maintained in the master devices and the routing zone radius for each table is adjusted dynamically by using evolving fuzzy neural networks. Observing there exists some useless routing packets which are helpless to build the routing path and increase the network loads in the existing ad hoc routing protocols, we selectively use multiple unicasts or one broadcast when the destination device is out of the routing zone radius coverage of the routing table. The simulation results show that the dynamic adjustment of the routing table size in each master device results in much less reply time of routing request, fewer request packets and useless packets compared with two representative protocols, Zone Routing Protocol and Dynamic Source Routing. 相似文献
28.
This paper reports how the study of formal logical reasoning provides insight into more everyday types of reasoning, such as that involved in language comprehension. Both of these types of cognition are thought to involve the use of mental models, and so it is reasonable to think that the cognitive operations needed for formal logical reasoning would be involved in everyday reasoning as well. We focused on three aspects of formal reasoning: (a) the integration of information into a common mental model, (b) the drawing of inferences, and (c) the coordination of alternative possibilities. We were able to show that the integration and inference components were related to narrative comprehension processes, but the coordination of alternative models was not. Thus, there is evidence for some overlap in the mental processes used in formal and everyday reasoning. This further justifies the study of formal logical reasoning as a window into certain types of everyday reasoning. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
29.
Norihiro Kamide 《Journal of Logic, Language and Information》2002,11(4):453-470
We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics. 相似文献
30.
可编程光学二值双轨逻辑门 总被引:1,自引:0,他引:1
基于双轨逻辑,本文提出一种可级联的并行二值逻辑门。所有十六种二值逻辑运算可以采用偏振半波相延编程来实现。也提出了用电光晶体实现实时编程的方法。本文中给出了实验结果。 相似文献