与仪器无关的测试软件框架允许硬件和软件重用

我们正从面向目标的软件执行过程得到收益,该软件的执行是ABBET（IEEE-1226）面向信号的测试框架。在工厂中,我们开发出了测试软件。该软件中没有测试设备的任何仪器知识,因此,我们现在能选择是否在运行前采用IEEE-488数字万用表或VXI示波器或手动数字万用表来测量电压,当仪器陈旧时,我们能够在不影响测试软件的同时在不同试验设备上或采用不同种类的仪器来运行测试软件,我们能够在不影响几个测试软件构型的情况下在多导工厂中修改仪器,其中测试软件是由几个分立组织控制的,使用由IEEE-488仪器组成的测试设备框架开发的一组测试可以很容易地迁移到基于VXI的标准测试设备中,除硬件独立性而外,框架支持高度抽象的测试语言,这种语言允许创造无显著特点的测试方法。这种方法在很大程度上使再使用程序中的测试算法的努力变得容易。     

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

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

基于增量-迭代算法的SABRE系统非线性分析流程设计

随着大型复杂装备结构分析的非线性问题日益突出,基于线性理论的有限元分析方法已难以满足复杂工程结构设计与研制需求,必须借助非线性有限元方法来获得结构的全状态力学性能。鉴于工程结构对非线性有限元分析的迫切需求,在新架构下的自主CAE软件SABRE系统中,基于增量-迭代算法研发了非线性有限元计算流程和相应的功能模块,初步实现了结构非线性分析功能。数值算例表明,研发的分析流程具有较高的精度,可进一步基于该流程进行功能的扩展和性能的提升。     

CFD软件可信度评价知识库系统构建研究

针对气动数值模拟及可信度评价对知识库建设的迫切需求,综合调研并对比分析了国内外不同CFD知识库发展现状、知识库构建等相关技术,同时结合构建的气动力/热CFD软件可信度评价知识体系,重点开展了基于Wiki的知识库构建技术研究和基于Neo4j图数据库的知识图谱构建研究,形成基于开源Wiki框架的气动力/热CFD软件可信度评价知识库原型系统的建设方案。在此基础上,从制定知识入库流程、确定权威知识来源、制定标准档案模版、组织知识评审机构等四个方面明确了知识库建设的基本原则,确保知识库系统建设工作顺利展开,并为CFD知识库的后续发展提供应用示范和技术储备。     

基于动态库的星载软件可重构设计与实现

针对卫星在轨运行、长期处于无人值守状态,主要依靠星载软件的安全性和可靠性来保证整星任务的稳定工作.复杂多变的空间环境可能会引起星载器件的异常变化,从而导致星载软件异常,甚至发生软件"衰老".本文在分析现有可重构方案基础上,提出了一种利用动态库的静态链接方式实现在轨可重构的方案,针对存在软件缺陷,或者需要功能升级和拓展的...     

航空活塞发动机爆震抑制方法

某型航空活塞发动机在运行中多次发生爆震故障,已有研究认为该型发动机全油门燃油流量低于64 L/h是其爆震的主要诱因,但实践中将该型发动机全油门燃油流量增大至71.9 L/h后仍然有爆震故障出现,表明该型发动机的爆震并非单一诱因。为探索该型发动机爆震的可靠抑制方法,利用EGView软件分析典型故障例数据,查找可能的隐藏诱因并采用控制变量法进行实践测试,结果表明：发动机巡航转速偏低是该型发动机爆震的另一重要诱因,并证实了全油门偏富油对该型发动机的大功率爆震倾向具有抑制作用。根据实践测试结果提出控制该型发动机全油门燃油流量不低于66 L/h和发动机巡航转速不低于手册规定2500～2525 r/min（推荐按上限设置）的解决方案,经6万余飞行小时的实践验证表明该型发动机的爆震故障已被可靠解决。     

基于软件细分的两相步进电机驱动器设计

针对常见的两相混合式步进电机驱动器细分数比较固定,无法灵活调整的问题,根据两相混合式步进电机细分控制原理,设计了一种以STM32F103和DRV8841为硬件结构的细分驱动器。该细分驱动器存储Matlab中事先计算好的数据,以软件细分的方式,利用PWM技术实现了对步进电机的细分控制。在不更改硬件的情况下,驱动器可以实现细分数和绕组电流大小的灵活设置,系统成本较低。实验表明,该细分驱动器对步进电机的细分控制效果较好,可以实现电机运行平稳、无明显噪声,且具有较高的定位精度。     

无喷管助推器非定常动边界内流场数值模拟

无喷管助推器依靠药柱的扩张面实现对气流的加速,燃面的线性增加及喉面的指数增加,使其内流场呈现明显的非定常性;侵蚀燃烧、压强的不均匀分布及药柱变形,使无喷管助推器的工作过程十分复杂。通过对FLUENT软件进行二次开发,建立了无喷管助推器的非定常动边界内流场数值模型,考虑了推进剂的点火过程和侵蚀燃烧,可获得各个时刻的燃面位置及内流场分布,从而可对发动机的内弹道性能进行较准确地预示。通过对某无喷管助推器的工作过程进行模拟,内弹道计算曲线与试验曲线吻合得较好。     

基于ANSYS的薄壁件反重力铸造充填形态的数值模拟

介绍了CFD的基本原理以及有限体积法的概念,采用ANSYS 6.0进行网格划分和控制方程的计算,模拟了不同壁厚、不同充型速度下薄板铸件的反重力充型形态,得出了壁厚,充型速度对充型形态的影响规律。     

控制系统通用综合测试系统组建研究

在分析系统需求和基本功能的基础上 ,采用VXI总线技术、远程测控技术和测试应用程序自动生成等关键技术 ,按照综合测试的总体要求进行系统集成 ,组建控制系统通用综合测试系统 ,包括系统硬件和软件方案 ,对系统的硬件结构方案、模件选型以及软件流程、组成和作用进行了详细讨论。