全文获取类型
收费全文 | 1854篇 |
免费 | 280篇 |
国内免费 | 397篇 |
专业分类
航空 | 1120篇 |
航天技术 | 434篇 |
综合类 | 460篇 |
航天 | 517篇 |
出版年
2024年 | 2篇 |
2023年 | 10篇 |
2022年 | 28篇 |
2021年 | 39篇 |
2020年 | 42篇 |
2019年 | 30篇 |
2018年 | 28篇 |
2017年 | 39篇 |
2016年 | 37篇 |
2015年 | 61篇 |
2014年 | 100篇 |
2013年 | 92篇 |
2012年 | 110篇 |
2011年 | 119篇 |
2010年 | 121篇 |
2009年 | 135篇 |
2008年 | 129篇 |
2007年 | 105篇 |
2006年 | 108篇 |
2005年 | 82篇 |
2004年 | 47篇 |
2003年 | 66篇 |
2002年 | 71篇 |
2001年 | 72篇 |
2000年 | 57篇 |
1999年 | 82篇 |
1998年 | 96篇 |
1997年 | 108篇 |
1996年 | 82篇 |
1995年 | 61篇 |
1994年 | 47篇 |
1993年 | 65篇 |
1992年 | 49篇 |
1991年 | 55篇 |
1990年 | 40篇 |
1989年 | 32篇 |
1988年 | 26篇 |
1987年 | 25篇 |
1986年 | 17篇 |
1985年 | 5篇 |
1984年 | 4篇 |
1981年 | 3篇 |
1980年 | 1篇 |
1965年 | 1篇 |
1900年 | 2篇 |
排序方式: 共有2531条查询结果,搜索用时 78 毫秒
61.
中介时序逻辑系统MTL的模型论性质 总被引:1,自引:0,他引:1
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 相似文献
62.
本文对海洋平台在风、浪及海流等多种载荷组合作用下的可靠性进行了分析计算,采用优选随机载单元法进行结构数的随机域离散。文中的海洋平台算例结构表明了优选随机域单元法的高效性,以及在海洋工程的结构系统可靠性计算中的考虑载荷组合作用的必要性。 相似文献
63.
64.
本文提出以系统最大能量比率作为衡量轴系稳定性裕度的判据,和传统的对数衰减率与系统阻尼判据相比,该判据综合了系统所有模态的信息,考虑了特征值与特征向量的共同影响。最大能量比率较小的轴系具有较大的稳定性裕度;最大能量比率较大的轴系具有较小的稳定性裕度。探讨了特征向量在评估稳定性裕度的重要作用,指出了传统的对数衰减率与系统阻尼判据在评估轴承稳定性裕度时的局限性。作为应用实例,用最大能量比率判据考察了一模型转了轴承系统的稳定性裕度,并与用对数衰减率及系统阻尼判据所得结论进行了对比。结果表明,用本文提出的判据所得的结论与实际情况比较一致。此外,应用模型转子的计算结果,进一步阐明了对数衰减率与系统阻尼判据的共同不足是采集的信息太少。 相似文献
65.
力控制反馈信号的神经网络法校正 总被引:1,自引:0,他引:1
对机器人的力反馈,主动柔顺控制和双向联想记忆的神经网络进行了综合研究,针对机器人腕力传感器输出信号的部分失真,提出了机器人擦洗平面玻璃力反馈信号神经校正的方法,并建立了相应的神经网络结构,在AdeptThree精密装配机器人上进行了试验验证,取得了满意的效果。 相似文献
66.
多约束实数权的直接数据域算法在空时自适应处理中的应用 总被引:1,自引:0,他引:1
传统的空时自适应处理算法通过权矢量幅度和相位的改变来实现,本文研究了空时自适应处理中一种改进的直接数据域(Directdata domain,DDD)算法。该方法仅通过权矢量幅度的改变,对一次样本数据进行处理,有效地抑制杂波和干扰,实现对目标信号的正确估计。采用实数权减小了运算量,降低系统的复杂程度。当目标信号的方向与天线波束指向有偏差时,采用多约束的方法,保证系统在目标信号方向的增益。仿真结果表明该方法的有效性。 相似文献
67.
Ⅰ型极值分布的环境因子 总被引:1,自引:0,他引:1
本文通过对Ⅰ型极值分布的理论分析和环境因子的二因子法,分别得到了Ⅰ型极大值分布和Ⅰ型极小值分布的环境因子,它们与正态分布的环境因子^[1]具有相同的形式,对Ⅰ型极值分布的环境因子进行了点估计,提出了用环境因子进行数据转换和综合的步骤。 相似文献
68.
在中介公理集合论系统(MS)中重新定义了良集的概念,讨论了它的性质。证明良集完全满足经典公理集合论系统(ZFC-:ZFC系统中去掉正则公理)的全部公理,且其配套的逻辑系统恰为中介逻辑的二值子系统FI*ML,说明整个经典数学也能奠基于MS之上,从而最终回答了中介数学与经典数学的包含关系问题。 相似文献
69.
CuAl2/Al复合材料的固相反应合成技术及与Al液的接触反应研究 总被引:2,自引:0,他引:2
朱正吼 《南京航空航天大学学报》1997,29(5):564-569
研究了Al,Cu在真空状态下的纯固相接触反应情况,试验表明,Al粉、Cu粉在600℃,保温6h时,两者以完全发生反生成CuAl2(θ相),生成的θ相沿铝基体组织晶界分布并在结晶过程中具有择优取向特性,形成仅含沿晶界方向的主干与垂直于晶界的二次晶轴的树枝晶形貌。 相似文献
70.
通过对某一高码速率光纤遥测系统中数据格式、码速率、数据容量、数据存储宽度、数据存储速率等特点的研究,提出了一种基于大容量电子数据存储器的微机化遥测处理系统,对存储的大容量数据阵列中的帧码识别、分路控制方法进行了讨论,并对受干扰数据处理时帧同步码检测的检测门限和同步对策参数进行了分析,最后给出了整个微机化的大容量遥测数据处理系统的软硬件设计方法,通过在6.5MbpsPCM系统下的运行实验表明,整个方 相似文献