全文获取类型
收费全文 | 4066篇 |
免费 | 551篇 |
国内免费 | 424篇 |
专业分类
航空 | 2381篇 |
航天技术 | 1244篇 |
综合类 | 270篇 |
航天 | 1146篇 |
出版年
2024年 | 45篇 |
2023年 | 169篇 |
2022年 | 285篇 |
2021年 | 347篇 |
2020年 | 308篇 |
2019年 | 352篇 |
2018年 | 261篇 |
2017年 | 290篇 |
2016年 | 311篇 |
2015年 | 234篇 |
2014年 | 161篇 |
2013年 | 158篇 |
2012年 | 217篇 |
2011年 | 203篇 |
2010年 | 157篇 |
2009年 | 202篇 |
2008年 | 173篇 |
2007年 | 201篇 |
2006年 | 200篇 |
2005年 | 133篇 |
2004年 | 100篇 |
2003年 | 87篇 |
2002年 | 60篇 |
2001年 | 73篇 |
2000年 | 63篇 |
1999年 | 37篇 |
1998年 | 38篇 |
1997年 | 20篇 |
1996年 | 20篇 |
1995年 | 17篇 |
1994年 | 19篇 |
1993年 | 27篇 |
1992年 | 18篇 |
1991年 | 14篇 |
1990年 | 12篇 |
1989年 | 13篇 |
1988年 | 9篇 |
1987年 | 6篇 |
1986年 | 1篇 |
排序方式: 共有5041条查询结果,搜索用时 15 毫秒
51.
52.
施庆生 《南京航空航天大学学报》1996,28(6):800-805
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL。讨论了它的形式系统和语义解释,但未论及其完备性。本文对MTL系统作进一步的讨论。在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备。 相似文献
53.
中介时序逻辑系统MTL的模型论性质 总被引:1,自引:0,他引:1
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 相似文献
54.
多模态逻辑作为模态逻辑的扩充,是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统,自创立后得到了很大发展,并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充,本文构造了一种基于中介逻辑的多模态逻辑系统MMK,讨论了它的推理规则和语义解释,并证明了MMK的可靠性和完备性,在此基础上给出了一种基于中介逻辑的时态逻辑系统MT,对它的可靠性和完备性进行了讨论。最后,分析了相应的经典多模态逻辑系统与MMK系统及经典时态逻辑系统和MT系统之间的关系。 相似文献
55.
程宝蕖 《南京航空航天大学学报》1987,(1)
文[1]、[2]中通过线性化假定推导出计算孔-轴-孔配合处的孔位移制误差的简化公式,但缺乏充足的理论支持。本文用矢量随机误差分析法导出计算该误差的另一公式,通过典型孔-轴-孔配合的孔位移制误差计算,证明该简化公式不仅使用方便,而且准确、可靠。 相似文献
56.
提出一种基于无限脉冲响应和有限脉冲响应数字滤波技术的快速 B-样条插值法 ,并将其应用于实时图像旋转处理中。为了优化旋转后的图像质量 ,本文采用 3次 B-样条对图像旋转后的像素点灰度值进行插值运算。另外 ,通过对传统图像旋转矩阵的分解 ,将图像在二维空间中的旋转运算分解成为三步在一维空间内平移运算 ,使插值运算在一维空间中完成 ,从而简化了图像旋转数据处理中的插值运算。最后 ,还提出了一种以硬件方法完成高阶图像插值运算实现图像旋转的新方法 ,并针对 2 5 6灰度级 ,2 5 6× 2 5 6像素的图像 ,设计出一个以 FPGA为核心的实时、高质量的硬件图像旋转系统。 相似文献
57.
58.
针对利用GPS进行定时校频技术开展了一系列的应用基础研究,包括GPS定时校频的方法及其不确定度、定时校频数据的处理等。在给出实验结果的同时,对影响GPS定时精度的各种因素(包括SA影响)进行了讨论;同时对提高GPS定时精度的途径作了初步探讨。 相似文献
59.
符合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门,译码效果与理论上译码效果一致. 相似文献
60.