基于Event-B的软件工程形式化方法综述

在当今泛在计算和软件定义的大趋势下,形式化方法逐步成为指导软件需求定义、分析软件设计方案、验证软件制品正确性的重要方法,渗透到软件工程的全寿命周期.Event-B作为一种"构造即正确"的方法,为软件工程形式化方法的应用提供了支撑.本文对现有的基于Event-B的软件工程形式化方法进行了分类阐述,主要分为Event-B控制结构、面向对象的Event-B、可重用的Event-B以及实时Event-B模型,并对各种Event-B模型对软件开发全寿命周期的支持进行了汇总,为软件工程形式化方法提供参考和借鉴.     

建造和丰富武器故障诊断专家系统的知识库

为了模拟现实专家的诊断过程,计算机专家系统中将知识分为原理知识和经验知识,对应的诊断为原理诊断和经验诊断。文中介绍了获取有关电子类设备故障诊断时所需原理知识和经验知识的基本方法,分析了原理诊断和经验诊断之间的关系,进而研究了专家系统的一种自学习新方法CBR,即把原理诊断的成功案例当作知识源,通过对案例进行学习,从而获取经验知识,完善经验知识库,在后续的诊断中可以大量节约诊断成本。这种方法较好地模拟了现实专家的诊断过程。同时对丰富类似的专家系统的经验知识库的知识,有参考价值。     

OFDM系统降低峰值平均功率比研究

正交频分复用（OFDM）是一种利用相互正交多个子载波传输信息的方案,具有较好的频谱利用率和抗多径干扰能力,但是OFDM系统具有较高的峰值平均功率比（PAPR）,造成应用成本加大和运行效率降低。本文分析了了OFDM实现原理,讨论了如何降低峰均比的问题,横向对比分析了几种OFDM系统中降低峰均比的技术。最后完成仿真实验进行效果验证,进一步讨论了不同技术中不同参数设置对仿真结果的影响。     

基于VI的工程机械整机性能测试系统

该设计是为了对36路工程机械整机性能模拟(温度、压力、油耗、车速及轮边转速、发动机转速、扭矩、增压器转速、牵引力、液压流量、噪音、烟度、排放)信号进行采集和处理。该设计以动态数据采集模块PXI系列及前端调理适配设备SH系列为硬件平台,以流行的虚拟仪器(VI)软件Lab VIEW为运行平台,开发了拥有系统配置模块、参数配置模块、状态检测模块、标定系统模块、自校准模块、数据采集模块、数据处理模块七个模块组成的系统软件。最后通过应用证明了该系统的实用性、先进性、经济性和可靠性的特点。