嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

单片机控制的三坐标测量装置

介绍1种用8098单片机控制的三坐标测量装置。该测量装置用客栅传感器作位移检测元件，依靠系统的控制软件能直接利用实物模型或样件自动编制数控加工程序，并配有与其它微型计算机通讯的接口。系统运行稳定，有较好的性能价格比。     

C语言程序开发与维护工具NHCTOOL

NHCTOOL是作者设计并实现的一个C语言程序开发与维护工具,包括:1.全局变量索引;2.用户自定义函数索引;3.函数调用关系视图;4.源程序文本规格化;5.字符串检索等功能。本文主要介绍实现上述功能的算法。     

光纤陀螺测试系统设计

叙述了光纤陀螺测试系统的组建方案以及主要功能,进行了控制机、自动转台、光纤陀螺之间的通讯模块软硬件设计,分析了测试程序的特点。通过配接不同的测试仪器,该系统可完成其它种类的惯性元件测试。     

最优控制理论在垂直发射舰空导弹转弯控制中的应用

本文应用最优控制理论研究了垂直发射舰空导弹转弯控制段的控制规律,并以某低空、超低空、近程舰空导弹为研究背景进行弹道优化设计,通过大量计算结果,分析了燃气舵最大舵偏角与工作时间、反馈回路参数等对垂直发射导弹弹道特性的影响。最后选取一组最优参数对全弹道进行了仿真计算。结果表明:将垂直发射技术应用于对付近程、高速、掠海目标是有效的,可以实现的。     

若干复合材料计算机程序评介

由于复合材料结构件的各向异性和层合性,使得复合材料结构的设计、分析要比金属复杂得多,工作最也要大得多,有些工作甚至是手工计算所不能胜任的,必须依靠计算机。因此,近十几年来复合材料的计算机程序迅速地被开发出来。虽然列入《复合材料设计手册》的程序有36个,但在编写过程中涉及的程序有60多个。本文仅就其中的一些做一粗浅的评介。     

PC—DIO─96接口板在大尺寸计量标准中的应用

介绍了美国NI公司的数据采集板PC—DIO—96的功能,及其在Windows95下软硬件的安装,描述了如何使用其随板软件包,并给出了其三种主要功能（线功能、口功能和组功能）的程序框图。详细介绍了在“建立大尺寸计量标准”题目中应用该板进行环境参数的采集和电机控制。     

固体火箭发动机推力终止过程的数值分析

本文指出,在大、中型固体火箭发动机的推力终止过程中,打开反向喷管(或辅助排气孔)必定导致产生一系列强度相当大的压力脉冲,而现有的理论分析均不能预估和解释这一现象。本文提供了一组冷模拟实验结果,讨论了产生压力脉冲的原因,提出了估算其强度的方法,并且应用特征线法和激波拟合法进行一维非定常流动的数值计算,发展了一种能够同时预估压力脉冲强度的内弹道计算程序。预估结果与实验曲线吻合良好。     

用户动态链接库的创建与应用

动态链接库在Windows操作系统中起着重要的作用，Windows操作系统中大部分功能都是动态链接库提供的。本文介绍了如何在Visual C 中创建自己的动态链接库及在程序中的应用。