全文获取类型
收费全文 | 45963篇 |
免费 | 5408篇 |
国内免费 | 4105篇 |
专业分类
电工技术 | 4246篇 |
综合类 | 5121篇 |
化学工业 | 5487篇 |
金属工艺 | 3347篇 |
机械仪表 | 3219篇 |
建筑科学 | 3559篇 |
矿业工程 | 2115篇 |
能源动力 | 1207篇 |
轻工业 | 5585篇 |
水利工程 | 1681篇 |
石油天然气 | 1459篇 |
武器工业 | 782篇 |
无线电 | 4316篇 |
一般工业技术 | 3847篇 |
冶金工业 | 1876篇 |
原子能技术 | 972篇 |
自动化技术 | 6657篇 |
出版年
2024年 | 286篇 |
2023年 | 858篇 |
2022年 | 2022篇 |
2021年 | 2493篇 |
2020年 | 1712篇 |
2019年 | 1271篇 |
2018年 | 1271篇 |
2017年 | 1561篇 |
2016年 | 1334篇 |
2015年 | 2180篇 |
2014年 | 2597篇 |
2013年 | 3267篇 |
2012年 | 4036篇 |
2011年 | 3969篇 |
2010年 | 3627篇 |
2009年 | 3611篇 |
2008年 | 3698篇 |
2007年 | 3527篇 |
2006年 | 3046篇 |
2005年 | 2502篇 |
2004年 | 1885篇 |
2003年 | 1207篇 |
2002年 | 1082篇 |
2001年 | 913篇 |
2000年 | 755篇 |
1999年 | 297篇 |
1998年 | 74篇 |
1997年 | 54篇 |
1996年 | 49篇 |
1995年 | 34篇 |
1994年 | 30篇 |
1993年 | 33篇 |
1992年 | 28篇 |
1991年 | 18篇 |
1990年 | 22篇 |
1989年 | 21篇 |
1988年 | 21篇 |
1987年 | 18篇 |
1986年 | 13篇 |
1985年 | 9篇 |
1984年 | 2篇 |
1983年 | 3篇 |
1981年 | 2篇 |
1980年 | 13篇 |
1979年 | 7篇 |
1959年 | 11篇 |
1951年 | 7篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
61.
曹阳 《电脑编程技巧与维护》2014,(4):11-12
随着我国集装箱吞吐量的快速增长,集装箱港口对作业效率的要求也越来越高。在现有作业技术水平和硬件设备、设施的基础上实现作业效率的提高,已经成为集装箱港口发展所面临的重要问题。从集装箱港口作业的一个环节——集卡作业入手,分析提高集卡利用率,进而带动整个港口作业效率的提高。 相似文献
62.
由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ(x)的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的. 相似文献
63.
研究一类考虑转包的供应链排序问题, 即工厂从客户处接受一批订单, 这些订单既可以由工厂完成, 也可以通过支付一定费用进行转包. 工厂需要确定被转包的订单集并安排未被转包订单的生产和运输. 针对工厂为平行机生产环境的情况, 以交货期限内完成所有订单的转包成本、生产成本与运输成本之和最小化为目标, 构建了问题的数学模型, 并设计了启发式算法. 最后通过数值实验结果表明了算法的有效性.
相似文献64.
65.
搅拌设备设计的几点体会 总被引:1,自引:0,他引:1
从搅拌轴的支承条件、轴承间最佳距离的确定以及搅拌轴的稳定器等几个方面讨论 ,分析了其对搅拌设备设计的影响 ,并提出了相应的措施和方法。 相似文献
66.
67.
曲线和曲面的重构是逆向工程中的重要问题,特别是按照计算机图形学中点线面的发展规律,曲线重构更是其中很重要的一步,为后面的曲面重构奠定了研究基础。论文研究和实现了一种曲线重构算法,该算法将人类的视觉具有的接近性和连续性融入到了曲线重构算法中。实验结果表明了该算法的有效性。 相似文献
68.
曲线的设计与修改是CAD/CAM和数控技术研究的一个重要课题,具有广泛的应用背景.为了满足表示和设计复杂自由曲线的需求,论文构造了一类基于指数函数的曲线-E曲线,给出了基函数及E曲线的定义与性质.通过研究发现,所构造的E曲线具有Bézier曲线类似的一系列优良性质. 相似文献
69.
结合软件测试的发展,对软件测试课程教学面临的问题进行分析。从课程的设置模式、课程内容的选择、测试工具的选择等方面进行探讨,提出课程改革的方法和途径,提高学生的测试应用能力。 相似文献
70.
在分子生物学研究中,建立二次数据库可以更深入的进行特色物种的研究。通过分析了构建生物信息二次数据库的复杂性和必要性,在MySQL数据库的基础上利用Bioperl相关技术提出了可行性方案,并给出了关键的构建步骤,最后建立了一个生物信息研究平台。 相似文献