全文获取类型
收费全文 | 34137篇 |
免费 | 4380篇 |
国内免费 | 3529篇 |
专业分类
电工技术 | 4525篇 |
技术理论 | 4篇 |
综合类 | 5703篇 |
化学工业 | 733篇 |
金属工艺 | 619篇 |
机械仪表 | 2980篇 |
建筑科学 | 1417篇 |
矿业工程 | 1121篇 |
能源动力 | 822篇 |
轻工业 | 790篇 |
水利工程 | 990篇 |
石油天然气 | 633篇 |
武器工业 | 598篇 |
无线电 | 3259篇 |
一般工业技术 | 1779篇 |
冶金工业 | 581篇 |
原子能技术 | 118篇 |
自动化技术 | 15374篇 |
出版年
2024年 | 137篇 |
2023年 | 341篇 |
2022年 | 578篇 |
2021年 | 664篇 |
2020年 | 876篇 |
2019年 | 846篇 |
2018年 | 801篇 |
2017年 | 942篇 |
2016年 | 1144篇 |
2015年 | 1308篇 |
2014年 | 1976篇 |
2013年 | 2120篇 |
2012年 | 2447篇 |
2011年 | 2813篇 |
2010年 | 2083篇 |
2009年 | 2301篇 |
2008年 | 2445篇 |
2007年 | 2918篇 |
2006年 | 2625篇 |
2005年 | 2228篇 |
2004年 | 1760篇 |
2003年 | 1540篇 |
2002年 | 1251篇 |
2001年 | 1095篇 |
2000年 | 963篇 |
1999年 | 770篇 |
1998年 | 641篇 |
1997年 | 493篇 |
1996年 | 404篇 |
1995年 | 346篇 |
1994年 | 300篇 |
1993年 | 201篇 |
1992年 | 165篇 |
1991年 | 127篇 |
1990年 | 80篇 |
1989年 | 96篇 |
1988年 | 55篇 |
1987年 | 35篇 |
1986年 | 25篇 |
1985年 | 21篇 |
1984年 | 14篇 |
1983年 | 24篇 |
1982年 | 12篇 |
1981年 | 5篇 |
1980年 | 6篇 |
1979年 | 5篇 |
1978年 | 3篇 |
1977年 | 6篇 |
1973年 | 3篇 |
1957年 | 2篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
81.
可编程光学二值双轨逻辑门 总被引:1,自引:0,他引:1
基于双轨逻辑,本文提出一种可级联的并行二值逻辑门。所有十六种二值逻辑运算可以采用偏振半波相延编程来实现。也提出了用电光晶体实现实时编程的方法。本文中给出了实验结果。 相似文献
82.
主要研究了单层工业厂房可靠性模糊综合评判法的基本理论与实施方法.通过一工程实例,表明用这种定量方法来处理厂房可靠性评判中的大量不确定信息是科学、合理而又实用的. 相似文献
83.
Grigori Mints 《Journal of Logic, Language and Information》1993,2(1):59-83
This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet. 相似文献
84.
基于参考点的模糊知识表示 总被引:1,自引:0,他引:1
本文分析了模糊关系模型的知识表示途径,并由此提出基于参考点的模糊知识表示,分析了它与人类记忆经验性知识的相信性,并证明模糊关系模型能以任意精度逼近具有有限个极值点的有界连续函数。 相似文献
85.
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. 相似文献
86.
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. 相似文献
87.
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. 相似文献
88.
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. 相似文献
89.
90.
Simulation at the gate level is computationally very expensive.Parallel processing is one technique to reduce simulation time.Possessing knowledge of the distribution of computational activity insimulation can aid in parallelizing it efficiently. We present a newcharacterization of the distribution of the computational workload infault simulation. An empirical analysis shows that the workloaddistribution is circuit specific, and is largely independent of thevector set being simulated. An inexpensive method to predict theworkload distribution is also discussed. 相似文献