全文获取类型
收费全文 | 31138篇 |
免费 | 3744篇 |
国内免费 | 3226篇 |
专业分类
电工技术 | 3585篇 |
技术理论 | 3篇 |
综合类 | 4276篇 |
化学工业 | 1408篇 |
金属工艺 | 652篇 |
机械仪表 | 1849篇 |
建筑科学 | 1109篇 |
矿业工程 | 474篇 |
能源动力 | 582篇 |
轻工业 | 799篇 |
水利工程 | 718篇 |
石油天然气 | 585篇 |
武器工业 | 352篇 |
无线电 | 4594篇 |
一般工业技术 | 2516篇 |
冶金工业 | 769篇 |
原子能技术 | 282篇 |
自动化技术 | 13555篇 |
出版年
2024年 | 151篇 |
2023年 | 370篇 |
2022年 | 619篇 |
2021年 | 710篇 |
2020年 | 855篇 |
2019年 | 882篇 |
2018年 | 784篇 |
2017年 | 1067篇 |
2016年 | 1159篇 |
2015年 | 1216篇 |
2014年 | 1777篇 |
2013年 | 2271篇 |
2012年 | 2124篇 |
2011年 | 2334篇 |
2010年 | 1821篇 |
2009年 | 2002篇 |
2008年 | 1983篇 |
2007年 | 2216篇 |
2006年 | 1903篇 |
2005年 | 1766篇 |
2004年 | 1500篇 |
2003年 | 1268篇 |
2002年 | 1092篇 |
2001年 | 945篇 |
2000年 | 860篇 |
1999年 | 722篇 |
1998年 | 554篇 |
1997年 | 559篇 |
1996年 | 460篇 |
1995年 | 370篇 |
1994年 | 342篇 |
1993年 | 266篇 |
1992年 | 216篇 |
1991年 | 202篇 |
1990年 | 144篇 |
1989年 | 119篇 |
1988年 | 80篇 |
1987年 | 62篇 |
1986年 | 42篇 |
1985年 | 37篇 |
1984年 | 42篇 |
1983年 | 51篇 |
1982年 | 36篇 |
1981年 | 26篇 |
1980年 | 20篇 |
1979年 | 14篇 |
1978年 | 14篇 |
1977年 | 14篇 |
1965年 | 4篇 |
1959年 | 4篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
41.
Safety,liveness and fairness in temporal logic 总被引:1,自引:0,他引:1
A. Prasad Sistla 《Formal Aspects of Computing》1994,6(5):495-511
In this paper we present syntactic characterization of temporal formulas that express various properties of interest in the verification of concurrent programs. Such a characterization helps us in choosing the right techniques for proving correctness with respect to these properties. The properties that we consider include safety properties, liveness properties and fairness properties. We also present algorithms for checking if a given temporal formula expresses any of these properties.This work is partly supported by NSF grant CCR-9212183. A preliminary version of this paper appeared in the Fourth ACM Symposium on Principles of Distributed Computing. 相似文献
42.
J Strother Moore 《Formal Aspects of Computing》1994,6(1):60-91
We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity. 相似文献
43.
一种改进的4.8kb/s码激励线性预测语音编码 总被引:1,自引:0,他引:1
本文介绍了码激励线性预测(CELP)语音编码的基本原理,研究了一种制约随机激励的线性预测编码方案。它将随机激励码字进入合成滤波器的数量与自适应码本的性能指标联系起来,有效地减少了激励噪声对合成语音的影响。计算机模拟结果表明,这种方法在主观上改善了语音质量。 相似文献
44.
TheSpecial Issue on Applications of Temporal Models raises many issues of time: What are the important properties of time? How can time be best represented? How can one reason about time-dependent properties? What are the important directions of temporal research? This introductory piece very briefly surveys the current wide variety of temporal models, temporal reasoning methods, and applications to time-varying phenomena. Promising areas of investigation such as the verification of concurrent systems, knowledge-base representation methods, and dealing with theFrame Problem pass in fleeting review. Brief introductions to each of the works in the volume close the section. 相似文献
45.
By incorporating digraph models, fault trees and fuzzy inference mechanisms in a unified framework, a novel approach for fault diagnosis is developed in this work. To relieve the on-line computation load, the fault origins considered in diagnosis are limited to the basic events in the cut sets of a given fault tree. The symptom occurrence order associated with each root cause is derived from system digraph with the qualitative simulation techniques. The implied candidate patterns are enumerated according to two proposed theorems and then encoded in the inference system with IF-THEN rules. The simulation results show that the proposed approach is not only feasible but also capable of identifying the most likely cause(s) of a hazardous event at the earliest possible time. 相似文献
46.
47.
本文导出了线性波浪作用于上部可渗透的直立刚性圆柱体上的水动力的解析解。在线性有势流的假定下,用特征函数展开方法求出了内部和外部流场的解。给出了不同波浪要素及结构尺寸参数下的数值结果。由结果可知,提高可渗透性可以有效消减波幅。 相似文献
48.
An approach to solving a linear interpolation problem in a fuzzy information space is proposed. Two different schemes of interpolation
are outlined: a heuristic one, based on the geometrical interpretation of operations, and an optimization one, based on the
expansion principle. The results obtained allow performing fuzzy linear prediction.
__________
Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 55–68, March–April 2006. 相似文献
49.
PLC(可编程控制器)在机械工业和电力生产等部门应用广泛。在电力生产部门主要用于集中控制,已有较好的效果。介绍了PLC在葛洲坝水电厂机组辅助设备控制操作功能中的应用回顾及其展望。 相似文献
50.
A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation 总被引:1,自引:0,他引:1
A. Ramirez-Serrano S. C. Zhu S. K. H. Chan S. S. W. Chan M. Ficocelli B. Benhabib 《Journal of Intelligent Manufacturing》2002,13(4):261-281
This paper presents a novel and generic PC/PLC-based software/hardware architecture for the control of flexible manufacturing workcells. The proposed implementation methodology is based on the utilization of any one of the available formal discrete-event-system control theories in conjunction with state-of-the-art industrial programmable-logic controllers (PLCs). The methodology has been illustrated to be a viable technique through its actual implementation in our laboratory using a robotic-workcell testbed. The specific control theory used is a combination of Extended Moore Automata and Ramadge-Wonham Automata that has been developed by our research group. The modular control software architecture has been developed for MS-Windows environments (running on one PC interfaced to the PLCs) and allows the use of different formal control theories as well as different commercial PLC hardware. The effective graphical user interface provides a transparent programming environment, where users are not expected to have a full knowledge of the formal control theory used. 相似文献