GNSS实时卫星钟差估计在地震监测中的应用

为快速、有效地获取地震发生阶段震源周边地区站点的动态位移,为地震预警系统提供高可靠性的地表形变信息,利用全球导航卫星系统(global navigation satellite system, GNSS)高频观测数据,基于非差估计法对多模GNSS卫星钟差进行实时估计及性能分析,并将其应用于精密单点定位(precise point positioning, PPP)实时计算2021年漾濞M_w6.4地震和玛多M_w 7.4地震的地面动态形变。结果表明,GNSS四系统实时估计卫星钟差的标准差(standard deviation, STD)均值为0.142 ns,其多系统组合PPP动态解的平均标准差在水平方向达到0.5 cm,高程方向达到1.0 cm,计算得到的地震动态位移波形相对GPS单系统更为稳定,而且能够获得较为准确的同震形变。     

A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint

Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface(ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints(TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics(IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards.     

J7L最短时间三元上升转弯轨迹的实时生成

首先应用奇异摄动方法，编制了Ｊ７Ｌ非实时的最短时间三元转弯的优化软件，然后利用速率调度的方法，实现了软件的实时，在Ｊ７Ｌ飞行模拟器上进行的飞行试验结果表明，该优化软化是成功的，生成的最优轨迹的变化趋势是正确的。     

机载脉冲多普勒雷达DBS技术

 本文从多普勒谱分辨理论出发,分析了DBS成象的基本原理,实现DBS成象的实时信号处理过程,提出了DBS实时数字信号处理方案。通过计算机模拟试验表明,在雷达天线保持匀速扫描状态时,系统的多普勒波束锐化比可达17.4:1左右,并可对载机前方±15°—60°方位范围内提供一幅大面积的,高分辨力的扇形雷达图象。     

Performance improvement of real-time PPP ambiguity resolution using a regional integer clock

Obtaining reliable GNSS uncalibrated phase delay (UPD) or integer clock products is the key to achieving ambiguity-fixed solutions for real-time (RT) precise point positioning (PPP) users. However, due to the influence of RT orbit errors, the quality of UPD/integer clock products estimated with a globally distributed GNSS network is difficult to ensure, thereby affecting the ambiguity resolution (AR) performance of RT-PPP. In this contribution, by fully utilising the consistency of orbital errors in regional GNSS network coverage areas, a method is proposed for estimating regional integer clock products to compensate for RT orbit errors. Based on Centre National d’Études Spatiales (CNES) RT precise products, the regional GPS/BDS integer clock was estimated with a CORS network in the west of China. Results showed that the difference between the estimated regional and CNES global integer clock/bias products was generally less than 5 cm for GPS, whereas clock differences of greater than 10 cm were observed for BDS due to the large RT orbit error. Compared with PPP using global integer clock/bias products, the AR performance of PPP using the regional integer clock was obviously improved for four rover stations. For single GPS, the horizontal and vertical accuracies of ambiguity-fixed PPP solutions were improved by 56.2% and 45.3% on average, respectively, whereas improvements of 67.5% and 50.5% in the horizontal and vertical directions, respectively, were observed for the combined GPS/BDS situation. Based on a regional integer clock, the RMS error of a kinematic ambiguity-fixed PPP solution in the horizontal direction could reach 0.5 cm. In terms of initialisation time, the average time to first fix (TTFF) in combined GPS/BDS PPP was shortened from 18.2 min to 12.7 min. In view of the high AR performance realised with the use of regional integer clocks, this method can be applied to scenarios that require high positioning accuracy, such as deformation monitoring.     

Efficient schedulability analysis for mixed-criticality systems under deadline-based scheduling

Safety-critical avionics systems which become more complex and tend to integrate multiple functionalities with different levels of criticality for better cost and power efficiency are subject to certifications at various levels of rigorousness. In order to simultaneously guarantee temporal constraints at all different levels of assurance mandated by different criticalities, novel scheduling techniques are in need. In this paper, a mixed-criticality sporadic task model with multiple virtual deadlines is built and a certification-cognizant dynamic scheduling approach referred as earliest virtual-deadline first with mixed-criticality（EVDF-MC） is considered, which exploits different relative deadlines of tasks in different criticality modes. As for the corresponding schedulability analysis problem, a sufficient and efficient schedulability test is proposed on the basis of demand-bound functions derived in the mixed-criticality scenario. In addition, a modified simulated annealing（MSA）-based heuristic approach is established for virtual deadlines assignment. Experiments performing simulations with randomly generated tasks indicate that the proposed approach is computationally efficient and competes well against the existing approaches.     

试验靶场地面数据交换模式研究

以我国未来导弹航天试验任务发展对试验靶场的需求为出发点，针对靶场试验信息交换数据异构的问题，提出了3种靶场地面数据交换的方式．并且对其进行了定性的分析，希望通过引入先进的信息技术和国外的通用做法，能够对我国试验靶场数据交换的发展起到启示和借鉴作用。     

速率捷联惯导系统陀螺仪误差分段补偿技术研究

分析标度因数误差补偿的必要性和可行性,提出了对陀螺按照角速度 大小分段进行标定比例系数的方法,以补偿由于角速度变化而引起的陀螺标度 因数误差。通过计算机仿真验证了误差补偿方法的正确性,为实际应用提供了 理论依据。     

基于PXI总线的实时综合测试系统研究

为提高现有卫星测试系统的效率,对基于PXI总线的实时综合测试系统进行了研究。给出了测试系统的中央控制台、实时测试仿真单元和控制输出单元和辅助测试装置主要硬件构成,以及任务管理、实时测试仿真单元、控制输出单元和显示终端等软件组成。介绍了系统的工作原理,以及实时测控、多平台间实时数据共享交互等关键技术。结果表明,该系统从实时测试仿真单元信号采集至仿真运算结束的时间约1~10 ms。     

基于Kalman滤波器的卫星钟实时异常监测算法

基于卫星钟钟差的Kalman滤波器模型,提出了一种卫星钟实时异常监测算法,对算法原理进行了讨论,并利用IGS精密钟差数据,对算法进行了性能验证。结果表明：该算法对卫星钟的异常情况（包括单点相位跳变与连续相位跳变）可以进行有效监测,同时还可以完成异常数据的剔除与替换,并且具有较小的替换误差。该算法具有显著的实时性,可以应用于星载原子钟的实时异常监测中。