航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.     

基于实测星载原子钟数据的脉冲星守时方法

利用脉冲星估计星载原子钟钟差是实现卫星自主守时的途径之一。为充分分析基于脉冲星的自主守时系统性能，利用实测的星载原子钟钟差数据和中子星内部组成探测器(neutron star interior composition explorer, NICER)的PSR B1937+21脉冲星的观测数据，对比分析了星载原子钟和脉冲星的误差特性。设计了脉冲星守时系统框架和星载原子钟钟差估计方法。以实测的星载原子钟钟差数据为基础，计算分析了脉冲星守时系统的性能。计算结果表明，若脉冲星的脉冲到达时间（time of arrival, TOA）解算精度为1 μs/30 d，则原子钟钟差估计精度可达到优于1 μs的水平，初步验证了脉冲星守时系统的可行性。     

Determination of optimal samples for robot calibration based on error similarity

Industrial robots are used for automatic drilling and riveting.The absolute position accuracy of an industrial robot is one of the key performance indexes in aircraft assembly,and can be improved through error compensation to meet aircraft assembly requirements.The achievable accuracy and the difficulty of accuracy compensation implementation are closely related to the choice of sampling points.Therefore,based on the error similarity error compensation method,a method for choosing sampling points on a uniform grid is proposed.A simulation is conducted to analyze the influence of the sample point locations on error compensation.In addition,the grid steps of the sampling points are optimized using a statistical analysis method.The method is used to generate grids and optimize the grid steps of a Kuka KR-210 robot.The experimental results show that the method for planning sampling data can be used to effectively optimize the sampling grid.After error compensation,the position accuracy of the robot meets the position accuracy requirements.     

A salient edges detection algorithm of multi-sensor images and its rapid calculation based on PFCM kernel clustering

Multi-sensor image matching based on salient edges has broad prospect in applications, but it is difficult to extract salient edges of real multi-sensor images with noises fast and accurately by using common algorithms. According to the analysis of the features of salient edges, a novel salient edges detection algorithm and its rapid calculation are proposed based on possibility fuzzy C-means （PFCM） kernel clustering using two-dimensional vectors composed of the values of gray and texture. PFCM clustering can overcome the shortcomings that fuzzy C-means （FCM） cluster- ing is sensitive to noises and possibility C-means （PCM） clustering tends to find identical clusters. On this basis, a method is proposed to improve real-time performance by compressing data sets based on the idea of data reduction in the field of mathematical analysis. In addition, the idea that kernel-space is linearly separable is used to enhance robustness further. Experimental results show that this method extracts salient edges for real multi-sensor images with noises more accurately than the algorithm based on force fields and the FCM algorithm; and the proposed method is on average about 56 times faster than the PFCM algorithm in real time and has better robustness.     

星间链路在空间态势感知中的应用研究

通过对星间链路和空间态势感知系统国内外发展现状的分析,指出星间链路在空间信息有效获取、安全传输和实时应用以及保障空间态势感知系统战场生存能力等方面起着重要的作用.针对星间链路在未来空间态势感知系统中的应用需求,提出包含空间通信模型和空间导航模型在内的空间感知体系基本架构,并对该架构下星间链路的设计要求或者特点进行分析,指出星间链路应该具有灵活可变的星间路由策略和联网结构,并能够支持高速可变和安全可靠的星间数据传输.分别从空间网络和卫星节点2个层面提出了系统实现的关键技术,并给出部分关键技术的研究重点和研究方法.上述研究结果可以为星间链路及相关领域的研究工作提供一定的借鉴和帮助.     

民机防冰系统自然结冰试飞技术研究

结合某型民机自然结冰条件下防冰系统的试飞,对试飞所需的测试改装工作进行了总结,并对试飞前需进行的各种安全性评估进行了总结说明,明确了试飞中需考虑的各种构型情况,提出一套循序渐进的自然结冰试飞方法。同时提出了试飞中结冰气象参数的可接受性判据,最后针对自然结冰试飞中结冰气象参数的处理提出了分段等效处理的方法。     

二维计算机图象检测系统

目前,利用机器视觉系统监测生产过程和进行质量控制是一个非常活跃的研究领域。当把视觉系统用于几何量测量时,必须解决其硬件的分辨力极限所带来的问题:测量精度高意味着测量范围小,或者,测量范围大意味着测量精度低。提出了解决上述问题的方法:一个由步进电机驱动的XY工作台与图象处理系统相结合。产生出一个多坐标系统结构。测量参数在两个坐标系之间传送,并在100mm×100mm范围内,在X和Y两个方向,达到的测量精度为0.02mm。     

资源卫星数据收集系统及其应用

简要说明了资源卫星数据收集系统(DCS)的原理、组成和特点,在对分布范围广、参数缓变和传输速率低的数据进行采集方面,资源卫星DCS具有很大的优势和很高的利用价值。结合环保监测应用的需求,对资源卫星DCS应用系统方案进行了详细设计。     

编制摸拟器设计和性能数据要求的初步考虑

在研制飞行模拟器时，飞行模拟器的设计和性能数据是必需的。这些数据不仅是形成满足飞行模拟器各种规范和标准要求的基础，而且也是构成模拟器逼真度要求的基础。根据国际航空运输协会的要求，初步讨论了编制飞行模拟器设计和性能数据要求所考虑的因素。