公开(公告)号：CN113138721A

公开(公告)日：2021-07-20

申请号：CN202110481070.3

申请日：2021-04-30

Applicant: 清华大学 ,  华为技术有限公司

Inventor： 王海霞 ,  吕勇强 ,  忽朝俭 ,  汪东升 ,  徐子涵

IPC: G06F3/06 ,  G06F21/57

Abstract: 本发明提供一种旁路攻击漏洞形式化验证方法及装置，方法包括：将缓存旁路攻击描述为访存操作的组合，以建立访存操作模型；将缓存模型建立为缓存状态机；根据安全规范、时间结果和第一路径规范对缓存状态机进行形式化验证，以确定缓存状态机是否存在缓存旁路攻击漏洞。所述装置用于执行上述方法。本发明提供的旁路攻击漏洞形式化验证方法及装置，对处理器访存操作和缓存设计进行建模，建模方式具有可扩展性，适用于多种硬件或软件缓存设计，只需编写要测试的缓存设计模型，就可以高效自动地对缓存设计是否存在旁路攻击漏洞进行全面分析以及自动化的验证，可以适用于不同的处理器和指令集平台。

公开(公告)号：CN103020551B

公开(公告)日：2015-12-02

申请号：CN201210564145.5

申请日：2012-12-21

Applicant: 清华大学

Inventor： 汪东升 ,  高鹏 ,  王海霞

IPC: G06F21/79 ,  G06F11/08

Abstract: 本发明公开了一种内存架构，该内存架构由内存条和内存控制器构成。内存条由易失性和非易失性的存储器件混合组成，内存控制器支持多种存储器件同时工作，支持ECC功能、任意代理功能、容错功能、增强安全型访问功能和内存加密功能。本发明的内存架构实现了异质存储芯片的平行混合结构，并支持多种功能，系统数据写入损耗小，数据安全性强。

公开(公告)号：CN103019624B

公开(公告)日：2015-07-15

申请号：CN201210533810.4

申请日：2012-12-11

Applicant: 清华大学

Inventor： 汪东升 ,  高鹏 ,  王海霞

IPC: G06F3/06

Abstract: 本发明提供一种相变内存装置，该相变内存装置包括内存控制器和内存条，其中，所述内存条由多片非易失性相变内存芯片和易失性DRAM芯片组成；所述非易失性相变内存芯片和易失性DRAM芯片部分分别通过各自数据总线与内存控制器连接。本发明通过采用相变内存芯片和DRAM芯片的混合结构，使得更频繁被读写的数据被放置于易失性DRAM芯片中。由于DRAM芯片的读写速度比相变内存芯片高，而且不存在写损耗问题，因此降低了相变内存的平均写入次数，提高了寿命，同时也降低了内存条整体的功耗。

公开(公告)号：CN101074149B

公开(公告)日：2010-04-21

申请号：CN200710117842.5

申请日：2007-06-26

Applicant: 北京科技大学

Inventor： 倪文 ,  王海霞 ,  吴英良 ,  刘凤梅

IPC: C04B7/30

CPC classification number: C04B28/14 ,  C04B7/30 ,  C04B2103/445 ,  C04B2111/00017 ,  C04B2111/00215 ,  Y02P40/145 ,  Y02W30/93 ,  Y02W30/94 ,  C04B7/02 ,  C04B18/125 ,  C04B18/141 ,  C04B22/064 ,  C04B22/147 ,  C04B2103/302 ,  C04B24/223 ,  C04B24/226 ,  C04B24/2641

Abstract: 本发明属于建筑材料领域，特别涉及一种利用油页岩冶炼飞灰替代部分水泥熟料制备少熟料水泥的方法。其特征是各种原料按照以下质量百分比混磨：油页岩飞灰50～74％；水泥熟料20～28％；无水石膏或半水石膏或二水石膏或脱硫石膏或氟石膏或磷石膏或其中任意几种石膏的混合物2～8％；硫酸钠或芒硝或硫酸钠芒硝二者的混合物1～4％、生石灰或电石渣或生石灰电石渣二者的混合物2～8％、萘系高效减水剂或三聚氰胺系高效减水剂或聚羧酸系高效减水剂或其中任意几种减水剂的混合物0.1～2％，最终得到比表面积为480～680m2/kg的混合胶凝材料。本发明能够大比例使用油页岩飞灰、少掺水泥熟料，通过采用油页岩飞灰替代部分水泥熟料，实现了油页岩冶炼飞灰的资源化处理，减少了环境污染。

公开(公告)号：CN101074149A

公开(公告)日：2007-11-21

申请号：CN200710117842.5

申请日：2007-06-26

Applicant: 北京科技大学

Inventor： 倪文 ,  王海霞 ,  吴英良 ,  刘凤梅

IPC: C04B7/30

CPC classification number: C04B28/14 ,  C04B7/30 ,  C04B2103/445 ,  C04B2111/00017 ,  C04B2111/00215 ,  Y02P40/145 ,  Y02W30/93 ,  Y02W30/94 ,  C04B7/02 ,  C04B18/125 ,  C04B18/141 ,  C04B22/064 ,  C04B22/147 ,  C04B2103/302 ,  C04B24/223 ,  C04B24/226 ,  C04B24/2641

Abstract: 本发明属于建筑材料领域，特别涉及一种利用油页岩冶炼飞灰替代部分水泥熟料制备少熟料水泥的方法。其特征是各种原料按照以下质量百分比混磨：油页岩飞灰50～74％；水泥熟料20～28％；无水石膏或半水石膏或二水石膏或脱硫石膏或氟石膏或磷石膏或其中任意几种石膏的混合物2～8％；硫酸钠或芒硝或硫酸钠芒硝二者的混合物1～4％、生石灰或电石渣或生石灰电石渣二者的混合物2～8％、萘系高效减水剂或三聚氰胺系高效减水剂或聚羧酸系高效减水剂或其中任意几种减水剂的混合物0.1～2％，最终得到比表面积为480～680m2/kg的混合胶凝材料。本发明能够大比例使用油页岩飞灰、少掺水泥熟料，通过采用油页岩飞灰替代部分水泥熟料，实现了油页岩冶炼飞灰的资源化处理，减少了环境污染。