嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.     

基于文档状态的软件质量保证过程管理

软件文档贯穿于整个软件生存周期,是软件产品的重要组成部分,它们的质量直接影响着软件的质量.通过对软件文档过程的深入研究,提出了文档状态的概念,详细介绍了基于文档状态的文档角色、文档活动、文档版本和文档间依赖关系,以及如何利用它们对软件文档的过程进行控制、跟踪和管理,进而达到对软件质量保证过程的管理.      

FAST望远镜主动反射面促动机构运动学研究

针对现有的FAST(Five-hundred-meter Aperture Spherical Telescope)主动反射面调整运动机构和促动器试验方案的不足,提出一种新型机构,能够有效地解决反射面边缘单元侧滑问题,并提高整个系统机械效率、可靠性,降低制造成本和运行维护费用.改进的核心是利用Sarrus机构产生理想的直线运动而没有任何侧滑.通过运动学分析证实了模型样机的可行性,静力分析表明这个系统具有足够的强度和刚度.模型的运行试验和仿真证明,即使在基座倾斜45°的条件下这种新型促动器机构能够可靠地防止反射面单元侧滑.这种改进为实际系统的设计和研制提供了至关重要的理论依据和试验数据.      

拉线位移传感器测试仪测控软件设计与应用CSCD

根据拉线位移传感器性能测试的要求,开发了一套测控软件。本软件通过控制高速直线电机运动,拖动拉线位移传感器运动,采集传感器数据,从而完成对传感器的性能测试。软件以测控任务管理为核心,利用高优先级线程和定时器等来完成对伺服系统的控制和测试数据的采集存储。实际运行效果表明,该软件能满足任务要求,在实践中已得到应用。     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

BME680压力传感器非线性补偿和温度补偿方法及实现

为了提高微机电系统(MEMS)压力传感器的测量精度,研究了压力传感器非线性补偿和温度补偿算法,提出了一种基于单片机的传感器非线性矫正方法,设计了一款集成数据采集系统、修正系统和传输系统的柔性压力片。采用一款商用MEMS压力传感器BME680进行了试验,利用Matlab软件对采集的数据进行分段多项式拟合,基于压力片MCU实现传感器误差的非线性补偿和实时修正。试验结果表明,温度补偿算法效果明显,压力传感器的静态输出精度提高明显,10℃及10℃以上,提高到0.207%FS;10℃以下,提高到1.39%FS,达到了预期要求。     

基于Flowmaster的航空发动机燃油系统温度仿真及分析

采用大庆RP-3型燃油,利用Flowmaster软件对某型航空发动机燃油系统进行建模,计算定、变转速工况下燃油温升情况,开展了发动机变转速下的温度仿真,将仿真温度与实验温度值进行对比验证模型准确性。结果表明:模型精度主要受元件的性能曲线影响;某些工况下主燃烧室前的燃油温度可达145 ℃以上,影响发动机安全,必须加以控制;仿真发现向飞机回油可以降低燃油温度,但对于阶跃回油质量流量信号,温度响应具有延迟性;设计回油质量流量为0 kg/s,不同工况的离心泵效率相同,各工况的燃油温度与主燃烧室燃油质量流量的关系,质量流量增大,温度降低,质量流量稳定时,温度也会达到稳定值。该仿真主要是建立了燃油温度的求解模型,提出了燃油泵加热的计算方法,对于航空发动机系统一维仿真研究有一定的指导作用。     

远程过程调用技术在分布式软件系统中的应用

介绍了远程过程调用（RPC）技术在当前系统中的必要性。针对分布式软件系统的特点,基于开源的 Thrift 框架,搭建了一套面向服务化的RPC 通信中间件。通信中间件重新封装RPC 核心框架并提出一种精简 的分布式服务发现功能,契合分布式软件系统需求。通过接口、功能、性能验证,确认RPC 技术能够支撑分 布式软件系统向服务化架构演进。     

大型飞机增升装置气动机构一体化设计软件及其应用

为满足现代大型飞机先进增升装置多目标综合最优的设计目标,本文结合气动、机构并行设计思想,基于VB、Qt和Catia二次开发环境搭建了增升装置气动、机构综合设计软件。其中包括翼身组合体、巡航构型、起降构型和机构设计四个设计模块,用户可从不同翼身截面数据点,通过拉伸组合成用户所设计的干净构型;利用NURBS曲线使干净构型快速切割出带增升装置的曲面外形;根据缝道参数经验值和机构约束将所切增升装置偏转并设计出合适的起飞、着陆卡位模型,并配以对应卡位设计机构。本文通过对多架、多类别大型客机进行设计并按照预期设计完成切割,完成不同固定翼机型以及翼身组合体机型的切割。经过大量的设计实例验证,软件具有广泛的通用性,能够实现对任意飞机的增升装置进行快速设计。     

个体软件过程实验研究

为确定个体软件过程ＰＳＰ（ＰｅｒｓｏｎａｌＳｏｆｔｗａｒｅＰｒｏｃｅｓ）在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在１９９７年进行了ＰＳＰ的应用实验．本文首先简要介绍了ＰＳＰ的原理和方法,然后给出ＰＳＰ实验的结果数据,对该数据从差错率和生产效率２个方面进行了统计和分析．分析结果显示,ＰＳＰ的应用对于提高软件开发效率、改善软件产品的质量有重要的意义．讨论了ＰＳＰ应用过程中可能遇到的问题,指出了今后进一步的工作．