高速SpaceWire协议IP的可靠性增强方法

针对航天高速SpaceWire总线系统对协议IP的高可靠性要求，提出一种用于静态随机访问存储器(SRAM)型现场可编辑逻辑门阵列(FPGA)的增强三模冗余(TMR)方法。该方法对传统三模冗余和部分三模冗余做了改进，将需要进行三模冗余的原设计分为一般单元集和可靠性薄弱的关键单元集，对一般单元集中的每个单元做三模冗余，对关键单元集中的每个单元做顺序四模冗余。给出了顺序四模冗余的可靠度计算式和表决器的布尔表达式。建立了系统可靠性的马尔科夫模型并基于模型开展了可靠性仿真。仿真结果表明增强三模冗余系统的可靠性不仅明显优于传统三模冗余系统，而且优于部分三模冗余系统，使系统可靠性得到有效提高。     

MANET中组播协议MACAM性能分析

为了改善跨层优化问题,介绍一种用以支持组播路由MACAM(多址接入冲突避免)协议,该协议把RTS/CTS结合到时间表算法中,在RTS中增加辅助信息避免冲突。比较CSMA多播协议,得出结论该协议具有数据传输可靠以及较高的带宽利用率优点,支持MANET网络中的多播服务。     

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

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

一种基于有限K近邻的强度帕累托进化算法

在航天器控制计算机的软硬件协同设计过程中,需要解决多目标优化问题。当前的强度帕累托进化算法在求解高维多目标优化问题时具有优势,但是在环境选择阶段的计算时间复杂度仍然较大。文章针对这一问题,提出了一种改进算法。新的算法采用有限K近邻方法,减少了原算法中K近邻策略的比较次数,使时间复杂度由O(M3)下降为O(max(l,logM)M2。试验结果表明文中算法的计算速度更快,并且具有更优的收敛性和分布多样性特征。     

面向多级中断系统的任务最差响应时间分析

针对航天嵌入式系统中存在多级中断情况下的时间分析问题,提出了中断与任务混合的响应时间计算模型。该模型中断与任务使用统一的优先级定义,将多级中断嵌套的响应时间分析与任务嵌套的响应时间分析相结合,推导出了混合模型下响应时间计算公式。并进一步比较了中断与任务的异同,阐述了公式中关键参数的含义与计算方法。最后利用开源的LEON3平台和Modelsim软件对所述方法进行了仿真验证,结果表明,任务最差响应时间过估小于5%,可以得到准确的分析结果,有较高的工程应用价值。     

一种面向星载计算机的功能级功耗估计方法

在星载计算机的软硬件协同设计过程中需要解决处理器功耗估计问题.现有的工具和方法主要面向ARM或DSP处理器,缺乏可用于LEON3处理器的软件功耗估计方法.针对这一不足,基于功能级功耗分析方法进行功耗估计,重点解决LEON3处理器的功耗建模问题.提出了从C代码中提取模型参数的方法,并且对序贯最小优化支持向量回归算法进行了改进,提高模型的精度.在数值试验部分,通过常用的C语言算法试验对估计方法进行了验证.结果表明功耗估计误差小于3%,能够满足星载计算机软硬件协同设计的需要.     

一种高速SpaceWire系统设计与验证

标准SpaceWire总线技术虽然在航天器上应用广泛，但是存在传输速率低的弱点.针对这一不足，首先提出了一种高速SpaceWire系统架构.在此基础上开展了吉比特级SpaceWire终端节点和路由器的FPGA设计，解决了终端节点的物理接口、片上总线、DMA，以及路由节点目的端口仲裁模块和组寻址路由模块设计中的关键问题.在测试验证部分，开展了数据传输测试、误码率测试和数据传输率测试，测试结果表明高速SpaceWire系统已具备路由和终端节点的主要功能、指标较先进，具有良好的航天应用前景.     

SpaceWire D的调度表生成方法

针对航天高速SpaceWire D提出了一种调度表生成方法。该方法基于贪婪算法和SMT求解器。贪婪算法是主体,在每次迭代中以调度表的分布均匀性为优化原则产生一个约束集作为SMT求解器的输入参数,然后调用SMT求解器。SMT求解器是重要工具,用于对输入参数的可满足性进行判定,如果可满足则将输出的模型作为生成的调度表。此外,还提出了设置分片长度、确定时间槽大小以及划分冲突域的策略。最后,通过试验对方法的效果进行了验证。结果表明,生成调度表的时间较短且调度表具有良好的分布均匀性。     

SpaceWire光纤总线时钟同步方法研究

将SpaceWire ECSS-E-50-12C标准中基于Time-Code时间分发的同步方式应用于SpaceWire光纤总线系统中时,存在计时精度不高且计时长度短、延时误差不可控、频率偏差无法补偿的问题,不能满足纳秒级的时钟同步需求。针对以上问题,提出了使用从节点的本地时钟计数、时间戳计算平均延时、以及根据时钟频率偏差调整动态时钟计数的方法,消除时钟同步过程中时钟延时、抖动和频率漂移的影响,提高时钟同步精度。通过仿真验证,在光纤总线系统主节点和从节点的时钟频率不同,传输延时为80ns,延时抖动为8ns,且同步间隙为100μs的情况下,优化后的时钟同步精度达到了从100μs到24ns的提升。     

反渗透海水淡化技术的发展与应用

介绍了反渗透海水淡化技术的发展过程及应用状况,重点介绍了反渗透膜、预处理技术、能量回收装置等方面的技术进步,对反渗透海水淡化技术的前景进行了展望。