Analytic example of a Schweppe likelihood-ratio detector

A low-dimensional test problem with a known solution is used to verify various computer implementations of F.C. Schweppe's likelihood detector (1965). In this case a closed-form solution is provided for a Schweppe likelihood detector in terms of an intermediate Kalman filter, as utilized in its implementation, for detecting the presence of a two-state signal model in Gaussian white noise. The associated error probabilities are also evaluated following a procedure that utilizes optimized Chernoff-like bounds for a tight approximation. A methodology is demonstrated for appropriately setting the decision threshold for this example as a tradeoff against allowable observation time. By using this or similar examples, certain qualitative and quantitative aspects of the software implementation can be checked for conformance to anticipated behavior as an intermediate benchmark, prior to modular replacement of the various high-order matrices appropriate to the particular application     

Achieving higher levels of electronic integration throughsystem-on-chip

All aerospace vehicles have the common constraint of limited space for the electronic systems. The challenge has always been how to pack effective electronic systems into the space available. Higher levels of electronic integration can give a competitive advantage; for example, by providing extra channels in a communications satellite thereby increasing revenue to the operator. Today's deep sub-micron manufacturing processes for integrated electronics offer an opportunity for a step change for electronic functionality that can be packaged in a given space. This technology makes possible, for the first time, a true system-on-chip approach to electronic systems, which is already being exploited by the commercial sector in products such as the mobile telephone     

多卫星系统资源建模与能力计算方法研究

针对复杂多卫星系统的建模与能力计算问题，借鉴超分子化学中的自组装机制，给出了多卫星系统资源的自主组装规则，建立了互补型及增强型2类聚合体模型，进而分别给出了2类聚合体能力计算方法，可以实现系统资源的自主聚合。最后，在给定多卫星系统资源条件下，完成了2类聚合体的能力计算，为多卫星系统建模与能力计算提供了一种新的研究思路。     

Near term approach to data relay for satellites under test

The increasing need for a continuous communications link with U.S. Department of Defense (DoD) spacecraft during test missions in low Earth orbit (LEG) has resulted in greater interest in geosynchronous data relay services. This may be a more economical alternative to building additional remote tracking stations for the Air Force Satellite Control Network (AFSCN), and avoids tying up operational assets for a test mission. A low-cost near-term approach for such a space-based data relay system would utilize two existing Defense Satellite Communication System III spacecraft, two existing ground terminals, and a small, standardized terminal using autonomous antenna pointing for the space vehicle under test. Such a system design is presented     

复杂串、并联系统的可靠性分配方法

根据串联系统中分系统相对复杂度越低,对其可靠性要求也就越高;并联系统中分系统相对重要程度越高、相对复杂程度越低,对其可靠性要求也就越高的原则,在传统的考虑重要度与复杂度可靠性分配方法基础上,提出了一种更易于设计实验及现场记录获取数据的适用于复杂串、并联系统的可靠性分配方法。基于此方法开发的软件已经应用于工程实际工作,并获得了良好的效果。     

Battery configurations for multi-megawatt pulse power

The capability of lead-acid batteries for supplying very high power for a short time is explored. The application of such a battery for accelerating a hypersonic plane is used to illustrate the requirements. A technique for analyzing batteries and controlling voltage for pulse loads is described. Evaluation of lead-acid batteries in production and voltage regulation by switching batteries in and out are covered. Alternatives to batteries, including superconducting magnetic energy storage, are discussed     

Intelligent control of a planning system for astronaut training

This work intends to design, analyze and solve, from the systems control perspective, a complex, dynamic, and multiconstrained planning system for generating training plans for crew members of the NASA-led International Space Station. Various intelligent planning systems have been developed within the framework of artificial intelligence. These planning systems generally lack a rigorous mathematical formalism to allow a reliable and flexible methodology for their design, modeling, and performance analysis in a dynamical, time-critical, and multiconstrained environment. Formulating the planning problem in the domain of discrete-event systems under a unified framework such that it can be modeled, designed, and analyzed as a control system will provide a self-contained theory for such planning systems. This will also provide a means to certify various planning systems for operations in the dynamical and complex environments in space. The work presented here completes the design, development, and analysis of an intricate, large-scale, and representative mathematical formulation for intelligent control of a real planning system for Space Station crew training. This planning system has been tested and used at NASA-Johnson Space Center     

Subsonic impulsively starting flow at a high angle of attack with shock wave and vortex interaction

