公开(公告)号：CN106802848B

公开(公告)日：2019-06-18

申请号：CN201611187712.4

申请日：2016-12-20

Applicant: 北京计算机技术及应用研究所

Inventor： 冯志华 ,  沈炜 ,  闫帅 ,  陈丽容 ,  王志昊 ,  王纪 ,  李东方 ,  朱秋岩 ,  王宏 ,  孟超 ,  胡亚云 ,  叶东升 ,  张建伟 ,  慕德俊

IPC: G06F11/26

Abstract: 本发明公开了一种寄存器传输级N模冗余设计的半自动化验证方法，包括：对n模冗余的待验证平台的寄存器的输出进行检查；接收待验证平台的寄存器1‑n的输出值，判断寄存器1‑n的输出值是否相等，如相等则此步验证通过；定义二进制数值data；每个系统时钟给data的最低位加1，将data的n位的每一位分别赋给寄存器1‑n，待验证平台根据每个系统时钟的上升沿的寄存器1‑n的值，在每个系统时钟的下降沿，输出投票输出结果；在每个系统时钟，计算所有寄存器值为1和0的寄存器的数量，如寄存器值为1的寄存器较多，则a＝1，如寄存器值为0的寄存器较多，则令a＝0；检查待验证平台的投票输出结果是否等于a，数量最多的取值，如等于，则本步验证通过。

公开(公告)号：CN110739003B

公开(公告)日：2022-10-28

申请号：CN201911012632.9

申请日：2019-10-23

Applicant: 北京计算机技术及应用研究所

Inventor： 常新旭 ,  袁晓光 ,  张杨 ,  寇金桥 ,  杨林 ,  吴敏 ,  王昕 ,  徐冬冬 ,  赵晓燕 ,  闫帅

IPC: G10L21/0208 ,  G10L25/27 ,  G10L25/03

Abstract: 本发明涉及一种基于多头自注意力机制的语音增强方法，涉及语音增强技术领域。本发明本发明针对现有基于注意力机制的语音增强方法无法在注意力计算过程中明显抑制噪声的问题，基于对人类在听觉感知的过程中存在掩蔽效应的研究及利用，提出了一种基于多头自注意力机制的语音增强方法，该方法实现了在注意力机制运算的过程中抑制噪声部分，提高了语音增强性能。

公开(公告)号：CN108021495A

公开(公告)日：2018-05-11

申请号：CN201610954150.5

申请日：2016-11-03

Applicant: 北京计算机技术及应用研究所

Inventor： 蒋欣欣 ,  张杨 ,  闫帅

IPC: G06F11/36

Abstract: 本发明涉及一种基于回放的代码调试方法，属于计算机软件技术领域。本发明通过插桩、追踪与记录以及回放的三步式的代码调试策略，消除了由并行程序中多个进程并行执行导致的并行程序在运行过程中的不确定性，定位了错误代码，实现了代码的确定性回放，能够明显提高代码调试的效率和准确度，改进了软件研发的质量，为并行程序调试工作提供了方法参考。