反应堆保护系统AC160平台商品级物项适用性确认过程的探讨

用于核安全场合的设备传统做法是从核级供应商采购模拟设备或数字化设备,美国核电业界在合格核级供应商数量不断减少的情况下,逐步开始使用商品级物项适用性确认方法(CGD),把成熟商品级产品用于核安全领域;商品级数字化仪控设备因内嵌软件,CGD方法与传统模拟设备略有不同,软件的CGD包括评审开发过程的软件配置项控制、验证和确认活动以及测试活动等要求;文章综述了美国核法规规定的核安全设备的相关要求和NRC对于数字化设备CGD的接受方法和准则,并重点介绍AP1000保护系统AC 160平台的CGD实施过程和方法,有助于国内数字化仪控设备供应商的CGD工作的开展。      

基于ZigBee网络和超声定位的智能跟随小车

基于成熟的IEEE802.15.4协议和ZigBee无线模块,结合超声定位,设计了一种新颖的智能跟随系统。设计的核心为PIC18F4620单片机和MRF24J40MA无线收发模块,通过无线收发来完成节点间的识别与同步,同时以超声测距系统完成对被跟踪目标的定位,通过控制驱动电机动作实现对指定目标的定距离跟随。控制网络以子网的形式控制不同系统的分时定位跟随,同时管理各移动定位系统的入网和切换。样机测试结果表明系统达到了预期的跟随设计要求,具有一定的工程使用价值。     

基于倒立摆模型的四足机器人对角步态规划

为提高点着地四足机器人在匀速对角小跑过程中的动态稳定性,将对角小跑过程简化为一个倒立摆模型。针对四足机器人对角小跑过程中由于重心无法始终处于支撑对角线上所引起的翻转,在此模型中转换为由于重心引起的摆动角误差。采用虚位移原理对机器人摆动角的变化进行分析,确定不同重心运动变化对摆动角误差的影响并找到合适的重心起始位置,理论上能够使摆动角的误差为零。动态仿真实验验证了所提出的对角步态规划能够使四足机器人实现稳定的对角小跑的有效性。     

同步数字体系网管信息提取与插入系统的设计

现有的不同厂家的SDH设备网管信息不能实现互通,为了解决这一问题,提出了一种SDH网管信息提取和插入系统的软硬件设计方案,主要包括网管信息的提取和插入、HDLC数据的封装和拆封、利用主控制器和USB模块进行数据传输,从而实现网管信息的高速上传并在上位机实时显示和保存功能。最后对该系统进行了测试验证,结果表明该系统能分析不同的SDH设备网管信息,为网管信息互通提供了基础信息。     

机载预警雷达互扰分析

预警机组成编队时不同平台上的预警雷达间可能会有干扰产生, 因此需要研究预警机编队雷达电磁兼容问题;在分析预警机作战运用的基础上,建立了预警雷达在复杂电磁环境下的互扰模型,分别从干扰功率和探测距离两个方面对预警雷达相互干扰做了定量的分析,给出了预警雷达干扰计算方程并进行仿真验证;该模型能够在不需要设备进行试验的情况下对预警雷达之间以及同其他用频装备的干扰进行预测评估,从而对预警机的运用和电磁频谱管理提供有力的保障,保证预警雷达作战效力的发挥。     

精密离心机动态半径的定位测量技术研究

精密离心机动态半径是影响精密离心机输出加速度精度的主要参数。对于高精度精密离心机的研制,必须对动态半径进行精密测量,并将测量结果作为补偿分量加入到精密离心机输出加速度修正数学模型中,以获得精确的加速度信号,同时为精密离心机输出加速度的精确评定奠定基础。本文介绍了精密离心机动态半径的外基准定位测试技术,包括多个定位平台的定位测试技术论证、测试系统配置等。该方法已应用于某高精度精密离心机动态半径测量中,实测结果表明,采用这种测量方法,动态半径的测量标准差为σ=0.21μm,其测量精度满足高精度精密离心机研制的技术指标要求。     

基于混沌离散PSO算法的乙烯生产过程模型变量的选择

管式炉裂解技术是当今乙烯生产的主要技术,乙烯生产过程中有多种影响质量指标的变量,将全部变量参与建模显然会增加建模难度和复杂性,并且大量的冗余信息会降低模型的精度;针对这一问题,提出了基于混沌思想的离散粒子群(PSO)算法进行模型变量的选择;首先,采用混沌离散PSO算法得到建模的最优输入变量集合,再通过偏最小二乘法(PLS)对所选变量进行建模;结果表明,该方法可更有效地克服传统粒子群算法容易陷入局部最优的问题并建立较高的模型精度。     

某型火控雷达维修训练模拟器设计与应用

为了提高教学效果,减少实装损耗,加强新装备保障能力,研制某型火控雷达维修训练模拟器;该模拟器以网络化主控计算机单元为核心,由实装操作分系统、虚拟装备分系统、实装部组件分系统、动感分系统、联动分系统组成,具有操作训练、维修训练、武器系统联动训练及训练评估等功能,解决了新型雷达装备教学与训练中实装损耗大、装备数量少、训练效率低等问题;该模拟器已用于多个雷达专业的操作、维修、综合演练等教学实践中,与以往的训练设备相比可操作性好,应用范围广,教学效果明显;文中介绍了模拟器的功能结构、硬件设计、软件设计及其应用。     

基于动态粒子群优化的目标跟踪算法

目标跟踪问题的关键在于如何寻找与目标运动状态匹配的运动模型。交互式多模型算法的模型集是根据先验信息确定的,它不随时间变化而变化,并且要求在模型集中任意时刻都存在描述目标运动模型。在实际中需要大量模型来描述运动。将粒子群优化和变结构多模型算法相结合,不仅能充分利用系统的实时量测信息,还能根据其先验信息调节优化算法结构。仿真表明,运用动态自适应粒子群优化算法实现模型集自适应,可以提高目标跟踪的精度和实时性。     

机器人控制系统关键模块的形式化验证

随着机器人应用在越来越多的领域,人们对其安全性的要求越来越高,作为机器人的核心,控制系统设计的可靠性对整个系统的安全至关重要;针对一种模块化设计的机器人控制系统架构,利用xMAS(eXecutable MicroArchitecture Specification,可执行微架构描述)模型在定理证明器ACL2中对其功能正确性进行验证,首先对Xmas在ACL2中的形式化理论做了阐述,然后对该机器人控制系统中的加速度传感器数据采集模块建立xMAS模型,提取关键属性并进行验证;将xMAS模型和定理证明器ACL2相结合,可以很好地解决机器人控制系统的验证问题,为机器人控制系统的形式化验证提供一个有效的方法参考。