Impulsively starting flow, by a sudden attainment of a large angle of attack, has been well studied for incompressible and supersonic flows, but less studied for subsonic flow. Recently, a preliminary numerical study for subsonic starting flow at a high angle of attack displays an advance of stall around a Mach number of 0.5, when compared to other Mach numbers. To see what happens in this special case, we conduct here in this paper a further study for this case, to display and analyze the full flow structures. We find that for a Mach number around 0.5, a local supersonic flow region repeatedly splits and merges, and a pair of left-going and right-going unsteady shock waves are embedded inside the leading edge vortex once it is sufficiently grown up and detached from the leading edge. The flow evolution during the formation of shock waves is displayed in detail. The reason for the formation of these shock waves is explained here using the Laval nozzle flow theory. The existence of this shock pair inside the vortex, for a Mach number only close to 0.5, may help the growing of the trailing edge vortex responsible for the advance of stall observed previously.     

A safety kernel for traffic light control

The success of kernels for enforcing security in software systems has led to proposals to use kernels for enforcing safety. This paper presents a feasibility demonstration of one particular proposal for a safety kernel via the application of traffic light control. The paper begins with the safety properties for traffic light control and specifies a kernel that maintains the safety properties. An implementation sketch of the kernel in Ada is given and use of the kernel is discussed. The contribution of the paper is a demonstration that a kernel is a feasible and desirable technique for software in a realistic, safety-critical application. The paper also illustrates how formal methods aid the software engineer in constructing and reasoning about such software     

Detection Performance of a Mean-Level Threshold

The problem of detecting signals in nonstationary clutter is met by presenting a mean-level or adaptive threshold which adjusts to the changing background level. Such a threshold performs better than a fixed threshold that must be set for the highest amplitude clutter. However, the mean-level threshold does not perform as well for stationary noise as a fixed threshold set at the proper value. One measure of effectiveness of an adaptive threshold is its performance in stationary noise (compared to the optimum fixed threshold) for a specified speed of response. For the mean-level threshold, a simple mathematical solution is found for the detection probability when the noise is stationary and the signal scintillates rapidly. The performance is evaluated for a wide range of mean-level-threshold time constants and for several false-alarm probabilities. The results are presented graphically. As an example, the mean-level threshold suffers 3 dB in detectability (equivalent signal-to-noise ratio) in the presence of stationary noise as compared to the optimum fixed threshold for 50-percent probability of detection, false-alarm probability of 10-8, and an adjustment time of 15 times the signal duration.     

Design and application of quadratic correlation filters for target detection

We introduce a method for designing and implementing quadratic correlation filters (QCFs) for shift-invariant target detection in imagery. The QCFs are a quadratic classifier that operates directly on the image data without feature extraction or segmentation. In this sense, the QCFs retain the main advantages of conventional linear correlation filters while offering significant improvements in other respects. Not only is more processing required to detect peaks in the outputs of multiple linear filters, but choosing a winner among them is an error prone task. On the other hand, all channels in a QCF work together to optimize the same performance metric and produce a combined output that leads to considerable simplification of the postprocessing scheme. In addition, QCFs also yield better performance than their linear counterparts for comparable throughput requirements. Two different methods for designing basis functions that optimize the QCF performance criterion are presented. An efficient architecture for implementing QCFs is discussed along with a case study of the proposed approach for detecting targets in LADAR imagery.     

Nonparametric Radar Extraction Using a Generalized Sign Test

A nonparametric procedure used in a constant false alarm rate (CFAR) radar extractor for detecting targets in a background of noise with unknown statistical properties is described. The detector is based on a generalization of the well-known two-sample sign test and thus requires a set of reference noise observations in addition to the set of observations being tested for signal presence. The detection performance against Gaussian noise is determined for a finite number of observations and asymptotically, for both nonfluctuating and pulse-to-pulse Rayleigh fluctuating target statistics. It is noted that the performance loss, as compared to the optimum parametric detector, depends critically on the number of reference noise observations available when the number of hits per target is not large. In the same case a much larger loss is also found for a pulse-to-pulse fluctuating target even though the asymptotic loss is the same as for a nonfluctuating target. A comparison is finally made with a detector based on the Mann-Whitney test, which usually is considered to be one of the better nonparametric procedures for the two-sample case.     

Efficient Approximation of Kalman Filter for Target Tracking

