嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.     

基于OPNET的CAN网络建模与仿真

为分析控制器局域网(Controller Area Network, CAN)协议,评价CAN网络性能,提出在OPNET网络仿真环境中CAN网络模型的建模方法.采用网络层次化建模方法构建节点模型.介质访问控制(Medium Access Control, MAC)子层中设计MAC、错误处理和帧间空间模块,保证系统结构清晰.通过进程设计,MAC模块中实现了网络实时性模型;错误处理模块中实现了连续错误下网络不可用模型.定义和编辑链路及数据帧模型.根据实例模型进行网络模型的配置和仿真.仿真结果与实例测试结果一致,验证了网络模型的有效性.通过分析具体网络仿真环境下的仿真结果,对CAN网络性能进行了讨论.该模型提供了独立可编辑的节点模型,链路模型和数据帧模型,可实现灵活的网络配置,用于不同网络拓扑分析.     

任意寿命分布的多部件系统备件配置优化算法

针对部件服从任意寿命分布的多部件系统,提出了基于蒙特卡罗仿真-边际效益分析的备件配置优化算法,采用蒙特卡罗仿真方法计算备件供应效能值,在此基础上引入边际效益分析法确定备件的优化配置.算例中以供应延误时间为供应效能目标值,以费用为约束条件,得到了由若干指数寿命件、正态寿命件和威布尔寿命件组成的多部件系统的备件优化配置清单,并对算法进行了比较验证,结果表明该算法对于解决复杂系统的备件优化配置问题具有良好的适用性.      

基于μ分析的鲁棒特征结构配置飞行控制律设计

针对特征结构配置应用于飞行控制律设计鲁棒性较差的问题,提出了一种新的鲁棒特征结构配置方法.该方法结合参数化特征结构配置与μ分析,把鲁棒特征结构配置问题转化为包含系统全部自由参数的带约束条件的非线性优化问题.根据飞行控制律特点,提出分步优化策略解决鲁棒特征结构配置多变量优化问题,以降低问题复杂度,同时采用等值分布曲线直观描述优化指标随设计参数变化规律.该方法利用系统全部自由度提高系统鲁棒性,并对自由参数施加约束条件以保证标称闭环系统性能.仿真表明该方法能满足一级飞行品质要求,提高系统鲁棒性,减小保守性.     

Robust eigenstructure assignment based on μ-analysis applied to flight control law design

针对特征结构配置应用于飞行控制律设计鲁棒性较差的问题,提出了一种新的鲁棒特征结构配置方法.该方法结合参数化特征结构配置与μ分析,把鲁棒特征结构配置问题转化为包含系统全部自由参数的带约束条件的非线性优化问题.根据飞行控制律特点,提出分步优化策略解决鲁棒特征结构配置多变量优化问题,以降低问题复杂度,同时采用等值分布曲线直观描述优化指标随设计参数变化规律.该方法利用系统全部自由度提高系统鲁棒性,并对自由参数施加约束条件以保证标称闭环系统性能.仿真表明该方法能满足一级飞行品质要求,提高系统鲁棒性,减小保守性.     

自动测试系统集中互连信号优化设计

基于对自动测试系统被测设备的信号种类及数量的分析,构建了被测对象测试信号数学模型,分析了不同测试模式下的测试资源需求情况,并从提高测试系统性价比这一基本原则出发,提出了自动测试系统硬件平台测试资源优化配置的理论计算方法,对自动测试系统的工程设计具有指导意义。     

数据链测试仿真评估中的信道与链路干扰仿真技术

信道和链路干扰仿真是数据链测试仿真评估系统的关键技术之一。在局域网下模拟数据链系统真实运行的无线环境的非理想特性,需要对典型应用环境的信道条件、干扰特征进行分析和建模,仿真验证数据链系统在不同环境条件下的性能。本文首先分析了几类常见的信道和链路干扰仿真工具相关模块的原理和机制,研究并提出了传输时延、信道与链路干扰、链路级仿真方法及方案,并对几个关键问题进行了分析并提出解决方案。该研究在数据链测试仿真评估系统中的验证效果良好,能够为数据链系统可靠性、稳定性提供无线信道和链路干扰模拟工具,从而为数据链系统的设计提供参考和依据。     

数据链测试仿真评估中的信道与链路干扰仿真技术CSCD

信道和链路干扰仿真是数据链测试仿真评估系统的关键技术之一。在局域网下模拟数据链系统真实运行的无线环境的非理想特性,需要对典型应用环境的信道条件、干扰特征进行分析和建模,仿真验证数据链系统在不同环境条件下的性能。本文首先分析了几类常见的信道和链路干扰仿真工具相关模块的原理和机制,研究并提出了传输时延、信道与链路干扰、链路级仿真方法及方案,并对几个关键问题进行了分析并提出解决方案。该研究在数据链测试仿真评估系统中的验证效果良好,能够为数据链系统可靠性、稳定性提供无线信道和链路干扰模拟工具,从而为数据链系统的设计提供参考和依据。     

宽带高性能SMA匹配负载的研制

本文介绍一款高性能SMA匹配负载的设计、制作及测试。匹配负载制作难点在于高性能微波电阻选型、过渡段匹配设计及电阻段外导体渐进线设计。本文应用CST仿真软件对产品结构进行整体仿真,优化得到合理结构。仿真中应用TDR模块“看见”结构找到不匹配点。产品测试达到设计目标：DC～18GHz,驻波比小于1.07。测试结果验证设计方法有效性。     

