飞行控制软件测试中的插桩技术

插桩技术是软件测试中常用的关键技术之一.插桩技术应用在飞行控制软件测试中所遇到的一个严重的问题是其带来的额外开销将导致原程序的实时性下降甚至软件的失效.针对该问题,提出了一种基于布尔型存储数组的新的插桩方法.与传统方法相比,该方法优化了插桩的内容,降低了插桩对程序实时性的影响.搭建了一个仿真测试平台并以某型飞行控制软件为实验对象验证了该方法的有效性.实验结果表明该方法大大减少了插桩后程序的运行时间,保证了飞控软件的实时性要求.     

CNC软件圆弧插补算法的分析与研究

快速而准确的圆弧插补算法一直是人们努力追求的目标。本文在深入分析了五种圆弧插补算法的基础上，把它们归纳到统一的理论依据之下，并就人们在理论方面研究甚少的插补运算的速度和插补轨迹精度问题进行了深入的分析与理论推导。同时，通过在计算机上对各种插补算法在插补运算速度和插补轨迹精度两方面的实际测试、验证与分析比较，提出了最佳择优方案，并在实际应用之中取得了满意的效果。     

插补前S加减速在CNC前瞻中的应用

计算机数字控制系统(CNC)中的速度前瞻处理可以在不影响插补轨迹精度的前提下极大地提高插补效率.针对前瞻算法中速度处理这一核心问题,分直线转接和圆弧转接2种情况分别建立了插补几何元素转接矢量夹角模型,并给出了一种基于插补前S型加减速的CNC速度前瞻算法.该算法根据设定的最大前瞻段数以及实际插补轨迹的几何特性,能够自适应确定轨迹的转接速度近似最优解,从而实现路径段之间进给速度的高速衔接.S型加减速由于在加速阶段和减速阶段均引入了加速度衰减,使得整个插补过程具有了高度的柔性.因此结合前瞻算法和S型加减速算法在高速加工时速度处理的优势,提出并实现了一种基于插补前S型加减速的CNC前瞻算法.该算法已经在工程实际中得到了验证.      

高速缓存影响的航天器控制软件调度设计方法

针对高速缓存引起的程序执行时间抖动对航天器控制软件任务调度造成的困难,提出一种基于循环调度的调度设计方法,该方法利用任务程序执行时间的概率分布设计具有不同可靠性的系统模式,通过模式切换,使处理器得到充分利用,同时能够提供一定的可靠性保障,为航天器控制软件的任务调度提供参考.     

运载火箭三冗余飞行控制软件的数字仿真设计

提出了一种采用三冗余技术保证运载火箭飞行控制软件可靠性的设计方案,选择合适的冗余模式建立了三余度飞控软件的数字仿真平台,并给出了实现余度策略、同步算法等关键技术工程的软件流程。测试结果表明,该方案设计合理,不仅较好地完成了飞控计算机的余度管理任务,而且有效地保证了系统的可靠性与容错能力。     

空间飞行器控制软件的动态自适应演化方法

空间飞行器在太空飞行过程中需要满足多任务、多工作模式以及大范围机动的需求,其控制系统在大范围机动飞行条件下存在大量的外界干扰和内部参数不确定,同时飞行器的自适应过程受限于资源,人工干预难度大,并且现有的成熟的动态自适应方法并不一定适合空间飞行器控制软件进行自主控制,所以目前对自主控制系统软件的动态自适应调整方法提出了更...     

基于模型化配置的星务自主控制软件设计与应用

卫星互联网正成为一种空间基础设施展开建设,大规模卫星发射的需求与地面运控管理任务指数型增长之间的矛盾日益突出,特别是对于低轨长期处于测控不可见弧段运行,其自主生存需求更为急迫,而星务自主控制功能是实现自主运行和生存的重要组成.本文通过参数装订、逻辑子层和数据交互模块的架构设计,提出一种基于模型化配置的自主管理软件系统框架,并针对核心逻辑子层,建立遥控主动模型、遥测主动模型以及数据融合交互控制模型,实现星务自主管理软件的快速研制,解决自主运行功能常会随设计深入和试验验证不断功能扩展的问题,提高星务自主控制软件的灵活性.通过卫星故障检测和恢复(FDIR)自主管理功能的设计进行了验证.结果表明该软件系统设计框架能够满足星务自主控制功能设计,具备可扩展能力,为进一步提升卫星的智能化水平奠定基础.     

