航天嵌入式软件缺陷的分类方法

软件缺陷分类是软件缺陷管理的基础.介绍了软件缺陷的概念,对几种软件缺陷分类方法进行了分析和比较.结合航天嵌入式软件研制流程和缺陷类型分析,提出了一种航天器嵌入式软件缺陷的分类方法,对于缺陷类型和实现与编码错误子类型给出了详细的分类方法.     

一种“白黑白”盒混合型航天器软件单元测试技术

软件测试是软件质量保障的基础,而单元测试是软件测试中不可或缺的重要环节.充分的单元测试对发现和排除软件中的缺陷非常有效,并且花费成本较小.基于航天器软件其较高的软件可靠性、健壮度等设计要求特点,归纳总结航天器软件单元测试的常见典型问题.结合航天器软件单元测试的具体实践,提出了"白-黑-白"盒混合的单元测试方法,旨在提高单元测试的质量与效率,从而保证航天器软件可靠性.     

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

开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过程.同时,建设航天器控制领域通用模型库来提高成熟算法模型的复用效率及自动生成代码可靠性.本方法研究为推进航天器控制软件向模型驱动开发方式转变夯实基础.     

基于Eclipse的航天嵌入式软件集成 开发环境设计与实现

针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴.     

基于本体的软件需求缺陷模式应用

提出软件缺陷模式的概念,给出其正交属性、说明及需求缺陷模式产生模型.对领域相关需求缺陷模式进行本体描述,并着重分析其发生的直接场景.直接场景能够帮助测试人员熟悉用户的实际使用情况及现实系统的各种行为和目的,并能指导审查和测试过程.通过实例应用证明了基于需求缺陷模式直接场景进行审查和测试的有效性,并通过缺陷模式的正交属性对软件开发及测试质量进行了分析.     

航天器供配电测试系统通用化设计

供配电测试系统的主要用途是在航天器测试全过程中，为航天器提供电源、向航天器发送有线指令、接收和测量航天器下行有线遥测信号。以往主流的供配电测试系统均为定制型，其研发成本较高、研制周期较长、可靠性较低。以主机-总线-板卡形式的通用供配电测试系统，实现了设备的定型和批量化生产，解决了不同型号需求定义不统一的问题，同时降低了研发成本、缩短了研制周期、提高了产品的可靠性。目前，该系统已成功应用在多个航天器的测试工作中，随着型谱的不断丰富和航天器型号的深入应用，将有着更广阔的应用前景。     

批产航天器自测试系统设计

集成快检、存储快检与射前快检成为批产航天器亟待解决的问题。传统航天器综合测试模式存在测试效率低、测试改装部署繁琐、测试成本高、测试周期长和难以深入产品内部探查的问题,不能很好地适应批产研制与测发需求。针对该问题,从航天器可测试性与自测试设计出发,研究航天器自测试功能单元的设计方法、自测试通信交互模式、基于结构模型与行为模型的自测试诊断模型设计方法,设计了分层的自测试系统架构,通过总线快速调度自测试流程,提升快速检修能力,满足批产航天器快检需求。     

低成本航天器研制模式研究

正近年来,国内外宇航技术发展越来越快,用户对卫星重访周期等指标要求越来越高。同时,随着集成电路、软件工程技术等新型技术的迅猛发展和快速更新,对利用航天器进行在轨飞行验证的周期和成本提出了更高要求。低成本航天器凭借低成本、可批量生产、高效率等优势得到越来越多用户的青睐与重视,市场需求巨大。本文将在分析低成本航天器国内外研制现状和国内航天器传统研制模式的基础上,提出一种低成本航天器研制模式。     

航天简讯

航天简讯美航宇局推出《小型航天器技术倡议》美国航宇局最近推出了《小型航天器技术》倡议，其目的是要用造价低廉的、采用现成技术的、寿命较短的小型航天器执行航天任务，确切地说，是要研制方案论证航天器对那些在将来有着广阔应用前景的新设备、新软件和新接口进行演...     

空间交会对接GNC软件的自动化测试

介绍一种面向航天器空间交会对接GNC软件的自动化测试方法,通过对测试用例和测试脚本的管理、测试过程的自动执行、测试数据的判读和测试缺陷管理,实现对航天器空间交会对接软件的自动化测试.实践表明所述的自动化测试方法在GNC软件的测试中发挥了重要作用.     

压力服受力层强度研究

以薄壁压力容器强度计算理论为基础,对原料、织物组织结构、裁剪、缝合工艺及环境等影响压力服受力层强度的相关因素,进行了科学分析与大量试验研究。为压力服受力层织物的选择,加工制作工艺的确定及适宜使用环境等,给出了明确的研究结论,为保障压力服受力层的研制及加压时具有良好的安全性奠定了基础。     

Detection of surface temperature anomaly of the Sea of Marmara

