碳纤维增强树脂基断裂的数值模拟研究

基于断裂力学模型,通过应用Abaqus大型商用软件,建立碳纤维增强树脂基复合材料断裂实验的模型,计算了该模型的断裂韧性J积分,研究了用J积分来表征碳纤维增强树脂基断裂韧性特征,其结果表明了使用本文方法的有效性。     

基于BM3803的1553B总线通信软件设计

在某卫星地面检测设备中使用BM3803处理器来模拟卫星中的总线控制端对远程终端进行检测,构建了比传统的Windows+1553B_PCI板卡方案实时性更强的卫星数据仿真平台。首先向BM3803移植了实时操作系统μC/OS II,设计了适用于BM3803的板级支持包,保证了软件的可在轨更新和任务的实时性,确定了用户任务与硬件高度分离的软件结构。在设计μC/OS II的用户任务时,充分利用BM3803和B61580的校验功能,提高了软件的可靠性。最后令本设计和Windows+1553B_PCI板卡方案完成相同的用户任务,对比可得本设计有更好的实时性,可满足卫星高层通信协议对实时性的要求。     

基于编码规则的中断数据访问冲突检测方法

针对“重复加锁解锁”和“volatile修饰符误用”两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分析,提炼出3条编码规则用以在开发阶段避免缺陷发生,并基于一个静态代码检查工具SpaceCCH进行了规则检测方法研究和实现.在实际星上软件上的实验结果表明,扩展的SpaceCCH能够高效、低误报、低漏报地发现规则违反,从而有效避免这两种的数据访问冲突问题.本文的贡献在于将一类复杂缺陷的检测转换为相应的编码规则及其检测.     

同步发电机励磁功率单元中可控整流桥的故障工况研究

分析了三相全控桥式整流电路的各种故障工况,得出故障下触发角与输出励磁电压之间的定量关系,并提出了相应的解决措施。通过对MATLAB/Simulink搭建的同步发电机励磁功率单元模型进行仿真,结果表明,所提措施能有效减轻故障对系统的不利影响,在脉冲丢失时,可以为备用设备切换赢得时间;晶闸管发生故障时,有利于调控发电机平稳退出运行以避免产生稳定性问题。     

兼顾控制流量的软件定义卫星网络路由策略

软件定义卫星网络（SDSN）通过解耦数据与控制平面,实现网络态势与控制的逻辑集中,为管理卫星网络提供了一种新的思路。在SDSN中,控制报文和数据报文同时在网络中传输,海量、动态、高优先级的控制流量将对数据报文传输产生极大的干扰。因此,提出了一种数据流退让路由（DFRR）策略。在计算数据报文路由时,DFRR将链路上控制流量大小作为影响链路代价的一个因素,以减少选择控制流量较大的链路;在网络操作控制中心（NOCC）连接的过顶卫星切换导致控制流量分布发生较大变化之前,DFRR预测可能发生拥塞的链路,并选出链路上部分数据流进行重路由,从而避免拥塞。在开发的SDSN研究平台OpenSatNet上对DFRR的性能进行了评估。实验结果表明,DFRR能够有效减少网络中的链路拥塞,以及控制报文和数据报文的分组丢失。      

基于软件相关器的GPS跟踪算法研究与实现

研究了适用于GPS软件接收机的软件相关器和信号跟踪算法,包括码跟踪和载波跟踪。为了提高跟踪灵敏度,码鉴别器和载波鉴相器每Nms输出一次鉴别结果,在Nms的间隔时间段内,每1ms采用状态外推算法对相位、多普勒和多普勒导数进行一次外推。跟踪环路采用载波环辅助码环的跟踪方法,提高了码环的跟踪精度和可靠性。利用真实的采样数据,在PC机上用Matlab对该算法进行了仿真,并且在GPS软件接收机平台上得到实现。实验证明,该算法可以实现对c／A码相位和载波频率的精确跟踪,并得到导航数据。     

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

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

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

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

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

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

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

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