全文获取类型
收费全文 | 4446篇 |
免费 | 299篇 |
国内免费 | 345篇 |
专业分类
电工技术 | 254篇 |
综合类 | 2131篇 |
化学工业 | 51篇 |
金属工艺 | 21篇 |
机械仪表 | 139篇 |
建筑科学 | 237篇 |
矿业工程 | 70篇 |
能源动力 | 22篇 |
轻工业 | 154篇 |
水利工程 | 65篇 |
石油天然气 | 29篇 |
武器工业 | 34篇 |
无线电 | 498篇 |
一般工业技术 | 392篇 |
冶金工业 | 55篇 |
原子能技术 | 6篇 |
自动化技术 | 932篇 |
出版年
2024年 | 21篇 |
2023年 | 51篇 |
2022年 | 74篇 |
2021年 | 82篇 |
2020年 | 70篇 |
2019年 | 98篇 |
2018年 | 44篇 |
2017年 | 68篇 |
2016年 | 95篇 |
2015年 | 111篇 |
2014年 | 183篇 |
2013年 | 184篇 |
2012年 | 212篇 |
2011年 | 263篇 |
2010年 | 219篇 |
2009年 | 228篇 |
2008年 | 245篇 |
2007年 | 202篇 |
2006年 | 193篇 |
2005年 | 162篇 |
2004年 | 149篇 |
2003年 | 173篇 |
2002年 | 156篇 |
2001年 | 183篇 |
2000年 | 192篇 |
1999年 | 137篇 |
1998年 | 151篇 |
1997年 | 146篇 |
1996年 | 127篇 |
1995年 | 158篇 |
1994年 | 143篇 |
1993年 | 106篇 |
1992年 | 104篇 |
1991年 | 105篇 |
1990年 | 98篇 |
1989年 | 108篇 |
1988年 | 18篇 |
1987年 | 20篇 |
1986年 | 3篇 |
1985年 | 3篇 |
1984年 | 3篇 |
1983年 | 1篇 |
1980年 | 1篇 |
排序方式: 共有5090条查询结果,搜索用时 12 毫秒
71.
为了增强基于遗传算法的水下群机器人路径规划算法正确性的说服力,使用定理证明对其进行形式化研究,给出算法在定理证明器HOL4中的形式化模型。基于算法形式化的一般步骤,首先对算法的设计进行了详细的分析,指出算法设计的核心步骤与建模难点。在此基础上建立了总体形式化建模框架,然后对其进行化简,得到种群初始化、选择、交叉三个核心模块。接着给出模型中要用到的基本数据类型的形式化描述,并分别对三个模块进行形式化描述,最终得到算法的形式化模型。通过证明与模型相关的97条性质,说明了模型的合理性及有效性,在此模型的基础上,可以完成对算法的形式化验证,同时还能拓展HOL4的应用范围。 相似文献
72.
神经传播型方程的研究是非线性科学和神经科学交叉的前沿课题,既有实际应用背景,又有重要的理论意义.讨论了具周期边界的神经传播和非线性波动混合型方程的初边值问题,利用Galerkin方法及Sobolev空间理论证明了问题整体解的存在唯一性. 相似文献
73.
针对地球同步轨道合成孔径雷达(GEO SAR)中,卫星轨道是曲线轨迹,且由于地球自转等因素的影响,卫星相对于点目标的运动轨迹没有显式表达式,且航迹速度在不同的卫星轨道位置差异很大的问题,提出了一种基于相位梯度分析的高轨SAR二维空间分辨率计算方法.文中提出了一种猜想,并采用介值定理证明:在合成孔径时间内,存在1个等效航迹速度,使得理论方位向分辨率位于1个范围之内,并计算得到了该方位向分辨率范围.最后,后向投影算法仿真实验验证了该方法的有效性. 相似文献
74.
研究了具有一个分担值的有穷非整数下级整函数的唯一性问题,所得的结果改进了仪洪勋的一个结果,并给出例子表明结果是精确的. 相似文献
75.
水下滑翔机作为一种新型的水下机器人利用了水平固定翼将净重力转换为前进驱动力,从而降低了水下机器人的功耗,在海洋科学研究、环境监测、资源探测和军事侦察等方面都具有广阔的应用前景。为了得到实际水下滑翔机稳定性与设计参数和控制参数之间的关系,将已建立的水下滑翔机一般数学模型应用于具体的实际水下滑翔机上。在此基础上将模型线性化,结合李雅普诺夫稳定性第一定理和第二定理,分析出水下滑翔机定常运动的动态稳定性随设计参数(初稳性高)和控制参数(姿态调节控制量)变化的规律。为水下滑翔机器人的设计和控制提供理论依据。 相似文献
76.
应用Leggett-Williams不动点定理研究一类四阶奇异非局部问题(p(t)x’’’(t))’=ω(t)f(t,x(t))0相似文献
77.
The stability of natural slope was analyzed on the basis of limit analysis. The sliding model of a kind of natural slope was presented. A new kinematically admissible velocity field for the new sliding model was constructed. The stability factor formulation by the upper bound theorem leads to a classical nonlinear programming problem, when the external work rate and internal energy dissipation were solved, and the constraint condition of the programming problem was given. The upper bound optimization problem can be solved efficiently by applying a nonlinear SQP algorithm, and stability factor was obtained, which agrees well with previous achievements. 相似文献
78.
The analytical solutions for predicting the exact shape of collapse mechanisms in shallow tunnels with arbitrary excavation profiles were obtained by virtue of the upper bound theorem of limit analysis and variation principle according to Hoek-Brown failure criterion. The seepage force was included in the upper bound limit analysis, and it was computed from the gradient of excess pore pressure distribution. The seepage was regarded as a work rate of external force. The numerical results of roof collapse in square and circular tunnels with different rock parameters were derived and discussed, which proves to be valid in comparison with the previous work. The influences of different parameters on the shape of collapsing blocks were also discussed. 相似文献
79.
为了分析曲线箱梁桥的受力情况,将传递矩阵法用于曲线箱梁桥的受力分析,以变化固定端的悬臂梁作为单元基本计算体系,利用平衡方程、卡式定理及虚功原理推导了弹性曲线箱梁的显式空间传递矩阵,并考虑了截面剪切中心与形心不重合的影响。为验证公式的正确性,分别采用传递矩阵法与有限元法对某一单跨曲线箱梁桥进行空间受力分析,结果显示2种方法计算结果基本吻合,而传递矩阵法划分较少单元却可达到很高的精度,计算效率大大提高。表明该公式正确,推导方法可行,可推广应用于其他结构在不同荷载情况下传递矩阵的推导。 相似文献
80.
金世国 《江西电力职工大学学报》2014,(3):51-53
通过实例,介绍拉格朗日中值定理在求极限、证明不等式、证明恒等式及证明与区间端点函数值有关的等式中的应用. 相似文献