检索结果-内蒙古大学图书馆

作者：姜小成尤洪涛顾龙毛兴权张立博孙俊姚智斌 214038 江苏省无锡市滨湖区山水东路699号

本发明公开一种众核处理器上从核局存空间动态管理方法，主核进程在每个从核上启动一个守护线程，并根据程序执行流程，请求从核守护线程执行指定的从核子函数，包括建立新的数据环境、执行加速段子函数、撤销当前的数据环境，或请求从... 详细信息

标准号: CN114218149B

本发明公开一种众核处理器上从核局存空间动态管理方法，主核进程在每个从核上启动一个守护线程，并根据程序执行流程，请求从核守护线程执行指定的从核子函数，包括建立新的数据环境、执行加速段子函数、撤销当前的数据环境，或请求从核线程终止运行。本发明可消除空间申请、释放的管理开销，提高从核局存空间的利用率，避免局存空间碎片化现象，增加从核线程栈可用的空间。

关键词：从核数据环境线程程序执行流程众核处理器管理开销空间动态空间申请空间碎片线程执行线程栈核子可用主核撤销释放进程管理

来源：评论

学校读者我要写书评

暂无评论

面向分布式共享SPM的批量数据传输方法

面向分布式共享SPM的批量数据传输方法

引用

作者：杨小川文延华李雁冰方燕飞董恩铭漆锋滨 214083 江苏省无锡市滨湖区山水东路699号

本发明公开一种面向分布式共享SPM的批量数据传输方法，传输前读取SPM可用空间大小，若SPM的可用空间足够，执行下一步；将共享SPM起始目的地址转换为SPM局部地址，根据分布式共享SPM地址编址方法计算得到对应的物理SPM号和SPM内的局部... 详细信息

标准号: CN112565474B

本发明公开一种面向分布式共享SPM的批量数据传输方法，传输前读取SPM可用空间大小，若SPM的可用空间足够，执行下一步；将共享SPM起始目的地址转换为SPM局部地址，根据分布式共享SPM地址编址方法计算得到对应的物理SPM号和SPM内的局部地址；根据SPM局部地址计算对应物理SPM的可传输数据量，由所述SPM号对应线程发起批量数据传输，将批量数据从主存传输至物理SPM；数据传输完成后，更新下一轮传输的起始地址，以及剩余总传输数据量；将在下一轮传输的中计算；当spm_size_free_total<=0时，结束数据传输。本发明提升使用分布式SPM共享机制的计算机系统的可编程性和好用性。

关键词：传输局部地址批量数据分布式共享可用空间可传输数据量数据传输完成读取地址编址可编程性目的地址起始地址数据传输共享数据量总传输计算机系统线程主存转换更新

来源：评论

学校读者我要写书评

暂无评论

一种无横向一致性的众核精简Cache协议实现方法

一种无横向一致性的众核精简Cache协议实现方法

引用

作者：何王全郑方王飞过锋吴伟陈芳园朱琪钱宏管茂林 214038 江苏省无锡市滨湖区山水东路699号

本发明公开一种无横向一致性的众核精简Cache协议实现方法，包括以下步骤：S1、对Cache行内数据更新情况进行分析，标记出被更新的数据；S2、如果Cache行内所有数据都没有被更新，或者Cache行内所有数据都被更新，跳转至S5，如果Cache... 详细信息

标准号: CN114217809B

本发明公开一种无横向一致性的众核精简Cache协议实现方法，包括以下步骤：S1、对Cache行内数据更新情况进行分析，标记出被更新的数据；S2、如果Cache行内所有数据都没有被更新，或者Cache行内所有数据都被更新，跳转至S5，如果Cache行内只有部分数据被更新，跳转至S3；S3、当一个Cache行内的数据只有部分内容需要写回时，其他位掩码置0；S4、根据掩码粒度大小与置位情况，更新主存中对应掩码位为1的数据；S5、直接对Cache行进行写回操作。本发明有效解决共享主存Cache结构的假共享问题，还可以提高写回效率、有效降低处理器在Cache数据管理方面的硬件开销。

关键词：更新跳转写回掩码主存数据管理数据更新协议实现写回操作硬件开销有效解决位掩码共享处理器置位分析

来源：评论

学校读者我要写书评

暂无评论

一种针对深度学习半精度算子数据访存对界处理方法

一种针对深度学习半精度算子数据访存对界处理方法

引用

作者：刘鑫刘沙陈德训彭超黄则强高捷王宜鹏 214038 江苏省无锡市滨湖区山水东路699号

本发明公开一种针对深度学习半精度算子数据访存对界处理方法，针对深度学习中算子的计算特点和张量空间分布，对多维张量的特定维度做4B对界处理，将四维张量的输入数据按照实际参与计算的维度分为不同的类，分别使用不同的半精度数据... 详细信息

标准号: CN114218141B

