大气环境电子束材料表面强化机理数值模拟

建立了大气环境电子束材料表面强化过程的多阶段数值模型,用于对电子束与材料表面层的相互作用过程和结构与相变过程进行研究。通过应用这一模型,使得对材料表面强化中电子束传输、温度演化和相变动力学等多参数研究成为可能,由此建立了电子束输入参数与结构相变结果之间的关系。     

Formal verification and legacy redesign

Sustaining weapons system hardware and software represents a significant and ever-increasing portion of total system cost. Hardware components are becoming obsolete much sooner while weapons system lifetimes are increasing, We must identify more cost-effective solutions to engineering and reengineering these subsystems. Verifying and validating weapons systems are two of the most costly parts of either engineering process. Traditionally, hardware validation and verification is done by simulation and testing, In the past few years, math- and logic-based formal methods tools have begun to scale up to and be applied successfully to real-world problems. Incorporating formal verification methods into engineering and reengineering processes will cost-effectively and significantly improve the level of trust and the quality of our weapons systems. Formal methods are especially well suited for redesigning current weapon systems which have become unsupportable due to component obsolescence because they help minimize the astronomical costs of rigorously reverifying the reengineered components. We believe that formal methods are an important tool for effective engineering of future weapon systems     

Rotation method for direction finding via GPS carrier phases

A baseline rotation method is proposed for determining the direction of the baseline vector via Global Positioning System (GPS) carrier phase measurements. The space difference technique is adopted to resolve GPS carrier phase cycle ambiguities. Possible applications include the determination of the aiming directions of artillery rockets and the line of sights of tracking radars, etc. For such armaments, the direction findings are important and the rotating mechanisms are well equipped already. A general baseline vector which can be rotated on a two-degree-of-freedom platform is considered first. The relationship among the baseline vector and the two rotation axes is not known. A sequence of rotations is used to change the configuration of the system to find the direction of the baseline. Under different circumstances such as the cases that some orthogonal conditions among the unknown vectors are given, simplified algorithms are devised. To verify our method, software simulation and hardware experiments have been conducted. The simulation outcomes are used to determine the experimental parameters, such as the length of the baseline, the rotation angles etc. The results of repeated hardware experiments show that the sample standard deviation for the azimuth angle and the elevation angle of the 1.35 m baseline vector are 0.91 deg and 1.23 deg, respectively. The GPS receivers employed are Motorola ONCOREs. The errors of the estimated direction angles induced by the inaccuracy of rotation angles, which are unavoidable due to the imperfectness of the mechanical structure, are analyzed as well. Numerical examples for the error analysis are included     

Adaptive control for feedback-linearized missiles withuncertainties

A robust adaptive control scheme is proposed that can be applied to a practical autopilot design for feedback-linearized skid-to-turn (STT) missiles with aerodynamic uncertainties. The approach is to add a robust adaptive controller to a feedback-linearizing controller in order to reduce the influence of the aerodynamic uncertainties. The proposed robust adaptive control scheme is based on a sliding mode control technique with an adaptive law for estimating the unknown upper bounds of uncertain parameters. A feature of the proposed scheme is that missile systems with aerodynamic uncertainties can be controlled effectively over a wide operating range of flight conditions. It is shown, using Lyapunov stability theory, that the proposed scheme can give sufficient tracking capability and stability for a feedback-linearized STT missile with aerodynamic uncertainties. The six-degree-of-freedom nonlinear simulation results also show that good performance for several uncertainty models and engagement scenarios can be achieved by the proposed scheme in practical night conditions     

Energy absorption features of 3-D braided rectangular composite under different strain rates compressive loading

There are huge potential applications of 3-D braided composite in aerospace engineering because of the non-delamination feature of the composite under impact loading. This paper presents the analysis of energy absorption features of 3-D braided composite under compression with different strain rates. The 3-D 4-step rectangular braided composite coupons were tested on a material tester MTS 810.23 and a split Hopkinson pressure bar (SHPB) apparatus to obtain out-of-plane and in-plane compression stress vs. strain curves at quasi-static and high strain rate state. The failure modes and energy absorption features of the 3-D braided composite under different strain rates were analyzed both in time domain and frequency domain. The energy absorbed by the 3-D braided composite increases with the strain rate. From fast Fourier transform (FFT) analysis of compression stress vs. time histories, the power of energy absorption of the 3-D braided composite increases with strain rate and mostly concentrate on the high frequency region. While for quasi-static compression, the power distributes in very narrow frequency region and also is less than that in high strain rates. This feature corresponds to the different damage and energy absorption mechanisms of the 3-D braided composite under quasi-static and high strain rate compression.     

Feedback median filter for robust preprocessing of glint noise

Glint noise may arise in a target tracking system. The non-Gaussian behavior of glint noise can severely degrade the tracking performance. Measurement preprocessing at the front-end of the tracker is an effective method to reduce glint noise. The preprocessor proposed by Hewer, Martin, and Zeh (1987), which used the computationally intensive M-estimator, may not be suitable for practical implementation. An alternative method employing the median filter is studied here. The median filter is well known for its simplicity and robustness. However, the efficiency of the median filter can be seriously degraded if input samples are not identically distributed. This is what we may encounter in the tracking problem. A feedback median filter is then proposed to overcome this impediment without substantially increasing complexity. Simulations show that the new preprocessor can greatly improve tracking performance in the glint noise environment.     

A Probabilistic Strongest Neighbor Filter Algorithm for m Validated Measurements

A new form of the probabilistically strongest neighbor filter (PSNF) algorithm taking into account the number of validated measurements is proposed. The probabilistic nature of the strongest neighbor (SN) measurement in a cluttered environment is shown to be varied with respect to the number of validated measurements. Incorporating the number of validated measurements into design of the PSNF produces a consistent and cost effective data association method. Simulation studies show that the new filter is less sensitive to the unknown spatial clutter density and is more reliable for practical target tracking in nonhomogeneous clutter than the existing PSNF. It has similar performances to the probabilistic data association filter amplitude information (PDAF-AI) with much less computational complexities.     

On Computing the Cramer-Rao Bound for a Random Signal

The Cramer-Rao bound for estimating parameters of a random signal is obtained using a sampled data approach. A numerical example is presented to illustrate the result. In two limiting cases, it is shown that this bound converges to the well-known bounds for the point and Rayleigh targets.     

半球谐振陀螺控制及补偿技术

首先介绍了半球谐振陀螺(HRG)发展历程，分析国内外研究现状并总结了现阶段半球谐振陀螺发展趋势；其次讨论了半球谐振陀螺控制技术，包括不同条件下驻波的激励检测方法、陀螺工作模式、驻波控制方案，以及一种全新的频率调制控制方案；另外，分别以驻波调制补偿、电极增益补偿、多陀螺补偿以及环境载荷补偿为例，分析了控制方案补偿、器件补偿、系统补偿以及场景补偿等四种半球谐振陀螺补偿技术；最后通过对现有技术和研究的分析，提出了半球谐振陀螺控制及补偿技术未来的发展方向。     

总经理致辞

亲爱的旅客朋友:您好!很高兴与您相逢在中国国际航空股份有限公司的航班上。我谨代表中国航空集团公司全体员工,为您送上诚挚的问候与深深的祝福!由衷地感谢您对国航一如既往的支持与厚爱!作为中国唯一载旗航空公司,我们始终秉持着"安全发展、可持续发展"的理念,将安全管理作为工作重点,全力保障航班安全、正点;积极推进网络枢纽建设,大力提高整体运行效率和品质;不断强化服