基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

正撞击下双层墙结构防护屏防护性能仿真研究

文章利用AUTODYN软件对铝合金球形弹丸正撞击双层墙防护结构进行了仿真研究,比较了双层墙防护结构中铝合金材料和复合材料防护屏的防护性能。结果表明:在相同的面密度和构型下,双层墙防护结构中铝合金防护屏的防护效果优于复合材料防护屏。     

数值仿真技术在热真空试验中的应用

由于热真空试验中温度测点有限,且关键部位布置困难,不能反映试验过程部件整体和关键部位的温度结果,导致试验有效性和产品安全性难以判断。通过数值仿真技术对试验过程进行模拟,得到所有部件详细温度场,验证试验有效性与产品安全性;发现影响产品温度分布的因素,研究提高产品可靠性措施。通过对某天线热真空试验过程模拟,得到天线详细温度场,并发现产品散热板安装＂不紧密＂缺陷,是影响天线温度均匀性的＂关键点＂。     

WCB钢阀体的铸造工艺模拟及改进

利用三维绘图软件Pro/Engineer生成WCB钢阀体的三维实体模型,运用铸造模拟软件Z-Cast对阀体进行流场和温度场的数值模拟,预测缩孔、缩松等缺陷产生的部位,并分析形成原因。通过Z-Cast软件对冒口、冷铁尺寸进行改进,优化工艺。模拟计算结果表明:改进工艺实现了顺序凝固,消除了缩孔、缩松缺陷,保证了铸件质量。     

推进剂贮箱金属焊接件疲劳裂纹对 应力强度因子影响的数值分析

卫星推进剂贮箱的焊接质量直接影响卫星的寿命和可靠性。文章通过仿真分析研究焊接残余应力对贮箱上已存在裂纹的影响。首先针对球壳模型和平板模型分别计算焊接残余应力,然后在应力强度值最大的危险区域引入裂纹,对不同角度和尺寸系数的裂纹对应力强度因子影响的数值和变化趋势进行分析。研究表明:起主要作用的是应力强度因子KⅠ;KⅡ受角度影响相对较大;KⅠ和KⅡ的最小值都在裂纹中心处;KⅢ基本随归一化裂纹前沿数值增加而增加。     

先进火箭仿真中心Rocstar程序概述

数值仿真是固体火箭发动机研制的一个重要手段。美国伊利诺斯大学先进火箭仿真中心开发的多物理场仿真程序Rocstar,可对固体火箭发动机工作过程进行三维多物理场耦合仿真计算,其程序代码现已开源。Rocstar由多个物理应用求解器和一套强大的集成框架组成,集成框架能够使独立运行的应用求解器在很小的改动下即可与其直接耦合。此外,集成框架还包含一系列用于多场耦合的服务工具,包括并行I/O、精确和守恒的数据传输、网格自适应、界面演化和整体并行配置。Rocstar采用MPI实现并行仿真,可在集群平台上进行大规模的仿真计算。     

一种内转式TBCC进气道气动设计及分析

提出了一种基于内转式进气道利用二元楔板转动的TBCC进气道可调设计方法及方案,进气道采用平动式模态转换装置,并对其不同来流马赫数及模态转换过程的气动特性开展了三维数值模拟分析,同时探究了进气道方转圆扩张段典型参数对进气道性能影响.结果显示:给出的可调进气道变几何方案解决了高马赫数气动性能与低马赫数起动性能的兼容问题,平...     

合成双射流控制水下圆柱绕流流动分离数值模拟研究

为了探究合成双射流激励器及出口射流参数对圆柱绕流流动分离的控制效果,首次对合成双射流控制水下圆柱绕流流动分离进行了数值模拟。数值计算结果显示:保持激励器出口射流振幅不变的条件下,出口射流频率等于尾迹涡脱落特征频率时,射流控制作用与绕流流场耦合效果最好,控制流动分离效果最佳;保持出口射流频率为尾迹涡脱落特征频率时,在数值计算测试范围内,随着射流振幅的增大,射流对于流场的动量掺混能力增强,控制效果也随之增强。机理分析表明:合成射流位于前驻点的控制,主要通过在圆柱前缘形成虚拟气动外型来达到减阻控制的效果;而合成射流位于后驻点的控制,主要是通过增强回流区的动量掺混来提高回流区抑制分离的能力,从而达到减阻控制的效果。     

高精度电磁标定力数值模拟及实验研究

高精度电磁标定力源是微推力测量系统的重要组成要素之一。为了获得性能优良的电磁标定力,本文综合采用数值模拟及实验测量两种方法分析研究了线圈和永磁铁相对位置变化时,磁铁几何尺寸对电磁力输出特性的影响：对于直径较大、厚度较小的永磁铁而言,其电磁力随相对位置的变化会存在极值,且极值点附近的电磁力具有较好的稳定性和一致性。根据电磁力变化趋势特性,提出了线圈和永磁铁相对基准中心（极值点）位置的高精度设置方案,且基准中心位置附近的电磁力变异系数可达0.00252,为高性能电磁力的获得提供了基础。最后,确定了大直径永磁铁+线圈组合型电磁力产生装置,并基于拟合方法建立了一定包络区间内的高精度电磁力控制关系式,其拟合曲线的估计标准误差约为0.0137,为微推力测量台架的标定提供了理论指导和技术支持。