全文获取类型
收费全文 | 68053篇 |
免费 | 7767篇 |
国内免费 | 4315篇 |
专业分类
电工技术 | 5419篇 |
技术理论 | 2篇 |
综合类 | 6083篇 |
化学工业 | 9995篇 |
金属工艺 | 4062篇 |
机械仪表 | 4606篇 |
建筑科学 | 5503篇 |
矿业工程 | 2149篇 |
能源动力 | 1783篇 |
轻工业 | 6788篇 |
水利工程 | 1787篇 |
石油天然气 | 2733篇 |
武器工业 | 806篇 |
无线电 | 7531篇 |
一般工业技术 | 6796篇 |
冶金工业 | 2793篇 |
原子能技术 | 1006篇 |
自动化技术 | 10293篇 |
出版年
2024年 | 426篇 |
2023年 | 1302篇 |
2022年 | 2682篇 |
2021年 | 3484篇 |
2020年 | 2613篇 |
2019年 | 1970篇 |
2018年 | 2210篇 |
2017年 | 2519篇 |
2016年 | 2162篇 |
2015年 | 3158篇 |
2014年 | 4140篇 |
2013年 | 4724篇 |
2012年 | 5457篇 |
2011年 | 5619篇 |
2010年 | 5302篇 |
2009年 | 4854篇 |
2008年 | 4717篇 |
2007年 | 4549篇 |
2006年 | 3901篇 |
2005年 | 3133篇 |
2004年 | 2247篇 |
2003年 | 1596篇 |
2002年 | 1500篇 |
2001年 | 1222篇 |
2000年 | 1141篇 |
1999年 | 848篇 |
1998年 | 455篇 |
1997年 | 443篇 |
1996年 | 414篇 |
1995年 | 326篇 |
1994年 | 230篇 |
1993年 | 176篇 |
1992年 | 144篇 |
1991年 | 104篇 |
1990年 | 67篇 |
1989年 | 81篇 |
1988年 | 59篇 |
1987年 | 25篇 |
1986年 | 27篇 |
1985年 | 9篇 |
1984年 | 22篇 |
1983年 | 8篇 |
1982年 | 7篇 |
1981年 | 14篇 |
1980年 | 20篇 |
1979年 | 8篇 |
1977年 | 2篇 |
1976年 | 1篇 |
1959年 | 8篇 |
1951年 | 9篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
901.
902.
采用室内动力特性试验和现场剪切波速测试,对某水电站土石坝坝基各土层最大剪切模量进行了分析。其中现场剪切波速测试分别采用了单孔法和跨孔法,共获得4组剪切模量随深度变化的曲线,分析表明,4组曲线的变化规律一致,即随深度的增加,土体越密实,剪切模量总体趋势变大;数据的波动性也反应了土性差异对剪切模量的影响。文中还分土层分析了室内试验中的固结比取值、密度取值以及波速测试中土的不均匀性对波速测试和室内试验结果的影响,认为密度取值、土的不均匀性为主要影响因素,固结比为次要因素,试样制备中的密度取值越接近实际土层,所得到的室内试验值与现场测试值就越接近。 相似文献
903.
为了探讨植被重建模式与土壤养分的关系,合理改良与利用红壤侵蚀坡地,本文分析了草本、果树、果树+草、果树+草+农作物和果树+农作物等不同植被重建模式对土壤养分的影响,并运用灰色关联分析方法对不同恢复模式的土壤养分效应进行综合评价。研究结果表明:不同植被重建模式土壤养分效应差异显著,以果树+横坡套种农作物改善土壤养分效应最好,然后依次是果树+草本模式(全区覆盖优于带状覆盖)、果+草+农作物模式、果树+纵坡套种农作物,草本、果树模式改善土壤养分效应最差。赣北侵蚀坡地植被恢复,可以优先考虑恢复果树+横坡套种农作物模式和果树+草本模式。 相似文献
904.
基于上海市2010-05-2013-12日供水资料和气象观测资料,利用数学统计方法分析日供水量与气象因子的关系,并建立日供水量预报模型。结果表明:一年之中,日供水量大体呈现"单峰单谷"的波动特征,夏季(7、8月份)日均供水最多,冬季(2月份)最少;日供水量具有显著的节假日效应;除降水外,日供水量与其它气象因子均有显著的相关性,且夏半年相关系数明显高于冬半年;日供水量与温度的关系最为密切,且与前一日最高温度的相关系数最高,同时,当温度大于20℃时,日供水量对于温度变化的响应极其敏感;供水预报模型精度较高,可为城市用水规划、合理调度的气象服务保障提供科学依据。 相似文献
905.
本文对进水口结构进行有效简化,采用PKPM系列软件中的PMCAD模块建立模型,考虑对结构最不利的荷载组合并输入计算荷载,利用PKPM系列软件中的SATWE模块进行进水口结构的内力及配筋计算,通过计算确定结构体型及配筋情况。 相似文献
906.
许多实际系统可用n 维超球坐标系来描述, 并且系统有球对称的性质, 因而可通过研究半径方向的状态变化, 得到系统的全局动态过程. 通过将高维的对称系统转化为等价的径向一维方程, 本文采用边界Backstepping 方法设计了球对称反应扩散方程的输出反馈控制器. 使用容易测量的边界状态值, 设计了状态观测器来估计系统在空间域的所有状态, 从而实现输出反馈控制. 本文扩展了连续Backstepping 方法,提出了n维球坐标的Volterra 积分映射, 从而求出了显式表达的控制器和状态观测器. 论文用Lyapunov 函数法证明了输出反馈系统在H1范数下指数稳定, 表明状态对初值的连续依赖, 确保控制系统具有较好的性质, 不会在空间某点发散. 最后进行了数值仿真, 仿真结果表明系统在输出反馈控制律的作用下收敛到稳态值. 相似文献
907.
908.
909.
910.
计算几何算法经常用于机器人避碰运动规划等安全攸关领域,对这些算法进行正确性证明非常重要.用形式化方法对算法进行验证是一种十分有效的手段,尤其是定理证明的方法用严格的数学公理和定理推理证明逻辑模型的性质,对所验证的性质而言是完备的.基于GJK算法设计了计算空间两条线段间距离的算法,用定理证明器HOL4对其相关的定义和定理进行形式化定义和证明,进而基于霍尔逻辑完成形式化表示和证明,对该算法的正确性实现了形式化验证.最后,给出了这一经过验证的算法在双臂机器人无碰撞运动规划中的应用. 相似文献