全文获取类型
收费全文 | 4210篇 |
免费 | 5篇 |
国内免费 | 11篇 |
专业分类
航空 | 2292篇 |
航天技术 | 1076篇 |
综合类 | 9篇 |
航天 | 849篇 |
出版年
2018年 | 171篇 |
2017年 | 143篇 |
2016年 | 58篇 |
2015年 | 37篇 |
2014年 | 55篇 |
2013年 | 78篇 |
2012年 | 100篇 |
2011年 | 237篇 |
2010年 | 208篇 |
2009年 | 246篇 |
2008年 | 266篇 |
2007年 | 230篇 |
2006年 | 61篇 |
2005年 | 132篇 |
2004年 | 92篇 |
2003年 | 100篇 |
2002年 | 52篇 |
2001年 | 102篇 |
2000年 | 48篇 |
1999年 | 79篇 |
1998年 | 93篇 |
1997年 | 73篇 |
1996年 | 91篇 |
1995年 | 124篇 |
1994年 | 98篇 |
1993年 | 69篇 |
1992年 | 102篇 |
1991年 | 42篇 |
1990年 | 36篇 |
1989年 | 87篇 |
1988年 | 32篇 |
1987年 | 28篇 |
1986年 | 32篇 |
1985年 | 87篇 |
1984年 | 91篇 |
1983年 | 59篇 |
1982年 | 82篇 |
1981年 | 92篇 |
1980年 | 34篇 |
1979年 | 42篇 |
1978年 | 32篇 |
1977年 | 22篇 |
1976年 | 21篇 |
1975年 | 37篇 |
1974年 | 24篇 |
1973年 | 18篇 |
1972年 | 29篇 |
1969年 | 17篇 |
1967年 | 20篇 |
1966年 | 16篇 |
排序方式: 共有4226条查询结果,搜索用时 15 毫秒
11.
We present an algorithm for calculating the shells of revolution with the branching meridian using the triangular finite elements, the rigidity matrices of which are formed based on the vector method of displacement interpolation [1]. The correct kinematic and static conditions of shell conjugation on the line of their coupling have been developed. The shell structure consisting of a cylinder and adjacent shells is calculated under various conditions of support. 相似文献
12.
I. S. Akhmed’yanov 《Russian Aeronautics (Iz VUZ)》2009,52(4):383-389
The application of the quadrature method [1] to analyzing the shells of revolution under symmetrical loading relative to the
zero meridian is considered. The method can be treated as a generalization of the method presented in [2] to solve the Volterra
integral equation of the second kind. 相似文献
13.
A Bayesian network (BN) is a compact representation for probabilistic models and inference. They have been used successfully for many military and civilian applications. It is well known that, in general, the inference algorithms to compute the exact a posterior probability of a target node given observed evidence are either computationally infeasible for dense networks or impossible for general hybrid networks. In those cases, one either computes the approximate results using stochastic simulation methods or approximates the model using discretization or a Gaussian mixture model before applying an exact inference algorithm. This paper combines the concept of simulation and model approximation to propose an efficient algorithm for those cases. The main contribution here is a unified treatment of arbitrary (nonlinear non-Gaussian) hybrid (discrete and continuous) BN inference having both computation and accuracy scalability. The key idea is to precompile the high-dimensional hybrid distribution using a hypercube representation and apply it for both static and dynamic BN inference. Since the inference process essentially becomes a combination of table look-up and some simple operations, the method is shown to be extremely efficient. It can also he scaled to achieve any desirable accuracy given sufficient preprocessing time and memory for the cases where exact inference is not possible 相似文献
14.
A problem of determining a shape of the airfoil being streamlined by a potential incompressible inviscid flow is solved by
the successive approximation method using a specified chord velocity diagram. It is shown that a closed airfoil that possesses
a specified chord velocity diagram can be constructed with a sufficient accuracy; if the chord diagram is unsuccessfully specified,
the closed airfoil may prove to be not univalent, that is, physically unrealizable. 相似文献
15.
Garenaux K. Merlet T. Alouini M. Lopez J. Vodjdani N. Boula-Picard R. Fourdin C. Chazelas J. 《Aerospace and Electronic Systems Magazine, IEEE》2007,22(2):3-8
Radar systems require transmission of very high purity signals. Photonics is now mature enough to achieve analog transmission with very low noise, strong immunity, and wide-bandwidth even in harsh environments. We present our recent developments of optimized optical links dedicated to radar and multifunction systems 相似文献
16.
Search and rescue satellite aided tracking (SARSAT) depends on the processing of emergency locator transmitter (ELT) signals which are received by a satellite in low polar orbit. Since the signal from a distressed vehicle is normally immersed in a background of other ELT signals (false alarms), interference, and noise, different methods of spectral estimation can provide advantages in estimating carrier frequency. A comparison between average spectrum and minimum spectrum for several real signals is provided here. 相似文献
17.
The US Department of Defense (DoD), through the Office of the Secretary of Defense (OSD), has determined that evolutionary acquisition is their strategy of choice for future software-intensive systems, and that the spiral development model (SDM) is the preferred method/process for software-intensive development life cycles. Electronic Systems Command (ESC) at Hanscom AFB, Massachusetts, has written a draft handbook on the use of Spiral Development for all future Command and Control (C2) systems, including reference to the DoD 5000 series and Air Force Program Directive 63-1, Acquisition System, which deploys this OSD mandate for future C2 systems. Barry Boehm's continued work on SDM which he conceived in the 1980s, is heavily biased toward development of new systems that are software-intensive, as noted in a workshop he gave at the Software Engineering Institute (SEI) in 2000. 相似文献
18.
Sherry L. Brown C. Motazed B. Vos D. 《Aerospace and Electronic Systems Magazine, IEEE》2004,19(10):13-16
The attitude heading reference system (AHRS) provides data for primary flight instruments, head-up displays, autopilots, and moving map navigation systems. Advances in solid-state MEMS rate sensors, coupled with Kalman filter algorithms designed to mitigate high drift rates, provide the basis for low-cost, high-performance AHRS for general aviation. This paper describes the performance of a low cost, miniaturized AHRS using automotive-grade MEMS sensors. The performance of the system is detailed. The implications for certification of this class of system and fault tolerance are discussed. 相似文献
19.
Performance evaluation for MAP state estimate fusion 总被引:1,自引:0,他引:1
Chang K.C. Zhi Tian Mori S. 《IEEE transactions on aerospace and electronic systems》2004,40(2):706-714
This paper presents a quantitative performance evaluation method for the maximum a posteriori (MAP) state estimate fusion algorithm. Under ideal conditions where data association is assumed to be perfect, it has been shown that the MAP or best linear unbiased estimate (BLUE) fusion formula provides the best linear minimum mean squared estimate (LMMSE) given local estimates under the linear Gaussian assumption for a static system. However, for a dynamic system where fusion is recursively performed by the fusion center on local estimates generated from local measurements, it is not obvious how the MAP algorithm will perform. In the past, several performance evaluation methods have been proposed for various fusion algorithms, including simple convex combination, cross-covariance combination, information matrix, and MAP fusion. However, not much has been done to quantify the steady state behavior of these fusion methods for a dynamic system. The goal of this work is to present analytical fusion performance results for MAP state estimate fusion without extensive Monte Carlo simulations, using an approach developed for steady state performance evaluation for track fusion. Two different communication strategies are considered: fusion with and without feedback to the sensors. Analytic curves for the steady state performance of the fusion algorithm for various communication patterns are presented under different operating conditions. 相似文献
20.
Design for validation 总被引:2,自引:0,他引:2
An approach is outlined for the development of ultrareliable avionics for civil air transports using a design-for-validation philosophy that includes rigorous application of formal methods. The basic concept of the methodology is introduced, and the role of formal methods is explored. The impact of the design-for-validation philosophy on the system design process is then demonstrated by two simple examples. More details about the design-for-validation methodology are then given 相似文献