新型非接触式径向C4D传感器优化设计

基于电容耦合式非接触电导检测(C4D)技术,设计研发了一种新型径向结构的非接触式电导测量传感器。该传感器利用串联谐振的原理,引入电感模块以消除耦合电容对测量的不利影响,扩大了测量范围,提高了测量灵敏度。同时,用仿真与实验相结合的方法对传感器的电极张角进行了优化研究。在5.0、7.5、9.1、10.2和12.0 mm 5种不同内径的管道中进行了电导测量实验,电导测量相对误差均不超过5%,实验结果表明,所设计的新型非接触式径向C~4D电导测量传感器是可行和有效的。     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

从B787飞机看维修性设计的发展方向

机务维修费用是民机运营成本中最关键的一部分,飞机在研发设计阶段就决定了维修费用的八成。主要分析了波音787梦想飞机的＂易维修性设计＂,探讨民机维修性设计发展方向,以期对我国大飞机事业的发展起到积极的推动作用。     

Onboard orbit determination using GPS observations based on the unscented Kalman filter

Spaceborne GPS receivers are used for real-time navigation by most low Earth orbit (LEO) satellites. In general, the position and velocity accuracy of GPS navigation solutions without a dynamic filter are 25 m (1σ) and 0.5 m/s (1σ), respectively. However, GPS navigation solutions, which consist of position, velocity, and GPS receiver clock bias, have many abnormal excursions from the normal error range for space operation. These excursions lessen the accuracy of attitude control and onboard time synchronization. In this research, a new onboard orbit determination algorithm designed with the unscented Kalman filter (UKF) was developed to improve the performance. Because the UKF is able to obtain the posterior mean and covariance accurately by using the second-order Taylor series expansion through the sampled sigma points that are propagated by using the true nonlinear system, its performance can be better than that of the extended Kalman filter (EKF), which uses the linearized state transition matrix to predict the covariance. The dynamic models for orbit propagation applied perturbations due to the 40 × 40 geo-potential, the gravity of the Sun and Moon, solar radiation pressure, and atmospheric drag. The 7(8)th-order Runge–Kutta numerical integration was applied for orbit propagation. Two types of observations, navigation solutions and C/A code pseudorange, can be used at the user’s discretion. The performances of the onboard orbit determination were verified using real GPS data of the CHAMP and KOMPSAT-2 satellites. The results of the orbit determination were compared with the precision orbit ephemeris (POE) of the CHAMP and KOMPSAT-2 satellites.     

基于μC/OS-Ⅱ的串口通信在S3C2410A上的实现

文章在三星公司的嵌入式处理器S3C2410A为核心的硬件平台上,将嵌入式实时操作系统μC/OS-Ⅱ和μC/GUI在ARM9上整合实现,成功地实现了基于μC/OS-Ⅱ在S3C2410A上的双向串口通信功能。     

北斗卫星导航空间信号模拟畸变研究

针对卫星导航信号生成载荷故障会导致信号畸变,对北斗卫星导航信号模拟进行了研究分析。首先,建立了北斗导航信号模拟畸变的数学模型并对其进行了理论分析;其次,推导了北斗信号发生模拟畸变后的相关函数、功率谱密度函数和相关损耗,并仿真分析了北斗信号模拟畸变的相关峰曲线、功率谱密度曲线和相关损耗曲线;最后,利用S曲线及S曲线锁定点偏差的模型,仿真了北斗模拟畸变信号S曲线及S曲线锁定点偏差,并分析了北斗信号发生模拟畸变对测距性能产生的影响。结果表明：北斗信号发生模拟畸变的畸变程度越大,伪距测量误差越大,则导航系统的测距精度和定位精度越低,增强系统的完好性越小。     

基于函数型数据的广义线性回归模型

函数型数据的回归分析研究主要集中在函数型线性模型。不要求因变量为连续型随机变量,可以为离散型或属性数据(对应于泊松或Logistic回归),对同时含有数值型多元变量和函数型变量的广义线性模型的估计问题进行分析,采用非参数方法得到了参数部分和非参数部分的估计量,并给出了一种重加权算法进行参数求解,解决了含数值型和函数型混合数据类型自变量的回归问题,同时扩展了函数型线性模型的应用范围。估计过程中,分别采用了函数型主成分和B样条基函数,并给出了基函数个数选择的准则。数值模拟结果表明,所提出方法具有良好的可行性与正确性。      

Low latitude nighttime ionospheric vertical E × B drifts at African region

The nighttime vertical E × B drifts velocities of the F2-region were inferred from the hourly hmF2 values obtained from ionosonde data over an African equatorial station, Ilorin (8.50^oN, 4.68^oE; dip lat. 2.95^o) during period of low solar activity. For each season, the plasma drift Vz is characterized by an evening upward enhancement, then by a downward reversal at 1900 LT till around 0000 LT, except for June solstice. This was explained using the Rayleigh–Taylor (R-T) instability mechanism. The occasional drift differences in Vz obtained by inferred and direct measurement over Ilorin and Jicamarca, respectively are reflective of the importance of chemistry and divergent transport system due to both the E region electric and magnetic fields instead of simple motions. The pre-reversal enhancement (PRE) magnitude is higher during the equinoctial months than the solsticial months over Jicamarca, highest during December solstice and the equinoctial months over Ilorin, suggesting the dominance of higher E × B fountain during equinoxes at both stations. The lowest PRE magnitude was in June solstice. The appearance of post-noon peak in NmF2 around 1700 LT is highest during the equinoctial months and lowest during the solsticial period. A general sharp drop in NmF2 around 1800 LT is distinct immediately after sunset, lowest during June solstice and highest in March equinox. Our result suggests that between 0930 and 2100 LT, the general theory that vertical drifts obtained by digisonde measurements only match the E × B drift if the F layer is higher than 300 km is reliable, but does not hold for the nighttime period of 2200–0600 LT under condition of solar minima. Hence, the condition may not be sufficient for the representation of vertical plasma drift at nighttime during solar minima. This assertion may still be tentative, as more equatorial stations needed to be studied for better confirmation.     

大型民用窄体客机液压系统分析探讨

分析和对比了同座级的空客A320和波音737的液压系统,并研究了民机液压系统的发展趋势。