基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过...     

一种新的圆弧插补算法—角度逼近法

提出了一种新的圆弧插补算法——角度逼近法。分析了该算法的计算精度,并将该算法与其他圆弧插补算法进行了比较。     

适合多种机床结构的数控系统5坐标变换库

研究了适合多种结构布局形式的统一坐标变换方法,开发出数控系统5坐标变换函数库,并作为坐标变换控制模块集成到数控系统中.分析了5坐标数控机床运动学模型,归纳出12种5坐标数控机床结构布局,并推导了对应的坐标变换数学算法.通过结构分析和数学变换将12种算法扩展归纳到3类基础算法,并基于3类基础算法开发出适合多种机床结构布局的5坐标变换库.利用机床三维仿真系统验证了5坐标变换库的可行性,并将该坐标变换库集成到北京航空航天大学开发的CH-2010开放式数控系统中.     

通用数控位置环设计

本文提出并研究了一种通用的数控位置环系统,它以计算机外设方式工作,计算机通过该系统可以同时控制3～6个直流电机驱动的坐标轴运动。系统本身带有细插补、软限位、速度限制和报警诊断等功能。该装置特别适用于高性能及有特殊要求的CNC数控机床控制系统、工业机器人控制系统和柔性制造系统(FMS)的工件及刀具运输设备。     

双机捷联惯导系统管理软件研究

本文着重讨论了捷联惯导系统双主机计算机系统结构的管理软件设计与实现问题,给出了完整的管理软件设计方案,对于双主机所特有的资源共享问题做了介绍,引入命令信箱概念来实现两主机之间的命令传递。同时,本文管理软件还包含了在实际地面测试时,实现捷联系统计算机与地面PC机的通讯功能。本文管理软件的另一大特点是运用了PL/M-86与ASM-86,Turbo C与MASM的混合语言编程技巧,充分发挥了各种语言的优点。本文的管理软件已在实际系统中应用。     

地球静止卫星南北位置保持控制系统的选择

简述了地球静止卫星南北位置保持控制系统的要求，然后比较了化学推进和电推进控制系统的特点，并较具体地分析了几种典型的电火箭发动机的性能和发展水平。在此基础上提出了作者对地球静止卫星南北位置保持控制的选择原则和看法。     

Ada软件测试与认证模型及支持系统

首先讨论Ａｄａ软件测试与认证模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构、功能和特点．     

返回式卫星数字姿态控制系统及飞行试验结果

简要介绍我国返回式卫星上用的计算机数字姿态控制系统的方案;重点阐述姿态确定和相平面控制律的设计方法;最后简述飞行试验的结果。     

人工肌肉夹持力的变结构控制

本文推导了一种气动人工肌肉系统的数学模型。探讨了用变结构系统理论实现人工肌肉夹持力控制的方法。给出了仿真和实验结果。人工肌肉既可以输出力(力矩),又可以调节刚性,是一种在柔顺运动控制中很有应用前途的新型作动器。     

一个模糊软件可靠性模型的进一步确认

事实已经表明,概率方法在软件可靠性建模中遇到困难。本文介绍一个有效性业已初步确认的模糊软件可靠性模型。通过分析一个实际飞控软件的可靠性行为,进一步确认该模型的有效性。     

倾斜转弯导弹制导与控制系统评述

本文简要地介绍了倾斜转弯导弹的发展史,国内外目前研究的状况以及发展前景。同时评述了倾斜转弯导弹制导规律及自动驾驶仪中的关键技术和存在的问题。