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

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

作动器速率饱和时的PIO抑制方法

 作动器速率饱和会产生附加的时间延迟, 使系统稳定性大大降低, 并增加了驾驶员诱发振荡( PIO) 的趋势。为防止作动器速率饱和, 在飞控系统中一般设置了软件速率限制器。对比分析了3 种软件速率限制器, 探讨了它们的开环和闭环特性, 从研究角度出发, 提出了某型飞机在出现低液压故障情况下的PIO 抑制方案。非线性六自由度仿真结果表明, 该方案明显改善了算例飞机在严重低液压故障时的动态响应, 降低了PIO 趋势。     

多种新编程技术在风洞实验测控系统中的实现

结合烟台某学院风洞实验软件的研制和开发这一实例 ,详细阐述了开放式软件框架 ,虚拟仪器仪表 ,组件结构的软件编程思想 ,信号动态时间历程的显示等多种新技术在风洞实验测控软件和数据处理软件中的应用情况 ,并论述了这些新技术为风洞实验软件的研制和开发带来的诸多优越性。     

双机捷联惯导系统管理软件研究

本文着重讨论了捷联惯导系统双主机计算机系统结构的管理软件设计与实现问题,给出了完整的管理软件设计方案,对于双主机所特有的资源共享问题做了介绍,引入命令信箱概念来实现两主机之间的命令传递。同时,本文管理软件还包含了在实际地面测试时,实现捷联系统计算机与地面PC机的通讯功能。本文管理软件的另一大特点是运用了PL/M-86与ASM-86,Turbo C与MASM的混合语言编程技巧,充分发挥了各种语言的优点。本文的管理软件已在实际系统中应用。     

脉冲功率放大链相位噪声检定系统中的信号处理系统

详细介绍了在脉冲功率放大链相位噪声检定系统中的信号处理系统的设计方案、工作原理及功能。本系统是整个检定系统的重要组成部分，在整个系统中担负着将放大器链的噪声信号进行转换、采集、存储、传输、处理和显示等任务，它由硬件电路和系统软件两大部分组成。硬件电路主要由采集单元、存储单元、控制单元、时钟单元及计算机接口等几个模块组成，其功能是：将模拟信号转换为数字信号，暂存采集到的信号数据，并将数据送人计算机内存中。电路中设有自检功能，从而增加了调试的透明度，也提高了系统工作的可靠性。系统软件由控制软件和分析处理软件组成，前者负责控制硬件进行自检，以及谐调各部件间按一定的时序工作；后者负责将噪声数据进行各种数据处理（时域、频域分析），并根据检定系统的测试指标要求（噪底、起伏特性等）给出正确的测量结果。软件设计采用多层菜单式动态显示技术，图文并茂，显示醒目直观。整个检定系统经多次联试试验后，结果表明，本信号处理系统方案设计合理，工作稳定可靠，功能强，维护方便。将本系统的设计思想应用于雷达发射机稳定性测试系统中也取得了很好的效果。     

通用ATS软件设计平台研究

通用性是当前ATS的发展方向 ,讨论了通用ATS测试软件设计平台的基本属性、软件结构 ,并重点介绍了IVI特性的基本原理。在平台内核基础上设计的TPS继承了平台内核的属性 ,具有很好的可重用性及硬件无关性。该平台的实现为通用ATS的设计奠定了基础     

GF（2^n）上通用RS编译码器的一种软件实现方法

采用有限域上多项式的乘法规则设计了一种通用乘法运算模块;以乘法模块为基础,实现了一种RS编译码软件解决方案。该方案可以适应GF(2n)域(n≤8)上不同域本原多项式、不同纠错能力的RS码,具有很强的通用性。所设计的通用RS编译码软件为算法开发、验证和硬件设计调试提供了一种有力的辅助手段。     

星载软件可靠性设计方法

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

星载设备测试计算机软件的设计与实现

给出我国在研的某型星载设备测试计算机软件的设计思想和方法,重点阐述以分层的思想进行软件总体设计以及各层的具体实现过程,并探讨关于测试数据的存储、MSComm控件的实时通信能力和实时数据的动态显示问题。实用结果表明设计方案有效。     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响,为避免容错算法存储开销和执行开销给系统带入过多的计算压力,提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷,这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法:扩展块数字签名的控制流检测方法ESCFC(Extend block Signatures for Control Flow Checking)。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模,提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟,充分说明了将该方法运用于航天工程的可行性。