与仪器无关的测试软件框架允许硬件和软件重用

我们正从面向目标的软件执行过程得到收益,该软件的执行是ABBET（IEEE-1226）面向信号的测试框架。在工厂中,我们开发出了测试软件。该软件中没有测试设备的任何仪器知识,因此,我们现在能选择是否在运行前采用IEEE-488数字万用表或VXI示波器或手动数字万用表来测量电压,当仪器陈旧时,我们能够在不影响测试软件的同时在不同试验设备上或采用不同种类的仪器来运行测试软件,我们能够在不影响几个测试软件构型的情况下在多导工厂中修改仪器,其中测试软件是由几个分立组织控制的,使用由IEEE-488仪器组成的测试设备框架开发的一组测试可以很容易地迁移到基于VXI的标准测试设备中,除硬件独立性而外,框架支持高度抽象的测试语言,这种语言允许创造无显著特点的测试方法。这种方法在很大程度上使再使用程序中的测试算法的努力变得容易。     

动态故障树分析方法在软、硬件容错计算机系统中的应用

结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题。并给出了一个具体的例子,应用这种方法对其进行分析。分析结果表明,软、硬件容错技术在计算机系统中的应用,可以显著提高系统的可靠性。     

卫星控制系统多转台多模拟器半物理仿真方法

卫星控制系统半物理仿真是在实验室中模拟卫星在轨道上运动特性的一种试验方法 ,它通常用于验证卫星控制系统方案和性能指标。卫星控制系统半物理仿真包括将硬件接入路的卫星动力学仿真和运动学仿真。仿真计算机计算卫星的动力学和运动学方程 ;转台模拟卫星在空间的运动 ;目标模拟器用来模拟作为卫星姿态敏感器的参考目标 (太阳、地球和恒星等 )的环境特性。为了将控制系统硬件接入试验路 ,必须适当地处理一系列的关键技术。卫星控制系统多转台多模拟器半物理仿真方法适用于带有多种敏感器的复杂卫星仿真。     

基于PXI的飞推综合控制接口模拟系统测试技术研究

飞推综合控制系统由于其复杂性,需要建立可靠的测试系统与测试方法才能有效地对控制器进行验证,从而降低其试验风险及开销。系统以飞推综合电子控制器为验证对象,以PXI设备和VeriStand为主框架的接口模拟系统软硬件架构,通过模拟飞推系统的软硬件在Veristand的集成及软硬件模型多频率执行,实现了模拟飞推系统的输入输出信号高精度高实时性的接口模拟系统,搭建了飞推综合控制器硬件在回路测试平台。     

一种高速可靠的大体量星载软件重构方案设计

随着星载软件的复杂度与体量不断增加,对软件在轨重构并进行更新维护的功能愈发重要。当软件越来越大时,使用低速通道进行重构的方案在时间上难以满足在一个测控弧段内重构软件的需求。同时,大软件使得数据存储空间更为紧缺,无法使用三模冗余等传统方法保证程序数据的可靠安全。因此,本文提出了一种使用高速通道的可靠的大体量星载软件重构方案。以固化在PROM（可编程只读存储器）上的引导监控程序作为根本保障,构建一个存于MRAM（磁随机存储器）上专门用于高速重构软件的安全模式程序作为方案核心,并给星载软件加入自重构功能作为最常用的重构方式。通过地面测试与在轨实验表明：该方案能够保证大体量软件重构功能的高速度与高可靠性,让星载软件的更新与维护更加安全与便捷。     

机载超轻量化卷积神经网络加速器设计

卷积神经网络庞大的权重参数和复杂的网络层结构,使其计算复杂度过高,所需的计算资源和存储资源也随着网络层数的增加而快速增长,难以在资源和功耗有严苛要求的机载嵌入式计算系统中部署,制约了机载嵌入式计算系统朝着高智能化发展。针对资源受限的机载嵌入式计算系统对超轻量化智能计算的需求,提出一套全流程的卷积神经网络模型优化加速方法,在对算法模型进行超轻量化处理后,通过组合加速算子搭建卷积神经网络加速器,并基于FPGA开展网络模型推理过程的功能验证。结果证明：本文搭建的加速器能够显著降低硬件资源占用率,获得良好的算法加速比,对机载嵌入式智能计算系统设计具有重要意义。     

广西港口物流业升级水平测度及影响因素分析

物流业升级对新常态下区域经济的转型发展具有较大推动作用。作为国家"一带一路"倡议有机衔接的重要门户,广西港口物流业升级发展显得尤为必要。文章从产业升级的视角出发,构建了港口物流业升级测度的指标体系,并运用主成分分析法对广西港口物流业升级水平进行了测度,最后利用斜交旋转法对港口物流业升级的影响因素进行了分析。研究发现,防城港的物流业升级水平最高。码头长度和仓库堆场面积等港口基础设施指标优化是促进港口物流业升级的关键因素。     

电动汽车用永磁同步电机控制器设计

电动汽车逐渐成为人们出行的交通工具之一,对技术可靠性和安全性的要求较高。电机控制器是实现电池直流电源向三相交流电源转换的装置,驱动永磁同步电机(PMSM)输出力能。设计了一款基于瑞萨单片机的PMSM控制器,从元器件选型、硬件保护电路原理、PCB布局、控制算法、结构强度和热分析方面展开分析。最后生产控制器样机并搭建试验平台,对PMSM控制器进行了效率特性测试、发电测试和温升测试。试验结果验证了设计方案的合理性。     

智能化多参数遥测系统的设计

文章介绍了一种时分制多参数遥测系统,通过引入单片微机,很好地解决了收发同步、参数测量、数据处理以及自动报警等技术问题,为遥测技术更广泛地应用提供了新的方法。