|
钻瓜专利网为您找到相关结果 43个,建议您 升级VIP下载更多相关专利
- [发明专利]关键词生成方法及装置-CN202211679137.5在审
-
周强;解小锐;蔡懿慈
-
清华大学
-
2022-12-26
-
2023-04-25
-
G06F16/36
- 本发明提供一种关键词生成方法及装置,其中方法包括:获取待处理文本;对待处理文本进行文本分割,获得字词序列;将字词序列输入至生成模型中,获得候选字词集合和至少一个概率分布,概率分布用于表示候选字词集合中的候选字词属于关键词的概率;生成模型将每个概率分布中最大概率值对应的候选字词确定为关键词的首字词;生成模型以首字词作为起始输入,依次对关键词中的字词进行预测,获得生成模型输出的至少一个关键词;其中,生成模型是基于字词序列样本以及字词序列样本对应的关键词样本集合训练得到的。本发明中生成模型使用序列到集合的生成模式,模型把关键词看做无序集合,提高了关键词生成的准确性。
- 关键词生成方法装置
- [发明专利]关键词抽取方法及装置-CN202211679210.9在审
-
周强;解小锐;蔡懿慈
-
清华大学
-
2022-12-26
-
2023-04-25
-
G06F16/332
- 本发明提供一种关键词抽取方法及装置,其中方法包括:获取待抽取文本;对所述待抽取文本进行文本分割,获得字词序列;将所述文本序列输入至抽取模型中,获取所述抽取模型输出的关键词;其中,所述抽取模型是基于文本序列样本以及所述文本序列样本对应的标签序列样本训练得到的,所述标签序列样本是对所对应的文本序列样本进行序列标注获得的,所述标签序列样本用于在所述文本序列样本中确定关键词。本发明实施例提供的关键词抽取方法及装置,通过有监督训练提高了关键词抽取的准确性。
- 关键词抽取方法装置
- [发明专利]一种快速单磁通量子RSFQ电路布局方法和装置-CN202010728091.6有效
-
蔡懿慈;翟建旺;周强
-
清华大学
-
2020-07-23
-
2022-09-20
-
G06F30/327
- 本申请实施例公开了一种快速单磁通量子RSFQ电路布局方法和装置,该方法包括:读入待布局RSFQ电路的门级网表及单元库信息,并依据门级网表及单元库信息解析RSFQ电路的逻辑单元列表和线网列表;识别RSFQ电路中逻辑单元及除时钟线网以外的数据线网的逻辑级别,并根据逻辑级别的识别结果在线网内插入DFF缓冲器,根据DFF缓冲器的插入结果识别最终逻辑级别;根据最终逻辑级别生成逻辑单元按列放置的初始布局模式;采用模拟退火算法对所述初始布局模式进行优化,以最小化布局总线长,并在所述模拟退火算法终止迭代时输出布局结果。通过该实施例方案,保证了RSFQ电路的时钟相位同步,并取得了紧凑的布局结果,大大提高了RSFQ电路设计效率。
- 一种快速磁通量rsfq电路布局方法装置
- [发明专利]用于检测硬件木马的安全断言自动生成方法-CN201810151701.3有效
-
蔡懿慈;王晨光;周强
-
清华大学
-
2018-02-14
-
2021-10-08
-
G06F21/71
- 本发明提供一种用于检测硬件木马的安全断言自动生成方法,包括:对待测芯片的寄存器传输级网表文件进行仿真,得到仿真运行结果和仿真运行文件;根据构建的安全性知识库对仿真运行结果进行分析,得到疑似硬件木马电路的信号;针对每个疑似硬件木马电路的信号执行以下步骤:根据仿真运行文件,推导与疑似硬件木马电路的信号对应的寄存器传输级不变式;根据构建的安全断言模板知识库、推导出的寄存器传输级不变式以及疑似硬件木马电路的信号,生成对应于疑似硬件木马电路的信号的安全断言。本发明利用寄存器传输级不变式实现安全断言的自动生成,减轻设计人员的工作量,省时且不易出错,有效提高了形式验证检测硬件木马的效率。
- 用于检测硬件木马安全断言自动生成方法
- [发明专利]一种片上供电网络优化方法-CN201710588905.9有效
-
蔡懿慈;王晨光;闫明;周强
-
清华大学
-
2017-07-19
-
2020-06-12
-
G06F30/30
- 本发明公开了一种片上供电网络优化方法,包括:建立包括供电网络和负载的芯片电路模型,根据芯片电路模型验证芯片是否满足预设的抗旁路攻击能力的安全性约束;若否,则根据芯片电路模型确定供电网络各个节点的瞬态电压;根据瞬态电压和供电引脚模型确定需要添加去耦合电容的节点位置;根据瞬态电压以及去耦合电容的离散化模型确定需要添加的去耦合电容的电容值;确定需要添加去耦合电容的各个节点与各自的相邻节点之间的电导,利用随机行走的算法生成需要添加去耦合电容的各个节点对应的各个子电路;根据获得的去耦合电容的电容值和生成的各个子电路,为子电路内的每个节点分配去耦合子电容,以提高该优化方法的通用性并减小面积和功耗等代价。
- 一种上供网络优化方法
- [发明专利]一种针对旁路攻击的片上供电网络验证方法-CN201611114328.1有效
-
蔡懿慈;王晨光;闫明;周强
-
清华大学
-
2016-12-07
-
2019-09-20
-
H04L9/00
- 本发明公开了一种针对旁路攻击的片上供电网络验证方法,包括:对芯片的寄存器传输级网表文件进行逻辑综合和物理设计,获得晶体管级网表文件;根据获得的晶体管级网表文件,建立包括供电网络和负载的电路模型;根据产生的明文‑密文数据对及对应的密钥,对芯片执行加密运算的逻辑过程进行模拟,获得负载的电流波形文件;根据电路模型和负载的电流波形文件,对芯片执行加密运算的物理过程进行仿真,获得芯片的功耗曲线;根据获得的功耗曲线,对芯片进行旁路攻击,获得攻击的猜测密钥;根据获得的猜测密钥,分析旁路攻击的结果,对供电网络的抗旁路攻击能力进行验证。本发明的方法成本较小、准确度高,并且缩短了设计验证的周期。
- 一种针对旁路攻击上供网络验证方法
- [发明专利]一种片上供电网络无向量验证方法及验证系统-CN201310472940.6在审
-
蔡懿慈;赵威;周强
-
清华大学
-
2013-10-11
-
2014-01-08
-
G06F19/00
- 本发明公开了一种片上供电网络无向量验证方法及验证系统,验证方法包括:基于片上供电网络的等效电路信息建立系统矩阵方程,获得电导矩阵;基于片上供电网络的电路约束条件建立电流约束矩阵以及由相应的电流上界值所构成的电流约束向量;采用一种多级层次式矩阵求逆算法求解电导矩阵的稀疏近似逆矩阵,从而获得片上供电网络中各节点的电压降与所有吸纳电流源的函数关系,作为目标函数;将电流约束矩阵和电流约束向量作为线性规划的可行域,对目标函数进行线性规划,计算出片上供电网络中各节点的最大电压降,以此对各节点的安全性进行验证。本发明能够在无法给出各单元模块吸纳电流详细信息的情况下,对片上供电网络各节点的最坏情况电压降做出估计。
- 一种上供网络向量验证方法系统
|