基于三维场路协同方法的静电损伤仿真测试平台

静电放电已经逐渐成为导致各类电子设备故障的主要原因之一,在电子产品研制过程中通常采用实物测试方式检验产品抗静电能力,但该方式耗费资金过大、可重复性差同时易损伤受试设备。在这种情况下,建立基于三维场路协同方法的静电损伤仿真测试平台有效地解决了上述问题。该平台以电脑仿真技术（CST）软件为基础,通过构建静电放电枪模块,结合受试设备模块和仿真参数设置模块,以时域有限积分法求解器进行仿真,并利用数据输出和处理模块得出结果。利用建立好的仿真测试平台对一台数据传输设备进行8 kV接触放电,观察其表面电流和磁场分布,并对其造成的传导干扰和辐射干扰进行分析。通过建立静电损伤仿真测试平台,实现了静电放电测试的可重复以及无损伤的目的,具有较强的工程指导意义。      

一个拼音汉字自动转换系统的设计与实现

给出了拼音汉字转换的定义，并建立了一个带调拼音词句到汉字语句的自动转换系统。它由五个部分组成，自动分词模块，词法分析模块，句法和语义分析模块，语义修饰模块和显示模块。其中句法分析是系统的核心，在比较各种方法的基础上选择了扩充转移网络模型，使ＡＴＮ的优点和音字转换的特点得到较好的结合，测试结果表明，系统的正确转换率达到９７％。     

航天器模块划分数值优化方法

对航天器模块划分主要依靠经验和定性方法的问题,构建了一种通用的模块划分数值优化方法。利用功能分解方法、相关性评价准则、设计矩阵与设计结构矩阵（DesignStructureMatrix,DSM）同步演化的机制获得了基于功能元的数值DSM;基于DSM构建了遵循公理化设计原理的通用优化模型;利用遗传 模拟退火算法获得了可对模块划分方式及数目进行同步优化的模块划分方法;给出了不同于优化目标的评价方法。仿真结果表明,该方法可将航天器划分为一系列内聚度高、耦合度低的模块。     

返回舱垂直自由入水砰击过程的数值模拟

文章数值研究返回舱垂直自由入水砰击过程中水气流场与返回舱运动之间的动力学与运动学耦合问题。水气两相流的流动方程选为非定常雷诺平均Navier-Stokes(URANS）方程和Realizable k-ε湍流模型,返回舱的运动方程选为刚体的一维平动方程,水气交界面的追踪采用流体体积函数（VOF）方法,返回舱与水面之间的相对运动采用动网格技术实现。在计算方法得到试验验证的基础上,数值研究了返回舱的不同触水速度、质量对入水过程中砰击力、加速度等参数的影响规律;给出了入水过程中加速度峰值与触水速度及质量之间的定量关系式;发现了返回舱底部的入水砰击压强峰值发生在入水初期,且压强峰值始终位于喷溅射流的根部。     

基于ASIC技术的1553B IP核的设计

针对卫星轻小型化的应用需求和现有1553B总线接口设计存在缺陷的问题,提出一种面向航天器综合电子的1553B总线协议ASIC芯片设计方案,并介绍了自主研发的1553B协议IP核设计. 1553B IP核采用自顶向下的设计方法,使用Verilog硬件设计语言进行编程,实现了1553B总线中的总线控制器BC和远程终端RT功能. 分别从1553B IP核总体框架、BC/RT共享模块、BC功能模块和RT功能模块详细介绍了IP核的设计.1553B IP核设计完成模块仿真验证、ASIC芯片系统仿真验证和FPGA验证,通过DDC的1553B板卡对设计进行验证,误码率小于10-9. 实验结果表明,本IP核设计具有可靠性高、可移植性强、资源占用少、实时性好的特点.      

卫星分舱热真空试验方法

文章论述了“资源一号”卫星第二颗星进行分舱热真空试验的方法,分析了分舱热真空试验与整星热真空试验的不同点,以及该试验技术的关键和难点;试验结果表明首次分舱热真空试验获得了成功,达到了预期的试验目的;最后讨论了实现分舱热真空试验的基本要求。     

可见光/激光组合的相对位姿测量研究

针对可重构航天器模块超近距离对接场景下特征点消失问题,提出一种可见光/激光的高精度相对位姿测量方法。该方法先通过可见光/激光组合对初始相对横滚角误差进行校零,完成粗校准环节;然后通过激光二维双镜反射法进行精确的相对位姿解算,获得高精度相对位姿数据。仿真结果表明,在现有技术条件下,该方法在模块相对距离在100cm内可不依赖视觉特征点,实现±1.2mm和±0.03°的相对位姿测量精度,为模块航天器对接后续的超近距离高精度位姿控制奠定基础。     

登月舱上升段最优轨迹设计

为了实现登月舱上升段轨迹的优化,建立了上升段登月舱动力学模型,用单位归一化技术建立了最优控制模型,并以燃料消耗为最优指标,利用Pontryagin极小值原理,将问题转化为时间自由的两点边值问题 TPBVP 。采用了一种基于初值预估方法和向前扫描法求解TPBVP,从而设计出登月舱上升段最优轨迹,并进行了数值仿真。仿真结果表明所设计的算法收敛速度快、可靠性高。