面向任务协同的云端融合计算架构研究

以有人机/无人机自组云为场景,研究了基于云数据中心、有人机和无人机任务协同的云端融合任务协同处理架构,在该架构中,有人机作为边缘计算处理节点,无人机作为端节点。通过分层设计,将基于无人机自组云的云端融合架构自顶往下划分为用户应用层、组件服务层、资源抽象层、操作系统层、物理资源层五个层级,并对各层级进行功能划分设计。最后通过典型实例仿真试验做了架构性验证。     

测试有效性对软件可靠性验证测试量的影响

针对传统软件可靠性验证测试方法均不考虑软件测试性可能会对验证测试用例数量产生影响的现状,提出一种引入测试有效性对软件可靠性验证测试最小量进行改进的方法.分析了软件测试性的定义及其对软件可靠性测试集合的影响,提出软件测试有效性的概念.比较了考虑测试有效性前后软件可靠性验证测试集合在数量上的差异,证明经典统计方法和无先验知识的Bayesian统计推断方法确定的均为假定测试有效性为零情况下的保守估计.提出结合测试有效性的验证测试量的量化表示模型和验证测试方案的改进方法,基于统计故障注入的原理,提出测试有效性的定量评估方法,最后通过示例给出定量评估过程和方法.      

一种无人机飞行控制管理软件回归测试方法

针对大型嵌入式软件测试的难题,提出了基于系统快照的自动化回归测试方法,并以无人机飞行控制管理软件为研究案例进行了关键技术解析、测试系统设计及分析.利用系统快照技术实现了彼此之间关系繁杂的测试用例的解耦,将复杂的系统测试转化为灵活的单元测试.结合CPPUnit的测试框架,建立了自动化回归测试的系统结构,并深入分析了各部分的功能和执行过程.进而设计出基于系统快照的自动化回归测试执行流程和测试用例的编制流程.给出了某型无人机飞行控制管理软件在不同方法下的测试结果,通过数据对比验证了测试系统的高有效性.      

一种基于非面向对象语言的星载软件构件技术

为了进一步提高星载软件复用程度和解决航天器软件开发效率低下的问题,对星载软件特性和软件构件技术进行了分析和研究;对星载软件构件进行了定义,提出了一种基于非面向对象语言的、适用于星载软件开发和应用环境的星载软件构件模型。基于该模型开发的星载软件构件,具备独立性、完整性、可组装性和功能性。除此之外,对基于这种模型的星载软件构件设计、开发和使用方法进行了介绍,可以为采用非面向对象语言进行星载软件构件开发提供参考。在多个型号中对该技术展开实践,实践结果表明：提出的星载软件构件设计方法能够将星载软件开发效率提高2～5倍。     

Experimental,analytical and numerical investigation on tensile behavior of twisted fiber yarns

Stitched composite materials are emerging as a promising material due to their high interlaminar strength, combined performance and light weight. The mechanical properties of stitch yarns are very essential for stitched composite structures. In this study, the tensile behaviors of the twisted fiber yarn in stitched composites were investigated experimentally, analytically and numerically. Two kinds of cross-sectional area of twisted yarn are proposed and discussed. The paper presents an intersecting circle model to describe the cross-section of twisted fiber yarns, and a physics-based theoretical model to predict the effective tensile moduli. The numerical models take into account the cross-sectional characteristic and the twist architecture. The investigation shows that: the sum of each fiber area should be used for experimental analysis; and the cross-sectional area surrounded by the yarn profile should be used for theoretical predictions and finite element (FE) simulations. The relative errors of the prediction method and the FE simulation are less than 2% and 1%, respectively. The friction between the fibers is derived, and the effect of friction on mechanical properties is discussed. The investigation method will serve as a fundamental component of twisted fiber bundle/yarn analysis.     

卫星综合软件的体系结构研究

分析国内外卫星综合软件的现状和发展趋势,阐述设计软件体系结构的重要性．提出一种卫星综合软件的分层模块化体系结构,对此体系结构进行详细地分析和说明,并对其在软件复用、软件开发和测试方面的应用以及优点进行分析,表明分层模块化软件体系结构是提高卫星软件开发效率的有效途径．     

基于AT89S52的软件凸轮机构的研究

软件凸轮通过对产生凸轮轮廓的软件控制步进电机实现机械凸轮的功能,根据类速度的概念,建立了软件凸轮通电脉冲频率与凸轮机构从动件运动规律之间的数学模型。使用AT89S52单片机控制步进电机运动,从而实现了在不改变硬件系统的条件下,通过改变AT89S52单片机应用程序实现从动件不同的运动规律,即软件凸轮。提出了将类速度的概念应用于建立凸轮从动件运动规律的数学模型的新设想,其可行性已被初步的试验证实。     

基于组件化体系结构的可重构车间调度系统研究

针对现有车间调度系统在可重构性、拓展性和开放性等方面的不足,提出了包括数据库层、内核层和外壳层的可重构车间调度系统.在统一的组件化体系架构下,封装现有多种调度模型和算法,并通过调度引擎实现相关模型和算法的匹配和融合;抽取车间调度的通用业务和专用业务,分别采用公用组件和专用组件进行封装,通过标准接口实现不同粒度组件的快速装配和重构.     

小卫星星务系统的遥测技术研究

阐述了小卫星采用的“可控式遥测”和“统一遥测”两种实现技术,即通过遥控、程控和自主控制实施对遥测的状态设置,控制遥测处理流向,改变遥测内容,构成智能化遥测,以增强遥测能力和灵活性。首次提出“二维帧”概念,将卫星的两种遥测标准：PCM遥测和分包遥测统一,实现两者的兼容和平滑过渡,有可能形成新的统一遥测系统标准。在设备级上,统一遥测与PCM遥测一致。在功能层面上,它与分包遥测一致。文章还提出“软件遥测”概念,企望于提升遥测性能。