本发明公开一种针对深度学习半精度算子数据访存对界处理方法，针对深度学习中算子的计算特点和张量空间分布，对多维张量的特定维度做4B对界处理，将四维张量的输入数据按照实际参与计算的维度分为不同的类，分别使用不同的半精度数据对界处理方法；具体为，根据输入的算子类型和输入数据的计算维度，选择不同的对界方法。本发明解决了异构众核平台上半精度算子DMA访存的不对界问题，且不仅能降低内存空间的占用，还能有效减少对界处理的时间，提升对界处理的性能。

关键词：算子维度精度数据内存空间有效减少众核平台量空间多维四维异构占用学习

来源：评论

学校读者我要写书评

暂无评论

一种基于资源优化策略的基层故障诊断方法及装置

一种基于资源优化策略的基层故障诊断方法及装置

引用

作者：建澜涛黄益明张祯陈恒郑生滨朱可夫 214100 江苏省无锡市滨湖区山水东路188号

本发明公开了一种基于资源优化策略的基层故障诊断方法及装置，该方法包括构建整机故障诊断树，整机故障诊断树包括由系统基层至顶层分别设置的第一级管理单元、第二级管理单元、第三级管理单元；当各第一级管理单元采集到总错监控数据... 详细信息

标准号: CN113485861B

本发明公开了一种基于资源优化策略的基层故障诊断方法及装置，该方法包括构建整机故障诊断树，整机故障诊断树包括由系统基层至顶层分别设置的第一级管理单元、第二级管理单元、第三级管理单元；当各第一级管理单元采集到总错监控数据时，对总错监控数据进行故障解析，确定故障数据信息；生成各故障数据信息对应的各故障诊断结果，并将各故障诊断结果发送至第二级管理单元；第二级管理单元对接收到的各故障诊断结果进行过滤后，将过滤诊断结果发送至第三级管理单元；第三级管理单元基于接收到的过滤诊断结果生成并展示故障报文。本发明实现了采用分布式故障处理方式代替原有集中式故障处理方式，以分级并发方式实现了诊断数据的高效汇集。

关键词：管理单元故障诊断结果第三级级管理过滤故障数据信息监控数据诊断结果整机故障第一级发送故障处理方式资源优化策略分布式故障诊断处理方式故障报文故障解析故障诊断诊断数据集中式顶层分级构建并发基层采集展示

来源：评论

学校读者我要写书评

暂无评论

一种适用于多路并联电路的电流采样方法

一种适用于多路并联电路的电流采样方法

引用

作者：袁博关通杨培和何宁曹清吴福永 214100 江苏省无锡市滨湖区山水东路188号

本发明提供一种适用于多路并联电路的电流采样方法，属于功耗测量技术领域。该适用于多路并联电路的电流采样方法S1：获取多组负载电流I和与负载电流I相对应的引脚电压Vpc；S2：获取负载电流I与引脚电压Vpc之间的待定关系式I=a*Vpc+b，... 详细信息

标准号: CN113804948B

本发明提供一种适用于多路并联电路的电流采样方法，属于功耗测量技术领域。该适用于多路并联电路的电流采样方法S1：获取多组负载电流I和与负载电流I相对应的引脚电压Vpc；S2：获取负载电流I与引脚电压Vpc之间的待定关系式I=a*Vpc+b，其中a、b均为未知的常量，将多组负载电流I和引脚电压Vpc分别代入I=a*Vpc+b中，形成多个关系式组；S3：通过线性回归算法对多个关系式组进行分析，分别获取常量a的值为A、常量b的值为B，获取线性关系式I=A*Vpc+B；S4：将实际电压V_实际代入线性关系式I=A*Vpc+B中，获取此时电源输出的实际电流I_实际。本发明具有电路简单、体系小、不破坏电路完整性、采集精度高等优点。

关键词：常量引脚电压多路并联电路线性关系式电流采样多组负载负载电流线性回归算法电路完整性电源输出功耗测量实际电流实际电压电路采集分析

来源：评论

学校读者我要写书评

暂无评论

基于事件的群组密钥协商协议形式化分析研究

引用

信息网络安全 2022年第5期 30-36页

作者：沈延姚萌萌江南计算技术研究所无锡214063

群组密钥协商协议应用于物联网、无线通信、区块链、视频会议等领域,是当前的一个研究热点。该协议的交互消息较多,且消息认证、加密所使用的密码算法也复杂,这就给密码协议的形式化描述与安全性分析带来一定的困难。文章基于串空间理论... 详细信息

群组密钥协商协议应用于物联网、无线通信、区块链、视频会议等领域,是当前的一个研究热点。该协议的交互消息较多,且消息认证、加密所使用的密码算法也复杂,这就给密码协议的形式化描述与安全性分析带来一定的困难。文章基于串空间理论,提出了相关概念以及基于事件的形式化分析方法。该方法直观、简洁、有效,易于对复杂的密码协议进行形式化描述,并能简化密码协议的安全性分析过程。文章基于事件的形式化分析方法对簇间非对称群组密钥协商协议进行形式化描述和分析,发现该协议不能满足一致性,即不能认证参与协议交互节点的身份。通过对该协议的分析,也证明了文章所提形式化分析方法的有效性与正确性。