Monitoring sea surface temperature (SST) over a long-term and detecting the anomalies highly contribute to understanding the prevailing water quality of the sea. Earth observation satellite images are the key data sources that offer the long-term SST detection in a cost and time effective way. Since the Sea of Marmara in Türkiye is surrounded by the highly populated provinces, the water quality of the sea has gained importance for scientific and public communities over the years. This article emphasizes on the significance of detecting SST trend and corresponding anomalies of the Sea of Marmara over the past 32 years. To address the SST variations of the Sea of Marmara in time, a comprehensive set of both field and satellite data regarding SSTs were obtained within the context of this study. The SST trend and its anomalies between the years 1990 and 2021 were detected by applying Seasonal-Trend decomposition procedure based on LOESS (STL) method to NOAA OISST V2 data. On the other hand, spatial SST distribution was detected with Landsat-8, Sentinel-3 and NOAA OISST V2 satellite data. SST results were verified with the in-situ data within the scope of accuracy assessment. The results showed that SST time-series data performed an increasing trend and had anomalies mostly during the spring months in the recent years.     

进化策略在火箭发动机静态特性研究中的应用

建立了全流量补燃循环发动机的静态特性的数学模型.描述静态特性的数学模型是由一组非线性方程组成的.采用基于进化策略的进化算法求解全流量补燃循环发动机的静态特性方程,将该模型的非线性方程组求解问题转化为求带有约束的极小值的优化问题,建立了进化策略计算模型.讨论了进化策略算法在进化计算过程中使用的变异算子、重组算子和选择算子的设计,以及对约束条件的处理方法.数值计算的结果表明,利用基于进化策略的算法可以在较大范围内进行全流量循环液体火箭发动机的静态特性研究.     

陀螺仪运动的复杂性

建立了外环轴水平放置的重力对称陀螺仪的运动方程.并将陀螺仪转子的质心位置作为扰动, 在一定条件下, 首先研究了自由陀螺仪的运动, 并给出力学意义解释; 然后利用Melnikov方法和KAM理论研究了非自由陀螺仪的运动.研究结果表明: 在陀螺仪转子的质心与支架中心不重合且充分接近, 或陀螺仪能量充分大时, 陀螺仪的运动出现Smale马蹄意义下的混沌; 同时它的Hamiltonian流存在KAM不变环面和不变闭曲线.      

深孔尺寸及形状误差自动综合测量理论与方法的研究

通过研究深孔尺寸及其形状误差在线自动综合测量的基本理论,给出一种新的误差分离方法。用此方法,能够在测量过程中将被测深孔工件尺寸及形状误差与工件的回转运动误差、测头的直线运动误差分离开来。而且在进行误差分离的同时,能精确确定被测表面各点的三维坐标,建立起各项被测参数的数学模型,并研制成功由微机实时数据处理的深孔在线综合测量系统。实验结果表明,该测量系统的基本理论正确,测量结果准确可靠。     

Gaussian-Hermite矩旋转不变矩的构建

矩及矩的方程因其较强的表述图像特征的能力在图像处理与模式识别中有着广泛的应用,但目前基于具有正交性质的Gaussian-Hermite矩的研究还比较有限.针对Gaussian-Hermite矩进行深入的研究,将其推广到极坐标下复数空间中,提出Polar-Gaussian-Hermite矩;给出利用升降算符计算矩的方程的方法;并利用极坐标下复数空间中的优势,以及它们之间的一一对应关系,推导Gaussian-Hermite矩的旋转不变矩,并给出其旋转不变矩的独立与完备集.实验结果验证所提出的旋转不变矩的正确性,以及良好的数字稳健性.     

粘弹性材料阻抗非局域特性实验验证

基于材料透射阻抗的定义阐述了粘弹性材料的局域和非局域性质,并阐述了阻抗矩阵和频响函数矩阵之间的关系.通过将声压表面力的分布离散为等效点力的方法导出了频响函数表达式.基于频响函数矩阵元素的表达式,对粘弹性材料平板进行了点力激振下振动透射的频响测量实验,同时用粘弹性有限元方法数值计算了该板的振动频率响应,实验和数值结果的一致不但验证了粘弹性材料频率响应和声阻抗的非局域特性,也说明了实验及数值方法的正确,为进一步研究打下基础.     

几种大平面平面度测量方法比较

叙述了几种大平面平面度的测量方法,分析了间接测量法、激光双光束扫描法、激光准直扫射法、衍射平面基准法、液面法等几种方法的特点及其测量误差。     

软隔板双脉冲发动机二级点火延迟试验分析

在进行软隔板双脉冲发动机的试验研究时发现,二级脉冲出现远远超过指标要求的点火延迟.为了改进这种状况,从点火药量和隔板厚度两方面进行试验研究.结果表明单纯增加点火药量使得隔板破裂太快,能量过早地释放;而单纯增加隔板厚度使得隔板不能按预定位置和方式破裂,影响工作性能.最终结合软隔板双脉冲发动机的工作特点,从两方面同时改进,达到了比较合理的点火延迟.