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