关键词：群组密钥协商协议串空间形式化分析

来源：评论

学校读者我要写书评

暂无评论

E级高性能计算机的维护故障诊断系统研究

引用

计算机工程 2022年第12期48卷 24-37页

作者：建澜涛任秀江张祯石嵩黄益明张春林江南计算技术研究所江苏无锡214083 国家并行计算机工程技术研究中心北京100190

E级计算机系统规模巨大,使得故障异常总量随之增多,导致诊断发现的难度增加,因此,迫切需要一套更加准确高效的实时维护故障诊断系统,对硬件系统进行全面的异常及故障信息实时检测、故障诊断及故障预测。传统故障诊断系统在面对数万节点... 详细信息

E级计算机系统规模巨大,使得故障异常总量随之增多,导致诊断发现的难度增加,因此,迫切需要一套更加准确高效的实时维护故障诊断系统,对硬件系统进行全面的异常及故障信息实时检测、故障诊断及故障预测。传统故障诊断系统在面对数万节点规模的诊断时存在执行效率低、异常检测误报率高的问题,异常检测及故障诊断的覆盖率不足。对异常及故障检测、故障诊断与故障预测相关技术进行研究,分析技术原理及适用性,并结合E级高性能计算机实际工程需求,设计一套满足数E级高性能计算机需求的维护故障诊断系统。基于维护系统的结构组成设计可扩展的边缘诊断架构,将高性能计算机系统知识、专家知识与数理统计、机器学习相融合给出故障检测、诊断及预测算法,并针对专用场景建立预测模型。实验结果表明,该系统具有较好的可扩展性,能在10 s内完成对十万个节点规模系统的故障诊断,与传统故障诊断系统相比,异常检测某特定指标误报率从3.3%降低到几乎为0,硬件故障检测覆盖率从90.2%提升至96%以上,硬件故障诊断覆盖率从71%提升至约94%,能较准确地预测多个重要应用场景下的故障。

关键词：高性能计算维护系统异常检测故障诊断故障预测

来源：评论

学校读者我要写书评

暂无评论

基于SMT求解器的微处理器指令验证数据约束生成技术

引用

计算机研究与发展 2020年第12期57卷 2694-2702页

作者：谭坚罗巧玲王丽一胡夏晖范昊徐占江南计算技术研究所江苏无锡214083

处理器研制过程中需要对指令算术数据路径进行覆盖验证.针对现有模拟验证方法存在的不足,提出了一种基于可满足模理论(satisfiability modulo theory,SMT)的指令约束求解方法:利用可满足模理论求解器将指令级功能验证任务转化成数据约... 详细信息

处理器研制过程中需要对指令算术数据路径进行覆盖验证.针对现有模拟验证方法存在的不足,提出了一种基于可满足模理论(satisfiability modulo theory,SMT)的指令约束求解方法:利用可满足模理论求解器将指令级功能验证任务转化成数据约束求解满足问题.在结果操作数约束、操作数间约束、指令内部约束以及浮点操作数约束4个方面分别给出示例,并分别给出了利用SMT求解器进行约束建模的关键过程以及可以用于指令级功能验证的元组数据.为提高求解模型效率,提出了2种解决方法:首先利用时间阈值实现问题求解超时即终止的策略;其次是结合进程管理与线程管理技术,实现了指令功能约束并行求解框架,将串行求解任务分派给可并行执行的多个线程,提高了求解速度.该技术已成功应用于系统级验证中,有效提升了测试覆盖与质量,取得了很好的效益.

关键词：指令功能数据路径约束求解 SMT求解器验证数据并行加速

来源：评论

学校读者我要写书评

暂无评论

高性能计算机冷却技术综述

引用

信息化研究 2022年第3期48卷 7-13页

作者：张旭李通于惠刘凯江南计算技术研究所无锡214083

高性能计算机的冷却,多年来一直是热控技术领域的研究热点。本文综合行业动态,介绍了高性能计算机多种冷却技术,从早期应用的各种冷却方式,到后来常用热管散热器强制风冷,到近期应用热点技术包括液冷、间接蒸发冷却等,并介绍了相关技术... 详细信息

高性能计算机的冷却,多年来一直是热控技术领域的研究热点。本文综合行业动态,介绍了高性能计算机多种冷却技术,从早期应用的各种冷却方式,到后来常用热管散热器强制风冷,到近期应用热点技术包括液冷、间接蒸发冷却等,并介绍了相关技术的应用和性能状况。为应对未来更高功率芯片冷却以及节能环保需求,一方面可以研究强化液冷、微通道冷却、相变冷却、蒸发腔等高热流密度冷却技术的复合应用,另一方面可以结合系统设计优化、智能控制等手段实现节能目标。

关键词：高性能计算机冷却技术绿色节能

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：