全文获取类型
收费全文 | 3945篇 |
免费 | 567篇 |
国内免费 | 474篇 |
专业分类
电工技术 | 219篇 |
综合类 | 345篇 |
化学工业 | 149篇 |
金属工艺 | 72篇 |
机械仪表 | 241篇 |
建筑科学 | 254篇 |
矿业工程 | 45篇 |
能源动力 | 33篇 |
轻工业 | 108篇 |
水利工程 | 47篇 |
石油天然气 | 147篇 |
武器工业 | 42篇 |
无线电 | 673篇 |
一般工业技术 | 235篇 |
冶金工业 | 62篇 |
原子能技术 | 18篇 |
自动化技术 | 2296篇 |
出版年
2024年 | 4篇 |
2023年 | 31篇 |
2022年 | 68篇 |
2021年 | 63篇 |
2020年 | 78篇 |
2019年 | 74篇 |
2018年 | 87篇 |
2017年 | 127篇 |
2016年 | 133篇 |
2015年 | 185篇 |
2014年 | 310篇 |
2013年 | 255篇 |
2012年 | 348篇 |
2011年 | 307篇 |
2010年 | 290篇 |
2009年 | 241篇 |
2008年 | 275篇 |
2007年 | 351篇 |
2006年 | 237篇 |
2005年 | 285篇 |
2004年 | 207篇 |
2003年 | 169篇 |
2002年 | 129篇 |
2001年 | 113篇 |
2000年 | 96篇 |
1999年 | 90篇 |
1998年 | 65篇 |
1997年 | 64篇 |
1996年 | 54篇 |
1995年 | 51篇 |
1994年 | 41篇 |
1993年 | 24篇 |
1992年 | 23篇 |
1991年 | 26篇 |
1990年 | 15篇 |
1989年 | 11篇 |
1988年 | 2篇 |
1987年 | 7篇 |
1986年 | 2篇 |
1985年 | 7篇 |
1984年 | 5篇 |
1983年 | 3篇 |
1982年 | 9篇 |
1981年 | 3篇 |
1980年 | 7篇 |
1979年 | 4篇 |
1978年 | 4篇 |
1975年 | 1篇 |
1974年 | 1篇 |
1959年 | 2篇 |
排序方式: 共有4986条查询结果,搜索用时 21 毫秒
1.
2.
针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题,提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述,通过构造多值决策图(Multi-value Decision Diagram,MDD)模型对系统进行容错性能建模,并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率,减少了计算的冗余性。实验结果表明,该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义,使其确保系统适合预期应用。 相似文献
3.
4.
5.
6.
本文介绍了一个用户接口管理系统NUUIMS的设计和实现.重点叙述了该系统基于规范化目标用户接口模型的设计思想,系统组成及描述方法.文章也讨论了使用NUUIMS设计而成的用户接口的特点. 相似文献
7.
液化天然气供气站的工艺设计 总被引:2,自引:2,他引:0
〗LNG供气站的设计核心是工艺设计,设计中应注意以下几点:正确处理技术先进性与经济合理性的关系,综合权衡设置费与运营费的比例,力求项目全寿命费用最低;大多数城市LNG供气站均利用空气气化LNG,单罐容积为100 m3的真空压力式储罐广泛用于储存量为1200 m3以下的LNG供气站;为正确设置储罐安全阀的开启压力和排放压力,必须根据储罐的最高工作压力按照规范正确确定储罐的设计压力;储罐上2套独立的液位计和高、低限报警自动切断装置可确保储罐安全运行;空温式气化器的气化能力按用气城市高峰小时计算流量的1.3~1.5倍确定,为便于自然化霜应设置2套空温式气化器切换使用;空温式气化器出口串接水浴式加热器可提高冬季或雨天出口天然气温度,保护碳钢管道并降低供销差;LNG储罐区应设置围堰,消防用水量为喷淋与水枪用水量之和。最后建议,必须尽快颁布国家LNG设计规范,以提高我国的LNG设计水平。 相似文献
8.
Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper. 相似文献
9.
Axel Wabenhorst 《Theoretical computer science》2003,300(1-3):181-207
The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. 相似文献
10.
基于SDL的通信软件维护模型SMM 总被引:1,自引:0,他引:1
软件维护是软件生存周期的一个重要且花费很大的阶段,维护工作的自动化是软件行业十分迫切的需要。本文提出了一个基于ITU-TSDL语言的通信软件维护模型SMM。在此模型中,软件维护被分成三个部分:建立面向维护的数据库,制定维护规范和基于功能转换的自动维护。该模型将有助于软件维护支撑环境的建立 相似文献