全文获取类型
收费全文 | 1651篇 |
免费 | 400篇 |
国内免费 | 145篇 |
出版年
2024年 | 16篇 |
2023年 | 17篇 |
2022年 | 38篇 |
2021年 | 64篇 |
2020年 | 65篇 |
2019年 | 24篇 |
2018年 | 38篇 |
2017年 | 73篇 |
2016年 | 37篇 |
2015年 | 81篇 |
2014年 | 98篇 |
2013年 | 117篇 |
2012年 | 187篇 |
2011年 | 193篇 |
2010年 | 162篇 |
2009年 | 187篇 |
2008年 | 190篇 |
2007年 | 156篇 |
2006年 | 108篇 |
2005年 | 93篇 |
2004年 | 84篇 |
2003年 | 41篇 |
2002年 | 49篇 |
2001年 | 52篇 |
2000年 | 25篇 |
1999年 | 1篇 |
排序方式: 共有2196条查询结果,搜索用时 15 毫秒
291.
随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性. 相似文献
292.
采用数值方法研究了双三角翼上涡流运动随攻角的变化规律.计算取层流假设,研究了攻角在5°~30°,76°/40°后掠双三角翼绕流的流场结构随攻角的变化,并对双三角翼上涡破裂现象对流场结构及气动力性能的影响进行了分析.结果表明,双三角翼上的多涡结构存在强烈的相互影响,较大的攻角会导致涡破裂在翼面上发生,严重影响了双三角翼的气动力性能. 相似文献
293.
以冲压增程弹为应用背景进行了进气道设计.结合增程弹的特点,讨论了轴对称进气道中心锥参数、喉道参数、外罩参数的选择.特别对进气道唇口处参数、扩张段角度设计方法进行了分析.设计了单锥混压式、单锥外压式以及双锥混压式三种进气道,并进行了数值模拟.分析了进气道主要设计参数对其性能的影响.数值结果表明,就增程弹的性能要求而言,双锥混压式进气道的性能较高. 相似文献
294.
目前微小卫星正在积极地发展中,脉冲等离子体推力器是其推进系统的一个重要发展方向,为了能够将PPT成功地运用于空间,需对其羽流进行研究.将DSMC(Direct Simulation Monte-Carlo)/PIC(Particle in Cell)流体混合算法与一维MHD放电模型相结合,一体化模拟NASA Glenn PPT羽流,对不同出口偏转角的羽流场进行模拟,并与实验结果进行了比较.计算结果显示引入出口速度的偏转角提高了模型的羽流扩散能力,羽流的扩散角是影响羽流的一个主要因素. 相似文献
295.
研究了线性定常系统在循环指数大于1(即其约当标准形不同的约当块有重根)的情况下测试矩阵的优化方法.以循环子空间相关定理的证明为基础,根据根向量链的相关特性,得到了测试向量的线性和与系统观测性的直接关系,给出了在保证系统可观测性的同时,使得测试代价最小的测试矩阵优化方法.算例表明,提出的方法简单直观,对配置测试向量具有良好的工程价值. 相似文献
296.
297.
298.
299.
反辐射导弹及其对抗措施研究 总被引:1,自引:0,他引:1
反辐射导弹的快速发展给防空系统雷达及其它辐射源造成极大威胁。针对反辐射导弹技术战术特点,综合分析研究了反辐射导弹的作战使用弱点,从技术、战术、指挥三个方面着手,提出了对抗反辐射导弹的几种方法和措施,这些方法和措施可较好地满足防空兵部队抗反辐射导弹的作战与训练要求。 相似文献
300.