Time interval
1985-2022
Field display
td>| Basic information table of digital economic inventions and patents published by universities |
|---|
| Province |
| School name |
| School identification code |
| Supervisory department |
| Location |
| School level |
| Remarks |
| Former name |
| Major category code |
| Major category name |
| Medium category code |
| Class name |
| Subclass code |
| Subclass name |
| Applicant |
| Patent name |
| Application publication number |
| Application publication date |
| Application number |
| Application date |
| Inventor |
| Address |
| IPC classification number |
| Patent agency |
| Agent |
| PCT national phase entry date |
| PCT application data |
| PCT public Data |
| Priority |
| Biological deposit |
| Divisional original application |
| Domestic priority |
| Brief description |
| Number of patent claims |
| Number of citations to other patents |
| Number of patent citations |
| Legal status |
Sample data
< th>Major category name| Province | School name | School identification code | Supervisory department | Location | School level | Remarks | Former name | Major category code | Middle category code | Middle category name | Sub-category code | Sub-category name | Applicant | Patent name | Application publication number | Application publication date | Application number | Application date | Inventor | Address | IPC classification number | Patent agency | Agent /th> | PCT national phase entry date | PCT application data | PCT publication data | Priority | Biological deposit | Divisional original application | National priority | Brief description | Number of patent claims | Number of citations to other patents | Number of patent citations | Legal status | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010101 | 计算机整机制造 | [北京大学] | [发明公布] 一种用于向量代数的硬件加速器的设计方法 | CN113901746A | 2022-01-07 | 2021111755560 | 2021-10-09 | [梁云, 贾连成, 卢丽强, 罗梓璋] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F15/78(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种用于向量代数的硬件加速器的设计方法，通过对输入到硬件加速器的硬件数据流进行形式化分析，生成硬件加速器在空间上的拓扑结构，以及硬件加速器的片上存储的数据映射和访问序列；并使用预定义的硬件代码模板生成加速器硬件电路代码，为不同的向量运算统一生成硬件加速器，提升硬件加速器设计效率。 | 6 | 0 | 1 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010101 | 计算机整机制造 | [北京大学] | [发明公布] 一种可配置稀疏注意力机制的硬件加速器 | CN113901747A | 2022-01-07 | 2021111974464 | 2021-10-14 | [梁云, 卢丽强, 罗梓璋, 金奕成] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F17/16(2006.01)I;G06F15/78(2006.01)I;G06F7/523(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种可配置稀疏注意力机制的硬件加速器，包括：样本化稠密矩阵乘法运算模块、掩模分块打包模块和可配置稀疏矩阵乘法运算模块；样本化稠密矩阵乘法运算模块采用脉动阵列的硬件结构；掩模分块打包模块包括列号计数器，行激活单元计数器以及缓冲区；可配置稀疏矩阵乘法运算模块包括可配置运算单元PE、寄存器阵列和除法器，可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性，高效动态地决定分数矩阵的稀疏模式，在较高的稀疏度下，仍然可以保持较高的流通量，能够高效地、动态地加速稀疏注意力机制的运算。 | 10 | 0 | 0 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010101 | 计算机整机制造 | [北京大学] | [发明公布] ROCC协处理器接口模型及其自动生成工具和实现方法 | CN114138342A | 2022-03-04 | 2022101169331 | 2022-01-25 | [付晓霞, 严伟, 罗国杰, 郭一江, 时广轶, 石弼钊] | 100871北京市海淀区颐和园路5号 | G06F9/38(2006.01)I;G06F13/12(2006.01)I;G06F15/17(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种ROCC协处理器接口模型及其自动生成工具和实现方法，包括：指令解析模块、指令存储单元、输入数据存储器、计算结果存储器、读入数据状态机模块和接口行为状态机模块；指令解析模块与ROCC协处理器端相连接；输入数据存储器和计算结果存储器均与内存L1 cache端相连。自动生成工具包括：接口生成功能实现和接口生成主函数；首先生成ROCC协处理器接口文件和用于用户测试使用的指令头文件，再将ROCC协处理器集成到RISC‑V系统，实现ROCC协处理器接口模型的生成。采用本发明技术方案，可简化和屏蔽RISC‑V指令和ROCC接口的具体实现细节，快速生成得到适配协处理器的硬件接口。 | 10 | 7 | 0 | Granted | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010102 | 计算机零部件制造 | [北京大学] | [发明公布] 一种用于向量代数的硬件加速器的设计方法 | CN113901746A | 2022-01-07 | 2021111755560 | 2021-10-09 | [梁云, 贾连成, 卢丽强, 罗梓璋] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F15/78(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种用于向量代数的硬件加速器的设计方法，通过对输入到硬件加速器的硬件数据流进行形式化分析，生成硬件加速器在空间上的拓扑结构，以及硬件加速器的片上存储的数据映射和访问序列；并使用预定义的硬件代码模板生成加速器硬件电路代码，为不同的向量运算统一生成硬件加速器，提升硬件加速器设计效率。 | 6 | 0 | 1 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010102 | 计算机零部件制造 | [北京大学] | [发明公布] 一种可配置稀疏注意力机制的硬件加速器 | CN113901747A | 2022-01-07 | 2021111974464 | 2021-10-14 | [梁云, 卢丽强, 罗梓璋, 金奕成] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F17/16(2006.01)I;G06F15/78(2006.01)I;G06F7/523(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种可配置稀疏注意力机制的硬件加速器，包括：样本化稠密矩阵乘法运算模块、掩模分块打包模块和可配置稀疏矩阵乘法运算模块；样本化稠密矩阵乘法运算模块采用脉动阵列的硬件结构；掩模分块打包模块包括列号计数器，行激活单元计数器以及缓冲区；可配置稀疏矩阵乘法运算模块包括可配置运算单元PE、寄存器阵列和除法器，可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性，高效动态地决定分数矩阵的稀疏模式，在较高的稀疏度下，仍然可以保持较高的流通量，能够高效地、动态地加速稀疏注意力机制的运算。 | 10 | 0 | 0 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010102 | 计算机零部件制造 | [北京大学] | [发明公布] ROCC协处理器接口模型及其自动生成工具和实现方法 | CN114138342A | 2022-03-04 | 2022101169331 | 2022-01-25 | [付晓霞, 严伟, 罗国杰, 郭一江, 时广轶, 石弼钊] | 100871北京市海淀区颐和园路5号 | G06F9/38(2006.01)I;G06F13/12(2006.01)I;G06F15/17(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种ROCC协处理器接口模型及其自动生成工具和实现方法，包括：指令解析模块、指令存储单元、输入数据存储器、计算结果存储器、读入数据状态机模块和接口行为状态机模块；指令解析模块与ROCC协处理器端相连接；输入数据存储器和计算结果存储器均与内存L1 cache端相连。自动生成工具包括：接口生成功能实现和接口生成主函数；首先生成ROCC协处理器接口文件和用于用户测试使用的指令头文件，再将ROCC协处理器集成到RISC‑V系统，实现ROCC协处理器接口模型的生成。采用本发明技术方案，可简化和屏蔽RISC‑V指令和ROCC接口的具体实现细节，快速生成得到适配协处理器的硬件接口。 | 10 | 7 | 0 | Granted | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010103 | 计算机外围设备制造 | [北京大学] | [发明公布] 一种用于向量代数的硬件加速器的设计方法 | CN113901746A | 2022-01-07 | 2021111755560 | 2021-10-09 | [梁云, 贾连成, 卢丽强, 罗梓璋] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F15/78(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种用于向量代数的硬件加速器的设计方法，通过对输入到硬件加速器的硬件数据流进行形式化分析，生成硬件加速器在空间上的拓扑结构，以及硬件加速器的片上存储的数据映射和访问序列；并使用预定义的硬件代码模板生成加速器硬件电路代码，为不同的向量运算统一生成硬件加速器，提升硬件加速器设计效率。 | 6 | 0 | 1 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010103 | 计算机外围设备制造 | [北京大学] | [发明公布] 一种可配置稀疏注意力机制的硬件加速器 | CN113901747A | 2022-01-07 | 2021111974464 | 2021-10-14 | [梁云, 卢丽强, 罗梓璋, 金奕成] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F17/16(2006.01)I;G06F15/78(2006.01)I;G06F7/523(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种可配置稀疏注意力机制的硬件加速器，包括：样本化稠密矩阵乘法运算模块、掩模分块打包模块和可配置稀疏矩阵乘法运算模块；样本化稠密矩阵乘法运算模块采用脉动阵列的硬件结构；掩模分块打包模块包括列号计数器，行激活单元计数器以及缓冲区；可配置稀疏矩阵乘法运算模块包括可配置运算单元PE、寄存器阵列和除法器，可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性，高效动态地决定分数矩阵的稀疏模式，在较高的稀疏度下，仍然可以保持较高的流通量，能够高效地、动态地加速稀疏注意力机制的运算。 | 10 | 0 | 0 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010103 | 计算机外围设备制造 | [北京大学] | [发明公布] ROCC协处理器接口模型及其自动生成工具和实现方法 | CN114138342A | 2022-03-04 | 2022101169331 | 2022-01-25 | [付晓霞, 严伟, 罗国杰, 郭一江, 时广轶, 石弼钊] | 100871北京市海淀区颐和园路5号 | G06F9/38(2006.01)I;G06F13/12(2006.01)I;G06F15/17(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种ROCC协处理器接口模型及其自动生成工具和实现方法，包括：指令解析模块、指令存储单元、输入数据存储器、计算结果存储器、读入数据状态机模块和接口行为状态机模块；指令解析模块与ROCC协处理器端相连接；输入数据存储器和计算结果存储器均与内存L1 cache端相连。自动生成工具包括：接口生成功能实现和接口生成主函数；首先生成ROCC协处理器接口文件和用于用户测试使用的指令头文件，再将ROCC协处理器集成到RISC‑V系统，实现ROCC协处理器接口模型的生成。采用本发明技术方案，可简化和屏蔽RISC‑V指令和ROCC接口的具体实现细节，快速生成得到适配协处理器的硬件接口。 | 10 | 7 | 0 | Granted | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010104 | 工业控制计算机及系统制造 | [北京大学] | [发明公布] 一种用于向量代数的硬件加速器的设计方法 | CN113901746A | 2022-01-07 | 2021111755560 | 2021-10-09 | [梁云, 贾连成, 卢丽强, 罗梓璋] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F15/78(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种用于向量代数的硬件加速器的设计方法，通过对输入到硬件加速器的硬件数据流进行形式化分析，生成硬件加速器在空间上的拓扑结构，以及硬件加速器的片上存储的数据映射和访问序列；并使用预定义的硬件代码模板生成加速器硬件电路代码，为不同的向量运算统一生成硬件加速器，提升硬件加速器设计效率。 | 6 | 0 | 1 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010104 | 工业控制计算机及系统制造 | [北京大学] | [发明公布] 一种可配置稀疏注意力机制的硬件加速器 | CN113901747A | 2022-01-07 | 2021111974464 | 2021-10-14 | [梁云, 卢丽强, 罗梓璋, 金奕成] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F17/16(2006.01)I;G06F15/78(2006.01)I;G06F7/523(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种可配置稀疏注意力机制的硬件加速器，包括：样本化稠密矩阵乘法运算模块、掩模分块打包模块和可配置稀疏矩阵乘法运算模块；样本化稠密矩阵乘法运算模块采用脉动阵列的硬件结构；掩模分块打包模块包括列号计数器，行激活单元计数器以及缓冲区；可配置稀疏矩阵乘法运算模块包括可配置运算单元PE、寄存器阵列和除法器，可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性，高效动态地决定分数矩阵的稀疏模式，在较高的稀疏度下，仍然可以保持较高的流通量，能够高效地、动态地加速稀疏注意力机制的运算。 | 10 | 0 | 0 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010104 | 工业控制计算机及系统制造 | [北京大学] | [发明公布] ROCC协处理器接口模型及其自动生成工具和实现方法 | CN114138342A | 2022-03-04 | 2022101169331 | 2022-01-25 | [付晓霞, 严伟, 罗国杰, 郭一江, 时广轶, 石弼钊] | 100871北京市海淀区颐和园路5号 | G06F9/38(2006.01)I;G06F13/12(2006.01)I;G06F15/17(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种ROCC协处理器接口模型及其自动生成工具和实现方法，包括：指令解析模块、指令存储单元、输入数据存储器、计算结果存储器、读入数据状态机模块和接口行为状态机模块；指令解析模块与ROCC协处理器端相连接；输入数据存储器和计算结果存储器均与内存L1 cache端相连。自动生成工具包括：接口生成功能实现和接口生成主函数；首先生成ROCC协处理器接口文件和用于用户测试使用的指令头文件，再将ROCC协处理器集成到RISC‑V系统，实现ROCC协处理器接口模型的生成。采用本发明技术方案，可简化和屏蔽RISC‑V指令和ROCC接口的具体实现细节，快速生成得到适配协处理器的硬件接口。 | 10 | 7 | 0 | Granted | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010105 | 信息安全设备制造 | [北京大学] | [发明公布] 一种用于向量代数的硬件加速器的设计方法 | CN113901746A | 2022-01-07 | 2021111755560 | 2021-10-09 | [梁云, 贾连成, 卢丽强, 罗梓璋] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F15/78(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种用于向量代数的硬件加速器的设计方法，通过对输入到硬件加速器的硬件数据流进行形式化分析，生成硬件加速器在空间上的拓扑结构，以及硬件加速器的片上存储的数据映射和访问序列；并使用预定义的硬件代码模板生成加速器硬件电路代码，为不同的向量运算统一生成硬件加速器，提升硬件加速器设计效率。 | 6 | 0 | 1 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010105 | 信息安全设备制造 | [北京大学] | [发明公布] 一种可配置稀疏注意力机制的硬件加速器 | CN113901747A | 2022-01-07 | 2021111974464 | 2021-10-14 | [梁云, 卢丽强, 罗梓璋, 金奕成] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F17/16(2006.01)I;G06F15/78(2006.01)I;G06F7/523(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种可配置稀疏注意力机制的硬件加速器，包括：样本化稠密矩阵乘法运算模块、掩模分块打包模块和可配置稀疏矩阵乘法运算模块；样本化稠密矩阵乘法运算模块采用脉动阵列的硬件结构；掩模分块打包模块包括列号计数器，行激活单元计数器以及缓冲区；可配置稀疏矩阵乘法运算模块包括可配置运算单元PE、寄存器阵列和除法器，可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性，高效动态地决定分数矩阵的稀疏模式，在较高的稀疏度下，仍然可以保持较高的流通量，能够高效地、动态地加速稀疏注意力机制的运算。 | 10 | 0 | 0 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010105 | 信息安全设备制造 | [北京大学] | [发明公布] ROCC协处理器接口模型及其自动生成工具和实现方法 | CN114138342A | 2022-03-04 | 2022101169331 | 2022-01-25 | [付晓霞, 严伟, 罗国杰, 郭一江, 时广轶, 石弼钊] | 100871北京市海淀区颐和园路5号 | G06F9/38(2006.01)I;G06F13/12(2006.01)I;G06F15/17(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种ROCC协处理器接口模型及其自动生成工具和实现方法，包括：指令解析模块、指令存储单元、输入数据存储器、计算结果存储器、读入数据状态机模块和接口行为状态机模块；指令解析模块与ROCC协处理器端相连接；输入数据存储器和计算结果存储器均与内存L1 cache端相连。自动生成工具包括：接口生成功能实现和接口生成主函数；首先生成ROCC协处理器接口文件和用于用户测试使用的指令头文件，再将ROCC协处理器集成到RISC‑V系统，实现ROCC协处理器接口模型的生成。采用本发明技术方案，可简化和屏蔽RISC‑V指令和ROCC接口的具体实现细节，快速生成得到适配协处理器的硬件接口。 | 10 | 7 | 0 | Granted | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010106 | 其他计算机制造 | [北京大学] | [发明公布] 一种用于向量代数的硬件加速器的设计方法 | CN113901746A | 2022-01-07 | 2021111755560 | 2021-10-09 | [梁云, 贾连成, 卢丽强, 罗梓璋] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F15/78(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种用于向量代数的硬件加速器的设计方法，通过对输入到硬件加速器的硬件数据流进行形式化分析，生成硬件加速器在空间上的拓扑结构，以及硬件加速器的片上存储的数据映射和访问序列；并使用预定义的硬件代码模板生成加速器硬件电路代码，为不同的向量运算统一生成硬件加速器，提升硬件加速器设计效率。 | 6 | 0 | 1 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010106 | 其他计算机制造 | [北京大学] | [发明公布] 一种可配置稀疏注意力机制的硬件加速器 | CN113901747A | 2022-01-07 | 2021111974464 | 2021-10-14 | [梁云, 卢丽强, 罗梓璋, 金奕成] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F17/16(2006.01)I;G06F15/78(2006.01)I;G06F7/523(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种可配置稀疏注意力机制的硬件加速器，包括：样本化稠密矩阵乘法运算模块、掩模分块打包模块和可配置稀疏矩阵乘法运算模块；样本化稠密矩阵乘法运算模块采用脉动阵列的硬件结构；掩模分块打包模块包括列号计数器，行激活单元计数器以及缓冲区；可配置稀疏矩阵乘法运算模块包括可配置运算单元PE、寄存器阵列和除法器，可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性，高效动态地决定分数矩阵的稀疏模式，在较高的稀疏度下，仍然可以保持较高的流通量，能够高效地、动态地加速稀疏注意力机制的运算。 | 10 | 0 | 0 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010106 | 其他计算机制造 | [北京大学] | [发明公布] ROCC协处理器接口模型及其自动生成工具和实现方法 | CN114138342A | 2022-03-04 | 2022101169331 | 2022-01-25 | [付晓霞, 严伟, 罗国杰, 郭一江, 时广轶, 石弼钊] | 100871北京市海淀区颐和园路5号 | G06F9/38(2006.01)I;G06F13/12(2006.01)I;G06F15/17(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种ROCC协处理器接口模型及其自动生成工具和实现方法，包括：指令解析模块、指令存储单元、输入数据存储器、计算结果存储器、读入数据状态机模块和接口行为状态机模块；指令解析模块与ROCC协处理器端相连接；输入数据存储器和计算结果存储器均与内存L1 cache端相连。自动生成工具包括：接口生成功能实现和接口生成主函数；首先生成ROCC协处理器接口文件和用于用户测试使用的指令头文件，再将ROCC协处理器集成到RISC‑V系统，实现ROCC协处理器接口模型的生成。采用本发明技术方案，可简化和屏蔽RISC‑V指令和ROCC接口的具体实现细节，快速生成得到适配协处理器的硬件接口。 | 10 | 7 | 0 | Granted | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0105 | 电子元器件及设备制造 | 010508 | 集成电路制造 | [北京大学] | [发明公布] 一种用于向量代数的硬件加速器的设计方法 | CN113901746A | 2022-01-07 | 2021111755560 | 2021-10-09 | [梁云, 贾连成, 卢丽强, 罗梓璋] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F15/78(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种用于向量代数的硬件加速器的设计方法，通过对输入到硬件加速器的硬件数据流进行形式化分析，生成硬件加速器在空间上的拓扑结构，以及硬件加速器的片上存储的数据映射和访问序列；并使用预定义的硬件代码模板生成加速器硬件电路代码，为不同的向量运算统一生成硬件加速器，提升硬件加速器设计效率。 | 6 | 0 | 1 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0105 | 电子元器件及设备制造 | 010508 | 集成电路制造 | [北京大学] | [发明公布] 一种可配置稀疏注意力机制的硬件加速器 | CN113901747A | 2022-01-07 | 2021111974464 | 2021-10-14 | [梁云, 卢丽强, 罗梓璋, 金奕成] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F17/16(2006.01)I;G06F15/78(2006.01)I;G06F7/523(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种可配置稀疏注意力机制的硬件加速器，包括：样本化稠密矩阵乘法运算模块、掩模分块打包模块和可配置稀疏矩阵乘法运算模块；样本化稠密矩阵乘法运算模块采用脉动阵列的硬件结构；掩模分块打包模块包括列号计数器，行激活单元计数器以及缓冲区；可配置稀疏矩阵乘法运算模块包括可配置运算单元PE、寄存器阵列和除法器，可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性，高效动态地决定分数矩阵的稀疏模式，在较高的稀疏度下，仍然可以保持较高的流通量，能够高效地、动态地加速稀疏注意力机制的运算。 | 10 | 0 | 0 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0105 | 电子元器件及设备制造 | 010508 | 集成电路制造 | [北京大学] | [发明公布] ROCC协处理器接口模型及其自动生成工具和实现方法 | CN114138342A | 2022-03-04 | 2022101169331 | 2022-01-25 | [付晓霞, 严伟, 罗国杰, 郭一江, 时广轶, 石弼钊] | 100871北京市海淀区颐和园路5号 | G06F9/38(2006.01)I;G06F13/12(2006.01)I;G06F15/17(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种ROCC协处理器接口模型及其自动生成工具和实现方法，包括：指令解析模块、指令存储单元、输入数据存储器、计算结果存储器、读入数据状态机模块和接口行为状态机模块；指令解析模块与ROCC协处理器端相连接；输入数据存储器和计算结果存储器均与内存L1 cache端相连。自动生成工具包括：接口生成功能实现和接口生成主函数；首先生成ROCC协处理器接口文件和用于用户测试使用的指令头文件，再将ROCC协处理器集成到RISC‑V系统，实现ROCC协处理器接口模型的生成。采用本发明技术方案，可简化和屏蔽RISC‑V指令和ROCC接口的具体实现细节，快速生成得到适配协处理器的硬件接口。 | 10 | 7 | 0 | Granted | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 03 | 数字技术应用业 | 0304 | 信息技术服务 | 030405 | 信息处理和存储支持服务 | [北京大学] | [发明公布] 一种用于向量代数的硬件加速器的设计方法 | CN113901746A | 2022-01-07 | 2021111755560 | 2021-10-09 | [梁云, 贾连成, 卢丽强, 罗梓璋] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F15/78(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种用于向量代数的硬件加速器的设计方法，通过对输入到硬件加速器的硬件数据流进行形式化分析，生成硬件加速器在空间上的拓扑结构，以及硬件加速器的片上存储的数据映射和访问序列；并使用预定义的硬件代码模板生成加速器硬件电路代码，为不同的向量运算统一生成硬件加速器，提升硬件加速器设计效率。 | 6 | 0 | 1 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 03 | 数字技术应用业 | 0304 | 信息技术服务 | 030405 | 信息处理和存储支持服务 | [北京大学] | [发明公布] 一种可配置稀疏注意力机制的硬件加速器 | CN113901747A | 2022-01-07 | 2021111974464 | 2021-10-14 | [梁云, 卢丽强, 罗梓璋, 金奕成] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F17/16(2006.01)I;G06F15/78(2006.01)I;G06F7/523(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种可配置稀疏注意力机制的硬件加速器，包括：样本化稠密矩阵乘法运算模块、掩模分块打包模块和可配置稀疏矩阵乘法运算模块；样本化稠密矩阵乘法运算模块采用脉动阵列的硬件结构；掩模分块打包模块包括列号计数器，行激活单元计数器以及缓冲区；可配置稀疏矩阵乘法运算模块包括可配置运算单元PE、寄存器阵列和除法器，可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性，高效动态地决定分数矩阵的稀疏模式，在较高的稀疏度下，仍然可以保持较高的流通量，能够高效地、动态地加速稀疏注意力机制的运算。 | 10 | 0 | 0 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 03 | 数字技术应用业 | 0304 | 信息技术服务 | 030405 | 信息处理和存储支持服务 | [北京大学] | [发明公布] ROCC协处理器接口模型及其自动生成工具和实现方法 | CN114138342A | 2022-03-04 | 2022101169331 | 2022-01-25 | [付晓霞, 严伟, 罗国杰, 郭一江, 时广轶, 石弼钊] | 100871北京市海淀区颐和园路5号 | G06F9/38(2006.01)I;G06F13/12(2006.01)I;G06F15/17(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种ROCC协处理器接口模型及其自动生成工具和实现方法，包括：指令解析模块、指令存储单元、输入数据存储器、计算结果存储器、读入数据状态机模块和接口行为状态机模块；指令解析模块与ROCC协处理器端相连接；输入数据存储器和计算结果存储器均与内存L1 cache端相连。自动生成工具包括：接口生成功能实现和接口生成主函数；首先生成ROCC协处理器接口文件和用于用户测试使用的指令头文件，再将ROCC协处理器集成到RISC‑V系统，实现ROCC协处理器接口模型的生成。采用本发明技术方案，可简化和屏蔽RISC‑V指令和ROCC接口的具体实现细节，快速生成得到适配协处理器的硬件接口。 | 10 | 7 | 0 | Granted | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 03 | 数字技术应用业 | 0304 | 信息技术服务 | 030406 | 信息技术咨询服务 | [北京大学] | [发明公布] 一种用于向量代数的硬件加速器的设计方法 | CN113901746A | 2022-01-07 | 2021111755560 | 2021-10-09 | [梁云, 贾连成, 卢丽强, 罗梓璋] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F15/78(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种用于向量代数的硬件加速器的设计方法，通过对输入到硬件加速器的硬件数据流进行形式化分析，生成硬件加速器在空间上的拓扑结构，以及硬件加速器的片上存储的数据映射和访问序列；并使用预定义的硬件代码模板生成加速器硬件电路代码，为不同的向量运算统一生成硬件加速器，提升硬件加速器设计效率。 | 6 | 0 | 1 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 03 | 数字技术应用业 | 0304 | 信息技术服务 | 030406 | 信息技术咨询服务 | [北京大学] | [发明公布] 一种可配置稀疏注意力机制的硬件加速器 | CN113901747A | 2022-01-07 | 2021111974464 | 2021-10-14 | [梁云, 卢丽强, 罗梓璋, 金奕成] | 100871北京市海淀区颐和园路5号 | G06F30/331(2020.01)I;G06F17/16(2006.01)I;G06F15/78(2006.01)I;G06F7/523(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种可配置稀疏注意力机制的硬件加速器，包括：样本化稠密矩阵乘法运算模块、掩模分块打包模块和可配置稀疏矩阵乘法运算模块；样本化稠密矩阵乘法运算模块采用脉动阵列的硬件结构；掩模分块打包模块包括列号计数器，行激活单元计数器以及缓冲区；可配置稀疏矩阵乘法运算模块包括可配置运算单元PE、寄存器阵列和除法器，可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性，高效动态地决定分数矩阵的稀疏模式，在较高的稀疏度下，仍然可以保持较高的流通量，能够高效地、动态地加速稀疏注意力机制的运算。 | 10 | 0 | 0 | Pending | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 03 | 数字技术应用业 | 0304 | 信息技术服务 | 030406 | 信息技术咨询服务 | [北京大学] | [发明公布] ROCC协处理器接口模型及其自动生成工具和实现方法 | CN114138342A | 2022-03-04 | 2022101169331 | 2022-01-25 | [付晓霞, 严伟, 罗国杰, 郭一江, 时广轶, 石弼钊] | 100871北京市海淀区颐和园路5号 | G06F9/38(2006.01)I;G06F13/12(2006.01)I;G06F15/17(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 黄凤茹 | 本发明公布了一种ROCC协处理器接口模型及其自动生成工具和实现方法，包括：指令解析模块、指令存储单元、输入数据存储器、计算结果存储器、读入数据状态机模块和接口行为状态机模块；指令解析模块与ROCC协处理器端相连接；输入数据存储器和计算结果存储器均与内存L1 cache端相连。自动生成工具包括：接口生成功能实现和接口生成主函数；首先生成ROCC协处理器接口文件和用于用户测试使用的指令头文件，再将ROCC协处理器集成到RISC‑V系统，实现ROCC协处理器接口模型的生成。采用本发明技术方案，可简化和屏蔽RISC‑V指令和ROCC接口的具体实现细节，快速生成得到适配协处理器的硬件接口。 | 10 | 7 | 0 | Granted | ||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010101 | 计算机整机制造 | [北京大学] | [发明公布] 一种面向泛在资源的拉模式可信预言机的软件定义方法 | CN113935058A | 2022-01-14 | 2021115292657 | 2021-12-15 | [蔡华谦, 黄罡, 刘譞哲] | 100871北京市海淀区颐和园路5号 | G06F21/60(2013.01)I;G06F9/54(2006.01)I;G06F7/58(2006.01)I; | 北京润泽恒知识产权代理有限公司11319 | 本申请实施例提供一种面向泛在资源的拉模式可信预言机的软件定义方法，涉及区块链技术领域，所述方法包括：执行环境、审计机制分别计算主密钥的前半部分、后半部分；审计机制将后半部分的一部份发送给执行环境，使执行环境生成部分的TLS Key，执行环境依据部分TLS Key接收合约节点发送的资源，将接收数据的信息摘要发送至审计机制；审计机制收到信息摘要后使执行环境拥有完整的TLS Key来解密资源，以进行部署生成执行进程；审计机制重新接收资源以进行审计，审计完成后，执行环境返回执行进程的调用ID和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口，一次调用就能实现链下资源的软件定义化，还能为执行提供真实性证明。 | 8 | 3 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010101 | 计算机整机制造 | [北京大学] | [发明公布] 学位资源的分配系统及方法 | CN114037576A | 2022-02-11 | 2021115590961 | 2021-12-20 | [苏品任, 杨家文] | 100871北京市海淀区颐和园路5号 | G06Q50/20(2012.01)I;G06F21/31(2013.01)I;G06F21/60(2013.01)I;G06F21/64(2013.01)I; | 北京康信知识产权代理有限责任公司11240 | 本申请公开了一种学位资源的分配系统及方法。其中，该系统包括：联盟链，用于接收目标用户的入学申请请求，调用智能合约单元，接收智能合约单元的返回结果，并将返回结果存储在各个节点，其中，该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成，返回结果至少包括：目标用户的录取结果；智能合约单元，用于根据预设学位分配机制对目标用户的入学申请请求进行分析，确定录取结果，其中，录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统，通过人工的方式进行学位资源分配造成的分配流程繁琐，分配过程不透明，分配过程不能公开化以及数据安全性得不到保障的技术问题。 | 15 | 5 | 0 | Pending | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010101 | 计算机整机制造 | [北京大学, 博雅正链（北京）科技有限公司] | [发明公布] 基于深度学习的以太坊智能合约安全漏洞检测方法及系统 | CN114048464A | 2022-02-15 | 2022100295182 | 2022-01-12 | [陈钟, 关志, 李青山, 杨可静, 崔冬琪, 李悦, 董宇, 陈子明] | 100871北京市海淀区颐和园路5号 | G06F21/52(2013.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统，将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型，针对智能合约源代码，判断是否包含漏洞，从而实现智能合约安全漏洞的检测；包括：进行以太坊智能合约源代码数据的预处理；构建智能合约源代码语义表征学习模块，包括编码层/编码器、检测层/分类器以及模型融合输出模块；训练模型；测试阶段利用训练好的智能合约源代码语义表征学习模块，实现基于机器学习的区块链智能合约安全漏洞检测，有效提升了以太坊智能合约安全漏洞的检测性能。 | 9 | 10 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010102 | 计算机零部件制造 | [北京大学] | [发明公布] 一种面向泛在资源的拉模式可信预言机的软件定义方法 | CN113935058A | 2022-01-14 | 2021115292657 | 2021-12-15 | [蔡华谦, 黄罡, 刘譞哲] | 100871北京市海淀区颐和园路5号 | G06F21/60(2013.01)I;G06F9/54(2006.01)I;G06F7/58(2006.01)I; | 北京润泽恒知识产权代理有限公司11319 | 本申请实施例提供一种面向泛在资源的拉模式可信预言机的软件定义方法，涉及区块链技术领域，所述方法包括：执行环境、审计机制分别计算主密钥的前半部分、后半部分；审计机制将后半部分的一部份发送给执行环境，使执行环境生成部分的TLS Key，执行环境依据部分TLS Key接收合约节点发送的资源，将接收数据的信息摘要发送至审计机制；审计机制收到信息摘要后使执行环境拥有完整的TLS Key来解密资源，以进行部署生成执行进程；审计机制重新接收资源以进行审计，审计完成后，执行环境返回执行进程的调用ID和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口，一次调用就能实现链下资源的软件定义化，还能为执行提供真实性证明。 | 8 | 3 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010102 | 计算机零部件制造 | [北京大学] | [发明公布] 学位资源的分配系统及方法 | CN114037576A | 2022-02-11 | 2021115590961 | 2021-12-20 | [苏品任, 杨家文] | 100871北京市海淀区颐和园路5号 | G06Q50/20(2012.01)I;G06F21/31(2013.01)I;G06F21/60(2013.01)I;G06F21/64(2013.01)I; | 北京康信知识产权代理有限责任公司11240 | 本申请公开了一种学位资源的分配系统及方法。其中，该系统包括：联盟链，用于接收目标用户的入学申请请求，调用智能合约单元，接收智能合约单元的返回结果，并将返回结果存储在各个节点，其中，该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成，返回结果至少包括：目标用户的录取结果；智能合约单元，用于根据预设学位分配机制对目标用户的入学申请请求进行分析，确定录取结果，其中，录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统，通过人工的方式进行学位资源分配造成的分配流程繁琐，分配过程不透明，分配过程不能公开化以及数据安全性得不到保障的技术问题。 | 15 | 5 | 0 | Pending | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010102 | 计算机零部件制造 | [北京大学, 博雅正链（北京）科技有限公司] | [发明公布] 基于深度学习的以太坊智能合约安全漏洞检测方法及系统 | CN114048464A | 2022-02-15 | 2022100295182 | 2022-01-12 | [陈钟, 关志, 李青山, 杨可静, 崔冬琪, 李悦, 董宇, 陈子明] | 100871北京市海淀区颐和园路5号 | G06F21/52(2013.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统，将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型，针对智能合约源代码，判断是否包含漏洞，从而实现智能合约安全漏洞的检测；包括：进行以太坊智能合约源代码数据的预处理；构建智能合约源代码语义表征学习模块，包括编码层/编码器、检测层/分类器以及模型融合输出模块；训练模型；测试阶段利用训练好的智能合约源代码语义表征学习模块，实现基于机器学习的区块链智能合约安全漏洞检测，有效提升了以太坊智能合约安全漏洞的检测性能。 | 9 | 10 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010103 | 计算机外围设备制造 | [北京大学] | [发明公布] 一种面向泛在资源的拉模式可信预言机的软件定义方法 | CN113935058A | 2022-01-14 | 2021115292657 | 2021-12-15 | [蔡华谦, 黄罡, 刘譞哲] | 100871北京市海淀区颐和园路5号 | G06F21/60(2013.01)I;G06F9/54(2006.01)I;G06F7/58(2006.01)I; | 北京润泽恒知识产权代理有限公司11319 | 本申请实施例提供一种面向泛在资源的拉模式可信预言机的软件定义方法，涉及区块链技术领域，所述方法包括：执行环境、审计机制分别计算主密钥的前半部分、后半部分；审计机制将后半部分的一部份发送给执行环境，使执行环境生成部分的TLS Key，执行环境依据部分TLS Key接收合约节点发送的资源，将接收数据的信息摘要发送至审计机制；审计机制收到信息摘要后使执行环境拥有完整的TLS Key来解密资源，以进行部署生成执行进程；审计机制重新接收资源以进行审计，审计完成后，执行环境返回执行进程的调用ID和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口，一次调用就能实现链下资源的软件定义化，还能为执行提供真实性证明。 | 8 | 3 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010103 | 计算机外围设备制造 | [北京大学] | [发明公布] 学位资源的分配系统及方法 | CN114037576A | 2022-02-11 | 2021115590961 | 2021-12-20 | [苏品任, 杨家文] | 100871北京市海淀区颐和园路5号 | G06Q50/20(2012.01)I;G06F21/31(2013.01)I;G06F21/60(2013.01)I;G06F21/64(2013.01)I; | 北京康信知识产权代理有限责任公司11240 | 本申请公开了一种学位资源的分配系统及方法。其中，该系统包括：联盟链，用于接收目标用户的入学申请请求，调用智能合约单元，接收智能合约单元的返回结果，并将返回结果存储在各个节点，其中，该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成，返回结果至少包括：目标用户的录取结果；智能合约单元，用于根据预设学位分配机制对目标用户的入学申请请求进行分析，确定录取结果，其中，录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统，通过人工的方式进行学位资源分配造成的分配流程繁琐，分配过程不透明，分配过程不能公开化以及数据安全性得不到保障的技术问题。 | 15 | 5 | 0 | Pending | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010103 | 计算机外围设备制造 | [北京大学, 博雅正链（北京）科技有限公司] | [发明公布] 基于深度学习的以太坊智能合约安全漏洞检测方法及系统 | CN114048464A | 2022-02-15 | 2022100295182 | 2022-01-12 | [陈钟, 关志, 李青山, 杨可静, 崔冬琪, 李悦, 董宇, 陈子明] | 100871北京市海淀区颐和园路5号 | G06F21/52(2013.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统，将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型，针对智能合约源代码，判断是否包含漏洞，从而实现智能合约安全漏洞的检测；包括：进行以太坊智能合约源代码数据的预处理；构建智能合约源代码语义表征学习模块，包括编码层/编码器、检测层/分类器以及模型融合输出模块；训练模型；测试阶段利用训练好的智能合约源代码语义表征学习模块，实现基于机器学习的区块链智能合约安全漏洞检测，有效提升了以太坊智能合约安全漏洞的检测性能。 | 9 | 10 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010104 | 工业控制计算机及系统制造 | [北京大学] | [发明公布] 一种面向泛在资源的拉模式可信预言机的软件定义方法 | CN113935058A | 2022-01-14 | 2021115292657 | 2021-12-15 | [蔡华谦, 黄罡, 刘譞哲] | 100871北京市海淀区颐和园路5号 | G06F21/60(2013.01)I;G06F9/54(2006.01)I;G06F7/58(2006.01)I; | 北京润泽恒知识产权代理有限公司11319 | 本申请实施例提供一种面向泛在资源的拉模式可信预言机的软件定义方法，涉及区块链技术领域，所述方法包括：执行环境、审计机制分别计算主密钥的前半部分、后半部分；审计机制将后半部分的一部份发送给执行环境，使执行环境生成部分的TLS Key，执行环境依据部分TLS Key接收合约节点发送的资源，将接收数据的信息摘要发送至审计机制；审计机制收到信息摘要后使执行环境拥有完整的TLS Key来解密资源，以进行部署生成执行进程；审计机制重新接收资源以进行审计，审计完成后，执行环境返回执行进程的调用ID和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口，一次调用就能实现链下资源的软件定义化，还能为执行提供真实性证明。 | 8 | 3 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010104 | 工业控制计算机及系统制造 | [北京大学] | [发明公布] 学位资源的分配系统及方法 | CN114037576A | 2022-02-11 | 2021115590961 | 2021-12-20 | [苏品任, 杨家文] | 100871北京市海淀区颐和园路5号 | G06Q50/20(2012.01)I;G06F21/31(2013.01)I;G06F21/60(2013.01)I;G06F21/64(2013.01)I; | 北京康信知识产权代理有限责任公司11240 | 本申请公开了一种学位资源的分配系统及方法。其中，该系统包括：联盟链，用于接收目标用户的入学申请请求，调用智能合约单元，接收智能合约单元的返回结果，并将返回结果存储在各个节点，其中，该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成，返回结果至少包括：目标用户的录取结果；智能合约单元，用于根据预设学位分配机制对目标用户的入学申请请求进行分析，确定录取结果，其中，录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统，通过人工的方式进行学位资源分配造成的分配流程繁琐，分配过程不透明，分配过程不能公开化以及数据安全性得不到保障的技术问题。 | 15 | 5 | 0 | Pending | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010104 | 工业控制计算机及系统制造 | [北京大学, 博雅正链（北京）科技有限公司] | [发明公布] 基于深度学习的以太坊智能合约安全漏洞检测方法及系统 | CN114048464A | 2022-02-15 | 2022100295182 | 2022-01-12 | [陈钟, 关志, 李青山, 杨可静, 崔冬琪, 李悦, 董宇, 陈子明] | 100871北京市海淀区颐和园路5号 | G06F21/52(2013.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统，将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型，针对智能合约源代码，判断是否包含漏洞，从而实现智能合约安全漏洞的检测；包括：进行以太坊智能合约源代码数据的预处理；构建智能合约源代码语义表征学习模块，包括编码层/编码器、检测层/分类器以及模型融合输出模块；训练模型；测试阶段利用训练好的智能合约源代码语义表征学习模块，实现基于机器学习的区块链智能合约安全漏洞检测，有效提升了以太坊智能合约安全漏洞的检测性能。 | 9 | 10 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010105 | 信息安全设备制造 | [北京大学] | [发明公布] 一种面向泛在资源的拉模式可信预言机的软件定义方法 | CN113935058A | 2022-01-14 | 2021115292657 | 2021-12-15 | [蔡华谦, 黄罡, 刘譞哲] | 100871北京市海淀区颐和园路5号 | G06F21/60(2013.01)I;G06F9/54(2006.01)I;G06F7/58(2006.01)I; | 北京润泽恒知识产权代理有限公司11319 | 本申请实施例提供一种面向泛在资源的拉模式可信预言机的软件定义方法，涉及区块链技术领域，所述方法包括：执行环境、审计机制分别计算主密钥的前半部分、后半部分；审计机制将后半部分的一部份发送给执行环境，使执行环境生成部分的TLS Key，执行环境依据部分TLS Key接收合约节点发送的资源，将接收数据的信息摘要发送至审计机制；审计机制收到信息摘要后使执行环境拥有完整的TLS Key来解密资源，以进行部署生成执行进程；审计机制重新接收资源以进行审计，审计完成后，执行环境返回执行进程的调用ID和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口，一次调用就能实现链下资源的软件定义化，还能为执行提供真实性证明。 | 8 | 3 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010105 | 信息安全设备制造 | [北京大学] | [发明公布] 学位资源的分配系统及方法 | CN114037576A | 2022-02-11 | 2021115590961 | 2021-12-20 | [苏品任, 杨家文] | 100871北京市海淀区颐和园路5号 | G06Q50/20(2012.01)I;G06F21/31(2013.01)I;G06F21/60(2013.01)I;G06F21/64(2013.01)I; | 北京康信知识产权代理有限责任公司11240 | 本申请公开了一种学位资源的分配系统及方法。其中，该系统包括：联盟链，用于接收目标用户的入学申请请求，调用智能合约单元，接收智能合约单元的返回结果，并将返回结果存储在各个节点，其中，该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成，返回结果至少包括：目标用户的录取结果；智能合约单元，用于根据预设学位分配机制对目标用户的入学申请请求进行分析，确定录取结果，其中，录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统，通过人工的方式进行学位资源分配造成的分配流程繁琐，分配过程不透明，分配过程不能公开化以及数据安全性得不到保障的技术问题。 | 15 | 5 | 0 | Pending | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010105 | 信息安全设备制造 | [北京大学, 博雅正链（北京）科技有限公司] | [发明公布] 基于深度学习的以太坊智能合约安全漏洞检测方法及系统 | CN114048464A | 2022-02-15 | 2022100295182 | 2022-01-12 | [陈钟, 关志, 李青山, 杨可静, 崔冬琪, 李悦, 董宇, 陈子明] | 100871北京市海淀区颐和园路5号 | G06F21/52(2013.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统，将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型，针对智能合约源代码，判断是否包含漏洞，从而实现智能合约安全漏洞的检测；包括：进行以太坊智能合约源代码数据的预处理；构建智能合约源代码语义表征学习模块，包括编码层/编码器、检测层/分类器以及模型融合输出模块；训练模型；测试阶段利用训练好的智能合约源代码语义表征学习模块，实现基于机器学习的区块链智能合约安全漏洞检测，有效提升了以太坊智能合约安全漏洞的检测性能。 | 9 | 10 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010106 | 其他计算机制造 | [北京大学] | [发明公布] 一种面向泛在资源的拉模式可信预言机的软件定义方法 | CN113935058A | 2022-01-14 | 2021115292657 | 2021-12-15 | [蔡华谦, 黄罡, 刘譞哲] | 100871北京市海淀区颐和园路5号 | G06F21/60(2013.01)I;G06F9/54(2006.01)I;G06F7/58(2006.01)I; | 北京润泽恒知识产权代理有限公司11319 | 本申请实施例提供一种面向泛在资源的拉模式可信预言机的软件定义方法，涉及区块链技术领域，所述方法包括：执行环境、审计机制分别计算主密钥的前半部分、后半部分；审计机制将后半部分的一部份发送给执行环境，使执行环境生成部分的TLS Key，执行环境依据部分TLS Key接收合约节点发送的资源，将接收数据的信息摘要发送至审计机制；审计机制收到信息摘要后使执行环境拥有完整的TLS Key来解密资源，以进行部署生成执行进程；审计机制重新接收资源以进行审计，审计完成后，执行环境返回执行进程的调用ID和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口，一次调用就能实现链下资源的软件定义化，还能为执行提供真实性证明。 | 8 | 3 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010106 | 其他计算机制造 | [北京大学] | [发明公布] 学位资源的分配系统及方法 | CN114037576A | 2022-02-11 | 2021115590961 | 2021-12-20 | [苏品任, 杨家文] | 100871北京市海淀区颐和园路5号 | G06Q50/20(2012.01)I;G06F21/31(2013.01)I;G06F21/60(2013.01)I;G06F21/64(2013.01)I; | 北京康信知识产权代理有限责任公司11240 | 本申请公开了一种学位资源的分配系统及方法。其中，该系统包括：联盟链，用于接收目标用户的入学申请请求，调用智能合约单元，接收智能合约单元的返回结果，并将返回结果存储在各个节点，其中，该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成，返回结果至少包括：目标用户的录取结果；智能合约单元，用于根据预设学位分配机制对目标用户的入学申请请求进行分析，确定录取结果，其中，录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统，通过人工的方式进行学位资源分配造成的分配流程繁琐，分配过程不透明，分配过程不能公开化以及数据安全性得不到保障的技术问题。 | 15 | 5 | 0 | Pending | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0101 | 计算机制造 | 010106 | 其他计算机制造 | [北京大学, 博雅正链（北京）科技有限公司] | [发明公布] 基于深度学习的以太坊智能合约安全漏洞检测方法及系统 | CN114048464A | 2022-02-15 | 2022100295182 | 2022-01-12 | [陈钟, 关志, 李青山, 杨可静, 崔冬琪, 李悦, 董宇, 陈子明] | 100871北京市海淀区颐和园路5号 | G06F21/52(2013.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统，将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型，针对智能合约源代码，判断是否包含漏洞，从而实现智能合约安全漏洞的检测；包括：进行以太坊智能合约源代码数据的预处理；构建智能合约源代码语义表征学习模块，包括编码层/编码器、检测层/分类器以及模型融合输出模块；训练模型；测试阶段利用训练好的智能合约源代码语义表征学习模块，实现基于机器学习的区块链智能合约安全漏洞检测，有效提升了以太坊智能合约安全漏洞的检测性能。 | 9 | 10 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0105 | 电子元器件及设备制造 | 010508 | 集成电路制造 | [北京大学] | [发明公布] 一种面向泛在资源的拉模式可信预言机的软件定义方法 | CN113935058A | 2022-01-14 | 2021115292657 | 2021-12-15 | [蔡华谦, 黄罡, 刘譞哲] | 100871北京市海淀区颐和园路5号 | G06F21/60(2013.01)I;G06F9/54(2006.01)I;G06F7/58(2006.01)I; | 北京润泽恒知识产权代理有限公司11319 | 本申请实施例提供一种面向泛在资源的拉模式可信预言机的软件定义方法，涉及区块链技术领域，所述方法包括：执行环境、审计机制分别计算主密钥的前半部分、后半部分；审计机制将后半部分的一部份发送给执行环境，使执行环境生成部分的TLS Key，执行环境依据部分TLS Key接收合约节点发送的资源，将接收数据的信息摘要发送至审计机制；审计机制收到信息摘要后使执行环境拥有完整的TLS Key来解密资源，以进行部署生成执行进程；审计机制重新接收资源以进行审计，审计完成后，执行环境返回执行进程的调用ID和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口，一次调用就能实现链下资源的软件定义化，还能为执行提供真实性证明。 | 8 | 3 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0105 | 电子元器件及设备制造 | 010508 | 集成电路制造 | [北京大学] | [发明公布] 学位资源的分配系统及方法 | CN114037576A | 2022-02-11 | 2021115590961 | 2021-12-20 | [苏品任, 杨家文] | 100871北京市海淀区颐和园路5号 | G06Q50/20(2012.01)I;G06F21/31(2013.01)I;G06F21/60(2013.01)I;G06F21/64(2013.01)I; | 北京康信知识产权代理有限责任公司11240 | 本申请公开了一种学位资源的分配系统及方法。其中，该系统包括：联盟链，用于接收目标用户的入学申请请求，调用智能合约单元，接收智能合约单元的返回结果，并将返回结果存储在各个节点，其中，该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成，返回结果至少包括：目标用户的录取结果；智能合约单元，用于根据预设学位分配机制对目标用户的入学申请请求进行分析，确定录取结果，其中，录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统，通过人工的方式进行学位资源分配造成的分配流程繁琐，分配过程不透明，分配过程不能公开化以及数据安全性得不到保障的技术问题。 | 15 | 5 | 0 | Pending | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 01 | 数字产品制造业 | 0105 | 电子元器件及设备制造 | 010508 | 集成电路制造 | [北京大学, 博雅正链（北京）科技有限公司] | [发明公布] 基于深度学习的以太坊智能合约安全漏洞检测方法及系统 | CN114048464A | 2022-02-15 | 2022100295182 | 2022-01-12 | [陈钟, 关志, 李青山, 杨可静, 崔冬琪, 李悦, 董宇, 陈子明] | 100871北京市海淀区颐和园路5号 | G06F21/52(2013.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I; | 北京万象新悦知识产权代理有限公司11360 | 本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统，将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型，针对智能合约源代码，判断是否包含漏洞，从而实现智能合约安全漏洞的检测；包括：进行以太坊智能合约源代码数据的预处理；构建智能合约源代码语义表征学习模块，包括编码层/编码器、检测层/分类器以及模型融合输出模块；训练模型；测试阶段利用训练好的智能合约源代码语义表征学习模块，实现基于机器学习的区块链智能合约安全漏洞检测，有效提升了以太坊智能合约安全漏洞的检测性能。 | 9 | 10 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 03 | 数字技术应用业 | 0301 | 软件开发 | 030103 | 应用软件开发 | [北京大学] | [发明公布] 一种面向泛在资源的拉模式可信预言机的软件定义方法 | CN113935058A | 2022-01-14 | 2021115292657 | 2021-12-15 | [蔡华谦, 黄罡, 刘譞哲] | 100871北京市海淀区颐和园路5号 | G06F21/60(2013.01)I;G06F9/54(2006.01)I;G06F7/58(2006.01)I; | 北京润泽恒知识产权代理有限公司11319 | 本申请实施例提供一种面向泛在资源的拉模式可信预言机的软件定义方法，涉及区块链技术领域，所述方法包括：执行环境、审计机制分别计算主密钥的前半部分、后半部分；审计机制将后半部分的一部份发送给执行环境，使执行环境生成部分的TLS Key，执行环境依据部分TLS Key接收合约节点发送的资源，将接收数据的信息摘要发送至审计机制；审计机制收到信息摘要后使执行环境拥有完整的TLS Key来解密资源，以进行部署生成执行进程；审计机制重新接收资源以进行审计，审计完成后，执行环境返回执行进程的调用ID和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口，一次调用就能实现链下资源的软件定义化，还能为执行提供真实性证明。 | 8 | 3 | 0 | Granted | |||||||||
| 北京市 | 北京大学 | 4111010001 | 教育部 | 北京市 | 本科 | 北京大学 | 03 | 数字技术应用业 | 0301 | 软件开发 | 030103 | 应用软件开发 | [北京大学] | [发明公布] 学位资源的分配系统及方法 | CN114037576A | 2022-02-11 | 2021115590961 | 2021-12-20 | [苏品任, 杨家文] | 100871北京市海淀区颐和园路5号 | G06Q50/20(2012.01)I;G06F21/31(2013.01)I;G06F21/60(2013.01)I;G06F21/64(2013.01)I; | 北京康信知识产权代理有限责任公司11240 | 本申请公开了一种学位资源的分配系统及方法。其中，该系统包括：联盟链，用于接收目标用户的入学申请请求，调用智能合约单元，接收智能合约单元的返回结果，并将返回结果存储在各个节点，其中，该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成，返回结果至少包括：目标用户的录取结果；智能合约单元，用于根据预设学位分配机制对目标用户的入学申请请求进行分析，确定录取结果，其中，录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统，通过人工的方式进行学位资源分配造成的分配流程繁琐，分配过程不透明，分配过程不能公开化以及数据安全性得不到保障的技术问题。 | 15 | 5 | 0 | Pending |
Data update frequency
Annual update