基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

面向软件定义的飞行器综合电子系统软件架构技术

针对飞行器系统智能化发展对传统软硬件一体化研制方式的挑战,本文提出一种面向软件定义的开放式、可移植的飞行器软件体系架构。首先,提出一种逐层解耦的分段式飞行器软件体系架构,通过标准化各个段的接口与服务,实现飞行器的软硬件解耦、平台解耦与组件间解耦,有效支持飞行器软件功能组件的可移植与复用;其次,基于该软件体系架构,采用标准化可复用软件组件的快速集成验证方法,实现飞行器功能的软件定义。     

基于ProCAST的镁合金惯组支架砂型铸造工艺研究

为实现镁合金惯组支架的高效率、高质量研制,使用ProCAST软件仿真优化ZM5镁合金惯组支架铸造工艺。通过对充型、凝固过程进行分析,发现铸件内部的3条薄壁筋板易出现浇不足、冷隔缺陷,圆弧面内侧厚壁筋条易出现缩孔、缩松等缺陷。经过优化设计,通过采取增加薄壁筋板厚度、调整内浇道位置、改变厚壁筋板上侧冒口结构等措施,较好地避免了上述铸造缺陷的产生,获得了合格的支架铸件。数值模拟仿真技术可应用于绝大多数航天构件的铸造过程分析,实现构件快速研制。     

冷板流道结构优化及其钎焊技术

针对航天航空领域中集成电子设备出现的热流密度过高所带来的高效散热技术冷板设计问题与结构制造难题,提出了一种流道设计优化与结构钎焊技术。利用Flotherm热仿真分析软件对导流和结构等进行优化,完成了高效率散热结构设计。同时,对设计的窄流道结构带来的焊接质量问题,进行了钎料和焊接压力参数优化。结果表明:与传统S型流道冷板相比,采用片状导流结构和串并联混合结构的冷板热源温度降低了15℃,并将均温性控制在1.2℃以内。采用控制钎料厚度和工装压力的方法,降低了窄筋流道堵塞和焊接变形趋势。     

萤火一号火星探测器有效载荷数管软件控制技术

对萤火一号(YH 1)火星探测器有效载荷数据管理软件控制技术进行了研究.介绍了软件的组成.给出了控制需求与约束.软件综合利用立即指令队列、事件表、宏指令和指令状态机等机制,实现了对光学成像仪、掩星接收机、磁强计、等离子体探测包4种有效载荷,以及测控数传分系统的控制,可满足YH-1火星探测器的要求.     

无控航天器与空间碎片再入的工程预测方法研究现状

无控航天器、火箭末级以及空间碎片再入地球大气层后可能未烧尽,残存的小碎片高速撞击地面,对人类安全和生态系统构成极大威胁。提前预测其再入轨迹并采取预防措施能够有效降低地面风险。文章对无控航天器和空间碎片再入工程预测模型,包括航天器模型、动力学模型、气动热模型和烧蚀解体模型的研究现状进行跟踪与总结,也介绍了国内外有公开资料的工程应用软件,并讨论若干关键问题和进一步研究方向。     

基于软件定义的航天器分布式电源系统设计

针对电源系统架构灵活性的需求,提出了一种基于软件定义智能功率单元的可重构航天器分布式电源系统设计。给出了系统的分布式架构,采用了一种可软件定义的标准功率单元实现所有发电单元、储能单元的分布式接入。智能功率单元可以通过星载计算机软件定义工作模式,满足不同单元的接入需求。通过搭建分布式电源系统仿真模型,对不同故障情况进行了验证,结果表明:分布式电源系统的可重构控制策略,实现了电源系统高可靠运行。最后,对提出电源系统设计的优势进行了总结。     

基于FEKO软件的电大尺寸面天线仿真

运用FEKO软件的高低频混合法和多层快速多极子算法对典型电大尺寸面天线——卡塞格伦天线远场方向图进行仿真计算,并对这两种计算方法的计算精度和计算效率进行了比较。结果显示,二者得到的远场方向图基本一致,都具有较高的准确性。因为多层快速多极子算法在计算时考虑了双曲副反射面的遮挡效应,所以与高低频混合法相比,其得到的远场方向图增益略低、旁瓣略高,仿真精度更接近工程实际,但代价是内存开销和计算时间的大幅增加,特别是在网格数较大的情况下。     

基于IRIG-B码的软件化测控系统时间同步方法研究

利用软件实现测控信号处理将成为未来测控系统的发展趋势。针对通用计算机处理时延的不确定性问题,根据软件化测控系统中数据块式的传输模式,提出基于B码的系统时间同步方法,能够为数据处理、存储及事后分析提供精确的时间定位。方法按照国际通用的B码格式,通过A/D端口将B码流与测控信号同时送入计算机,采用纯软件解调出8421码格式的天、时、分、秒信息,并利用采样率计数进行初始相位估计,可实现测控数据的精确校时,同时利用误差校正降低A/D采样时钟漂移对时间同步的影响。设计无需外部设备辅助,具有配置灵活和低损耗的特点。