全文获取类型
收费全文 | 461篇 |
免费 | 36篇 |
国内免费 | 25篇 |
专业分类
航空 | 256篇 |
航天技术 | 73篇 |
综合类 | 66篇 |
航天 | 127篇 |
出版年
2024年 | 2篇 |
2023年 | 4篇 |
2022年 | 8篇 |
2021年 | 16篇 |
2020年 | 20篇 |
2019年 | 18篇 |
2018年 | 5篇 |
2017年 | 9篇 |
2016年 | 19篇 |
2015年 | 8篇 |
2014年 | 19篇 |
2013年 | 9篇 |
2012年 | 29篇 |
2011年 | 24篇 |
2010年 | 17篇 |
2009年 | 29篇 |
2008年 | 27篇 |
2007年 | 28篇 |
2006年 | 24篇 |
2005年 | 30篇 |
2004年 | 26篇 |
2003年 | 19篇 |
2002年 | 20篇 |
2001年 | 21篇 |
2000年 | 18篇 |
1999年 | 10篇 |
1998年 | 9篇 |
1997年 | 6篇 |
1996年 | 6篇 |
1995年 | 3篇 |
1994年 | 6篇 |
1993年 | 6篇 |
1992年 | 4篇 |
1991年 | 12篇 |
1990年 | 4篇 |
1989年 | 6篇 |
1987年 | 1篇 |
排序方式: 共有522条查询结果,搜索用时 0 毫秒
11.
多变量非线性非定常气动力的模糊逻辑模型 总被引:2,自引:0,他引:2
应用模糊逻辑算法,建立了带升降舵偏角影响的非线性非定常气动力模型逻辑模型,并进行了验证,结果表明:所建立的非定常气动力模型逻辑模型有较强的预测能力,此方法为今后建立多变量、复杂运动的非线性非定常气动力学数学模型,提供很好的借鉴。 相似文献
12.
施庆生 《南京航空航天大学学报》1996,28(6):800-805
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL。讨论了它的形式系统和语义解释,但未论及其完备性。本文对MTL系统作进一步的讨论。在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备。 相似文献
13.
中介时序逻辑系统MTL的模型论性质 总被引:1,自引:0,他引:1
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 相似文献
14.
多模态逻辑作为模态逻辑的扩充,是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统,自创立后得到了很大发展,并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充,本文构造了一种基于中介逻辑的多模态逻辑系统MMK,讨论了它的推理规则和语义解释,并证明了MMK的可靠性和完备性,在此基础上给出了一种基于中介逻辑的时态逻辑系统MT,对它的可靠性和完备性进行了讨论。最后,分析了相应的经典多模态逻辑系统与MMK系统及经典时态逻辑系统和MT系统之间的关系。 相似文献
15.
无刷直流电动机的新型自适应模糊神经控制 总被引:2,自引:0,他引:2
为无刷直流电动机提出了一种自适应模糊神经控制方法.这是一种建立在开关控制、模糊控制和自适应控制相结合基础上的控制方法,并用神经网络实现了模糊控制器和自适应机构.在无刷直流电动机的双闭环调速系统中,电流控制器是PI控制器;转速控制器是由1个开关控制器和1个包括自适应机构在内的模糊控制器相结合组成的,且用1个3层前向神经网络离线学习实现了模糊控制器,学习算法采用的是改进的BP算法.用1个单神经元通过在系统运行过程中的动态学习实现了自适应机构,学习算法选用了有监督的Hebb学习算法.由电机所处的运行阶段决定哪一个控制器工作.此控制算法的仿真结果说明,它使系统具有良好的动、静态特性和自适应性. 相似文献
16.
一、概述近年来,随着国内经济改革开放的不断深入,国内民航事业也获得了空前的发展,各地民航机场的基础设施的新建或改建也进入了新的阶段,许多大型的、现代化的机场不断地涌现出来。机场行李自动分拣系统近年来凭借其自动化程度高、处理量大、分拣准确、减少分拣人员工作强度等优点,逐渐在国内各民航机场中得到了广泛应用。行李自动分拣系统是一套面向大中型机场,对旅客行李进行集中统一的传送、分拣与处理的一套自动化系统,集计算机、工业控制网络、PLC及电 相似文献
17.
为了将机载设备的故障检测定位至器件级,研制了ARINC429手动发码器,通过以可编程逻辑器件为核心单元的硬件电路实现了ARINC429信息的输出,完成了样机设计,并已投入使用. 相似文献
18.
为了更好地理解通用阵列逻辑GAL编程以后的功能,在没有熔丝图的状态下,以GAL22V10为例,介绍了一种基于ABEL-HDL层次化的硬件描述语言软件对GAL进行反汇编的测试技术。 相似文献
19.
基于Bayes-模糊逻辑算子的小子样可靠性信息融合方法 总被引:3,自引:4,他引:3
为了解决航空航天复杂系统可靠性评定中样本量小而导致评估结果可信度不高的问题,引入模糊逻辑算子这一非线性模型对多源可靠性验前信息进行融合,并给出了其参数估计的第二类极大似然(ML-Ⅱ)估计方法,通过仿真示例说明了融合方法的有效性. 相似文献
20.