实时弹载计算机软件动态测试平台

为实现某弹载计算机嵌入式软件的动态测试，组建了一个基于PXI的强实时软件测试平台。通过接口测试平台软件对时序的精确控制和多模块同步协调，能较真实地仿真该软件的运行环境。向测试平台注入测试用例。可以对该软件进行动态测试。测试结果表明，本测试平台具有较强的实时性，使用效果良好。     

PCM/FM信号软件化解调算法研究

根据PCM/FM信号的特点,提出一种新的基于STFT的软件化解调算法。首先,利用STFT计算PCM/FM信号中f0和f1频点的能量,然后,根据两个频点能量的变化规律,实现信号的码同步及解调。论述此种解调算法的基本原理及实现过程,分析其算法的复杂度,提出一种新的码同步提取和修正的方法。计算机仿真结果表明,该算法不但能够有效地抑制实际信号中的各种干扰对码同步精度的影响,具有较好的解调性能,而且其实现原理简单,运行效率较高,便于实现软件化的实时处理。该解调算法在实际的PCM/FM信号的处理中收到了较好的效果,具有一定的应用价值。     

大型宇航容器环缝的适应控制自动焊

介绍了一种大型宇航容器环向焊缝适应控制TIG自动焊接系统的设计方案。该方案采用交流变频调速驱动系统、双逆变交流矩形波焊接电源、矩形波交流电弧的弧长自动调节系统、可编程控制(PLC)为主控器的焊接程序控制系统等。并分析了在新的焊接条件下适应控制自动焊主要工艺参数对焊接质量的影响。     

星载软件可靠性设计方法

分析了星载软件及其可靠性的特点，针对空间环境对星载软件的影响，提出了软件工程化、模块化和容错设计、遥测遥控处理，以及异常检查等提高软件可靠性的设计措施，并说明了软件测试对提高可靠性的重要性。     

射频制导导弹全自动综合测试系统

介绍用于射频制导导弹全自动综合测试系统的设计方法，论述系统测试功能及实现的关键技术，通过举例阐述系统应用软件设计。该系统从方案入手，提出并解决了几个关键技术，从而保证整个系统研制的质量，同时应用了若干项新技术，体现了系统设计的先进性。系统成功实现了对导弹全自动综测。试验表明，该系统集成方法先进，自动化程度高，性能稳定可靠，为系统实现导弹故障诊断目标打下了坚实的基础。     

卫星信号和数据质量监测算法研究

结合卫星导航系统的实际应用,对卫星播发的导航信号和观测数据的质量监测算法进行了研究,可以满足卫星定轨和用户定位精度的要求。文中首先分析了卫星信号出现异常的原因,并有针对性地给出了用于卫星信号质量监测的宽窄相关伪距比较和码-载偏离度计算方法,然后又对用户伪距和载波相位这两个主要测量值的数据突变问题的实时监测方法展开了分析和探讨,最后进行了仿真研究。结果表明,这些算法是可行、实用并且有效的。     

基于StP CASE工具的软件自动测试环境的设计与实现

在软件开发过程中,软件测试费用占总成本的50％左右,为降低测试费用和进一步提高软件测试质量,软件测试自动化是必要的。本文以 StP CASE为例,构造了基于StP的自动测试环境,并通过实例进行了验证。研究表明,这种自动测试环境具有测试效率高、可靠性好、易维护等优点,对今后开展这方面的测试研究具有一定的参考价值。     

系统工程与质量功能展开的综合应用研究

提出系统工程与质量功能展开相结合的观点,以系统工程原理与过程为流程,以质量功能展开为框架,开发出一种规范化、程序化的确定要求、权衡要求并最终实现要求的方法.按照实际工作中的程序,自始至终体现着"用户至上"的宗旨,即用户需求最终决定着顶层决策机构的决策,决定着产品的研制与生产.将系统工程的原理与过程引入质量功能展开,使得决策者的决定有了科学的定量依据.重点介绍了多方案综合权衡的过程和方法.     

基于策略的网格应用服务QoS管理模型

R.Al-Ali提出了一个基于网格的服务质量(QoS)管理框架模型,该模型将网格QoS问题划分为应用层QoS、网格中间层QoS以及网络层QoS,并重点对应用层的QoS表示和优化等问题进行了研究.目前关于网格QoS方面的大多数研究都集在对应用层如何扩充WSDL文档以实现服务等级协商(SLA)的表示等问题上.对于如何将应用层所需要的QoS与网络传输层的QoS机制模型结合起来以适合于网格计算的研究还是相当少,为此提出了一种基于策略的网格QoS管理模型,该模型既能够屏蔽由于网格应用服务使用不同的QoS级别带来的映射差别,也能够屏蔽由于跨越不同组织所采用不同QoS机制模型带来的映射差别.当组织的QoS机制模型采用差分模型(DiffServ)时,对所提出的模型进行了初步仿真,仿真结果表明可以将这一策略模型集成到开放网格服务体系(OGSA)中实现对网格应用服务的QoS管理.     

Ada软件数据流分析方法及其实现

简要介绍了有关数据流分析的基本概念之后，较为着重地讨论了一种基于静态分析的Ａｄａ软件数据流分析方法，同时也讨论了分析过程中一些实现原理。实践结果表明，文中讨论的数据结构，实现机制与处理方法是行之有效的。