无人机单片机控制系统软件容错设计

本文介绍了某型无人驾驶飞机系列MCS-51单片机控制系统的软件容错设计方法与实现。该软件采用了关键数据的余度管理技术,在充分考虑了本系统的任务功能及单片机固有特点的基础上,采用了若干行之有效的软件检错技术,包括执行条件检测、数据合理性检测、异常复位检测及软件陷井等。在检测到软件错误后,软件将执行一个恢复操作。恢复操作的基础是依据一组经过余度管理及相容性分析而保证为正确可靠的关键数据。恢复操作将消除软件系统所有可能的错误状态,将系统恢复至出错前的运行状态。实践表明,该软件的容错设计是可靠且有效的。     

过程控制机

过程控制机由数据采集系统、智能控制器、控制过程量输入输出部件和标准接口等组成。数据采集系统采集测力天平和压力传感器的输出信号,它的模拟量输入通道32路,采集速度5万次/秒,系统精度0.04%。模拟量输出控制调压阀系统,频率量输出控制模型姿态角系统,标准接口 IEEE-488和上位机通讯,传送命令和数据,所有软件固化在智能控制器的 ROM 中,它分析上位机送来命令指挥各部件工作。文章还介绍过程控制机在风洞测控系统中的工作过程以及使用后取得的良好效益。     

时频测量的新技术——相位重合点检测技术

近年来相位重合点检测技术和周期性信号参数测量各种高精度的方法在国内外得到了广泛应用。对这种新技术的基本原理、所派生的频率、周期、相位差和时间间隔测量方法作了介绍。这些新方法测量精度高,测量频率范围宽,设备构成比较简单,在时频测量领域将获得越来越广泛的应用,可能逐渐取代已有的某些测量技术,并可在其它量测量领域获得推广。     

非平稳信号的双重中值容错平滑算法

平滑是消除或削弱测量数据随机误差时常用的数据处理手段。文章建立了一组新的非平稳数据序列容错平滑算法，其采用两阶段两次滑动中值与滑动均值平滑组合，实现了数据简化与平滑的统一。理论分析和仿真计算结果证实，算法可有效避免斑点型异常数据的不利影响，有效削弱随机误差的影响，改进数据处理精度和数据处理结果可靠性。     

防静电白色热控涂层的空间环境性能试验

通过在氧化锌晶格中掺入重金属离子，得到具有防静电功能的白色颜料，再以丙烯酸树脂为粘合剂制备出空间飞行器外表面用的ACR－1防静电白色热控涂层；研究了空间环境效应（包括紫外辐照，电子和质子辐照）对该热控涂层太阳吸收率的影响并与有机硅白色热控涂层进行了比较，地面模拟空间环境试验研究结果证明，ACR－1防静电白色热控涂层具有良好的空间稳定性。     

动态系统的容错技术

所讨论的动态系统的容错技术包括故障检测、故障定位和系统重构技术。文中研究了基于数学模型的容错技术，讨论了因数学模型不准而引起的故障检测和定位不鲁棒的问题，提出了若干增强鲁棒性的方法，对故障后的系统重构问题也作了简要介绍。     

基于FPGA的高准确度数字频率信号源设计

介绍了直接数字频率合成技术的实现方法,分析了其优越的技术特性。根据其特性,利用FPGA设计了高准确度的数字频率信号源。仿真结果表明,与传统的信号源相比,使用该方法实现的信号源,其信号种类多,准确度高,满足测试设备数字化、软件化的趋势。     

动态保障结构下多级多层备件配置优化建模

针对作战编队执行长时间、远距离任务期间,编队后方保障站点变更的情况,结合部队维修保障的特点,基于可修复备件多级管理(METRIC)理论,通过计算编队剩余备件分布规律,建立了动态保障体系结构下基于时变可用度的三级两层备件保障模型。以备件储存空间为约束,可用度为目标,建立了分阶段边际优化模型。列举实例,采用分阶段边际算法对备件方案进行优化,对比分析了动态保障结构下和固定保障结构下装备可用度随时间的变化,并采用蒙特卡罗仿真方法对案例进行实验验证。案例结果表明:采取多个后方站点的保障方式能有效提高装备可用度;案例仿真实验结果与解析结果误差在4%以内。模型可为保障决策者制定备件方案提供辅助决策工具。     

一种基于余代数单子的Web服务形式化模型

为拓展服务计算的形式化研究视野、手段和方法，建立并实现了一种针对Web服务的服务计算形式化模型。鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将软件实体抽象成余代数单子，从而以一种黑盒方式给出软件服务的语义模型。给出了余代数单子的一般性定义，在此基础上对软件服务进行单子描述，进而提出一种基于余代数方法和单子技术的Web服务参考模型。最后，实现了一个基于单子的Web服务计算平台原型系统，可支持从遗留系统中进行服务抽取、发布、发现和度量等。     

Advances in fabrication of ceramic corundum abrasives based on sol–gel process

Corundum abrasives with good chemical stability can be fabricated into various free abrasives and bonded abrasive tools that are widely used in the precision machining of various parts. However, these abrasives cannot satisfy the machining requirements of difficult-to-machine materials with high hardness, high strength, and strong wearing resistance. Although superhard abrasives can machine the above-mentioned materials, their dressing and manufacturing costs are high. By contrast, ceramic corundum abrasives fabricated by sol–gel method is a cost-effective product between conventional and superhard abrasives. Ceramic corundum abrasives exhibit self-sharpening and high toughness. In this review, the optimization methods of ceramic corundum abrasive properties are introduced from three aspects: precursor synthesis, particle shaping, and sintering. Firstly, the functional mechanism of seeds and additives on the microstructural and mechanical properties of abrasives is analyzed. Specifically, seeds can reduce the phase transition temperature and improve fracture toughness. The grain size and uniformly dense structure can be controlled by applying an appropriate amount of multicomponent additives. Then, the urgent need of engineering application and machinability of special shape ceramic corundum abrasives is reviewed, and three methods of abrasive shaping are summarized. The micromold replication technique is highly advanced and can be used to prepare functional abrasives. Additionally, the influence of a new sintering method, namely, two-step sintering technique, on the microstructural and mechanical performance of ceramic corundum abrasives is summarized. Finally, the challenge and developmental trend of the optimization of ceramic corundum abrasives are prospected.