全文获取类型
收费全文 | 598篇 |
免费 | 75篇 |
国内免费 | 132篇 |
专业分类
航空 | 379篇 |
航天技术 | 164篇 |
综合类 | 133篇 |
航天 | 129篇 |
出版年
2024年 | 2篇 |
2023年 | 10篇 |
2022年 | 9篇 |
2021年 | 21篇 |
2020年 | 12篇 |
2019年 | 18篇 |
2018年 | 13篇 |
2017年 | 21篇 |
2016年 | 33篇 |
2015年 | 26篇 |
2014年 | 36篇 |
2013年 | 26篇 |
2012年 | 46篇 |
2011年 | 30篇 |
2010年 | 21篇 |
2009年 | 41篇 |
2008年 | 31篇 |
2007年 | 37篇 |
2006年 | 46篇 |
2005年 | 30篇 |
2004年 | 33篇 |
2003年 | 28篇 |
2002年 | 22篇 |
2001年 | 30篇 |
2000年 | 17篇 |
1999年 | 19篇 |
1998年 | 27篇 |
1997年 | 24篇 |
1996年 | 13篇 |
1995年 | 25篇 |
1994年 | 14篇 |
1993年 | 10篇 |
1992年 | 9篇 |
1991年 | 7篇 |
1990年 | 6篇 |
1989年 | 7篇 |
1988年 | 5篇 |
排序方式: 共有805条查询结果,搜索用时 15 毫秒
31.
着色Petri网是描述和分析并行系统的有力工具,近年来在机械制造系统中得到了广泛的应用。由于机械制造系统的自身特点,在表示着色Petri网结构的关联矩阵中含有许多零元素,从而导致着色Petri网占据数据空间大的缺陷,难以对复杂机械制造系统的规划设计与生产调度进行分析研究。 本文基于着色Petri网的基本原理,提出一种适用于建立机械制造系统模型的扩展着色Petri网理论,用于解决着色Petri网占据数据空间大的问题,为Petri网理论在机械制造系统建模方面的广泛应用提供理论基础。最后给出实例,说明减少数据空间的结果。 相似文献
32.
33.
Ada软件的动态测试技术研究 总被引:2,自引:0,他引:2
为改善软件质量,对Ada软件的动态测试技术进行了研究,并且就以下内容着重进行了讨论;Ada软件的分析与理解;Ada软件的动态测试原则与方法;Ada软件的动态测试工具ASDT。 相似文献
34.
基于对象关系模型的C++程序静态分析器 总被引:4,自引:1,他引:4
面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难,提出了用于描述程序中对象类之间三种依赖的对象关系图模型,并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法,为了从特定的面向对象程度设计语言C++编写的程序中提取ORD较信息,构造了一个逆向工程工具-C++程序静态分析器,并对其实现上的一些关键技术进行了介绍。 相似文献
35.
Electromechanical actuators (EMAs) are becoming increasingly attractive in the field of more electric aircraft because of their outstanding benefits, which include reduced fuel burn and maintenance cost, enhanced system flexibility, and improved management of fault detection and isolation. However, electromechanical actuation raises specific issues when being used for safety-critical aerospace applications like flight controls: huge reflected inertia to load, jamming-type failure, and increase of backlash with service due to wear and local dissipation of heat losses for thermal balance. This study proposes an incremental approach for virtual prototyping of EMAs. It is driven by a model-based system engineering process in order to enable simulation-aided design. Best practices supported by Bond graph formalism are suggested to develop a model’s structure efficiently and to make the model ready for use (or extension) by addressing the above mentioned issues. Physical effects are progressively introduced, and the realism of lumped-parameter models is increased step-by-step. In particular, multi-level component models are architected to ensure continuity between engineering activities. The models are implemented in the AMESim simulation environment, and simulation responses are given to illustrate how they can be used for preliminary sizing, control design, thermal balance verification, and faults to failure analysis. The proposed best practices intend to provide engineers with fast, reusable, and efficient means to assess performance virtually and enhance maturity, performance, and robustness. 相似文献
36.
随着飞机性能的不断提高,飞机制造协调准确度的要求也越来越严格,国外先进的航空制造企业得益于厂所合一的生产方式,在产品设计阶段考虑生产过程,来合理定义飞机零部件尺寸公差要求,保证飞机的装配品质和产品质量.对飞机零部件基准选择方法介绍和研究,并应用到某机型飞机外翼翼盒典型零部件基准选择中去,从功能要求出发制定基准,说明了飞机零部件基准传递偏差方式和基准一致性原则.主要思想和技术要点是要从产品的功能要求出发,考虑生产过程来制定零部件设计基准,保证产品在生产过程中基准的统一,从而保证尺寸的设计满足生产的功能性要求.提出的方法可以应用到飞机零部件的尺寸设计中,通过合理的制定基准来提高飞机的装配品质,在一定程度上降低生产成本和提高生产效率. 相似文献
37.
38.
发现GB/T 16857 eqv ISO 10360《产品几何量技术规范(GPS)坐标测量机的验收检测和复检检测》及JJF 1064—2004《坐标测量机校准规范》存在的不足。提出在GB/T 16857 eqv ISO 10360系列标准中增补测量软件包的质量要求和测试标准的建议。以实现对测量软件质量的评价,达到测量机性能的全面验收检测。 相似文献
39.
载人航天器具有系统规模大、技术难度高、单件小批量、无法通过多次飞行持续完善设计、可靠性要求高等特点。当前载人航天器研制中仍存在着参数化和模型化程度不高、基于模型的系统综合仿真验证不足、研制各环节缺乏数字化集成等问题,传统基于文本的系统工程方法已无法满足研制需求,亟需采用基于模型的系统工程方法。本文针对载人航天器的研制现状和应用需求,提出了面向载人航天器全生命周期的模型体系,定义了需求模型、功能模型、产品模型、工程模型、制造模型、实做模型等六类模型,提出了基于模型的研制流程,包含系统设计闭环验证、产品设计闭环验证、实做产品闭环验证3个验证环节,并深入探索了各研制环节中不同模型间的传递与关联关系。以某型号载人航天器为应用基础,系统地验证了提出的方法。 相似文献
40.
T.J. Stuchi T. Yokoyama A.A. Corrêa R.H. Solórzano D.M. Sanchez S.M.G. Winter O.C. Winter 《Advances in Space Research (includes Cospar's Information Bulletin, Space Research Today)》2008
The problem of a spacecraft orbiting the Neptune–Triton system is presented. The new ingredients in this restricted three body problem are the Neptune oblateness and the high inclined and retrograde motion of Triton. First we present some interesting simulations showing the role played by the oblateness on a Neptune’s satellite, disturbed by Triton. We also give an extensive numerical exploration in the case when the spacecraft orbits Triton, considering Sun, Neptune and its planetary oblateness as disturbers. In the plane a × I (a = semi-major axis, I = inclination), we give a plot of the stable regions where the massless body can survive for thousand of years. Retrograde and direct orbits were considered and as usual, the region of stability is much more significant for the case of direct orbit of the spacecraft (Triton’s orbit is retrograde). Next we explore the dynamics in a vicinity of the Lagrangian points. The Birkhoff normalization is constructed around L2, followed by its reduction to the center manifold. In this reduced dynamics, a convenient Poincaré section shows the interplay of the Lyapunov and halo periodic orbits, Lissajous and quasi-halo tori as well as the stable and unstable manifolds of the planar Lyapunov orbit. To show the effect of the oblateness, the planar Lyapunov family emanating from the Lagrangian points and three-dimensional halo orbits are obtained by the numerical continuation method. 相似文献