全文获取类型
收费全文 | 727篇 |
免费 | 160篇 |
国内免费 | 119篇 |
专业分类
航空 | 495篇 |
航天技术 | 171篇 |
综合类 | 134篇 |
航天 | 206篇 |
出版年
2024年 | 5篇 |
2023年 | 22篇 |
2022年 | 36篇 |
2021年 | 39篇 |
2020年 | 45篇 |
2019年 | 37篇 |
2018年 | 34篇 |
2017年 | 35篇 |
2016年 | 21篇 |
2015年 | 35篇 |
2014年 | 49篇 |
2013年 | 43篇 |
2012年 | 56篇 |
2011年 | 55篇 |
2010年 | 53篇 |
2009年 | 54篇 |
2008年 | 45篇 |
2007年 | 60篇 |
2006年 | 44篇 |
2005年 | 38篇 |
2004年 | 25篇 |
2003年 | 17篇 |
2002年 | 17篇 |
2001年 | 21篇 |
2000年 | 19篇 |
1999年 | 15篇 |
1998年 | 9篇 |
1997年 | 14篇 |
1996年 | 15篇 |
1995年 | 8篇 |
1994年 | 5篇 |
1993年 | 4篇 |
1992年 | 7篇 |
1991年 | 6篇 |
1990年 | 6篇 |
1989年 | 5篇 |
1988年 | 1篇 |
1987年 | 3篇 |
1986年 | 1篇 |
1984年 | 2篇 |
排序方式: 共有1006条查询结果,搜索用时 8 毫秒
601.
602.
603.
604.
对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。 相似文献
605.
采用离子色谱法对DIANP中无机阴离子NO2-,N3-,NO3-,CO32-,SO42-进行测定。乙腈溶解DI-ANP后,加水萃取无机离子,通过On GuardⅡRP柱,去除DIANP或其分解的有机产物,用氢氧化钾溶液为淋洗液梯度洗脱,流速为1.0mL/min,采用IonPac AS11-HC阴离子色谱柱进行分析。测定结果,5种阴离子相关系数达到0.999以上,相对标准偏差为1.57%~4.30%,NO2-,N3-,NO3-,SO24-加标平均回收率为89.3%~98.6%。该方法简便、快速,且结果满意。 相似文献
606.
607.
适当的涂覆材料可以使空中目标的后向雷达散射截面缩小,但同时,涂覆材料也会影响角闪烁偏差.为了充分利用涂覆材料的特性,利用图形电磁学和相位梯度法,在高频区对涂覆目标进行了角闪烁特性的建模与计算.鉴于图形电磁学的特色,涂覆目标的角闪烁计算不仅具有可视化特点,而且计算速度快、效率高.利用该方法对两球目标和复杂目标进行了仿真计算,计算结果表明涂覆材料在减小后向雷达散射截面的同时,对角闪烁具有一定的增强作用. 相似文献
608.
采用脱体涡模拟方法对均匀各向同性湍流进行了数值模拟,并与Comte-Bellot实验测量结果进行了对比,验证了该文的脱体涡模拟方法对均匀各向同性湍流模拟的可靠性.初始速度场的生成采用Rogallo所提出的构造方法,初始湍能谱满足Von Karman波谱分布;在对流输运项的选择方面,分别采用二阶中心型格式、四阶偏斜对称型中心格式和迎风型低耗散通量分裂格式,考察它们在均匀各向同性湍流模拟中的计算精度和适用性.同时,通过改变计算域大小以及脱体涡模拟方法中的模型常数,达到能谱截断波数的改变,考察它对各向同性湍流计算的能谱以及能谱截断处小尺度涡能量积累问题的影响. 相似文献
609.
用Fluent软件,VOF(Volume of Fluid)模型,对基准罐体在不同充液比下受到横向加速度时的受力进行数值模拟;以充液比、前两时刻基准罐体受力、加速度及将要经历的加速度作为输入,以下一时刻受力作为目标输出,选用合理的计算结果作为训练样本,建立基于BP神经网络液体横向晃动时基准罐体受力的预测模型,用158个样本对完成训练的网络进行可靠性验证,横向力、垂向力和侧倾力矩最大预测误差分别为8.88%,0.36%,1.38%,符合精度要求.基准罐体的时间步长和受力进行修正后,与一般圆柱及椭圆形罐体受力的大小和规律基本一致;对于作横向运动的柱形罐体,受力大小与罐体长度成正比.通过修正基准罐体的时间步长和受力,对一般圆柱及椭圆形罐体的受力也可实现BP神经网络的预测,为罐车动力学分析快速有效地提供所需数据. 相似文献
610.
针对航空制造企业成本核算和优化问题,提出运用作业成本法代替传统成本核算方法进行产品成本核算,进而通过作业分析,运用作业管理进行产品成本控制和优化.而后以中国航空制造企业XYZ转包生产项目的5种产品为研究对象,采用作业成本法进行产品的成本核算,同时基于产品生产流程中的作业分析,通过作业管理,运用作业减少和消除、作业选择和共享等方法进行流程优化.结果表明,作业成本法较传统成本核算方法更为准确,作业管理可以为企业降低产品成本和进行成本控制提供有效的优化措施. 相似文献