您的位置: 专家智库 > >

孟小丰

作品数:6 被引量:10H指数:2
供职机构:北京航天自动控制研究所更多>>
相关领域:自动化与计算机技术航空宇航科学技术更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 5篇自动化与计算...
  • 3篇航空宇航科学...

主题

  • 3篇控制软件
  • 3篇控制系统
  • 2篇自动生成
  • 2篇飞行
  • 2篇飞行控制
  • 2篇飞行控制软件
  • 1篇代码
  • 1篇代码自动生成
  • 1篇动态特性
  • 1篇软件测试
  • 1篇频率特性
  • 1篇自动化
  • 1篇自动化测试
  • 1篇自动生成系统
  • 1篇网络
  • 1篇过程管理
  • 1篇反算
  • 1篇飞行软件

机构

  • 6篇北京航天自动...
  • 1篇中国科学院研...
  • 1篇北京航天光华...

作者

  • 6篇孟小丰
  • 2篇李兰兰
  • 1篇马卫华
  • 1篇刘立辉
  • 1篇李丽萍

传媒

  • 4篇航天控制
  • 2篇质量与可靠性

年份

  • 1篇2023
  • 1篇2022
  • 1篇2015
  • 1篇2011
  • 1篇2008
  • 1篇2006
6 条 记 录,以下是 1-6
排序方式:
控制系统飞行软件诸元自动生成系统设计及应用被引量:1
2011年
针对目前某型号仍然采用手工方式生成飞行软件诸元的现状,提出了自动生成飞行诸元的解决方案,脱离具体型号限制,设计了通用的诸元生成系统框架,主要实现了诸元数据库定制、诸元数据库转换、诸元源文件自动生成和诸元数据正确性验证等4个关键技术,完成了诸元原始数据到诸元目标文件的自动转换,大大提高了控制系统飞行软件诸元的生成效率和可靠性。
李兰兰孟小丰
关键词:控制系统飞行软件自动生成
一种基于流程配置的软件过程管理方法研究
2023年
针对软件项目管理的现状,采用集成化管理方法,提出了一种基于流程可配置的软件过程管理方法,并对该方法进行了详细的分析,在此基础上根据实际的业务进行了一定的应用研究。该方法具有针对不同使用环境的快速适应能力,具有较强的实用价值。
孟小丰李兰兰张梦
关键词:过程管理
飞行控制软件复杂算法测试验证方法研究被引量:1
2022年
飞行控制软件作为控制系统的核心软件,涉及大量复杂的数学运算。采用反算验证比对是该类算法验证的常用测试方案,但是在实践过程中也呈现出测试能效比低、验证方案缺乏连贯性的问题。对此提出一种复杂算法验证方法,可极大提升反算验证方法的测试效果和自动化程度。以飞行控制软件的算法特点带来的测试难点为解决问题的出发点,通过采用全数字虚拟环境,实现飞行控制软件与反算验证程序二者的同步运行、同步注数、同步输入和同步状态转换,解决了传统环境结果观测量获取存在局限的弊端,最大程度地规避了环境对计算精度影响的外部干扰因素;同时该方案设计了轻量级反算验证框架,使反算程序代码与文字描述公式高度一致,大大降低了对开发人员的要求,实现了测试结果的自动化判读。
孟小丰杨娇茹冉红艳
关键词:自动化测试
控制系统飞行控制软件重用技术研究被引量:4
2006年
探讨了航天型号控制系统飞行控制软件的重用技术。结合航天型号控制系统飞行控制软件的研制现状,针对现行软件开发过程中存在的问题,按照代码重用、任务重用以及代码自动生成的思路阐述了飞行控制软件的重用应用。
孟小丰马卫华
关键词:控制系统飞行控制软件
数字校正网络动态特性的软件测试方法
2008年
为检验数字校正网络软件实现的正确性,本文给出了一种利用数学方法实现对网络频率特性进行软件测试的方法,并对该方法进行了详细的理论分析,在此基础上进行了某型号软件的频率特性测试,结果表明,该方法避免了硬件测试的繁琐工作及不稳定性,且不受硬件条件及环境限制,具有实用价值。
孟小丰
关键词:网络软件测试频率特性
基于代码自动生成的计算机辅助系统设计与实现被引量:4
2015年
主要探讨航天型号中的时序控制软件的辅助生成,结合航天型号时序控制软件的研制现状,针对现行软件研制过程中存在的问题,设计实现基于自动生成的计算机辅助系统,代替人工生成模式,切实提高航天工程中软件的研发效率和可靠性。
李丽萍孟小丰刘立辉
关键词:控制系统自动生成
共1页<1>
聚类工具0