小卫星星载软件微内核的设计

随着小卫星功能的提升,星上软件需要操作系统的支持。该文分析星载软件所需的实时操作系统,根据星载软件的实际任务要求,提出一个适合于星上嵌入式系统的软件微内核设计架构,具有面向卫星、占固存少、可在轨软件重构、实时性强、可靠性高等特点。     

航天单粒子事件故障注入系统研究

本文介绍了一种基于内存故障注入和总线故障注入相结合的单粒子事件故障注入系统．首先介绍了故障注入系统的功能及框架，然后以通用性和可扩展性为前提，对实现故障注入器的关键技术进行了探讨．测试结果表明。利用本文介绍的故障注入系统，具有成本低、通用性强、故障注入方便快捷、全动态实时和定量注入等特点．     

一种FIFO器件的失效模式分析

异步FIFO常应用于在异步时钟域之间进行数据传输。本文根据应用过程中数据帧头重复首字节的异常现象,对FIFO器件M67024的一种失效模式进行分析和说明。进而分析FIFO因设计原理而存在的共性使用要求,并提出针对该类型FIFO失效模式,电路设计人员应当注意的设计规则。     

"创新一号"软件开发及仿真测试平台研究

本文介绍了“创新一号”卫星软件开发及仿真测试平台的体系结构和硬件实现．该系统在“创新一号”小卫星星载软件的开发及调试过程中发挥了重要的作用．     

应用聚类和粗糙集的FPGA底层数据挖掘

提出了一种从XDL文件中提取现场可编程门阵列(FPGA)底层逻辑和布线资源的方法.预处理阶段通过正则表达式将原有底层逻辑文件转换为待分析的有层次属性的关系型数据库.数据挖掘阶段则根据各个层次数据内部的特性不同,采用不同的算法进行聚类来得到初步知识.通过粗糙集分析初步知识间的关系和约简属性,得出初步知识间的联系同时进一步提取出决策规则和产生式规则的知识.最后,通过规则验证器和泛化器对提取出的规则进行验证和泛化.实验结果表明,对于大型的FPGA器件,wire的逻辑最高压缩比可以达到2.88×10-4.该方法相对于底层器件有较好的通用性和交互性,适用于对不同器件族FPGA底层信息的知识提取,对深入研究FPGA的拓扑架构,提高对FPGA进行动态重配置的可控性和实现更灵活的重配置很有意义.     

可重配置的嵌入式CAN总线系统的设计与实现

在基于 CAN 总线的嵌入式系统中,采用 ARM7TDMI 内核的 16/32 位 RISC MCU 是独立的地址和数据总线,而 CAN 总线控制器是利用地址锁存信号 ALE 来复用数据地址总线。为了实现MCU 与 CAN 总线的透明连接,提出利用可重配置技术,在一块 FPGA 上实现 MCU 与 CAN 控制器之间总线的转换。软件仿真和实际应用表明,可重配置模块能够很好地满足时序要求,真正实现了透明的无缝传输。     

基于故障树的专家系统推理机设计

针对微小卫星强实时性和资源受限的特点,提出一种基于故障树的专家系统推理机。根据广度优先搜索设计正向推理算法,根据深度优先搜索设计逆向推理算法,2种算法在时间和空间上均满足线性复杂度。实验结果表明,该推理机可满足微小卫星对实时性的要求,同时也能节省星上资源。     

基于AMBA总线的SoC事务级错误敏感性建模和分析

随着总线频率以及总线负荷的增加,基于总线的系统可靠性问题就必须引起重视;提出了详细的分析基于AMBA(Advanced Microcontroller Bus Architecture)总线的系统的事务级的错误敏感性模型和系统级敏感性预测方法,通过详细的实验,确定了单比特错误在不同的事务中对总线的影响,确定了总线系统中的需要被保护的关键信号,可以帮助选择合理的错误保护机制;结果显示基于预测的策略与仿真结果在所有的基准程序中平均具有90%的一致性。     

一种16×16位高速低功耗流水线乘法器的设计

提出了一种16×16位的高速低功耗流水线乘法器的设计。乘法器结构采用Booth编码和Wallace树,全加器单元是一种新型的准多米诺逻辑,其性能较普通CMOS逻辑全加器有很大改善。使用0.5μmCMOS工艺模型,HSPICE模拟结果表明,在频率为150MHz条件下,电源电压3.0V,其平均功耗为11.74mW,延迟为6.5ns。