全文获取类型
收费全文 | 5353篇 |
免费 | 144篇 |
国内免费 | 67篇 |
专业分类
电工技术 | 116篇 |
综合类 | 162篇 |
化学工业 | 408篇 |
金属工艺 | 92篇 |
机械仪表 | 296篇 |
建筑科学 | 414篇 |
矿业工程 | 472篇 |
能源动力 | 219篇 |
轻工业 | 391篇 |
水利工程 | 94篇 |
石油天然气 | 376篇 |
武器工业 | 54篇 |
无线电 | 143篇 |
一般工业技术 | 1010篇 |
冶金工业 | 219篇 |
原子能技术 | 289篇 |
自动化技术 | 809篇 |
出版年
2024年 | 8篇 |
2023年 | 37篇 |
2022年 | 188篇 |
2021年 | 99篇 |
2020年 | 91篇 |
2019年 | 65篇 |
2018年 | 71篇 |
2017年 | 92篇 |
2016年 | 163篇 |
2015年 | 172篇 |
2014年 | 312篇 |
2013年 | 295篇 |
2012年 | 328篇 |
2011年 | 408篇 |
2010年 | 355篇 |
2009年 | 324篇 |
2008年 | 313篇 |
2007年 | 311篇 |
2006年 | 304篇 |
2005年 | 281篇 |
2004年 | 244篇 |
2003年 | 216篇 |
2002年 | 177篇 |
2001年 | 132篇 |
2000年 | 130篇 |
1999年 | 111篇 |
1998年 | 57篇 |
1997年 | 61篇 |
1996年 | 45篇 |
1995年 | 34篇 |
1994年 | 32篇 |
1993年 | 19篇 |
1992年 | 17篇 |
1991年 | 10篇 |
1990年 | 17篇 |
1989年 | 14篇 |
1988年 | 5篇 |
1987年 | 4篇 |
1986年 | 2篇 |
1985年 | 6篇 |
1984年 | 3篇 |
1983年 | 6篇 |
1981年 | 1篇 |
1980年 | 4篇 |
排序方式: 共有5564条查询结果,搜索用时 0 毫秒
11.
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. 相似文献
12.
本文根据 ALWR 的基本设计原则,初步分析了我国 AC-600反应堆压力容器的设计特点,探讨了保证 AC-600反应堆压力容器的可靠性应采取的主要技术措施. 相似文献
13.
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. 相似文献
14.
Mike Schofield 《Quality and Reliability Engineering International》1992,8(6):549-555
Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced. 相似文献
15.
16.
起重搬运作业的安全风险分析 总被引:2,自引:1,他引:1
用安全系统的理论和方法 ,以起重作业为研究对象 ,通过危险识别 ,对造成人员损伤的危险事件发生的可能性和导致伤害后果的严重程度 ,进行了定性的风险分析 ,介绍了我国采取的针对性综合管理对策 相似文献
17.
18.
白志伟 《石油化工安全环保技术》2006,22(2):41-43
液态烃常温球罐储存技术相当成熟,但在实际应用方面仍然存在许多问题,影响安全储存。针对使用过程中所了解的一些具体做法进行了分析和探讨,对球罐的改造和设计提供了必要的参考。 相似文献
19.
构筑企业级信息系统安全体系 总被引:1,自引:0,他引:1
滕铁军 《网络安全技术与应用》2004,(7):36-38
本文以跨地区公司为例,探讨企业级信息系统安全体系的构筑,所述的原则和做法可以实现在外部网-内部网-主机-用户体系上,形成多道防线,使企业计算机网络具有相当程度的安全性,从而达到企业信息系统的安全目标。 相似文献
20.
Jamshid Mohammadi 《Structural Safety》1985,2(4):301-308
Lifeline systems are vulnerable to two types of hazards arising from potential earthquake sources. These are the hazard of a fault-rupture strike on elements of a lifeline system and the hazard of overstress induced in different elements of the system because of the ground vibration. An optimum design method is presented in this paper for the design of a lifeline system for a maximum accepted probability of failure because of any of the two modes of failure. The method may be used to determine an optimum path between a number of fixed points which represent supply or demand stations in the system. 相似文献