郑美松
- 作品数：11 被引量：4H指数：1
- 供职机构：中国科学院自动化研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种嵌入式系统可执行代码压缩方法及代码解压缩系统
- 本发明提供一种嵌入式系统可执行代码的压缩方法，包括步骤S1：对二进制代码集合按集合中各个不同编码出现的次数进行统计；步骤S2：对各个不同编码出现的频次进行排序，组成一个新的已排序的编码频次表；步骤S3：根据编码频次表中的...
- 涂吉王子龙李立健郑美松王骏也
- 文献传递
- 一种基于查找表配置位统计的部分三模冗余方法
- 本发明一种基于查找表配置位统计的部分三模冗余方法，包括步骤S1：将待冗余电路映射为k-输入查找表格式，读取待冗余电路的信息，建立电路拓扑结构数据库；步骤S2：对电路拓扑结构信息进行统计，并记录待冗余电路中每个节点的无关配...
- 郑美松王子龙涂吉王骏也李立健
- 文献传递
- 一种基于查找表可观性度量的选择性三模冗余方法
- 本发明提出一种SRAM型FPGA基于可观性度量的选择性三模冗余方法，将待冗余电路映射成为k输入查找表的网表格式，作为待冗余的原始电路；根据输入逐级计算电路中所有节点为1的概率值，结合查找表存储单元中存储的比特位，逐级计算...
- 王子龙涂吉王骏也郑美松李立健
- 文献传递
- 一种基于查找表配置位统计的部分三模冗余方法
- 本发明一种基于查找表配置位统计的部分三模冗余方法，包括步骤S1：将待冗余电路映射为k‑输入查找表格式，读取待冗余电路的信息，建立电路拓扑结构数据库；步骤S2：对电路拓扑结构信息进行统计，并记录待冗余电路中每个节点的无关配...
- 郑美松王子龙涂吉王骏也李立健
- 文献传递
- SRAM型FPGA的基于可观性度量的选择性三模冗余方法被引量：3
- 2015年
- 为了增强SRAM型FPGA抗单粒子翻转破坏的能力并减少硬件开销,提出一种面向查找表的基于可观性度量的选择性三模冗余方法.首先定义查找表发生单粒子翻转(SEU)故障的一种可观性概念,并结合概念给出理论计算公式;然后根据计算出的查找表可观性分布筛选出SEU敏感查找表;最后插入相应的冗余电路.此方法能够以较小的冗余比例,使得电路的抗SEU性能接近全三模冗余的效果.对MCNC’91的18个规模不同的电路进行实验的结果表明,文中方法平均只需要冗余37%的查找表,并且冗余后电路的抗SEU性能为92.6%,相比全三模冗余节省了63%的硬件开销,说明该方法能够在有效地提高电路的抗SEU性能前提下取得显著的硬件节省效果.
- 王子龙郑美松涂吉王骏也李立健
- 关键词：FPGA三模冗余单粒子翻转可观性
- 可编程器件的选择性双模冗余加固方法被引量：1
- 2016年
- 针对现有FPGA加固方法开销过大的问题,提出一种利用逻辑门对故障的屏蔽效应进行选择性加固的双模冗余方法.首先建立待加固电路的查找表结构模型,根据故障的传播概率按电路结构依次计算每个查找表的故障敏感度;然后将故障敏感度高的查找表进行双模冗余,并根据要屏蔽的故障类型在冗余后的查找表输出端添加"与","或"逻辑进行表决;最后对加固后的电路进行故障注入,验证加固效果.对MCNC测试集电路的实验结果表明,与现有方法相比,在同等开销下,文中方法对故障的屏蔽效果更显著;全冗余时,该方法可将故障平均减少84.3%,对于apex2,spla等大电路则能减少超过97%.
- 郑美松王子龙涂吉王骏也李立健
- 关键词：FPGA容错双模冗余
- 一种快速自适应光学控制器的设计方法
- 本发明的自适应光学控制器的设计方法主要是利用FPGA强大的并行处理能力与多核DSP强大的数据处理能力进行实时波前处理，将波前斜率的计算用FPGA进行硬件加速，实现边接收边处理，同时在DSP中利用并行计算的方法，减少波前复...
- 王骏也王子龙涂吉郑美松李立健
- 文献传递
- 一种基于查找表可观性度量的选择性三模冗余方法
- 本发明提出一种SRAM型FPGA基于可观性度量的选择性三模冗余方法，将待冗余电路映射成为k输入查找表的网表格式，作为待冗余的原始电路；根据输入逐级计算电路中所有节点为1的概率值，结合查找表存储单元中存储的比特位，逐级计算...
- 王子龙涂吉王骏也郑美松李立健
- 文献传递
- 基于可编程器件的双模冗余容错方法
- 本发明提供的基于可编程器件的双模冗余容错方法，包括：将电路映射为查找表，从所述查找表中提取冗余电路信息，并根据所述冗余电路信息构建电路拓扑结构；根据所述电路拓扑结构计算所述查找表的输出端的固定故障传播概率，并将所述固定故...
- 郑美松王子龙涂吉王骏也李立健
- 基于可编程器件的双模冗余容错方法
- 本发明提供的基于可编程器件的双模冗余容错方法，包括：将电路映射为查找表，从所述查找表中提取冗余电路信息，并根据所述冗余电路信息构建电路拓扑结构；根据所述电路拓扑结构计算所述查找表的输出端的固定故障传播概率，并将所述固定故...
- 郑美松王子龙涂吉王骏也李立健
- 文献传递
