全文获取类型
收费全文 | 6860篇 |
免费 | 822篇 |
国内免费 | 662篇 |
专业分类
电工技术 | 693篇 |
综合类 | 697篇 |
化学工业 | 872篇 |
金属工艺 | 399篇 |
机械仪表 | 451篇 |
建筑科学 | 671篇 |
矿业工程 | 187篇 |
能源动力 | 193篇 |
轻工业 | 778篇 |
水利工程 | 184篇 |
石油天然气 | 196篇 |
武器工业 | 72篇 |
无线电 | 849篇 |
一般工业技术 | 613篇 |
冶金工业 | 207篇 |
原子能技术 | 129篇 |
自动化技术 | 1153篇 |
出版年
2024年 | 41篇 |
2023年 | 103篇 |
2022年 | 230篇 |
2021年 | 326篇 |
2020年 | 211篇 |
2019年 | 151篇 |
2018年 | 153篇 |
2017年 | 201篇 |
2016年 | 184篇 |
2015年 | 297篇 |
2014年 | 380篇 |
2013年 | 445篇 |
2012年 | 558篇 |
2011年 | 552篇 |
2010年 | 579篇 |
2009年 | 539篇 |
2008年 | 605篇 |
2007年 | 577篇 |
2006年 | 468篇 |
2005年 | 452篇 |
2004年 | 338篇 |
2003年 | 199篇 |
2002年 | 200篇 |
2001年 | 206篇 |
2000年 | 145篇 |
1999年 | 55篇 |
1998年 | 23篇 |
1997年 | 15篇 |
1996年 | 16篇 |
1995年 | 12篇 |
1994年 | 11篇 |
1993年 | 5篇 |
1992年 | 6篇 |
1991年 | 5篇 |
1990年 | 3篇 |
1989年 | 12篇 |
1988年 | 8篇 |
1987年 | 11篇 |
1986年 | 5篇 |
1985年 | 1篇 |
1984年 | 3篇 |
1983年 | 1篇 |
1982年 | 2篇 |
1981年 | 1篇 |
1980年 | 3篇 |
1979年 | 5篇 |
1959年 | 1篇 |
排序方式: 共有8344条查询结果,搜索用时 31 毫秒
141.
应用伪谱法解决欠驱动刚性航天器的时间最优轨迹规划问题.首先建立欠驱动刚性航天器的动力学和运动学模型,对于给定的初末姿态,选取机动时间最短为待优化的性能指标,并考虑到实际控制输入受限,将其转化为优化过程中的不等式约束条件;然后应用Legendre伪谱法,将优化问题离散化为非线性规划问题进行求解.仿真结果表明,应用伪谱法规划得到的欠驱动航天器最优轨迹,能够较好地满足各种约束条件,而且计算精度高、速度快,具有良好的实时性. 相似文献
142.
143.
基于VMWare构建虚拟网络实验室的研究 总被引:2,自引:0,他引:2
在计算机网络实验室的实践教学中,常常遇到难以满足安装操作系统、组网、测试网络软件等需求的难题.介绍了VMWare的工作原理,分析它的优势和特性,提出基于VMWare建立虚拟网络实验室的思路.通过VMWare创建多个虚拟子系统,在其中安装Linux、Windows Server 2003等不同种类的操作系统.这些虚拟子系统通过多种方便、灵活的方式进行通讯,形成复杂和多变的测试环境,可以完成各种复杂的网络实验.VMWare在实践中使用方便、性能强大,能很好地满足计算机网络实验室的要求. 相似文献
144.
文中在研究国内外异性棉纤维检测方法的基础上提出智能异性棉纤维检测和除杂系统。该系统主要有智能机器视觉、智能反馈、智能除杂等三个重要环节,智能机器视觉是利用不同异性纤维在不同波段的光谱特征通过智能图像融合提取杂质信息,智能反馈系统主要是根据检测信息智能处理反馈信号,智能除杂系统主要针对杂质的分布情况智能处理各喷头的风力。同时采用复杂适应系统理论解决多智能体之间的协同配合问题。实验结果表明该方法能大大提高检测效率和除杂精度。 相似文献
145.
近年来,出具证明编译器作为构建高可信软件的重要途径,逐渐成为编译器理论和形式化验证的研究热点.在其理论框架中,编译器需要借助自动定理证明技术,自动地证明验证条件并生成机器可检查的证明项,因此好的自动定理证明器对出具证明编译器至关重要.本文基于Simplex算法在出具证明编译器的框架内设计并实现了一个支持线性整数命题求解的自动定理证明器,并且提出一套证明项构造方法,将其应用于自动定理证明器中可生成Coq可检查的证明. 相似文献
146.
147.
148.
149.
150.