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

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

多功能信号发生器的设计与制作

仪器由AT89C55单片机进行控制,通过键盘、LCD显示模块进行人机对话,完成波形选择、频段选择,频率、幅度输出控制。由MAX038产生正弦波、方波、三角波,其波形选择由单片机进行控制;频段选择由五档组成,可通过旋扭开关完成;频率由单片机输出数据经D/A转换后控制MAX038;幅度由单片机输出数据经D/A转换后改变放大器负反馈深度来实现输出信号幅度的变化。     

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

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

ATC模拟系统中存贮系统的容错技术

ATC 模拟系统是一个比较复杂的,实时性很强的控制系统,要求整个系统的可靠性很高。而对于一个系统来讲,其中央存贮系统是保证整个系统正常工作的关键部件之一。在我们引进的系统中,它的容错技术在设计上有其独到之处。本文就其存贮系统的结构、容错技术及支持电路这三部分予以说明和论述,仅供同行参考。     

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个层面提出了系统实现的关键技术,并给出部分关键技术的研究重点和研究方法.上述研究结果可以为星间链路及相关领域的研究工作提供一定的借鉴和帮助.     

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

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

多通道智能场强计的研制

介绍87C51单片机在研制多通道场强计中的应用情况以及软件和硬件的研究设计。     

电机瞬态转速测试

介绍了一种利用单片机和光电转速传感器来测量电机瞬态转速及电机转速变化过程的方法。该方法简单、反应时间快、准确度高。