全文获取类型
收费全文 | 2369篇 |
免费 | 178篇 |
国内免费 | 131篇 |
专业分类
电工技术 | 167篇 |
综合类 | 128篇 |
化学工业 | 139篇 |
金属工艺 | 66篇 |
机械仪表 | 136篇 |
建筑科学 | 244篇 |
矿业工程 | 32篇 |
能源动力 | 30篇 |
轻工业 | 79篇 |
水利工程 | 38篇 |
石油天然气 | 137篇 |
武器工业 | 15篇 |
无线电 | 185篇 |
一般工业技术 | 131篇 |
冶金工业 | 58篇 |
原子能技术 | 13篇 |
自动化技术 | 1080篇 |
出版年
2024年 | 3篇 |
2023年 | 15篇 |
2022年 | 25篇 |
2021年 | 32篇 |
2020年 | 35篇 |
2019年 | 27篇 |
2018年 | 25篇 |
2017年 | 35篇 |
2016年 | 42篇 |
2015年 | 49篇 |
2014年 | 143篇 |
2013年 | 104篇 |
2012年 | 145篇 |
2011年 | 130篇 |
2010年 | 119篇 |
2009年 | 110篇 |
2008年 | 120篇 |
2007年 | 203篇 |
2006年 | 145篇 |
2005年 | 174篇 |
2004年 | 138篇 |
2003年 | 123篇 |
2002年 | 94篇 |
2001年 | 84篇 |
2000年 | 79篇 |
1999年 | 76篇 |
1998年 | 58篇 |
1997年 | 58篇 |
1996年 | 51篇 |
1995年 | 50篇 |
1994年 | 40篇 |
1993年 | 24篇 |
1992年 | 22篇 |
1991年 | 25篇 |
1990年 | 12篇 |
1989年 | 11篇 |
1988年 | 2篇 |
1987年 | 7篇 |
1986年 | 2篇 |
1985年 | 6篇 |
1984年 | 4篇 |
1983年 | 2篇 |
1982年 | 8篇 |
1981年 | 2篇 |
1980年 | 6篇 |
1979年 | 4篇 |
1978年 | 4篇 |
1975年 | 1篇 |
1974年 | 1篇 |
1959年 | 1篇 |
排序方式: 共有2678条查询结果,搜索用时 31 毫秒
1.
2.
3.
4.
本文介绍了一个用户接口管理系统NUUIMS的设计和实现.重点叙述了该系统基于规范化目标用户接口模型的设计思想,系统组成及描述方法.文章也讨论了使用NUUIMS设计而成的用户接口的特点. 相似文献
5.
液化天然气供气站的工艺设计 总被引:2,自引:2,他引:0
〗LNG供气站的设计核心是工艺设计,设计中应注意以下几点:正确处理技术先进性与经济合理性的关系,综合权衡设置费与运营费的比例,力求项目全寿命费用最低;大多数城市LNG供气站均利用空气气化LNG,单罐容积为100 m3的真空压力式储罐广泛用于储存量为1200 m3以下的LNG供气站;为正确设置储罐安全阀的开启压力和排放压力,必须根据储罐的最高工作压力按照规范正确确定储罐的设计压力;储罐上2套独立的液位计和高、低限报警自动切断装置可确保储罐安全运行;空温式气化器的气化能力按用气城市高峰小时计算流量的1.3~1.5倍确定,为便于自然化霜应设置2套空温式气化器切换使用;空温式气化器出口串接水浴式加热器可提高冬季或雨天出口天然气温度,保护碳钢管道并降低供销差;LNG储罐区应设置围堰,消防用水量为喷淋与水枪用水量之和。最后建议,必须尽快颁布国家LNG设计规范,以提高我国的LNG设计水平。 相似文献
6.
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. 相似文献
7.
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. 相似文献
8.
基于SDL的通信软件维护模型SMM 总被引:1,自引:0,他引:1
软件维护是软件生存周期的一个重要且花费很大的阶段,维护工作的自动化是软件行业十分迫切的需要。本文提出了一个基于ITU-TSDL语言的通信软件维护模型SMM。在此模型中,软件维护被分成三个部分:建立面向维护的数据库,制定维护规范和基于功能转换的自动维护。该模型将有助于软件维护支撑环境的建立 相似文献
9.
汽车自动传动液的研制 总被引:2,自引:0,他引:2
介绍了自动传统液的分类规格、自动传动液的特性和相关的评定方法;研制了无锌和低锌配方的两种产品,经评定试验和实机使用,符合DexronⅡD、Mercon和AllisonC-4的规格要求,达到了国外同类产品的质量水平。 相似文献
10.
Due to the unique requirements of a series of projects to specify communications architectures using graphical representations (Cara and MFD), we have developed the communications-oriented rule-based language Carla (Cara Rule Language), which provides an executable specification of the architecture being developed. Carla is designed to provide the ability to specify and simulate high-level, possibly incomplete, specifications of communications architectures, and to allow the developer to refine the specification through the addition of behavior-describing rules. Carla is also well-suited to creating black-box specifications of any system whose behavior depends on input/output history. We describe the features of the language, discuss various design issues, and provide examples of various communications protocols specified in Carla. 相似文献