-
公开(公告)号：CN104281532A
公开(公告)日：2015-01-14
申请号：CN201410447091.3
申请日：2014-09-04
Applicant: 浙江大学
IPC: G06F12/02
Abstract: 本发明公开了一种基于NUMA架构的虚拟机内存访问监测方法，本发明的虚拟机内存访问监测方法中采用段页式的访问监测方法，并利用内存分布表和virtual bitmap相结合的方式记录各个虚拟机的内存访问状态，以内存分布表来记录初始情况下虚拟机分配的内存的访问状态，以virtual bitmap来记录虚拟机中内存分布表中不存在的内存的访问情况。本发明的虚拟机内存访问监测方法大大提高了监测的实时性，且弥补了传统的基于页表的记录不能进行动态内存记录的确定，也克服了基于bitmap监测导致的占用存储空间大的问题。
-
公开(公告)号：CN117611988A
公开(公告)日：2024-02-27
申请号：CN202311341793.9
申请日：2023-10-17
Applicant: 浙江大学
IPC: G06V20/10 , G06V20/52 , G06V10/25 , G06V10/26 , G06V10/764 , G06V10/766 , G06V10/774 , G06V10/82 , G06N3/045 , G06N3/0464 , G06N3/084 , G06N3/088 , G06N3/0895
Abstract: 本发明构建了一种面向新增耕地管护属性自动识别监测方法及系统。涉及遥感影像的目标检测、语义分割领域以及耕地照片的图像分类，该系统包括数据集的构建模块、融合模型模块、系统结果输出模块。该系统能够自动识别和监测不同地区下新增耕地的管护属性，具有较高的准确性和可扩展性。通过此算法模型构建基于遥感影像的新增耕地管护属性自动识别与监测系统，可以很好地应用于耕地保护和农业管理领域，为耕地保护和农业管理提供有力支持。
-
公开(公告)号：CN116707762A
公开(公告)日：2023-09-05
申请号：CN202310810999.5
申请日：2023-07-04
Applicant: 浙江大学
IPC: H04L9/00 , H04L67/104
Abstract: 本发明公开了一种高可靠的中继跨链数据传输方法、系统、电子设备及介质，属于区块链跨链技术领域。本发明基于已有区块链节点构建中继链，无需新增节点或寻找第三方公证人，无需接入新的中继链和开发适配器模块。本发明引入了节点可信度评估机制，通过使用基于可信度权重的A‑Res算法、基于已有的区块链节点选取中继节点构建中继链，并且发明了一种宕机节点的发现和清除机制，可以及时的发现宕机节点，解决了当前中继跨链模式中因为宕机节点无法被及时发现而导致中继链共识速率降低进而使可信互访的速率逐步降低的问题。
-
公开(公告)号：CN116340163A
公开(公告)日：2023-06-27
申请号：CN202310310543.2
申请日：2023-03-28
Applicant: 浙江大学
Abstract: 本发明提出了一种高分支覆盖率的智能合约动态模糊测试方法及系统；本发明分析函数对状态变量的读写依赖关系，生成有序的函数调用序列；分析函数内状态变量的自身读写数据依赖，延长变异函数调用序列；利用基于分支距离反馈方法，迭代地选择优质函数测试输入；通过基于遮罩引导变异方法，快速生成有效的测试输入；动态地调整模糊测试能量的分配，使得合约中每个分支能够得到相对平等的测试资源。本发明显著地提高了代码覆盖率，能够对智能合约进行更全面、更精准的漏洞分析，具有很好的实用价值和现实意义。
-
公开(公告)号：CN116126315A
公开(公告)日：2023-05-16
申请号：CN202310024757.3
申请日：2023-01-09
Applicant: 浙江大学
Abstract: 本发明公开了一种基于可视化建模的多种语言智能合约生成系统及方法，属于智能合约生成领域。包括：元模型工具箱，提供用来构建智能合约模型的元模型；模型编辑器，为用户选择、组合、修改元模型的智能合约模型编辑操作提供空间，监听空间中的元模型变化；模型验证器，根据所述变化信息，确定发生变化的元模型，使用自定义规则对发生变化的元模型进行检查；代码生成器，根据用户目标语言，确定与所述目标语言对应的子代码生成器，利用所述子代码生成器将智能合约模型转换为代码片段，得到初始智能合约；代码优化器，对初始智能合约进行优化，产生最终智能合约。本发明简化了智能合约开发过程，可以生成高质量的智能合约，并实现跨平台复用。
-
Patent Agency Ranking
公开(公告)号：CN115017408A
公开(公告)日：2022-09-06
申请号：CN202210564581.6
申请日：2022-05-23
Applicant: 浙江大学
IPC: G06F16/9535 , G06N3/08 , G06N20/20
Abstract: 本发明公开了一种算力自适应的模型异构联邦推荐方法及系统，属于推荐系统领域和联邦学习领域。中央服务器初始化项目矩阵，用户端初始化用户矩阵；中央服务器随机抽选若干用户端参与联邦训练；用户端依据自身算力条件，确定参与训练的全体项目潜特征向量的维度，从项目矩阵中随机抽取该维度的所有与自身项目相关的项目潜特征向量，以及随机抽取该维度的所有本地用户的用户潜特征向量，根据抽取出的项目潜特征向量和用户潜特征向量训练本地模型；将训练后得到的用户/项目潜特征向量更新梯度进行用户矩阵/项目矩阵更新。本发明能根据参与训练的设备算力自适应地挑选合适尺寸的模型，可以在模型推荐效果和模型复杂程度上达到平衡。
-
公开(公告)号：CN114647871A
公开(公告)日：2022-06-21
申请号：CN202210349972.6
申请日：2022-04-02
Applicant: 浙江大学
Abstract: 本发明公开了一种基于SGX的公证人跨链数据安全保护系统及方法，属于区块链跨链技术数据安全保护领域。系统包括跨链控制智能合约，其部署在需要应用本系统的区块链上，包括源链上的和目标链上的跨链控制智能合约；中继节点，是运行在链下的程序，负责跨链数据从源链到目标链的传递，包括运行在安全区外的不可信部分和安全区内的可信部分。本发明通过引入SGX硬件保护机制，并对公证人跨链数据转移的全过程实施验证，可有效保障链间数据转移的安全。
-
公开(公告)号：CN114610320A
公开(公告)日：2022-06-10
申请号：CN202210279549.3
申请日：2022-03-21
Applicant: 浙江大学
IPC: G06F8/41
Abstract: 本发明公开了一种基于LLVM的变量类型信息修复与比较方法和系统，包括变量类型信息修复分析和变量类型比较分析；其中变量类型信息修复分析包括将目标程序源代码编译到LLVM IR、目标变量提取、LLVM IR变量类型与源代码信息匹配、类型分析结果存储。变量类型信息修复分析和变量类型比较分析通过两个的LLVM分析流实现，且变量类型比较分析结果应用了变量类型信息修复分析结果。该方法和系统可以解决前LLVM IR中存在类型信息缺失和/或联合体类型相关类型导致无法进行类型比较分析以及比较分析不准确的问题。
-
公开(公告)号：CN110674533B
公开(公告)日：2021-04-06
申请号：CN201910911485.2
申请日：2019-09-25
Applicant: 浙江大学
Abstract: 本发明公开了一种基于大规模科学核心计算的区块链共识激励系统和方法，包括雇主，其发布计算任务，设计并提供Map和Reduce程序函数、任务运行时间限制、快速验证算法以及奖惩制度；工人，其质押城市保证金，并领取计算子任务进行计算；验证者，其根据快速验证算法对子任务计算结果进行验证计算；数据库，其存储雇主提交的计算任务数据和工人提供的计算结果数据；混淆器，对雇主、工人以及验证者的身份信息进行掩盖，并行子任务的随机分发；智能合约，其用于实现计算任务上链、计算任务分发、计算任务的计算与验证、工人的奖惩。该区块链共识激励系统和方法解决了志愿者积极性不高、可能存在篡改数据、缺乏共识等问题。
-
公开(公告)号：CN108876669B
公开(公告)日：2020-12-25
申请号：CN201810526015.X
申请日：2018-05-28
Applicant: 浙江大学
IPC: G06Q50/20
Abstract: 本发明公开了一种应用于多平台教育资源共享的课程公证系统及方法，该课程公证系统包括：教育资源提供商，为教育服务平台提供的课程资源；教育服务平台，维护共享资源列表；课程公证中心，通过公证智能合约为课程资源提供所属权认证；教育服务认证中心，为教育资源提供商、教育服务平台和课程公证中心颁发身份证书，并维护证书列表；公证智能合约，对课程资源进行所属权认证，并支持教育资源提供商、教育服务平台和课程公证中心对历史公证交易的查询请求；公共账本，记录课程资源的所属权。本发明通过在多平台教育资源共享场景下应用联盟链技术，保证课程所属权不可篡改、数据真实可信，从而实现教育资源所属权的有效确认与查询。
-
-
-
-
-
-
-
-
-
Search Results
117
records
(took 0.024 seconds)
