一种验证处理器浮点运算的指令序列生成方法

    公开(公告)号:CN119356737A

    公开(公告)日:2025-01-24

    申请号:CN202411614617.2

    申请日:2024-11-13

    Abstract: 本发明涉及处理器设计和测试技术领域,公开了一种验证处理器浮点运算的指令序列生成方法,包括构建浮点测试覆盖模型并生成浮点测试数据库,构建基础RISC‑V指令序列生成器;在基础指令RISC‑V序列生成器基础上添加内存绑定的寄存器更新机制,生成内存的初始化数据;将生成的指令机器码与内存初始化数据注入待验证处理器内存进行仿真,比较仿真得到的执行轨迹与指令集模拟器的执行轨迹,以找出处理器中的潜在错误。本发明构造了高效的覆盖模型以生成代表性的浮点测试数据,能够对处理器的浮点数据通路进行更全面的验证,用以克服现有方法在RISC‑V指令生成过程中浮点方面的不足,发现处理器中潜在的设计缺陷。

    基于深度强化学习的时间敏感流量在线调度方法及装置

    公开(公告)号:CN115567466B

    公开(公告)日:2024-10-29

    申请号:CN202211204257.X

    申请日:2022-09-29

    Applicant: 浙江大学

    Abstract: 本发明公开了基于深度强化学习的时间敏感流量在线调度方法,在流量调度平台上加载流量调度模型,并输入网络资源配置、网络拓扑结构以及预调度流量信息;然后建立系统模型;从调度管理中心获取在线流量信息对系统模型进行更新并选择流量调度模型的超参数;然后提取系统模型的特征和在线流量的特征来构建流量调度动作模型,并选取流量调度的最佳动作;判断系统模型中在线流量是否调度成功来构建流量调度奖励模型,然后更新系统模型中的队列资源信息及流量调度模型的网络参数;根据流量调度模型输出的在线流量调度规划结果下发至各交换机的门控列表。本发明提升时间敏感流量调度时交换机队列的资源利用率,同时增强网络的传输性。

    基于softmax的数据处理方法及装置

    公开(公告)号:CN117009729A

    公开(公告)日:2023-11-07

    申请号:CN202311293166.2

    申请日:2023-10-08

    Abstract: 本说明书公开了一种基于softmax的数据处理方法及装置,将目标模型部署在服务器中,通过目标模型的前处理层,确定待处理数据对应的目标矩阵,并通过在服务器上运行归一化层的第一算子,确定该目标矩阵中各行数据分别对应的归一化参数,再通过在服务器上运行第二算子,确定该目标矩阵对应的全局最大值和全局指数和,进而当目标模型的后处理层启动时,通过在服务器上运行融合算子,确定目标矩阵的归一化结果,并根据该归一化结果执行该后处理层对应的数据处理任务。本方法中的服务器不需要对目标矩阵中的数据同时进行处理,即可确定出目标矩阵的全局最大值和全局指数和,减少了对服务器的算力的要求,提高了任务处理效率。

    一种高速响应客户端的拜占庭容错共识方法

    公开(公告)号:CN116633942A

    公开(公告)日:2023-08-22

    申请号:CN202310462921.9

    申请日:2023-04-26

    Applicant: 浙江大学

    Inventor: 刘鹏 孙建伶 蔡亮

    Abstract: 本发明公开了一种高速响应客户端的拜占庭容错共识方法,包括:主节点接收到客户端发送的请求后,为其分配序列号,并将Pre‑Prepare消息发送给所有副本节点;副本节点乐观执行请求并返回Prepare消息给主节点和客户端;主节点将其聚合成PrepareQC广播给所有副本节点,当客户端判断所有节点的乐观执行结果一致时,便认为请求被区块链集群共识;副本节点验证PrepareQC合法后保存,发送Commit消息给主节点和客户端;主节点将其聚合成CommitQC再次广播,客户端再次判断请求是否被共识;副本节点验证CommitQC,若合法,保存并提交消息给客户端;若不合法,进入视图变更阶段。本发明采用客户端判断副本的乐观执行结果的方式,有效提高了区块链系统响应客户端请求的速度。

    一种基于机器学习确定滑坡降雨阈值曲线的方法

    公开(公告)号:CN116467943A

    公开(公告)日:2023-07-21

    申请号:CN202310421956.8

    申请日:2023-04-19

    Applicant: 浙江大学

    Abstract: 本发明涉及一种基于机器学习确定滑坡降雨阈值曲线的方法,构建边坡模型样本,确定边坡稳定安全系数阈值、当前研究区域年平均降雨量;计算样本在给定降雨强度下的渗流场,捕捉边坡安全系数等于边坡稳定安全系数阈值的时刻点,以对应的降雨强度和降雨持时作为I‑D阈值曲线的拟合数据点;构建I‑D阈值曲线数据集;运用人工神经网络构建I‑D阈值曲线预测模型,训练预测模型;将边坡参数输入到预测模型,得到该边坡拟合数据点,拟合并在坐标系上绘制I‑D阈值曲线。本发明得到的结果更精确;实现I‑D阈值曲线的快速预测,提高分析效率,具有良好的实用价值;具有可推广性。

    一种车用自由曲面符号投影照明装置

    公开(公告)号:CN115574286A

    公开(公告)日:2023-01-06

    申请号:CN202211587405.0

    申请日:2022-12-12

    Applicant: 浙江大学

    Abstract: 本发明公开了一种车用自由曲面符号投影照明装置,属于非成像光学技术领域。照明装置由照明光源和自由曲面透镜组构成,其中自由曲面透镜组包含一个用于调控光束强度和波前的光束准直自由曲面透镜和一个自由曲面阵列透镜。由照明光源出射的光线经过光束准直自由曲面透镜的折射后变为能量均匀分布的平行光,后经自由曲面阵列透镜偏折后在目标面上形成预定的符号照明光斑。该车用自由曲面符号投影照明装置结构简单,且其中的自由曲面透镜光滑连续,易于加工;该装置能够投影出高质量的复杂光斑,能量利用率高,投影效果好,实用性强,应用范围广。

Patent Agency Ranking