Time Petri网在实时软件测试中的应用

针对实时软件传统测试方法的不足,提出了用Time Petri网生成测试方案的方法.该方法很好的处理了与时间有关的不确定性问题,具体例子说明了其在实时软件测试中的应用.     

应用动画和动态图表的导航实时监测系统的设计

对在Windows平台下的实时导航监控系统中,应用 OpenGL动画和实时动态图表实现导航数据的实时可视化的设计思想和实现方法进行了研究。首先,给出了一种高效的基于Widows平台串口通信的实时导航监控系统的设计思想以及实现方法,并针对该方法进行系统性能的分析和研究,表明了导航数据实时可视化的可能性。然后,给出了导航数据可视化的原理,利用OpenGL动画和动态曲线分别实现导航的姿态参数和位置参数的具体实现方法。最后,针对具体的地形辅助组合导航实时监控系统的实现,来证明该方法实现导航数据可视化是可行的,并且对于其他的实时监控系统有一定的借鉴作用。     

Petri网在FMS故障诊断中的应用

用时间着色Ｐｅｔｒｉ网分析了ＦＭＳ的静态结构、动态行为和行为规则，探讨了以时间着色Ｐｅｔｒｉ网为工具，使用面向对象技术建立ＦＭＳ实时监视和故障诊断模型的方法，并提出了利用Ｐｅｔｒｉ网可分层的特点进行故障诊断的观点。     

图像相关系统中的两维FFT的FPGA实现

研究了两维快速傅里叶变换(FFT)的FPGA(Field Programable Gate Array)实现问题，解决了空间太阳望远镜在轨实时图像处理与航天级DSP运算速度不足之间的矛盾；经过实验验证，各项指标达到了设计要求。     

EOMS光电经纬仪系统

EOMS光电经纬仪系统主要用于中近距离范围内飞行器轨迹及姿态的测试。该系统可对飞行目标进行单杆半自动和电视全自动跟踪；采用了GPS，可使外测参数和内测参数实现精度时间同步。通过外场测试和初步飞行试验证明该设备具有测试精度高，能进行TV实时测量等优点。     

涡轴发动机监视技术及其发展趋势

涡轴发动机是直升机的动力装置,对涡轴发动机监视,既可以提高直升机的飞行安全性,又可以降低维修费用,大力发展发动机监视技术是直升机设汁和使用的一种趋势。本文分析了直升机发动机监视中使用的性能、滑油、振动、寿命、噪声和静电探测技术的特点及其应用,并且提出了发动机监视技术的发展趋抛。     

水下爆轰燃气泡形态与激波传播过程研究*(爆震专刊)

针对脉冲爆轰发动机在水下工作过程中形成的燃气射流问题,搭建了水下爆轰燃气实验系统,研究了第一个爆轰循环在水下的燃气泡发展变化过程。建立了基于气液两相双流体模型的脉冲爆轰发动机水下喷射模型,采用时-空守恒元和求解元方法,模拟了爆轰波退化为激波在水中的传播及衰减过程。研究结果表明：燃气泡前期受外界水环境阻滞作用呈现“豌豆状”形态,充分发展阶段气液交界面逐渐失稳,在达到最大尺寸后开始收缩并在中心轴线位置出现凸出的射流；水下爆轰燃气射流发展过程中同时存在脱离燃气泡的水中前导激波和管口燃气泡内的高压区两部分,水中前导激波在传播过程中压力迅速衰减至常压量级,而管口燃气泡内则一直保持较高压力；中心轴线区域气液交界面处反射激波的回传使管口附近出现回击现象,并导致前导激波波阵面上压力峰值逐渐出现在30°方向上。     

一种改进的空间目标接近分析快速算法

Alfano-Negron(1993)提出的空间目标接近分析算法将最小相对距离及其对应时刻和进出误差椭球时刻的求解问题均转化为插值多项式求根问题.A-N算法在判断三次多项式根的存在性、筛选合理实根时存在缺陷,可能导致多余计算.由A-N算法提出的准则不能直接计算插值时间步长并可能导致丢根,对此根据多项式插值误差理论提出了一种自适应的插值时间步长选取方法.相比原始A-N算法,完善后的A-N算法计算结果更加可靠.与精确的逐秒比较结果相比,改善后的A-N算法计算速度远高于逐秒比较,具有较高精度,更适合于有实时计算要求的任务.