嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

转子叶片碰磨故障诊断的叶端定时方法

叶端定时技术是近年来兴起的可用于整级叶盘健康监测的非接触式测量技术,为转子叶片振动的在线监测与故障诊断提供了可能。针对转子叶片常见的碰磨故障,分别建立了单叶片与整级叶盘动力学模型,分析了上述两种模型在碰磨故障下的叶尖动态响应;提出了受碰磨影响较为明显的振动指标;阐述了碰磨状态下传感器之间及叶片之间的叶端定时信号特征,通过增强稀疏分解算法对叶端定时欠采样信号进行了特征提取;提出了一套用于诊断碰磨故障的流程。通过自主搭建的碰磨试验台验证了提出方法的有效性。     

超大口径环形天线包带展开过程动力学仿真

中间柔性包带是环形可展开天线的重要组成部分.中间包带拔销器解锁后,复材包带与环形桁架同步展开.因复材包带柔性较强,它会绕根部固定端进行回弹,因此展开过程存在金属接头和桁架上复材薄壁管件碰撞风险.随着天线口径增大,该风险会持续增大.基于柔性多体动力学理论对超大型口径环形可展开天线包带展开过程进行动力学建模仿真,并在此基础...     

基于虚拟测量的涡轮叶片气膜孔误差分析方法

气膜冷却是在涡轮叶片的表面轮廓上设计大量孔径0.1～0.8mm、孔深3mm以上的微小通孔,通过微小孔内对流,在部件表面形成薄层冷气膜,以达到隔离高温燃气流保护部件的目的.气膜孔具有孔径小、数量多、深径比高、空间角度复杂、质量要求高等特点,目前尚未有其精确检测的理想方案.本文面向叶片气膜孔精确测量需求,提出了基于虚拟测量...     

考虑高斯能量分布的复杂表面航天器激光雷达散射特性分析

针对复杂表面航天器在激光雷达照射下散射特性模拟不准的问题,通过表面建模和激光特性修正进行了解决。该方法首先通过高斯能量分布法对激光光束模型进行修正;然后基于有限元的思想,针对航天器复杂表面非光滑、非连续以及多材质等特性,利用改进Z-buffer的消隐算法解决了复杂航天器表面建模问题;最后建立了面向激光雷达的复杂表面航天器激光雷达散射截面的计算方法。仿真分析表明:航天器不同姿态下的激光雷达散射截面精度提升了14.58%,为后续面向激光雷达的隐身设计奠定了基础。     

基于前馈神经网络的柔性连续臂建模与仿真

柔性连续臂的设计研究近年来取得重大进展,但其建模研究一直相对滞后。为此,文章对柔性连续臂进行运动学建模研究,提出使用临时姿态矩阵求解逆运动学的方法,解决了逆运动学不易收敛的问题;利用前馈神经网络对基于模态振型函数（MSF）的模型进行拟合,建立一种端到端的正运动学模型和逆运动学模型,在保证模型精度的同时,显著提高了其逆运动学求解效率。该模型可以灵活更改前馈神经网络输入输出神经元的数量,从而将自身迁移到多节模型中。     

近场分析法在航天器磁测试中的误差因素及精度评估

航天器磁性测量误差因素及精度评估与航天器结构尺寸、磁矩量级、内部磁性分布特征,以及所用的磁测试方法和测试设备等有密切关系。近场分析法是航天器磁偶极矩测定中经典有效的测试方法。文章就该法在航天器磁测试中的系统误差、随机误差因素及精度评估逐一进行详细论述和深入剖析;针对中大尺度航天器正置态磁测试中垂向磁矩测试结果存在的误差,提出提高测试精度和改进误差评估的有效方法和措施;给出航天器磁测试有效性综合评估的基本条件和评判标准,得到不同尺度航天器磁测试误差的预估参考范围。文章所述航天器磁测试误差因素及精度评估技术对于提高航天器磁测试精度、有效控制航天器磁性具有指导意义。     

基于标准磁块模型的赤道作图法误差分析

赤道作图法是卫星及其部件磁矩测量和计算的主要方法,其测试结果受到多种因素的影响。文章首先介绍赤道作图法（亦称近场分析法）的基本原理,分析该方法在测量和计算磁矩过程中的部分误差来源;然后基于标准磁块模型研究模型磁偏心距、环境磁场波动与赤道作图法测试误差的关系;同时提出近远场梯度差分的方法以提升磁矩计算结果的准确度。利用改进方法对标准磁块模型进行测量和数据处理的结果表明,该方法的测量（计算）误差可控制在3%以内。     

超弹性N形杆纯弯曲力矩理论建模和试验验证

为了使N形杆在空间结构中顺利展开,对其缠绕过程中的力学特性进行了分析.基于协变基向量法建立了纯弯曲条件下各向同性单片带簧在缠绕时应变能理论模型,并采用最小势能原理推导了弯矩的理论模型,然后通过拟合曲率推导了N形杆缠绕时的理论模型.研制了4根N形杆样件,并搭建了试验平台,使用数显式推拉力计分别对杆件在缠绕过程的拉力进行了...     

某型机翼内翼结构几何优化设计

某型机翼内翼结构布局优化模型,包括两类设计变量:位置变量和尺寸变量。本文利用PCL语言实现了在MSC.PATRAN环境下的参数化建模,以最小重量为目标函数,在强度和位移约束条件下,利用网格法进行位置寻优,并使用MSC.NASTRAN软件给出了最优尺寸变量。通过计算表明,本方法效率较高,结构重量稳定下降,优化效果明显。可以解决此类工程问题,具有一定的实用价值。