全文获取类型
收费全文 | 2380篇 |
免费 | 96篇 |
国内免费 | 31篇 |
专业分类
电工技术 | 274篇 |
综合类 | 121篇 |
化学工业 | 342篇 |
金属工艺 | 44篇 |
机械仪表 | 61篇 |
建筑科学 | 537篇 |
矿业工程 | 43篇 |
能源动力 | 38篇 |
轻工业 | 160篇 |
水利工程 | 102篇 |
石油天然气 | 172篇 |
武器工业 | 1篇 |
无线电 | 95篇 |
一般工业技术 | 266篇 |
冶金工业 | 109篇 |
原子能技术 | 9篇 |
自动化技术 | 133篇 |
出版年
2024年 | 3篇 |
2023年 | 12篇 |
2022年 | 25篇 |
2021年 | 29篇 |
2020年 | 23篇 |
2019年 | 30篇 |
2018年 | 26篇 |
2017年 | 32篇 |
2016年 | 24篇 |
2015年 | 18篇 |
2014年 | 100篇 |
2013年 | 97篇 |
2012年 | 105篇 |
2011年 | 258篇 |
2010年 | 139篇 |
2009年 | 89篇 |
2008年 | 185篇 |
2007年 | 49篇 |
2006年 | 60篇 |
2005年 | 63篇 |
2004年 | 204篇 |
2003年 | 179篇 |
2002年 | 147篇 |
2001年 | 113篇 |
2000年 | 71篇 |
1999年 | 115篇 |
1998年 | 78篇 |
1997年 | 44篇 |
1996年 | 24篇 |
1995年 | 13篇 |
1994年 | 10篇 |
1993年 | 30篇 |
1992年 | 28篇 |
1991年 | 20篇 |
1990年 | 15篇 |
1989年 | 12篇 |
1988年 | 1篇 |
1987年 | 7篇 |
1986年 | 3篇 |
1985年 | 1篇 |
1984年 | 6篇 |
1983年 | 2篇 |
1982年 | 1篇 |
1981年 | 5篇 |
1980年 | 4篇 |
1978年 | 2篇 |
1976年 | 3篇 |
1973年 | 1篇 |
1965年 | 1篇 |
排序方式: 共有2507条查询结果,搜索用时 0 毫秒
41.
Nikolaj S. Bjørner Anca Browne Michael A. Colón Bernd Finkbeiner Zohar Manna Henny B. Sipma Tomás E. Uribe 《Formal Methods in System Design》2000,16(3):227-270
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions of the Bakery Mutual exclusion algorithm for mutual exclusion. We verify the classic two-process algorithm and simple variants, as well as an atomic parameterized version. The methods used include deductive verification rules, verification diagrams, automatic invariant generation, and finite-state model checking and abstraction. 相似文献
42.
43.
根据当前无线网络和工业监控软件技术的发展,分析了无线局域网用于电力生产企业的优势和存在的问题,针对不同问题提出了相应的解决方法.同时,结合通辽电厂局域网的实际情况,提出了无线监控网络在电力生产企业中应用的设计方案. 相似文献
44.
在艺术设计学科中的素描问题新探 总被引:2,自引:0,他引:2
乔迁 《北方工业大学学报》2003,15(4):80-83
纯美术教育和艺术设计教育分属不同的教育体系,而目前艺术设计教育中有许多直接从纯美术承接的结构内容,这或许会影响艺术设计教育的良性发展。作为基础课程的传统的素描教学不能适应艺术设计的培养目标,如何调整教学目标和教学方式的问题突显出来。参照艺术设计的三大构成基础进行改革,将是一种有效的方式。 相似文献
45.
单层球面网壳结构的力学性能研究 总被引:6,自引:0,他引:6
基于非线性有限元方法,研究了单层球面网壳结构的内力分布规律及结构变形特点,并针对力学计算模型、结构失跨比、外荷载分布等主要因素,研究其对单层网壳结构力学性状的影响情况。得出了工程中常用的单层球面网壳的荷载传递方式以及存在于结构内的力流方向,为在工程设计中控制力流,并设计力流的导向提供理论指导。 相似文献
46.
本文以220kV变电站及输电线路为研究对象,对接地短路电流的分流系数进行了分析,提出了计算与测试方法,并通过对实际工程的验证,得出了适用的结论。 相似文献
47.
张东升 《广东输电与变电技术》2003,(2):62-65
根据钢管杆所受的外力及地质条件,详细汁算钢管杆所受的弯矩、基础的配置等情况。说明合理的设计方法可以大大节约钢管杆的基础混凝土及其配筋量。 相似文献
48.
针对湖北电冈在用电负荷低谷期间电压越上限的问题,进行了2005年湖北500kV电网感性无功平衡计算,并进行了调相调压计算。认为:按照有关规划,湖北500kV电网2005年感性无功补供度过低,“十五”期应加强感性无功补偿装置的建设;另外,“十五”期湖北电网应进一步加强发电机组的进相运行工作;应进一步加强电容器的自动投切工作。 相似文献
49.
以钢结构设计专家系统(ESOSSD)图形系统为例,介绍了其设计原理及主要思想,提供了建造ACAD图形函数库,利用MS-FORTRAN实现模型代真等方法,并对系统参数化建模及施工图绘制进行了探讨和研究。 相似文献
50.
华中与华北联网是全国联网南北互供的主通道之一,是全国北部电网与中部电网的重要联网工程。经过系统论证,华中华北联网宜采用先交流,后过渡到直流背靠背的方案。安阳变电所是华中华北联网工程中的关键变电站,其电气接线方案、配电装置、站用电接线等既要满足近期的联网要求,又要适应远期直流背靠背换流站的要求。因此,安阳变过渡方案的研究对于联网工程显得尤为重要。文中对安阳变电站的过渡方案进行了深入细致的研究,提出经过优化的过渡方案,能更好地适应华中华北联网先交流、后直流的分步实施要求。 相似文献