全文获取类型
收费全文 | 881篇 |
免费 | 23篇 |
国内免费 | 25篇 |
专业分类
电工技术 | 12篇 |
综合类 | 17篇 |
化学工业 | 19篇 |
金属工艺 | 15篇 |
机械仪表 | 53篇 |
建筑科学 | 24篇 |
矿业工程 | 7篇 |
能源动力 | 13篇 |
轻工业 | 3篇 |
水利工程 | 2篇 |
石油天然气 | 7篇 |
武器工业 | 6篇 |
无线电 | 86篇 |
一般工业技术 | 82篇 |
冶金工业 | 16篇 |
原子能技术 | 37篇 |
自动化技术 | 530篇 |
出版年
2024年 | 1篇 |
2023年 | 3篇 |
2022年 | 8篇 |
2021年 | 13篇 |
2020年 | 13篇 |
2019年 | 6篇 |
2018年 | 1篇 |
2017年 | 22篇 |
2016年 | 18篇 |
2015年 | 23篇 |
2014年 | 45篇 |
2013年 | 33篇 |
2012年 | 33篇 |
2011年 | 66篇 |
2010年 | 49篇 |
2009年 | 43篇 |
2008年 | 56篇 |
2007年 | 83篇 |
2006年 | 81篇 |
2005年 | 56篇 |
2004年 | 40篇 |
2003年 | 37篇 |
2002年 | 26篇 |
2001年 | 22篇 |
2000年 | 31篇 |
1999年 | 19篇 |
1998年 | 20篇 |
1997年 | 20篇 |
1996年 | 5篇 |
1995年 | 7篇 |
1994年 | 13篇 |
1993年 | 3篇 |
1992年 | 9篇 |
1991年 | 4篇 |
1989年 | 5篇 |
1988年 | 1篇 |
1987年 | 1篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 4篇 |
1982年 | 3篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1979年 | 1篇 |
1978年 | 1篇 |
排序方式: 共有929条查询结果,搜索用时 15 毫秒
81.
Approximate methods for simulation and verification of numerically controlled machining programs 总被引:8,自引:0,他引:8
Algorithms for simulation and verification of Numerically Controlled (NC) machining programs are presented. Compared to NC simulation based on conventional solid modeling systems, these models are designed to give approximate results, but with a substantial decrease in computer time. The surfaces of the part are discretized into a Surface Point Set (SPS) with a point spacing dependent on cutting tool size and shape local surface curvature and the desired accuracy of the approximate simulation. The surface-surface intersection calculations of the solid modeling approach are replaced by the intersection of the surface of the tool movement envelope with straight lines emanating from the surface points. The methods are applicable to both 3 and 5 axis machining. Samples test cases are presented, and implementation and efficiency issues are discussed. 相似文献
82.
He Xinhua Gong Yunzhan Fu Qingling 《电子科学学刊(英文版)》1997,14(2):165-168
This paper presents the techniques of implicit traversing and state verification for sequential finite state machines(FSMs) based of on the state collapsing of state transition graph(STG). The problems of state designing are described. In order to achieve high state enumeration coverage, heuristic knowledge is proposed. 相似文献
83.
We describe how the cash-point service problem of Formal Methods ’99 is specified using DisCo [Dis, JKS91].
Received January 2000 / Accepted in revised form December 2000 相似文献
84.
Jürgen Giesl Thomas Arts 《Applicable Algebra in Engineering, Communication and Computing》2001,12(1-2):39-72
Erlang is a functional programming language developed by Ericsson Telecom, which is particularly well suited for implementing
concurrent processes. In this paper we show how methods from the area of term rewriting are presently used at Ericsson. To
verify properties of processes, such a property is transformed into a termination problem of a conditional term rewriting
system (CTRS). Subsequently, this termination proof can be performed automatically using dependency pairs.
The paper illustrates how the dependency pair technique can be applied for termination proofs of conditional TRSs. Secondly, we present three refinements of this technique, viz. narrowing, rewriting, and instantiating dependency pairs. These refinements are not only of use in the industrial applications sketched in this paper, but they are generally applicable
to arbitrary (C)TRSs. Thus, in this way dependency pairs can be used to prove termination of even more (C)TRSs automatically.
Received: October 6, 1999 相似文献
85.
Hygroscopic materials available in the interior of buildings such as wood, gypsum, paper etc, are able to absorb moisture if the relative humidity of the room increases and release it again if the relative humidity decreases. This moisture buffering phenomenon is often accounted for in a simplified way in Building Energy Simulation programs (BES) e.g. TRNSYS, which limits their applicability. Nevertheless several building applications require an accurate prediction of the indoor relative humidity already from the design stage. 相似文献
86.
87.
88.
Ekkart Kindler Wolfgang Reisig Hagen Völzer Rolf Walter 《Formal Aspects of Computing》1997,9(4):409-424
A technique to model and to verify distributed algorithms is suggested. This technique (based on Petri nets) reduces the modelling and analysis effort to a reasonable level. The paper outlines the technique using the example of a typical network algorithm, theecho algorithm.Supported by the DFG-projects Verteilte Algorithmen and Konsensalgorithmen 相似文献
89.
SoC功能验证的特点和方法 总被引:3,自引:0,他引:3
简要分析了传统集成电路(ASIC)验证方法的特点以及将这些方法应用于系统级芯片(SoC)验证时所面临的问题。在此基础上,论述说明了模块级验证是提高SoC验证效率的基础;而基于随机测试激励的验证方法能够提升SoC的功能验证的覆盖率。另外,还介绍了用于SoC功能验证的关键方法,包括断言和RTL形式验证,Farm,随机化测试激励和功能覆盖等。 相似文献
90.
多用途放射性废物焚烧系统工程验证试验 总被引:3,自引:4,他引:3
对建立的多用途放射性废物焚烧系统,进行了工程验证试验。试验主要包括固体废物(包括树脂)和废油焚烧及烟气净化时系统的性能测定、非放示踪试验、72h连续运行考验等。经过共计500多小时的试验,验证了工艺流程、主要设备结构、仪表测控及系统安全等设计的可行性和可靠性;系统运行平稳,设备及仪表工作正常。本系统可一炉多用,其处理能力、减容系数、焚烧灰中残炭率以及系统总去污系数等指标,均达到了设计要求。 相似文献