A Kalman filter in the Cartesian coordinates is described for a maneuvering target when the radar sensor measures range, bearing, and elevation angles in the polar coordinates at high data rates. An approximate gain computation algorithm is developed to determine the filter gains for on-line microprocessor implementation. In this approach, gains are computed for three uncoupled filters and multiplied by a Jacobian transformation determined from the measured target position and orientation. The algorithm is compared with the extended Kalman filter for a typical target trajectory in a naval gun fire control system. The filter gains and the tracking errors for the proposed algorithm are nearly identical to the extended Kalman filter, while the computation requirements are reduced by a factor of four.     

基于正交试验设计的空心叶片结构优化设计

提出了描述空心风扇叶片几何特征的结构设计参数,并由此建立了空心叶片有限元分析模型,同时为适应优化设计的迭代过程,发展了一种能够自动更新空心叶片结构高质量有限元网格的方法.在对简化的设计变量进行合理假设和离散的基础上,将基于强度约束和质量最小化为目标的优化设计问题转化为寻求无约束多目标优化问题,并通过多轮数值正交试验设计...     

有限板孔边裂纹的权函数解法

 本文作者在文献〔1,2〕中用权函数法高效而经济地求解了无限体中孔边裂纹在任意受载条件下的应力强度因子。本文则把这一方法成功地推广到了有限体中的孔边裂纹问题。     

Optimum blade loading for a powered rotor in descent

The optimum loading for rotors has previously been found for hover, climb and wind turbine conditions;but, up to now, no one has determined the optimum rotor loading in descent. This could be an important design consideration for rotary-wing parachutes and low-speed des-cents. In this paper, the optimal loading for a powered rotor in descent is found from momentum theory based on a variational principle. This loading is compared with the optimal loading for a rotor in hover or climb and with the Betz rotor loading (which is optimum for a lightly-loaded rotor). Wake contraction for each of the various loadings is also presented.     

Certain Design Aspects of Single-Winding Three-Phase Inductor Alternators

Based on mathematical analysis, this paper points out that restrictions in stator/rotor slot combinations for optimum output of a conventional inductor alternator are not applicable for one with a single winding for both dc excitation and output. Design considerations for the latter are discussed, and it is demonstrated that its performance is superior to a conventional double-winding inductor alternator in all aspects. Test results on a number of experimental machines fully support the theory.     

Cooperative formation control of multiple aerial vehicles based on guidance route in a complex task environment

In recent years, formation control of multi-agent has been a significant research subject in the field of cooperative control. However, previous works have mainly concentrated on formation control for simple point-mass model and linear model. In contrast, this paper presents a novel cooperative algorithm for multiple air vehicles formation control, which aims to devise a control strategy based on guidance route to achieve precisely coordinated formation control for a group of fixed-wing aircraft in a complex task environment. The proposed method introduces the leader-follower structure for effective organization of the multi-agent coordination. Moreover, the Partial Integrated Formation and Control (PIFC) is adopted to design the control law for Guidance-Route based Formation Control (GRFC). Additionally, the proposed approach designs two guidance-route generation strategies for two special situations to demonstrate the effectiveness of GRFC in complex task environments. Theoretical analysis reveals that the proposed control protocol for guidance command can ensure the overall stability and tracking accuracy of the system. Numerical simulations are performed to illustrate the theoretical results, and verify that the proposed approach can achieve coordinated formation control precisely in a complex task environment.     

某系列飞机蓄电池组新型自动加温装置的技术研究

航空蓄电池组是我军航空兵部队某系列飞机的地面起动、机载备份应急化学电源。本文分析了我军现役某系列飞机的航空蓄电池组使用状况和温度性能后,揭示了研制稳定高效的蓄电池组自动加温装置的必要性并给出了初步的设计方案。     

适用于纯物质流体工质S2流面半反命题和A型杂交命题的变分原理族

文献[2]建立了轴流式叶轮机S_2流面半反命题、A型杂交命题的变分原理族。文献[1]在此基础上提出混流式叶轮机S_2流面半反命题和A型杂交命题的变分原理族,避免混流式中可能出现解的不确定性及分区处理的麻烦。但这些文章中所提出的变分原理均只适用于完全气体工质,使这些变分原理的应用受到一定的限制。例如对水蒸汽及氟里昂等工质,在某些极限工况下,如果再以完全气体的模型求解,会与实际情况相差较大。本文提出可将以上各变分原理推广至纯物质流体工质,从而使这些变分原理具有较强的适应性。