全文获取类型
收费全文 | 511篇 |
免费 | 148篇 |
国内免费 | 40篇 |
出版年
2024年 | 3篇 |
2023年 | 9篇 |
2022年 | 5篇 |
2021年 | 13篇 |
2020年 | 26篇 |
2019年 | 13篇 |
2018年 | 7篇 |
2017年 | 16篇 |
2016年 | 28篇 |
2015年 | 20篇 |
2014年 | 41篇 |
2013年 | 27篇 |
2012年 | 35篇 |
2011年 | 29篇 |
2010年 | 29篇 |
2009年 | 43篇 |
2008年 | 41篇 |
2007年 | 25篇 |
2006年 | 35篇 |
2005年 | 32篇 |
2004年 | 38篇 |
2003年 | 20篇 |
2002年 | 15篇 |
2001年 | 24篇 |
2000年 | 19篇 |
1999年 | 16篇 |
1998年 | 15篇 |
1997年 | 13篇 |
1996年 | 13篇 |
1995年 | 4篇 |
1994年 | 8篇 |
1993年 | 14篇 |
1992年 | 7篇 |
1991年 | 7篇 |
1990年 | 6篇 |
1989年 | 2篇 |
1975年 | 1篇 |
排序方式: 共有699条查询结果,搜索用时 15 毫秒
11.
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Temporal Logic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。 相似文献
12.
13.
将时域伪谱法(PSTD)的边界条件PML用驻波-行波边界条件来代替.该条件在边界处附加理想电(磁)壁对计算区域进行截断,将由此产生的反射场去除,从而减少反射场所产生的干扰,在有限的空间内有效地模拟出无限大的电磁散射空间.给出了该边界条件下的二维PSTD迭代格式,并将其数值结果与运用PML边界条件的PSTD的结果进行比较,计算结果表明这种结合形成的新方法节约了内存,提高了计算速度,具有良好的可行性. 相似文献
14.
主题是如何通过外场试验定量评价烟雾对光电成像装备的干扰效果。提出一种综合靶标,可用于这种外场试验,也可考察光电成像装备抗烟雾干扰的能力。它适用于普通观瞄器材、照相侦察和摄像装备、微光夜视设备、热成像系统等。 相似文献
15.
对复连通区域填充算法进行了细致的研究,提出一种新的扫描线填充算法。该算法先对目标边界进行标注,提供判断条件,然后用扫描线进行填充;该算法不仅适用于单连通区域,而且也适用于复杂区域的填充。该算法效率高,通用性强,实现简单,填充准确。 相似文献
16.
基于对数正态分布形式以及分布对数标准差不变的条件,运用Bayes方法对对数正态分布加速寿命试验条件下的加速因子进行分析。首先基于全寿命试验数据和随机变量函数分布的理论推导出加速因子的先验分布;然后由Bayes公式结合少量的现场截尾试验数据,得出加速因子的Bayes估计模型;最后给出实例进行说明。 相似文献
17.
张金槐 《国防科技大学学报》1998,20(3):1-4
文中给出了谱估计的分析,并将它直接应用于仿真系统输出量的特性分析。对于仿真的可信性问题,讨论了相容性检验方法,特别是小子样现场试验下,仿真与现场试验之间的一致性问题。 相似文献
18.
阐述了平流层飞艇气动特性天地相似缩比分析设计方法,给出了刚体模型与柔性体模型完成风洞试验需满足的相似准则数,并指导完成两类缩比模型研制及风洞试验。通过对两类缩比模型风洞试验数据的分析,发现平流层飞艇不同充气内压下气动特性规律基本一致,但较刚体模型有明显的差异;柔性特征下的气动阻力系数明显高于刚体,在零攻角状态下甚至高出一倍,引发滚转气动力矩特性出现稳定与发散的本质变化。这对平流层飞艇特别是低压保形下的柔性气动特性评估,克服现有采用刚体气动特性数据或工程估算方法进行“动阻平衡”飞艇总体设计存在较大偏差的弊端,具有重要工程应用价值。 相似文献
19.
预报潜艇上浮运动是探索研究潜艇上浮运动控制规律以及潜艇安全上浮的前提。就潜艇上浮运动的数值计算方法和计算流程进行了详细介绍,对数值计算方法中的湍流模型及离散格式等进行了优选。基于模型上浮试验结果,对数值计算的不确定度进行了分析且对数值计算结果进行了验证。证明了该数值计算的可靠性,并发现数值计算结果与试验结果很接近,验证了该数值计算方法的可行性,说明该数值计算方法和试验可为潜艇上浮运动的研究提供参考和借鉴。 相似文献
20.