全文获取类型
收费全文 | 9564篇 |
免费 | 1554篇 |
国内免费 | 1374篇 |
专业分类
航空 | 7377篇 |
航天技术 | 1795篇 |
综合类 | 1101篇 |
航天 | 2219篇 |
出版年
2024年 | 54篇 |
2023年 | 145篇 |
2022年 | 223篇 |
2021年 | 307篇 |
2020年 | 307篇 |
2019年 | 301篇 |
2018年 | 342篇 |
2017年 | 351篇 |
2016年 | 421篇 |
2015年 | 393篇 |
2014年 | 524篇 |
2013年 | 495篇 |
2012年 | 618篇 |
2011年 | 646篇 |
2010年 | 477篇 |
2009年 | 493篇 |
2008年 | 694篇 |
2007年 | 852篇 |
2006年 | 691篇 |
2005年 | 637篇 |
2004年 | 522篇 |
2003年 | 480篇 |
2002年 | 313篇 |
2001年 | 266篇 |
2000年 | 246篇 |
1999年 | 249篇 |
1998年 | 222篇 |
1997年 | 189篇 |
1996年 | 137篇 |
1995年 | 144篇 |
1994年 | 121篇 |
1993年 | 147篇 |
1992年 | 122篇 |
1991年 | 111篇 |
1990年 | 101篇 |
1989年 | 64篇 |
1988年 | 62篇 |
1987年 | 19篇 |
1986年 | 5篇 |
1984年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 500 毫秒
251.
基于Riccati方程的离散容错控制系统设计 总被引:2,自引:0,他引:2
基于离散系统的Riccati方程,提出一种对传感器失效具有完整性的离散控制系统的设计方法,给出了完整性设计方法的设计步骤,并用设计实例验证了该方法的有效性.该方法还可推广用于执行器失效的情况. 相似文献
252.
舒忠正 《南京航空航天大学学报》1994,26(2):216-221
介绍KBGML语言的设计思想,它包括KBGML各语句功能和格式的设计,特别是知识处理语句的设计,KBGML的解释系统的结构和工作原理的设计以及应用实例等。KBGML语言以知识处理为核心,具有第四代语言的特征,它有很强的知识处理能力,能自动构造和管理知识库。它具有较高的软件设计水平,能满足不同水平用户的需要,它还具有自然性、灵活性和领域通用性。KBGML语言是知识工程、语言编译和数据库管理等技术的集成体,它是一个在理论上和实用上很有研究价值的课题。 相似文献
253.
开关寿命连续型不可修冷、温贮备系统的可靠性分析及其随机模拟 总被引:1,自引:0,他引:1
本文对由n个部件组成的、开关寿命为连续型随机变量的不可修冷、温贮备系统作了可靠性分析,建立了这两类系统的一般模型,给出了冷贮备系统可靠度R_n(t)及平均寿命MTTF的一般形式解。并在指数分布场合下,给出了R_n(t)及MTTF的解析表达式。当部件贮备寿命相互独立同分布时,温贮备系统可以通过一个虚设的开关变量而归结为冷贮备系统。对一般的贮备系统,可以运用数理统计方法,根据样本给出R_n(t)及MTTF的估计。文末利用随机模拟方法,构造所需样本,便可获得R_n(t)及MTTF的数值估计。实例表明,随机模拟的结果是令人满意的。 相似文献
254.
制造系统里所用的微处理器中,单片机只能做逻辑处理和简单数学计算,而数字信号处理器(DSP)可进行相当复杂的数学处理。本文概述DSP的数学原理及其技术特点,介绍了基于DSP智能控制器在制造业中实时测控系统的应用实例。 相似文献
255.
本组系列论文(I)-(Ⅴ)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状,确立了无穷观背景世界的三分法原则,指出了两种穷观相互排斥的局限性,形成了统一两种无穷于同一框架中的基本观点,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。 相似文献
256.
257.
基于ANFIS的蒸汽发生器水位实时控制系统的设计 总被引:1,自引:0,他引:1
从蒸汽发生器的水位特性出发,对其水位高度控制原理进行了深入细致的研究。鉴于控制对象的模糊性、不确定性和非线性,采用自适应神经元模糊推理(Adaptive neuron fuzzy inference system,ANFIS)技术,建立了模糊控制规则库,实现了对蒸汽发生器水位的智能控制。本文详细阐述了ANFIS技术的结构、控制方式和系统的主要功能,完成了软、硬件的综合设计,并进行了仿真研究。控制系统的硬件采用了DSP芯片,以保证系统的实时性;软件采用了模糊一神经网络算法,以克服系统模型的不确定性。仿真结果表明,该控制系统工作稳定可靠,具有较高的控制精度和较强的鲁棒性。 相似文献
258.
多模态逻辑作为模态逻辑的扩充,是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统,自创立后得到了很大发展,并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充,本文构造了一种基于中介逻辑的多模态逻辑系统MMK,讨论了它的推理规则和语义解释,并证明了MMK的可靠性和完备性,在此基础上给出了一种基于中介逻辑的时态逻辑系统MT,对它的可靠性和完备性进行了讨论。最后,分析了相应的经典多模态逻辑系统与MMK系统及经典时态逻辑系统和MT系统之间的关系。 相似文献
259.
超声爬波无损检测方法的研究 总被引:2,自引:0,他引:2
本文介绍了超声无损检测中一种具有较好应用前景的波型──超声爬波。试验研究了爬波检测时缺陷定位、定性评定的方法,并给出了主要结论。 相似文献
260.
着色Petri网是描述和分析并行系统的有力工具,近年来在机械制造系统中得到了广泛的应用。由于机械制造系统的自身特点,在表示着色Petri网结构的关联矩阵中含有许多零元素,从而导致着色Petri网占据数据空间大的缺陷,难以对复杂机械制造系统的规划设计与生产调度进行分析研究。 本文基于着色Petri网的基本原理,提出一种适用于建立机械制造系统模型的扩展着色Petri网理论,用于解决着色Petri网占据数据空间大的问题,为Petri网理论在机械制造系统建模方面的广泛应用提供理论基础。最后给出实例,说明减少数据空间的结果。 相似文献