惰性硅铝质物料的热液蚀变预处理工艺

    公开(公告)号:CN101391868B

    公开(公告)日:2012-03-28

    申请号:CN200810224502.7

    申请日:2008-10-17

    CPC classification number: Y02P40/143

    Abstract: 本发明公开了属于固体废弃物处理和废弃物利用工艺领域的的一种惰性硅铝质物料的热液蚀变预处理工艺,以惰性硅铝质物料为原料,采用热液蚀变方法制备出具有较高胶凝活性的蚀变物料,蚀变反应的物料由稳流仓供给,物料经过两级或多级预热器加热后进入蚀变反应器进行热液蚀变,得到粉状蚀变料和过烧粘结成块的块状蚀变料,蚀变料随着烟气进入旋风分离器,分离后的粉状蚀变物料进入冷却系统,最后蚀变料细粉进入成品库;块状蚀变料与炉渣一同排出。蚀变反应器由沸腾炉或回转窑担任。本工艺能够满足不同惰性硅铝质物料的蚀变条件,生产的蚀变料可用于制备水泥、混凝土和墙体材料,适用于规模化生产工艺,工艺具有很好的经济和社会效益。

    惰性硅铝质物料的热液蚀变预处理工艺

    公开(公告)号:CN101391868A

    公开(公告)日:2009-03-25

    申请号:CN200810224502.7

    申请日:2008-10-17

    CPC classification number: Y02P40/143

    Abstract: 本发明公开了属于固体废弃物处理和废弃物利用工艺领域的的一种惰性硅铝质物料的热液蚀变预处理工艺,以惰性硅铝质物料为原料,采用热液蚀变方法制备出具有较高胶凝活性的蚀变物料,蚀变反应的物料由稳流仓供给,物料经过两级或多级预热器加热后进入蚀变反应器进行热液蚀变,得到粉状蚀变料和过烧粘结成块的块状蚀变料,蚀变料随着烟气进入旋风分离器,分离后的粉状蚀变物料进入冷却系统,最后蚀变料细粉进入成品库;块状蚀变料与炉渣一同排出。蚀变反应器由沸腾炉或回转窑担任。本工艺能够满足不同惰性硅铝质物料的蚀变条件,生产的蚀变料可用于制备水泥、混凝土和墙体材料,适用于规模化生产工艺,工艺具有很好的经济和社会效益。

    一种使用惰性物料的凝石生产工艺及设备

    公开(公告)号:CN101723609A

    公开(公告)日:2010-06-09

    申请号:CN200810225184.6

    申请日:2008-10-30

    CPC classification number: Y02P40/121 Y02P40/145

    Abstract: 一种使用惰性物料的凝石生产工艺及设备,属于建筑材料领域。其原料处理工艺分为两部分:一部分是惰性硅铝质物料和蚀变剂通过热液蚀变系统和粉磨系统后形成具有潜在胶凝活性的蚀变料,并送入中间仓;另一部分是具有潜在胶凝活性的物料与成岩剂、石膏直接通过粉磨系统后进入中间仓;然后将中间仓内的半成品按比例配料,再经搅拌混匀后形成凝石产品。热液蚀变处理工艺通过稳流仓和蚀变料仓与传统粉磨工艺相联结,保证了热液蚀变处理工艺和传统凝石一磨工艺成为各自较独立的系统。热液蚀变处理系统由沸腾炉、烘干机及辅助设备组成。烘干机为内加热式旋转窑,其前半段为热液蚀变反应区域,后半段为蚀变料冷却区域。本发明制备凝石胶凝材料成本低、性能好、节能降耗、绿色环保。

    一种制备凝石胶凝材料的方法

    公开(公告)号:CN101723608A

    公开(公告)日:2010-06-09

    申请号:CN200810224376.5

    申请日:2008-10-20

    CPC classification number: Y02P40/145

    Abstract: 本发明公开了属于环境保护和资源综合利用技术领域的一种制备凝石胶凝材料的方法。将尾矿与赤泥混合研磨制成料饼、料块、料球或料粉送入蚀变反应器内进行热液蚀变反应,热液蚀变反应的温度为200~900℃,反应的时间为0.6~800min,将经过热液蚀变反应预处理的物料、水泥熟料、高炉水淬矿渣、石膏、成岩剂混合研磨,得到凝石胶凝材料。利用赤泥中所含的盐类物质和挥发份对尾矿进行热液蚀变,实现以废治废,将尾矿和赤泥同时变废为宝,减轻尾矿和赤泥堆积对生态环境造成的破坏;所生产的凝石在很多场合可以作为高标号水泥来使用,但其生产成本比生产水泥可降低20~50%;生产过程对环境的负荷可比生产水泥减少50~80%。

    旁路攻击漏洞形式化验证方法及装置

    公开(公告)号:CN113138721B

    公开(公告)日:2022-11-29

    申请号:CN202110481070.3

    申请日:2021-04-30

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

    一种数据存储的容错冗余方法及设备

    公开(公告)号:CN107357685B

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

    申请号:CN201710561507.8

    申请日:2017-07-11

    Applicant: 清华大学

    Abstract: 本发明提供一种数据存储的容错冗余方法及设备,所述方法包括:在数据存储时,对访问频次高的数据进行LRC码编码后存储为LRC码数据,对访问频次低的数据进行Hitchhiker‑XOR码编码后存储为Hitchhiker‑XOR码数据;若所述LRC码数据的访问频次降低,则将其编码方式切换为Hitchhiker‑XOR码编码;若所述Hitchhiker‑XOR码数据的访问频次升高,则将其编码方式切换为LRC码编码。本发明分别利用存储开销低的Hitchhiker‑XOR码和恢复延迟低的LRC码进行存储;在数据的访问频次变化后,进行两种编码之间的切换,整体上降低数据恢复延迟并保证较低的存储开销。

    区分脏程度的cache替换方法及装置

    公开(公告)号:CN106126443B

    公开(公告)日:2019-03-01

    申请号:CN201610465812.2

    申请日:2016-06-23

    Applicant: 清华大学

    Abstract: 本发明提供一种区分脏程度的cache替换方法及装置,包括:设置多个高速缓冲存储块集合,将高访问频率脏块集合中的脏块进行子块分类;当检测到有新存储块插入时,判断确定新存储块采用读或写缺失引入方式进行插入,将新存储块在对应集合中插入;当检测到已存存储块被访问读命中,且所属低访问频率干净块集合或高访问频率干净块集合,将存储块移动到对应集合中;当检测到需替出已存存储块时,按照脏子块数量从少到多的顺序检测集合内的各个脏块的LRU链,若未检测到第一个非空LRU链时,将所述LRU链中的LRU块替出。本发明提供的一种区分脏程度的cache替换方法及装置,通过将高访问频率脏块进一步划分为若干子块,为其中脏子块数量多的存储块提供更多的保护。

    延迟PCM内存使用寿命的cache替换方法及装置

    公开(公告)号:CN106155938A

    公开(公告)日:2016-11-23

    申请号:CN201610466832.1

    申请日:2016-06-23

    Applicant: 清华大学

    CPC classification number: G06F12/123

    Abstract: 本发明提供一种延迟PCM内存使用寿命的cache替换方法及装置,包括:设置多个高速缓冲存储块,并分为多个集合,获得每个存储块集合所对应的LRU链;当检测到有新存储块插入时,判断确定新存储块采用读或写缺失引入方式进行插入,则将新存储块在对应集合中插入;当检测到已存存储块被访问读命中,且所属低访问频率干净块集合或高访问频率干净块集合时,则将存储块移动到对应集合中;当检测到需替出已存存储块时,依次对各个集合的LRU链进行检测,若检测到第一个非空LRU链时,将LRU位置上的存储块替出。本发明提供的一种延迟PCM内存使用寿命的cache替换方法及装置,通过在cache块的所有处理过程中均对脏块和干净块进行区分,为脏块和干净块均提供了更全面的保护。

Patent Agency Ranking