全文获取类型
收费全文 | 1007篇 |
免费 | 253篇 |
国内免费 | 208篇 |
专业分类
航空 | 686篇 |
航天技术 | 176篇 |
综合类 | 163篇 |
航天 | 443篇 |
出版年
2024年 | 3篇 |
2023年 | 14篇 |
2022年 | 34篇 |
2021年 | 29篇 |
2020年 | 44篇 |
2019年 | 43篇 |
2018年 | 32篇 |
2017年 | 21篇 |
2016年 | 46篇 |
2015年 | 41篇 |
2014年 | 67篇 |
2013年 | 56篇 |
2012年 | 61篇 |
2011年 | 74篇 |
2010年 | 81篇 |
2009年 | 64篇 |
2008年 | 50篇 |
2007年 | 57篇 |
2006年 | 52篇 |
2005年 | 47篇 |
2004年 | 34篇 |
2003年 | 46篇 |
2002年 | 74篇 |
2001年 | 42篇 |
2000年 | 38篇 |
1999年 | 39篇 |
1998年 | 41篇 |
1997年 | 32篇 |
1996年 | 40篇 |
1995年 | 35篇 |
1994年 | 25篇 |
1993年 | 18篇 |
1992年 | 21篇 |
1991年 | 21篇 |
1990年 | 9篇 |
1989年 | 10篇 |
1988年 | 5篇 |
1987年 | 6篇 |
1986年 | 7篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1982年 | 3篇 |
1980年 | 2篇 |
1965年 | 1篇 |
排序方式: 共有1468条查询结果,搜索用时 31 毫秒
21.
用多重光散射法对水蒸气在激波管中的自发成核凝结过程进行了实验研究,分析了膨胀率对成核率和凝结过程的影响。根据理论计算和实测数据结果,所得结论是:膨胀率增大。会造成过饱和度、成核率、凝结质量份额和液滴生长率相应地增大。 相似文献
22.
23.
大曲率弯道和叶栅内的湍流数值模拟 总被引:3,自引:0,他引:3
本文在贴体曲线坐标系下应用非交错网格技术,发展了适于求解复杂流动的压力修正算法,采用速度的协变物理分量为动量方程的求解变量,推导得出一个适于任何曲线坐标系下控制单元体界面流通量的插值模式,可以有效地抑制不合理的波动压力场,计算表明,算法稳定收敛,计算值与试验值吻合良好,同时能预示通道内复杂的流动现象。 相似文献
24.
运用油松分布的性质和二元泰勒级数展开方法,研究了初始处于下能级的级联三能级JC模型中的原子与两个初始相于辐射场的相互作用,得到了原子能级算符、光子数和偶极矩算符的平均值的近似解析解,与前人数值结果相比,更加明确地反映了系统的量子效应。 相似文献
25.
制造系统里所用的微处理器中,单片机只能做逻辑处理和简单数学计算,而数字信号处理器(DSP)可进行相当复杂的数学处理。本文概述DSP的数学原理及其技术特点,介绍了基于DSP智能控制器在制造业中实时测控系统的应用实例。 相似文献
26.
中介时序逻辑系统MTL的模型论性质 总被引:1,自引:0,他引:1
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 相似文献
27.
多模态逻辑作为模态逻辑的扩充,是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统,自创立后得到了很大发展,并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充,本文构造了一种基于中介逻辑的多模态逻辑系统MMK,讨论了它的推理规则和语义解释,并证明了MMK的可靠性和完备性,在此基础上给出了一种基于中介逻辑的时态逻辑系统MT,对它的可靠性和完备性进行了讨论。最后,分析了相应的经典多模态逻辑系统与MMK系统及经典时态逻辑系统和MT系统之间的关系。 相似文献
28.
在中介公理集合论系统(MS)中重新定义了良集的概念,讨论了它的性质。证明良集完全满足经典公理集合论系统(ZFC-:ZFC系统中去掉正则公理)的全部公理,且其配套的逻辑系统恰为中介逻辑的二值子系统FI*ML,说明整个经典数学也能奠基于MS之上,从而最终回答了中介数学与经典数学的包含关系问题。 相似文献
29.
符合CCSDS标准的RS(255,223)码译码器的FPGA实现及其性能测试 总被引:4,自引:0,他引:4
RS(Reed-Solomon)码是差错控制领域中一种性能优异的非二进制分组循环码,由于它具有很强的随机错误和突发错误的纠错能力,被CCSDS,NASA,ESA等空间组织接受,广泛应用于深空探测中.本文采用改进的Berlekamp算法,用FPGA实现了符合CCSDS标准的RS(255,223)码译码器;介绍了该译码器的实现流程、性能测试方法和基于PCI总线接口的测试平台;给出了测试结果,并且对理论上RS(255,223)译码器的误码性能与实际测试的误码率结果进行了比较和分析.验证结果证明该译码器能工作在400Mbps以上的码率,使用FPGA资源180000门,译码效果与理论上译码效果一致. 相似文献
30.
文章介绍了以373型精密露点仪为主标准器的湿度标准装置的原理及构成,对该装置的重复性和稳定性进行了测试。结果表明温度重复性实验的标准偏差为0.00℃,相对湿度重复性实验的标准偏差为0.07%RH,露点温度重复性实验的标准偏差为0.01℃。温度稳定性实验的标准偏差为0.02℃,相对湿度稳定性实验的标准偏差为0.33%RH,露点温度稳定性实验的标准偏差为0.066℃。基于美国NI公司的Labview软件开发平台,开发了湿度仪器仪表计量软件。软件以模块化思想为基础,可实现数据自动处理,报告自动生成。 相似文献