Loading...

高校数字经济发明公布专利基本信息表

时间区间

1985-2022


字段展示

高校数字经济发明公布专利基本信息表
所在省份
学校名称
学校标识码
主管部门
所在地
办学层次
备注
曾用名
大类代码
大类名称
中类代码
中类名称
小类代码
小类名称
申请人
专利名称
申请公布号
申请公布日
申请号
申请日
发明人
地址
IPC分类号
专利代理机构
代理人
PCT进入国家阶段日
PCT申请数据
PCT公布数据
优先权
生物保藏
分案原申请
本国优先权
简要说明
专利权利要求数
引用其他专利次数
专利被引用次数
法律状态

样本数据

所在省份学校名称学校标识码主管部门所在地办学层次备注曾用名大类代码大类名称中类代码中类名称小类代码小类名称申请人专利名称申请公布号申请公布日申请号申请日发明人地址IPC分类号专利代理机构代理人PCT进入国家阶段日PCT申请数据PCT公布数据优先权生物保藏分案原申请本国优先权简要说明专利权利要求数引用其他专利次数专利被引用次数法律状态
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010101计算机整机制造北京大学发明公布 一种用于向量代数的硬件加速器的设计方法CN113901746A2022-01-0720211117555602021-10-09梁云, 贾连成, 卢丽强, 罗梓璋100871北京市海淀区颐和园路5号G06F30/331(2020.01)I;G06F15/78(2006.01)I;北京万象新悦知识产权代理有限公司11360黄凤茹本发明公布了一种用于向量代数的硬件加速器的设计方法,通过对输入到硬件加速器的硬件数据流进行形式化分析,生成硬件加速器在空间上的拓扑结构,以及硬件加速器的片上存储的数据映射和访问序列;并使用预定义的硬件代码模板生成加速器硬件电路代码,为不同的向量运算统一生成硬件加速器,提升硬件加速器设计效率。601Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010101计算机整机制造北京大学发明公布 一种可配置稀疏注意力机制的硬件加速器CN113901747A2022-01-0720211119744642021-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、寄存器阵列和除法器,可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性,高效动态地决定分数矩阵的稀疏模式,在较高的稀疏度下,仍然可以保持较高的流通量,能够高效地、动态地加速稀疏注意力机制的运算。1000Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010101计算机整机制造北京大学发明公布 ROCC协处理器接口模型及其自动生成工具和实现方法CN114138342A2022-03-0420221011693312022-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接口的具体实现细节,快速生成得到适配协处理器的硬件接口。1070Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010102计算机零部件制造北京大学发明公布 一种用于向量代数的硬件加速器的设计方法CN113901746A2022-01-0720211117555602021-10-09梁云, 贾连成, 卢丽强, 罗梓璋100871北京市海淀区颐和园路5号G06F30/331(2020.01)I;G06F15/78(2006.01)I;北京万象新悦知识产权代理有限公司11360黄凤茹本发明公布了一种用于向量代数的硬件加速器的设计方法,通过对输入到硬件加速器的硬件数据流进行形式化分析,生成硬件加速器在空间上的拓扑结构,以及硬件加速器的片上存储的数据映射和访问序列;并使用预定义的硬件代码模板生成加速器硬件电路代码,为不同的向量运算统一生成硬件加速器,提升硬件加速器设计效率。601Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010102计算机零部件制造北京大学发明公布 一种可配置稀疏注意力机制的硬件加速器CN113901747A2022-01-0720211119744642021-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、寄存器阵列和除法器,可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性,高效动态地决定分数矩阵的稀疏模式,在较高的稀疏度下,仍然可以保持较高的流通量,能够高效地、动态地加速稀疏注意力机制的运算。1000Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010102计算机零部件制造北京大学发明公布 ROCC协处理器接口模型及其自动生成工具和实现方法CN114138342A2022-03-0420221011693312022-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接口的具体实现细节,快速生成得到适配协处理器的硬件接口。1070Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010103计算机外围设备制造北京大学发明公布 一种用于向量代数的硬件加速器的设计方法CN113901746A2022-01-0720211117555602021-10-09梁云, 贾连成, 卢丽强, 罗梓璋100871北京市海淀区颐和园路5号G06F30/331(2020.01)I;G06F15/78(2006.01)I;北京万象新悦知识产权代理有限公司11360黄凤茹本发明公布了一种用于向量代数的硬件加速器的设计方法,通过对输入到硬件加速器的硬件数据流进行形式化分析,生成硬件加速器在空间上的拓扑结构,以及硬件加速器的片上存储的数据映射和访问序列;并使用预定义的硬件代码模板生成加速器硬件电路代码,为不同的向量运算统一生成硬件加速器,提升硬件加速器设计效率。601Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010103计算机外围设备制造北京大学发明公布 一种可配置稀疏注意力机制的硬件加速器CN113901747A2022-01-0720211119744642021-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、寄存器阵列和除法器,可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性,高效动态地决定分数矩阵的稀疏模式,在较高的稀疏度下,仍然可以保持较高的流通量,能够高效地、动态地加速稀疏注意力机制的运算。1000Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010103计算机外围设备制造北京大学发明公布 ROCC协处理器接口模型及其自动生成工具和实现方法CN114138342A2022-03-0420221011693312022-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接口的具体实现细节,快速生成得到适配协处理器的硬件接口。1070Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010104工业控制计算机及系统制造北京大学发明公布 一种用于向量代数的硬件加速器的设计方法CN113901746A2022-01-0720211117555602021-10-09梁云, 贾连成, 卢丽强, 罗梓璋100871北京市海淀区颐和园路5号G06F30/331(2020.01)I;G06F15/78(2006.01)I;北京万象新悦知识产权代理有限公司11360黄凤茹本发明公布了一种用于向量代数的硬件加速器的设计方法,通过对输入到硬件加速器的硬件数据流进行形式化分析,生成硬件加速器在空间上的拓扑结构,以及硬件加速器的片上存储的数据映射和访问序列;并使用预定义的硬件代码模板生成加速器硬件电路代码,为不同的向量运算统一生成硬件加速器,提升硬件加速器设计效率。601Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010104工业控制计算机及系统制造北京大学发明公布 一种可配置稀疏注意力机制的硬件加速器CN113901747A2022-01-0720211119744642021-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、寄存器阵列和除法器,可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性,高效动态地决定分数矩阵的稀疏模式,在较高的稀疏度下,仍然可以保持较高的流通量,能够高效地、动态地加速稀疏注意力机制的运算。1000Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010104工业控制计算机及系统制造北京大学发明公布 ROCC协处理器接口模型及其自动生成工具和实现方法CN114138342A2022-03-0420221011693312022-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接口的具体实现细节,快速生成得到适配协处理器的硬件接口。1070Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010105信息安全设备制造北京大学发明公布 一种用于向量代数的硬件加速器的设计方法CN113901746A2022-01-0720211117555602021-10-09梁云, 贾连成, 卢丽强, 罗梓璋100871北京市海淀区颐和园路5号G06F30/331(2020.01)I;G06F15/78(2006.01)I;北京万象新悦知识产权代理有限公司11360黄凤茹本发明公布了一种用于向量代数的硬件加速器的设计方法,通过对输入到硬件加速器的硬件数据流进行形式化分析,生成硬件加速器在空间上的拓扑结构,以及硬件加速器的片上存储的数据映射和访问序列;并使用预定义的硬件代码模板生成加速器硬件电路代码,为不同的向量运算统一生成硬件加速器,提升硬件加速器设计效率。601Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010105信息安全设备制造北京大学发明公布 一种可配置稀疏注意力机制的硬件加速器CN113901747A2022-01-0720211119744642021-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、寄存器阵列和除法器,可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性,高效动态地决定分数矩阵的稀疏模式,在较高的稀疏度下,仍然可以保持较高的流通量,能够高效地、动态地加速稀疏注意力机制的运算。1000Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010105信息安全设备制造北京大学发明公布 ROCC协处理器接口模型及其自动生成工具和实现方法CN114138342A2022-03-0420221011693312022-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接口的具体实现细节,快速生成得到适配协处理器的硬件接口。1070Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010106其他计算机制造北京大学发明公布 一种用于向量代数的硬件加速器的设计方法CN113901746A2022-01-0720211117555602021-10-09梁云, 贾连成, 卢丽强, 罗梓璋100871北京市海淀区颐和园路5号G06F30/331(2020.01)I;G06F15/78(2006.01)I;北京万象新悦知识产权代理有限公司11360黄凤茹本发明公布了一种用于向量代数的硬件加速器的设计方法,通过对输入到硬件加速器的硬件数据流进行形式化分析,生成硬件加速器在空间上的拓扑结构,以及硬件加速器的片上存储的数据映射和访问序列;并使用预定义的硬件代码模板生成加速器硬件电路代码,为不同的向量运算统一生成硬件加速器,提升硬件加速器设计效率。601Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010106其他计算机制造北京大学发明公布 一种可配置稀疏注意力机制的硬件加速器CN113901747A2022-01-0720211119744642021-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、寄存器阵列和除法器,可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性,高效动态地决定分数矩阵的稀疏模式,在较高的稀疏度下,仍然可以保持较高的流通量,能够高效地、动态地加速稀疏注意力机制的运算。1000Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010106其他计算机制造北京大学发明公布 ROCC协处理器接口模型及其自动生成工具和实现方法CN114138342A2022-03-0420221011693312022-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接口的具体实现细节,快速生成得到适配协处理器的硬件接口。1070Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0105电子元器件及设备制造010508集成电路制造北京大学发明公布 一种用于向量代数的硬件加速器的设计方法CN113901746A2022-01-0720211117555602021-10-09梁云, 贾连成, 卢丽强, 罗梓璋100871北京市海淀区颐和园路5号G06F30/331(2020.01)I;G06F15/78(2006.01)I;北京万象新悦知识产权代理有限公司11360黄凤茹本发明公布了一种用于向量代数的硬件加速器的设计方法,通过对输入到硬件加速器的硬件数据流进行形式化分析,生成硬件加速器在空间上的拓扑结构,以及硬件加速器的片上存储的数据映射和访问序列;并使用预定义的硬件代码模板生成加速器硬件电路代码,为不同的向量运算统一生成硬件加速器,提升硬件加速器设计效率。601Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0105电子元器件及设备制造010508集成电路制造北京大学发明公布 一种可配置稀疏注意力机制的硬件加速器CN113901747A2022-01-0720211119744642021-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、寄存器阵列和除法器,可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性,高效动态地决定分数矩阵的稀疏模式,在较高的稀疏度下,仍然可以保持较高的流通量,能够高效地、动态地加速稀疏注意力机制的运算。1000Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0105电子元器件及设备制造010508集成电路制造北京大学发明公布 ROCC协处理器接口模型及其自动生成工具和实现方法CN114138342A2022-03-0420221011693312022-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接口的具体实现细节,快速生成得到适配协处理器的硬件接口。1070Granted
北京市北京大学4111010001教育部北京市本科北京大学03数字技术应用业0304信息技术服务030405信息处理和存储支持服务北京大学发明公布 一种用于向量代数的硬件加速器的设计方法CN113901746A2022-01-0720211117555602021-10-09梁云, 贾连成, 卢丽强, 罗梓璋100871北京市海淀区颐和园路5号G06F30/331(2020.01)I;G06F15/78(2006.01)I;北京万象新悦知识产权代理有限公司11360黄凤茹本发明公布了一种用于向量代数的硬件加速器的设计方法,通过对输入到硬件加速器的硬件数据流进行形式化分析,生成硬件加速器在空间上的拓扑结构,以及硬件加速器的片上存储的数据映射和访问序列;并使用预定义的硬件代码模板生成加速器硬件电路代码,为不同的向量运算统一生成硬件加速器,提升硬件加速器设计效率。601Pending
北京市北京大学4111010001教育部北京市本科北京大学03数字技术应用业0304信息技术服务030405信息处理和存储支持服务北京大学发明公布 一种可配置稀疏注意力机制的硬件加速器CN113901747A2022-01-0720211119744642021-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、寄存器阵列和除法器,可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性,高效动态地决定分数矩阵的稀疏模式,在较高的稀疏度下,仍然可以保持较高的流通量,能够高效地、动态地加速稀疏注意力机制的运算。1000Pending
北京市北京大学4111010001教育部北京市本科北京大学03数字技术应用业0304信息技术服务030405信息处理和存储支持服务北京大学发明公布 ROCC协处理器接口模型及其自动生成工具和实现方法CN114138342A2022-03-0420221011693312022-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接口的具体实现细节,快速生成得到适配协处理器的硬件接口。1070Granted
北京市北京大学4111010001教育部北京市本科北京大学03数字技术应用业0304信息技术服务030406信息技术咨询服务北京大学发明公布 一种用于向量代数的硬件加速器的设计方法CN113901746A2022-01-0720211117555602021-10-09梁云, 贾连成, 卢丽强, 罗梓璋100871北京市海淀区颐和园路5号G06F30/331(2020.01)I;G06F15/78(2006.01)I;北京万象新悦知识产权代理有限公司11360黄凤茹本发明公布了一种用于向量代数的硬件加速器的设计方法,通过对输入到硬件加速器的硬件数据流进行形式化分析,生成硬件加速器在空间上的拓扑结构,以及硬件加速器的片上存储的数据映射和访问序列;并使用预定义的硬件代码模板生成加速器硬件电路代码,为不同的向量运算统一生成硬件加速器,提升硬件加速器设计效率。601Pending
北京市北京大学4111010001教育部北京市本科北京大学03数字技术应用业0304信息技术服务030406信息技术咨询服务北京大学发明公布 一种可配置稀疏注意力机制的硬件加速器CN113901747A2022-01-0720211119744642021-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、寄存器阵列和除法器,可配置运算单元与寄存器阵列分离。本发明根据输入矩阵的特性,高效动态地决定分数矩阵的稀疏模式,在较高的稀疏度下,仍然可以保持较高的流通量,能够高效地、动态地加速稀疏注意力机制的运算。1000Pending
北京市北京大学4111010001教育部北京市本科北京大学03数字技术应用业0304信息技术服务030406信息技术咨询服务北京大学发明公布 ROCC协处理器接口模型及其自动生成工具和实现方法CN114138342A2022-03-0420221011693312022-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接口的具体实现细节,快速生成得到适配协处理器的硬件接口。1070Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010101计算机整机制造北京大学发明公布 一种面向泛在资源的拉模式可信预言机的软件定义方法CN113935058A2022-01-1420211152926572021-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和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口,一次调用就能实现链下资源的软件定义化,还能为执行提供真实性证明。830Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010101计算机整机制造北京大学发明公布 学位资源的分配系统及方法CN114037576A2022-02-1120211155909612021-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本申请公开了一种学位资源的分配系统及方法。其中,该系统包括:联盟链,用于接收目标用户的入学申请请求,调用智能合约单元,接收智能合约单元的返回结果,并将返回结果存储在各个节点,其中,该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成,返回结果至少包括:目标用户的录取结果;智能合约单元,用于根据预设学位分配机制对目标用户的入学申请请求进行分析,确定录取结果,其中,录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统,通过人工的方式进行学位资源分配造成的分配流程繁琐,分配过程不透明,分配过程不能公开化以及数据安全性得不到保障的技术问题。1550Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010101计算机整机制造北京大学, 博雅正链(北京)科技有限公司发明公布 基于深度学习的以太坊智能合约安全漏洞检测方法及系统CN114048464A2022-02-1520221002951822022-01-12陈钟, 关志, 李青山, 杨可静, 崔冬琪, 李悦, 董宇, 陈子明100871北京市海淀区颐和园路5号G06F21/52(2013.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I;北京万象新悦知识产权代理有限公司11360本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统,将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型,针对智能合约源代码,判断是否包含漏洞,从而实现智能合约安全漏洞的检测;包括:进行以太坊智能合约源代码数据的预处理;构建智能合约源代码语义表征学习模块,包括编码层/编码器、检测层/分类器以及模型融合输出模块;训练模型;测试阶段利用训练好的智能合约源代码语义表征学习模块,实现基于机器学习的区块链智能合约安全漏洞检测,有效提升了以太坊智能合约安全漏洞的检测性能。9100Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010102计算机零部件制造北京大学发明公布 一种面向泛在资源的拉模式可信预言机的软件定义方法CN113935058A2022-01-1420211152926572021-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和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口,一次调用就能实现链下资源的软件定义化,还能为执行提供真实性证明。830Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010102计算机零部件制造北京大学发明公布 学位资源的分配系统及方法CN114037576A2022-02-1120211155909612021-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本申请公开了一种学位资源的分配系统及方法。其中,该系统包括:联盟链,用于接收目标用户的入学申请请求,调用智能合约单元,接收智能合约单元的返回结果,并将返回结果存储在各个节点,其中,该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成,返回结果至少包括:目标用户的录取结果;智能合约单元,用于根据预设学位分配机制对目标用户的入学申请请求进行分析,确定录取结果,其中,录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统,通过人工的方式进行学位资源分配造成的分配流程繁琐,分配过程不透明,分配过程不能公开化以及数据安全性得不到保障的技术问题。1550Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010102计算机零部件制造北京大学, 博雅正链(北京)科技有限公司发明公布 基于深度学习的以太坊智能合约安全漏洞检测方法及系统CN114048464A2022-02-1520221002951822022-01-12陈钟, 关志, 李青山, 杨可静, 崔冬琪, 李悦, 董宇, 陈子明100871北京市海淀区颐和园路5号G06F21/52(2013.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I;北京万象新悦知识产权代理有限公司11360本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统,将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型,针对智能合约源代码,判断是否包含漏洞,从而实现智能合约安全漏洞的检测;包括:进行以太坊智能合约源代码数据的预处理;构建智能合约源代码语义表征学习模块,包括编码层/编码器、检测层/分类器以及模型融合输出模块;训练模型;测试阶段利用训练好的智能合约源代码语义表征学习模块,实现基于机器学习的区块链智能合约安全漏洞检测,有效提升了以太坊智能合约安全漏洞的检测性能。9100Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010103计算机外围设备制造北京大学发明公布 一种面向泛在资源的拉模式可信预言机的软件定义方法CN113935058A2022-01-1420211152926572021-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和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口,一次调用就能实现链下资源的软件定义化,还能为执行提供真实性证明。830Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010103计算机外围设备制造北京大学发明公布 学位资源的分配系统及方法CN114037576A2022-02-1120211155909612021-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本申请公开了一种学位资源的分配系统及方法。其中,该系统包括:联盟链,用于接收目标用户的入学申请请求,调用智能合约单元,接收智能合约单元的返回结果,并将返回结果存储在各个节点,其中,该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成,返回结果至少包括:目标用户的录取结果;智能合约单元,用于根据预设学位分配机制对目标用户的入学申请请求进行分析,确定录取结果,其中,录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统,通过人工的方式进行学位资源分配造成的分配流程繁琐,分配过程不透明,分配过程不能公开化以及数据安全性得不到保障的技术问题。1550Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010103计算机外围设备制造北京大学, 博雅正链(北京)科技有限公司发明公布 基于深度学习的以太坊智能合约安全漏洞检测方法及系统CN114048464A2022-02-1520221002951822022-01-12陈钟, 关志, 李青山, 杨可静, 崔冬琪, 李悦, 董宇, 陈子明100871北京市海淀区颐和园路5号G06F21/52(2013.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I;北京万象新悦知识产权代理有限公司11360本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统,将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型,针对智能合约源代码,判断是否包含漏洞,从而实现智能合约安全漏洞的检测;包括:进行以太坊智能合约源代码数据的预处理;构建智能合约源代码语义表征学习模块,包括编码层/编码器、检测层/分类器以及模型融合输出模块;训练模型;测试阶段利用训练好的智能合约源代码语义表征学习模块,实现基于机器学习的区块链智能合约安全漏洞检测,有效提升了以太坊智能合约安全漏洞的检测性能。9100Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010104工业控制计算机及系统制造北京大学发明公布 一种面向泛在资源的拉模式可信预言机的软件定义方法CN113935058A2022-01-1420211152926572021-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和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口,一次调用就能实现链下资源的软件定义化,还能为执行提供真实性证明。830Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010104工业控制计算机及系统制造北京大学发明公布 学位资源的分配系统及方法CN114037576A2022-02-1120211155909612021-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本申请公开了一种学位资源的分配系统及方法。其中,该系统包括:联盟链,用于接收目标用户的入学申请请求,调用智能合约单元,接收智能合约单元的返回结果,并将返回结果存储在各个节点,其中,该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成,返回结果至少包括:目标用户的录取结果;智能合约单元,用于根据预设学位分配机制对目标用户的入学申请请求进行分析,确定录取结果,其中,录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统,通过人工的方式进行学位资源分配造成的分配流程繁琐,分配过程不透明,分配过程不能公开化以及数据安全性得不到保障的技术问题。1550Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010104工业控制计算机及系统制造北京大学, 博雅正链(北京)科技有限公司发明公布 基于深度学习的以太坊智能合约安全漏洞检测方法及系统CN114048464A2022-02-1520221002951822022-01-12陈钟, 关志, 李青山, 杨可静, 崔冬琪, 李悦, 董宇, 陈子明100871北京市海淀区颐和园路5号G06F21/52(2013.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I;北京万象新悦知识产权代理有限公司11360本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统,将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型,针对智能合约源代码,判断是否包含漏洞,从而实现智能合约安全漏洞的检测;包括:进行以太坊智能合约源代码数据的预处理;构建智能合约源代码语义表征学习模块,包括编码层/编码器、检测层/分类器以及模型融合输出模块;训练模型;测试阶段利用训练好的智能合约源代码语义表征学习模块,实现基于机器学习的区块链智能合约安全漏洞检测,有效提升了以太坊智能合约安全漏洞的检测性能。9100Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010105信息安全设备制造北京大学发明公布 一种面向泛在资源的拉模式可信预言机的软件定义方法CN113935058A2022-01-1420211152926572021-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和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口,一次调用就能实现链下资源的软件定义化,还能为执行提供真实性证明。830Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010105信息安全设备制造北京大学发明公布 学位资源的分配系统及方法CN114037576A2022-02-1120211155909612021-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本申请公开了一种学位资源的分配系统及方法。其中,该系统包括:联盟链,用于接收目标用户的入学申请请求,调用智能合约单元,接收智能合约单元的返回结果,并将返回结果存储在各个节点,其中,该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成,返回结果至少包括:目标用户的录取结果;智能合约单元,用于根据预设学位分配机制对目标用户的入学申请请求进行分析,确定录取结果,其中,录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统,通过人工的方式进行学位资源分配造成的分配流程繁琐,分配过程不透明,分配过程不能公开化以及数据安全性得不到保障的技术问题。1550Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010105信息安全设备制造北京大学, 博雅正链(北京)科技有限公司发明公布 基于深度学习的以太坊智能合约安全漏洞检测方法及系统CN114048464A2022-02-1520221002951822022-01-12陈钟, 关志, 李青山, 杨可静, 崔冬琪, 李悦, 董宇, 陈子明100871北京市海淀区颐和园路5号G06F21/52(2013.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I;北京万象新悦知识产权代理有限公司11360本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统,将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型,针对智能合约源代码,判断是否包含漏洞,从而实现智能合约安全漏洞的检测;包括:进行以太坊智能合约源代码数据的预处理;构建智能合约源代码语义表征学习模块,包括编码层/编码器、检测层/分类器以及模型融合输出模块;训练模型;测试阶段利用训练好的智能合约源代码语义表征学习模块,实现基于机器学习的区块链智能合约安全漏洞检测,有效提升了以太坊智能合约安全漏洞的检测性能。9100Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010106其他计算机制造北京大学发明公布 一种面向泛在资源的拉模式可信预言机的软件定义方法CN113935058A2022-01-1420211152926572021-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和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口,一次调用就能实现链下资源的软件定义化,还能为执行提供真实性证明。830Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010106其他计算机制造北京大学发明公布 学位资源的分配系统及方法CN114037576A2022-02-1120211155909612021-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本申请公开了一种学位资源的分配系统及方法。其中,该系统包括:联盟链,用于接收目标用户的入学申请请求,调用智能合约单元,接收智能合约单元的返回结果,并将返回结果存储在各个节点,其中,该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成,返回结果至少包括:目标用户的录取结果;智能合约单元,用于根据预设学位分配机制对目标用户的入学申请请求进行分析,确定录取结果,其中,录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统,通过人工的方式进行学位资源分配造成的分配流程繁琐,分配过程不透明,分配过程不能公开化以及数据安全性得不到保障的技术问题。1550Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0101计算机制造010106其他计算机制造北京大学, 博雅正链(北京)科技有限公司发明公布 基于深度学习的以太坊智能合约安全漏洞检测方法及系统CN114048464A2022-02-1520221002951822022-01-12陈钟, 关志, 李青山, 杨可静, 崔冬琪, 李悦, 董宇, 陈子明100871北京市海淀区颐和园路5号G06F21/52(2013.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I;北京万象新悦知识产权代理有限公司11360本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统,将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型,针对智能合约源代码,判断是否包含漏洞,从而实现智能合约安全漏洞的检测;包括:进行以太坊智能合约源代码数据的预处理;构建智能合约源代码语义表征学习模块,包括编码层/编码器、检测层/分类器以及模型融合输出模块;训练模型;测试阶段利用训练好的智能合约源代码语义表征学习模块,实现基于机器学习的区块链智能合约安全漏洞检测,有效提升了以太坊智能合约安全漏洞的检测性能。9100Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0105电子元器件及设备制造010508集成电路制造北京大学发明公布 一种面向泛在资源的拉模式可信预言机的软件定义方法CN113935058A2022-01-1420211152926572021-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和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口,一次调用就能实现链下资源的软件定义化,还能为执行提供真实性证明。830Granted
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0105电子元器件及设备制造010508集成电路制造北京大学发明公布 学位资源的分配系统及方法CN114037576A2022-02-1120211155909612021-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本申请公开了一种学位资源的分配系统及方法。其中,该系统包括:联盟链,用于接收目标用户的入学申请请求,调用智能合约单元,接收智能合约单元的返回结果,并将返回结果存储在各个节点,其中,该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成,返回结果至少包括:目标用户的录取结果;智能合约单元,用于根据预设学位分配机制对目标用户的入学申请请求进行分析,确定录取结果,其中,录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统,通过人工的方式进行学位资源分配造成的分配流程繁琐,分配过程不透明,分配过程不能公开化以及数据安全性得不到保障的技术问题。1550Pending
北京市北京大学4111010001教育部北京市本科北京大学01数字产品制造业0105电子元器件及设备制造010508集成电路制造北京大学, 博雅正链(北京)科技有限公司发明公布 基于深度学习的以太坊智能合约安全漏洞检测方法及系统CN114048464A2022-02-1520221002951822022-01-12陈钟, 关志, 李青山, 杨可静, 崔冬琪, 李悦, 董宇, 陈子明100871北京市海淀区颐和园路5号G06F21/52(2013.01)I;G06N3/04(2006.01)I;G06N3/08(2006.01)I;北京万象新悦知识产权代理有限公司11360本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统,将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型,针对智能合约源代码,判断是否包含漏洞,从而实现智能合约安全漏洞的检测;包括:进行以太坊智能合约源代码数据的预处理;构建智能合约源代码语义表征学习模块,包括编码层/编码器、检测层/分类器以及模型融合输出模块;训练模型;测试阶段利用训练好的智能合约源代码语义表征学习模块,实现基于机器学习的区块链智能合约安全漏洞检测,有效提升了以太坊智能合约安全漏洞的检测性能。9100Granted
北京市北京大学4111010001教育部北京市本科北京大学03数字技术应用业0301软件开发030103应用软件开发北京大学发明公布 一种面向泛在资源的拉模式可信预言机的软件定义方法CN113935058A2022-01-1420211152926572021-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和审计结果。本申请的方法主动将资源发送到预言机中生成调用接口,一次调用就能实现链下资源的软件定义化,还能为执行提供真实性证明。830Granted
北京市北京大学4111010001教育部北京市本科北京大学03数字技术应用业0301软件开发030103应用软件开发北京大学发明公布 学位资源的分配系统及方法CN114037576A2022-02-1120211155909612021-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本申请公开了一种学位资源的分配系统及方法。其中,该系统包括:联盟链,用于接收目标用户的入学申请请求,调用智能合约单元,接收智能合约单元的返回结果,并将返回结果存储在各个节点,其中,该联盟链由至少一个学位分配主管机构和目标学校所在的节点组成,返回结果至少包括:目标用户的录取结果;智能合约单元,用于根据预设学位分配机制对目标用户的入学申请请求进行分析,确定录取结果,其中,录取结果用于指示目标学校是否为目标用户分配学位。本申请解决了由于相关技术中基于中心化的学位分配系统,通过人工的方式进行学位资源分配造成的分配流程繁琐,分配过程不透明,分配过程不能公开化以及数据安全性得不到保障的技术问题。1550Pending

数据更新频率

年度更新