全文获取类型
收费全文 | 57889篇 |
免费 | 6872篇 |
国内免费 | 5242篇 |
专业分类
电工技术 | 5643篇 |
综合类 | 6346篇 |
化学工业 | 6865篇 |
金属工艺 | 3837篇 |
机械仪表 | 4101篇 |
建筑科学 | 4700篇 |
矿业工程 | 2139篇 |
能源动力 | 1617篇 |
轻工业 | 7142篇 |
水利工程 | 1965篇 |
石油天然气 | 1769篇 |
武器工业 | 799篇 |
无线电 | 6053篇 |
一般工业技术 | 4850篇 |
冶金工业 | 2106篇 |
原子能技术 | 1136篇 |
自动化技术 | 8935篇 |
出版年
2024年 | 377篇 |
2023年 | 1023篇 |
2022年 | 2365篇 |
2021年 | 2952篇 |
2020年 | 2157篇 |
2019年 | 1485篇 |
2018年 | 1567篇 |
2017年 | 1771篇 |
2016年 | 1644篇 |
2015年 | 2563篇 |
2014年 | 3303篇 |
2013年 | 3993篇 |
2012年 | 4866篇 |
2011年 | 5062篇 |
2010年 | 4664篇 |
2009年 | 4637篇 |
2008年 | 4625篇 |
2007年 | 4624篇 |
2006年 | 3994篇 |
2005年 | 3247篇 |
2004年 | 2411篇 |
2003年 | 1596篇 |
2002年 | 1484篇 |
2001年 | 1332篇 |
2000年 | 1085篇 |
1999年 | 450篇 |
1998年 | 151篇 |
1997年 | 103篇 |
1996年 | 57篇 |
1995年 | 53篇 |
1994年 | 37篇 |
1993年 | 51篇 |
1992年 | 39篇 |
1991年 | 40篇 |
1990年 | 37篇 |
1989年 | 30篇 |
1988年 | 13篇 |
1987年 | 15篇 |
1986年 | 17篇 |
1985年 | 11篇 |
1984年 | 6篇 |
1983年 | 10篇 |
1982年 | 10篇 |
1981年 | 7篇 |
1980年 | 9篇 |
1979年 | 10篇 |
1964年 | 2篇 |
1959年 | 11篇 |
1951年 | 7篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
941.
一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时,还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率. 相似文献
942.
943.
944.
差动吸收式SO2光纤传感器的研究 总被引:4,自引:0,他引:4
本文基于气体的窄带光吸收特性 ,研究了 SO2 气体浓度与载波光强的关系 ,在此基础上 ,设计了一种检测该气体浓度的差动光纤传感器及其系统 ,对改善仪器精度等特性指标的主要因素进行分析。实验结果表明该仪器具有较高的灵敏度和精度。 相似文献
945.
机器人群体合作的信念分析 总被引:2,自引:0,他引:2
从群体合作的角度分析了多机器人系统的特殊性,提出信念的多元表示方法和基于
信息熵的信念修改规则.通过运行试验,证明了所提出的方法和规则的可行性. 相似文献
946.
947.
基于工程特征类的预算工程量自适应提取方法研究 总被引:5,自引:2,他引:3
提出一种基于施工图的建筑CAD与预算编制集成方法,通过对施工图逻辑结构和反映预算工程量的各类图形信息特点进行分析,提出了工程特征类信息的概念,采用模板和模式识别技术实现了多层构造类预算工程量的自动提取和定额自动套取,并在基于通用设计平台的概预算一体化系统中得到应用。 相似文献
948.
网络学习基本模式分析 总被引:1,自引:0,他引:1
分析了网络学习的基本模式,并指明创建一个远程学习者良好学习环境所要考虑的几个因素。 相似文献
949.
电网智能综合补偿系统的设计 总被引:1,自引:0,他引:1
电网智能综合补偿系统可根据电网的动态变化情况,对电网的电压、功能率因数、谐波及三相不平均等因素实现综合补偿,文中详细介绍了这一基于80C196的智能控制系统的基本结构和软硬件设计思想,实验结果表明了该系统的可行性和智能控制方法的有效性。 相似文献
950.
根据集群计算的特点,论述高可用集群计算系统检查点设置与卷回恢复、检查点镜像、进程迁移以及系统动态重构等关键技术。最后,论文对我们自行研制的ChaRM系统进行了介绍,并与同类系统进行了比较。 相似文献