面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

螺旋弹簧应力松弛实验研究

对导弹弹体及发动机中常用的压缩螺旋弹簧进行了应力松弛实验研究,得到了这种弹簧在常温下长期贮存中的应力松弛方程,为导弹武器系统的质量评判和延寿提供了可靠的实验依据。     

复杂系统的可靠度优化分配

阐述了复杂系统可靠度优化分配的一种方法－－花费最小分配法及其应用。介绍了花费最小分配法的概念、复杂系统可靠度分配模型、花费最小分配法进行可靠度分配前的数学处理及花费最小分配法的应用实例。指出，花费最小分配法与其他方法结合进行复杂系统可靠度分配，可以达到优化分配的目的。     

SOPC技术在软件无线电平台中的应用

介绍使用基于NIOSII软核处理器的SOPC技术,并采用基于SOPC的软件无线电技术对一个传统的抗干扰电台进行重新设计,增强了系统功能,改善了系统的灵活性,并提高了其适应不同应用需求的伸缩性。     

时效应力松弛校形原理及其在蒙皮制造中的应用

时效应力松弛校形和成形方法已成功地用于制造飞机铝合金蒙皮壁板,具有很多优点。本文论述该方法的原理、应用和模拟试验结果。通过2024和LY12铝合金板件的单曲度与双曲度弯曲试验,研究了校形效果随温度、时间和预变形等的变化规律。回弹和残余应力的测量结果表明,校形效率随温度和时间提高,在铝合金人工时效温度和时间范围内,一次约可消除回弹60％。剩余的尺寸偏差可通过在夹具上修出过弯量消除。     

用最优轨迹分析法研究战斗机的敏捷性

利用最优轨迹分析法确定战斗机的敏捷性，并将最优控制问题转换为参数优化问题，由非线性数学规划理论解出参数变化规律。从典型示例飞机分析了不同迎角限制和推力下的控制策略及对功能敏捷性的影响。仿真结果表明，在转弯过程中适当放宽迎角限制和增加推力都能增大转弯速率，缩短转弯时间，从而改善飞机的功能敏捷性。     

煤粉热解研究的激波管技术

为开拓激波管技术在煤粉热解研究中的应用,对一座激波管实体的系统、运行原理、煤粉撒播及热解气体的回收和分析技术等作了介绍。在激波管装置上共作了八种典型煤的热解实验。文中报导了一种典型国产煤在1700K 热解温度下,逸出的十种碳氢化合物和其它气体的产量数据,与澳大利亚类似煤种的结果基本吻合。     

卫星数据搜集系统(DCS)的技术现状与改进概念探索

对当前国际上流行的 DCS系统进行简介及评述 ,指出各自的优缺点 ,并提出多普勒频率补偿、自主计算开机时间和捷径点发报两种构想进行革新     

Architectures and algorithms for track association and fusion

Target tracking using multiple sensors can provide better performance than using a single sensor. One approach to multiple target tracking with multiple sensors is to first perform single sensor tracking and then fuse the tracks from the different sensors. Two processing architectures for track fusion are presented: sensor to sensor track fusion, and sensor to system track fusion. Technical issues related to the statistical correlation between track estimation errors are discussed. Approaches for associating the tracks and combining the track state estimates of associated tracks that account for this correlation are described and compared by both theoretical analysis and Monte Carlo simulations     

基于Linux QT技术的空间环境模拟器控制系统组态软件的开发

文章主要介绍如何在Linux系统下建立一套空间环境模拟器控制系统组态软件。首先给出该软件设计的整体结构与基本原理,软件架构基于QT平台搭建;研发了一套针对Linux操作系统的OPC驱动,成功地实现了硬件设备和上位软件之间的多对多通信;针对该驱动提出了扫描优先级算法,这种算法相对于Windows下的顺序扫描逻辑方式更加优化而高效。该组态软件已通过现场实际应用,控制效果良好,达到预期的结果。