全文获取类型
收费全文 | 48016篇 |
免费 | 5666篇 |
国内免费 | 4198篇 |
专业分类
电工技术 | 4382篇 |
综合类 | 5273篇 |
化学工业 | 5981篇 |
金属工艺 | 3466篇 |
机械仪表 | 3350篇 |
建筑科学 | 3783篇 |
矿业工程 | 2194篇 |
能源动力 | 1277篇 |
轻工业 | 5717篇 |
水利工程 | 1756篇 |
石油天然气 | 1581篇 |
武器工业 | 795篇 |
无线电 | 4509篇 |
一般工业技术 | 4057篇 |
冶金工业 | 1973篇 |
原子能技术 | 992篇 |
自动化技术 | 6794篇 |
出版年
2024年 | 295篇 |
2023年 | 893篇 |
2022年 | 2112篇 |
2021年 | 2576篇 |
2020年 | 1783篇 |
2019年 | 1315篇 |
2018年 | 1319篇 |
2017年 | 1619篇 |
2016年 | 1383篇 |
2015年 | 2266篇 |
2014年 | 2697篇 |
2013年 | 3395篇 |
2012年 | 4175篇 |
2011年 | 4139篇 |
2010年 | 3774篇 |
2009年 | 3743篇 |
2008年 | 3829篇 |
2007年 | 3636篇 |
2006年 | 3175篇 |
2005年 | 2599篇 |
2004年 | 1953篇 |
2003年 | 1279篇 |
2002年 | 1141篇 |
2001年 | 961篇 |
2000年 | 801篇 |
1999年 | 354篇 |
1998年 | 111篇 |
1997年 | 89篇 |
1996年 | 73篇 |
1995年 | 53篇 |
1994年 | 47篇 |
1993年 | 46篇 |
1992年 | 41篇 |
1991年 | 31篇 |
1990年 | 29篇 |
1989年 | 27篇 |
1988年 | 24篇 |
1987年 | 18篇 |
1986年 | 14篇 |
1985年 | 10篇 |
1984年 | 3篇 |
1983年 | 3篇 |
1981年 | 4篇 |
1980年 | 15篇 |
1979年 | 7篇 |
1959年 | 11篇 |
1951年 | 12篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
101.
102.
103.
104.
105.
曹阳 《电脑编程技巧与维护》2014,(4):11-12
随着我国集装箱吞吐量的快速增长,集装箱港口对作业效率的要求也越来越高。在现有作业技术水平和硬件设备、设施的基础上实现作业效率的提高,已经成为集装箱港口发展所面临的重要问题。从集装箱港口作业的一个环节——集卡作业入手,分析提高集卡利用率,进而带动整个港口作业效率的提高。 相似文献
106.
由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ(x)的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的. 相似文献
107.
研究一类考虑转包的供应链排序问题, 即工厂从客户处接受一批订单, 这些订单既可以由工厂完成, 也可以通过支付一定费用进行转包. 工厂需要确定被转包的订单集并安排未被转包订单的生产和运输. 针对工厂为平行机生产环境的情况, 以交货期限内完成所有订单的转包成本、生产成本与运输成本之和最小化为目标, 构建了问题的数学模型, 并设计了启发式算法. 最后通过数值实验结果表明了算法的有效性.
相似文献108.
109.
搅拌设备设计的几点体会 总被引:1,自引:0,他引:1
从搅拌轴的支承条件、轴承间最佳距离的确定以及搅拌轴的稳定器等几个方面讨论 ,分析了其对搅拌设备设计的影响 ,并提出了相应的措施和方法。 相似文献
110.