期刊文献+
共找到262篇文章
< 1 2 14 >
每页显示 20 50 100
基于ArcGIS Runtime for WPF的触摸屏施肥咨询系统集成与应用 被引量:4
1
作者 麻万诸 李丽 +3 位作者 陆若辉 朱伟锋 蒋玉根 吕晓男 《浙江农业学报》 CSCD 北大核心 2015年第12期2206-2211,共6页
为了更高效地推广科学施肥技术,开发集成了基于Arc GIS Runtime for WPF的触摸屏施肥咨询系统。使用既有瓦片影像高效生成高清离线多级瓦片缓存地图包技术和基于专家知识库的施肥方案,降低了用户门槛,提升了用户体验,使得测土配方施肥... 为了更高效地推广科学施肥技术,开发集成了基于Arc GIS Runtime for WPF的触摸屏施肥咨询系统。使用既有瓦片影像高效生成高清离线多级瓦片缓存地图包技术和基于专家知识库的施肥方案,降低了用户门槛,提升了用户体验,使得测土配方施肥技术面向基层的全面推广变得更为可行。 展开更多
关键词 测土配方施肥 ARC GIS runtime WPF 触摸屏 施肥咨询系统 瓦片缓存地图
在线阅读 下载PDF
Runtime系统综述
2
作者 张宏莉 胡铭曾 方滨兴 《计算机科学》 CSCD 北大核心 1999年第6期25-28,共4页
Runtime systems play an important role in parallel programming and parallel compilation. In this paper,goals and key techniques of runtime systems are presented. And some experiences and its trend are given in the end.
关键词 runtime系统 并行编译系统 并行处理 多线程 同步 通信技术 调度技术
在线阅读 下载PDF
iOS Runtime System安全性研究 被引量:1
3
作者 周泊宁 《计算机应用与软件》 北大核心 2018年第1期304-311,共8页
为提升iOS系统的安全性,提高iOS应用程序抵御非法攻击的能力,避免系统漏洞给用户带来巨大损失。针对应用程序运行时底层核心系统Runtime System进行深入研究,发现其底层API接口在实现许多强大功能的同时也留下了巨大的安全漏洞。经实例... 为提升iOS系统的安全性,提高iOS应用程序抵御非法攻击的能力,避免系统漏洞给用户带来巨大损失。针对应用程序运行时底层核心系统Runtime System进行深入研究,发现其底层API接口在实现许多强大功能的同时也留下了巨大的安全漏洞。经实例验证,攻击者可以通过破解加密、反编译可执行文件,获取程序中的类、方法及属性等信息,进而通过运行时调用Runtime System的API来控制程序。以程序操控或动态注入恶意代码给iOS系统上的应用程序带来极大危害。最后针对漏洞的利用方法分别提出防护方案以此提高iOS系统的安全性。 展开更多
关键词 iOS系统 安全 运行时系统
在线阅读 下载PDF
运行时保证技术的研究现状与发展综述 被引量:1
4
作者 董磊 王琦 +1 位作者 陈曦 刘嘉琛 《计算机应用》 北大核心 2025年第3期1003-1015,共13页
人工智能(AI)、大数据、云计算等先进技术发展突飞猛进的同时,它们自身具有的难解释、难认证等问题限制了它们在各行业的实际应用。而运行时保证(RTA)技术通过监控系统状态实现了功能之间的切换,化“复杂”为“简单”,初步解决了一些复... 人工智能(AI)、大数据、云计算等先进技术发展突飞猛进的同时,它们自身具有的难解释、难认证等问题限制了它们在各行业的实际应用。而运行时保证(RTA)技术通过监控系统状态实现了功能之间的切换,化“复杂”为“简单”,初步解决了一些复杂系统行为难预测、难解释、不安全、非预期结果的问题,在未来有着广阔的发展前景。因此,对RTA的研究现状与发展进行综述,为研究者了解最新的RTA技术研究动态、发展趋势提供参考。首先,回顾RTA技术的发展历程;其次,在描述RTA的基本原理架构以及切换逻辑的基础上,对当前RTA在智能航空、无人机(UAV)、智能航天和自动驾驶汽车领域中及信息物理系统(CPS)和安全强化学习上的应用研究现状进行系统性梳理;最后,对RTA技术的发展前景进行讨论。 展开更多
关键词 运行时保证 复杂功能 切换逻辑 替换认证 智能航空
在线阅读 下载PDF
动态场景下自动驾驶运行时安全保障的自适应方法
5
作者 徐丙凤 陈嘉玲 +1 位作者 杨帅领 何高峰 《通信学报》 北大核心 2025年第7期168-181,共14页
针对已有自动驾驶运行时安全控制方法难以根据车辆实际运行环境进行动态调整导致车辆通行效率降低的问题,提出了一种动态场景下自动驾驶运行时安全保障的自适应方法,给出了运行时安全自动控制模型(RTA-AutoSafe)。在该模型中,针对性能... 针对已有自动驾驶运行时安全控制方法难以根据车辆实际运行环境进行动态调整导致车辆通行效率降低的问题,提出了一种动态场景下自动驾驶运行时安全保障的自适应方法,给出了运行时安全自动控制模型(RTA-AutoSafe)。在该模型中,针对性能控制器提出了一种基于自适应双缓冲优先经验重放机制的深度Q网络算法,通过增强动态交通环境下决策策略的适应性以优化通行效率;针对实际驾驶动态特征设计了自适应责任敏感安全(ARSS)模型,以增强安全判定的动态适应性;同时基于ARSS模型构建了一种结合车辆实时反馈和交通自适应的动态双向切换逻辑和安全控制器,用以实现车辆的实时安全保障和双控制器间的动态调控。仿真实验结果表明,与其他安全控制方法相比,所提方法在动态交通环境中降低了安全冗余控制对通行效率的限制,实现了安全实时响应与高效运行策略的动态兼容。 展开更多
关键词 自动驾驶 深度强化学习 运行时保证 责任敏感安全模型 优先经验重放
在线阅读 下载PDF
基于eBPF的容器运行时可信监控方案 被引量:1
6
作者 黄轲 李璇 +2 位作者 周庆飞 尚科彤 秦宇 《信息网络安全》 北大核心 2025年第2期306-326,共21页
随着云服务技术的发展,越来越多的应用以容器形式迁移到云端,容器的安全监控成为研究热点。虽然容器具有轻量级、部署快速、移植便捷的优点,但其较弱的隔离性却带来了诸多安全问题,如容器逃逸攻击、容器镜像投毒、内核漏洞利用等。针对... 随着云服务技术的发展,越来越多的应用以容器形式迁移到云端,容器的安全监控成为研究热点。虽然容器具有轻量级、部署快速、移植便捷的优点,但其较弱的隔离性却带来了诸多安全问题,如容器逃逸攻击、容器镜像投毒、内核漏洞利用等。针对这些威胁,文章采用eBPF系统监控技术,结合BMC信任根、镜像静态分析、通用策略引擎及运行时证明,提出了一种容器运行时安全监控方案。该方案利用eBPF实现的监控程序,能够识别并监控容器的进程、权能、文件、网络等行为事件。同时,该方案设计了细粒度的容器安全策略,并依据容器镜像静态分析所得的系统调用白名单,检测容器异常行为,多维度保障容器安全。此外,该方案还设计并实现了基于BMC信任根的运行时证明协议,利用BMC中集成的可信计算模块作为信任根,通过可信计算模块的证明确保eBPF监控事件报警日志的完整性和真实性。实验表明,监控服务器能够长期监控各类容器的运行状态,并针对安全异常事件及时采取应对措施。 展开更多
关键词 容器安全 eBPF 运行时监控 BMC信任根 远程证明
在线阅读 下载PDF
一种集成于超算作业调度系统应用的并行参数优化方法
7
作者 张文帅 李会民 +1 位作者 李京 潘必才 《计算机工程》 北大核心 2025年第7期59-67,共9页
随着高性能计算体系结构的发展,软件与硬件都具有多层的并行结构。当不同纵向层级与横向分组的计算任务被划分到不同节点的不同处理器时,存在非常多的分配方式。这些分配方式一般在运行时由用户输入的多个并行参数来确定,并对计算效率... 随着高性能计算体系结构的发展,软件与硬件都具有多层的并行结构。当不同纵向层级与横向分组的计算任务被划分到不同节点的不同处理器时,存在非常多的分配方式。这些分配方式一般在运行时由用户输入的多个并行参数来确定,并对计算效率影响很大。随着计算规模与复杂度的提升,多个并行参数的可配置空间越来越大,用户越来越难以确定最佳的并行参数值。这类运行时优化问题在科学计算应用中较为普遍,但相关的研究与解决方法比较少见。以VASP(Vienna Ab initio Simulation Package)应用为例,首先分析了该应用的多层并行结构,展示了不同并行参数配置引发的巨大运行速度差异。然后提出了一个基于约化并行效率指标的全自动运行优化方法,其不仅可以帮助用户简单快捷地确定最佳应用并行参数,而且可以帮助用户确定最佳的计算资源使用量,使应用可以高效率地扩展到大规模的并行计算中。最后将该优化方法与计算集群作业调度系统相融合应用于用户提交的真实VASP计算作业。统计结果表明,该方法显著提升了作业运行速度与超算资源的使用效率,具有很好的工程应用前景。 展开更多
关键词 并行计算 作业调度 运行时优化 超级计算 VASP应用
在线阅读 下载PDF
状态转换图制导的ARP错误检测方法
8
作者 林高毅 崔展齐 +1 位作者 陈翔 郑丽伟 《软件学报》 北大核心 2025年第2期469-487,共19页
Android应用开发人员需要在保持应用频繁更新的同时快速检测出应用中Android运行时权限(Android runtime permission,ARP)错误.现有的Android应用自动化测试工具通常未考虑ARP机制,无法有效测试Android应用内的权限相关行为.为帮助开发... Android应用开发人员需要在保持应用频繁更新的同时快速检测出应用中Android运行时权限(Android runtime permission,ARP)错误.现有的Android应用自动化测试工具通常未考虑ARP机制,无法有效测试Android应用内的权限相关行为.为帮助开发人员快速检测出应用中ARP错误,提出状态转换图制导的Android应用运行时权限错误检测方法.首先,对被测应用APK文件进行权限误用分析,插桩APK文件中可能导致ARP错误的API,并对APK文件重新签名;然后,安装插桩后的APK文件,动态探索应用以生成其状态转换图(state transition graph,STG);最后,使用STG制导自动化测试,快速检测出应用中ARP错误.基于所提出方法实现原型工具RPBDroid,并与ARP错误动态检测工具SetDroid、PermDroid和传统自动化测试工具APE进行对比实验.实验结果表明,RPBDroid成功检测出17个应用中的15个ARP错误,比APE、SetDroid、PermDroid分别多14、12和14个.此外,相比于测试工具SetDroid、PermDroid和APE,RPBDroid检测ARP错误的平均用时分别减少86.42%、86.72%和86.70%. 展开更多
关键词 ANDROID应用 Android运行时权限错误 权限误用 自动化测试工具 状态转换图
在线阅读 下载PDF
基于使用特性的两阶段多因素作业运行时间预测算法
9
作者 尚秋言 李奕聪 +3 位作者 温瑞林 马银萍 欧阳荣彬 樊春 《计算机科学》 北大核心 2025年第2期261-267,共7页
为了解决用户所提供的作业预计时间不准确对高性能计算平台调度系统的连锁影响,以鹤思调度系统为研究模板,提出了一种通用的两阶段多因素作业运行时间预测算法(TSMF)。TSMF融合了复杂的用户行为模式和作业上下文特征,以确保预测准确可靠... 为了解决用户所提供的作业预计时间不准确对高性能计算平台调度系统的连锁影响,以鹤思调度系统为研究模板,提出了一种通用的两阶段多因素作业运行时间预测算法(TSMF)。TSMF融合了复杂的用户行为模式和作业上下文特征,以确保预测准确可靠,并能够无缝嵌入到大多数高性能计算平台的调度系统中,从而改善其性能。在北京大学高性能计算集群的数据集及真实调度系统上进行的多角度模拟实验显示,TSMF在预测准确性方面表现出色,能够在绝大部分作业上实现精准预测。例如,在多达60.8%的作业中,其预测误差在1min以内。此外,TSMF显著改进了实际情境中的调度算法,提高了资源利用率并大幅缩短了用户等待时间。 展开更多
关键词 高性能计算 作业运行时间预测 作业调度 行为模式 机器学习
在线阅读 下载PDF
软件运行时配置研究综述 被引量:1
10
作者 周书林 李姗姗 +2 位作者 董威 王戟 廖湘科 《软件学报》 EI CSCD 北大核心 2024年第1期63-86,共24页
运行时配置为用户使用软件提供了灵活性和可定制性,但其巨大的规模和复杂的机制也带来了巨大的挑战.大量学者和研究机构针对软件运行时配置展开了研究,以提升软件系统在复杂外部环境中的可用性和适应性.建立运行时配置研究分析框架,从... 运行时配置为用户使用软件提供了灵活性和可定制性,但其巨大的规模和复杂的机制也带来了巨大的挑战.大量学者和研究机构针对软件运行时配置展开了研究,以提升软件系统在复杂外部环境中的可用性和适应性.建立运行时配置研究分析框架,从配置分析与理解、配置缺陷检测与故障诊断、配置应用3个阶段对现有研究工作进行归类和分析,总结归纳现有研究的不足和面临的挑战,并对未来的研究趋势进行展望,对下一步研究具有一定的指导意义. 展开更多
关键词 运行时配置 配置理解 配置缺陷检测 配置故障诊断 配置应用
在线阅读 下载PDF
面向预期功能安全的eVTOL智能避障系统运行时保证方法 被引量:1
11
作者 董磊 宋文佳 +2 位作者 陈曦 刘嘉琛 梁博尧 《中国安全科学学报》 CAS CSCD 北大核心 2024年第7期105-112,共8页
为保障电动垂直起降飞行器(eVTOL)在城市空中交通(UAM)场景下的预期功能安全(SOTIF),降低人工智能算法的验证难度,建立基于运行时保证(RTA)方法的避障模型。首先,使用人工势场法改进的柔性动作评价(SAC)算法作为eVTOL智能避障系统的复... 为保障电动垂直起降飞行器(eVTOL)在城市空中交通(UAM)场景下的预期功能安全(SOTIF),降低人工智能算法的验证难度,建立基于运行时保证(RTA)方法的避障模型。首先,使用人工势场法改进的柔性动作评价(SAC)算法作为eVTOL智能避障系统的复杂功能;然后,使用动态反应规划(DRP)作为智能航电系统的备用功能,以减缓SOTIF危险,同时,使用监视和决策模块采集环境状态,搭建RTA架构;最后,分别仿真仅使用复杂功能和具有RTA架构的避障系统,对比避障效果。结果表明:2种方法均可实现避障,但仅使用复杂功能的传统避障系统会带来SOTIF危险;经过RTA架构设计,可使eVTOL的安全飞行时长占比由78.4%提高到98.15%,总航路长度仅增加0.95%,在保障效率的同时,降低了在运行场景中的风险。 展开更多
关键词 预期功能安全(SOTIF) 电动垂直起降飞行器(eVTOL) 运行时保证(RTA) 城市空中交通(UAM) 智能避障系统
在线阅读 下载PDF
聚合型时序逻辑驱动的复合服务联动定量监测
12
作者 周长兵 赵登 +2 位作者 张文博 孙骁 薛霄 《软件学报》 EI CSCD 北大核心 2024年第12期5419-5451,共33页
近年来,面向服务的物联网体系架构受到学术界和工业界的广泛关注.通过把物联网资源虚拟化为智能物联网服务,动态互联并融合协同这些资源受限且动态演进的物联网服务,从而构建物联网应用,已成为一种被普遍认可且灵活有效的机制.面向边缘... 近年来,面向服务的物联网体系架构受到学术界和工业界的广泛关注.通过把物联网资源虚拟化为智能物联网服务,动态互联并融合协同这些资源受限且动态演进的物联网服务,从而构建物联网应用,已成为一种被普遍认可且灵活有效的机制.面向边缘设备资源稀缺且动态时变,物联网服务在其执行过程中可能发生QoS变化或资源失配,致使物联网应用难以继续或可能诱使故障发生.因此,实现物联网服务的实时定量监测,已成为保障物联网应用鲁棒性和系统健壮性的关键.现有相关研究工作提出了不同监测机制,但其在形式化解释上仍存不足,表现为较强的领域相关性和经验主观性.基于形式化方法,例如信号时序逻辑,可将物联网服务运行态实时定量监测问题转换为时序逻辑任务.然而,现有信号时序逻辑存在信号不可辨性、方法不鲁棒性以及场景不适用性问题.并且,在物联网服务以复合服务形式监测时,现有工作存在整体性、联动性、动态性考虑不足的问题.为解决上述问题,提出一种聚合型信号时序逻辑,以实现单个服务、服务之间以及复合服务上不同QoS约束和时间约束的实时联动定量监测.所提方法扩展基于正负偏置黎曼和的累加型时间算子,对整个时间域内所有子公式进行鲁棒性度量,实现时序鲁棒、信号可辨、动态适用的物联网服务运行态实时定量监测;并扩展基于约束类型与组合结构的聚合算子,以及随动态环境可变的动态变量,实现复合服务在动态环境中的联动定量监测.由此,物联网服务及其复合服务的多维度多约束被转换为逻辑公式,并在运行时以定性和定量化的满意度进行形式化解释.实验结果表明所提方法具有更好的监测表达能力、场景适用性和结果鲁棒性. 展开更多
关键词 物联网服务 复合服务 定量监测 实时监测 信号时序逻辑
在线阅读 下载PDF
基于动态完整性度量的机密计算运行时监控方案 被引量:1
13
作者 李为 冯伟 +1 位作者 秦宇 冯登国 《计算机研究与发展》 EI CSCD 北大核心 2024年第10期2482-2500,共19页
机密计算(confidential computing,CC)技术基于硬件可信执行环境(TEE),通过隔离、完整性度量和远程证明等技术保护使用中数据的机密性和完整性,并免受特权敌手的攻击.然而,现有机密计算平台的完整性度量和远程证明机制主要针对启动时,... 机密计算(confidential computing,CC)技术基于硬件可信执行环境(TEE),通过隔离、完整性度量和远程证明等技术保护使用中数据的机密性和完整性,并免受特权敌手的攻击.然而,现有机密计算平台的完整性度量和远程证明机制主要针对启动时,而缺少运行时完整性保护,例如当用户工作负载潜在的内存漏洞被敌手利用时容易遭受控制流劫持等攻击,目前仅包含启动时完整性保护的机密计算平台无法有效防止或者检测此类运行时攻击.针对该问题,提出了一种基于动态完整性度量的机密计算运行时监控方案,通过向TEE中引入控制流和数据流度量,并扩展可信验证方功能以进行运行时远程证明,实现了机密计算平台内用户工作负载的运行时完整性保护.使用CSV/SEV服务器作为机密计算平台,在其机密虚拟机/容器基础上进行了系统原型实现与实验评估,评估结果表明,方案在增强运行时安全性的同时,引入了约16%的性能损耗. 展开更多
关键词 机密计算 可信执行环境 运行时证明 控制流完整性 数据流完整性
在线阅读 下载PDF
面向容器运行时安全威胁的N变体架构 被引量:1
14
作者 刘道清 扈红超 霍树民 《计算机科学》 CSCD 北大核心 2024年第6期399-408,共10页
容器技术以其轻量级和可伸缩性的优点促进了云计算的发展,但容器运行时安全威胁日益严重。现有的入侵检测和访问控制等技术无法有效应对利用容器运行时实现容器逃逸的攻击行为。针对上述安全威胁,结合N变体系统的冗余及多样性方法提出... 容器技术以其轻量级和可伸缩性的优点促进了云计算的发展,但容器运行时安全威胁日益严重。现有的入侵检测和访问控制等技术无法有效应对利用容器运行时实现容器逃逸的攻击行为。针对上述安全威胁,结合N变体系统的冗余及多样性方法提出了一种面向容器运行时安全威胁的N变体架构,同时通过基于历史信息的投票算法以提高投票的准确率,并通过两阶段投票和调度策略优化容器应用服务质量。最后构建了原型系统,测试结果表明原型系统性能损失在可接受的范围内,并一定程度上减小了系统攻击面,进而达到了增强容器应用安全性的目的。 展开更多
关键词 容器安全 云计算 N变体 容器运行时 调度
在线阅读 下载PDF
量子计算系统软件研究综述 被引量:2
15
作者 谢磊 翟季冬 《软件学报》 EI CSCD 北大核心 2024年第1期1-18,共18页
量子计算理论上有望解决诸多经典难解问题,近年来量子计算机的快速发展正推动这一理论进入实践.然而,当前硬件中繁多的错误会造成计算结果出错,严重限制了量子计算机解决实际问题的能力.量子计算系统软件位于应用与硬件之间,充分挖掘系... 量子计算理论上有望解决诸多经典难解问题,近年来量子计算机的快速发展正推动这一理论进入实践.然而,当前硬件中繁多的错误会造成计算结果出错,严重限制了量子计算机解决实际问题的能力.量子计算系统软件位于应用与硬件之间,充分挖掘系统软件在硬件错误减缓方面的潜力,对于近期实现有实用价值的量子计算而言至关重要.由此,近期涌现了一批量子计算系统软件研究工作.将这些工作归纳入编译器、运行时系统和调试器3个范畴,通过对它们的分析总结,梳理量子计算系统软件的研究现状,揭示其在硬件错误减缓方面的重要作用.并对未来的研究方向进行展望. 展开更多
关键词 量子计算 系统软件 嘈杂中规模量子 编译 运行时 调试
在线阅读 下载PDF
一种使用STL逻辑监控CPS的可解释规范挖掘方法 被引量:1
16
作者 刘峰 曹子宁 +1 位作者 王福俊 李振 《小型微型计算机系统》 CSCD 北大核心 2024年第1期9-15,共7页
随着信息物理融合系统(CPS)日益复杂,很难捕获其相关行为并以一种可解释的方式检测它.因此本文提出了一种基于线性支持向量机(LSVM)框架的规范挖掘算法,从有限长度的信号轨迹中挖掘具有可解释性的信号时序逻辑(STL)公式.挖掘出的STL公... 随着信息物理融合系统(CPS)日益复杂,很难捕获其相关行为并以一种可解释的方式检测它.因此本文提出了一种基于线性支持向量机(LSVM)框架的规范挖掘算法,从有限长度的信号轨迹中挖掘具有可解释性的信号时序逻辑(STL)公式.挖掘出的STL公式可以作为监控行为的抽象,用于CPS运行时验证的监控机制中.该算法根据一组被标记的有限时间轨迹和STL模板公式,将信号时序逻辑特有的鲁棒性满意度与LSVM的优化算法相结合生成所需规范.另外,本文还将对一维信号轨迹的规范挖掘技术扩展到多维信号上.最后,通过两个案例研究来说明提出算法的可行性和优势,结果表明该算法在保证高准确率的前提下,执行效率和可解释性都优于其他的规范挖掘算法. 展开更多
关键词 机器学习 规范挖掘 运行时验证 信息物理融合系统 信号时序逻辑
在线阅读 下载PDF
一种基于无锁队列的运行时多线程并行验证方法 被引量:1
17
作者 李佳洁 陈哲 陈龙腾 《小型微型计算机系统》 CSCD 北大核心 2024年第5期1249-1256,共8页
运行时验证是一种动态的软件验证技术,主要包括使用形式化规约描述待验证性质、自动生成对应监控器以及监控器的插桩.然而现有的面向C语言程序的运行时验证技术存在一些局限性,主要体现在多监控器的情况下,现有的运行时验证工具只能使... 运行时验证是一种动态的软件验证技术,主要包括使用形式化规约描述待验证性质、自动生成对应监控器以及监控器的插桩.然而现有的面向C语言程序的运行时验证技术存在一些局限性,主要体现在多监控器的情况下,现有的运行时验证工具只能使用串行的方式处理,这大大降低了验证效率.因此,本文在分析了形式化规约的基础上,提出了一种基于无锁队列的运行时多线程并行验证方法.方法在现有工具MOVEC上实现并在测试集mibench上插桩运行,并与相关工具ACC、AC++和串行机制下的MOVEC进行了对比实验.实验结果表明,本文所实现的基于无锁队列的运行时多线程并行算法可以在有多个监控器的情况下有效地对C语言程序进行并行的运行时验证,且并行验证算法的性能比串行验证算法提升了约83%. 展开更多
关键词 运行时验证 形式化规约 多线程 无锁队列 C语言程序
在线阅读 下载PDF
SDAA:面向申威智能加速卡的运行时系统 被引量:1
18
作者 赵玉龙 张鲁飞 +3 位作者 许国春 李宇轩 孙茹君 刘鑫 《软件学报》 EI CSCD 北大核心 2024年第12期5710-5724,共15页
自主研制的申威智能加速卡上搭载了脉动阵列增强的申威众核处理器,其智能计算能力与主流GPU相当,但仍缺少配套的基础软件.为降低申威智能加速卡的使用门槛,有效支撑人工智能应用开发,设计面向申威智能加速卡的运行时系统SDAA,语义与主流... 自主研制的申威智能加速卡上搭载了脉动阵列增强的申威众核处理器,其智能计算能力与主流GPU相当,但仍缺少配套的基础软件.为降低申威智能加速卡的使用门槛,有效支撑人工智能应用开发,设计面向申威智能加速卡的运行时系统SDAA,语义与主流的CUDA运行时保持一致.针对内存管理、数据传输、核函数启动等关键路径,采用软硬协同的设计方法实现卡上段页结合的多级内存分配算法、可分页内存多线程多通道的传输模型、多异构部件自适应的数据传输算法和基于片上阵列通信的快速核函数启动方法,使得SDAA运行时性能优于主流GPU.实验结果表明,SDAA运行时系统的内存分配速度是NVIDIA V100对应接口的120倍,数据传输开销是对应接口的1/2,数据传输带宽达到对应接口的1.7倍,核函数启动时间与对应接口相当.SDAA运行时已支撑主流框架和实际模型训练在申威智能加速卡上的高效运行. 展开更多
关键词 运行时系统 申威智能加速卡 人工智能 软件定义
在线阅读 下载PDF
神威超级计算机运行时故障定位方法
19
作者 高剑刚 郑岩 +6 位作者 于康 彭达佳 李宏亮 刘勇 何王全 陈德训 王飞 《计算机研究与发展》 EI CSCD 北大核心 2024年第1期86-97,共12页
随着高性能计算机的性能不断提升、系统规模不断提高,系统和应用的错误率也不可避免地持续增多.快速发现和定位系统及应用级的错误、为用户提供高质量服务,成为了超级计算机系统设计开发过程中急需考虑的问题.超级计算机系统中硬件故障... 随着高性能计算机的性能不断提升、系统规模不断提高,系统和应用的错误率也不可避免地持续增多.快速发现和定位系统及应用级的错误、为用户提供高质量服务,成为了超级计算机系统设计开发过程中急需考虑的问题.超级计算机系统中硬件故障与异常、软件程序的错误等都会导致用户大规模并行应用的错误、挂死与退出.如何快速准确定位错误现场,让管理员或用户以此为基础查看异常发生的故障进行高精度、高效率的诊断,是维护高性能计算系统可靠性的重要基础.高性能计算机传统的故障定位主要通过硬件异常跟踪、系统日志分析和程序主动探测等方法,缺乏对无日志信息、无明显故障现象的程序挂死问题的定位手段,并且技术的扩展性也面临挑战.针对“新一代神威超级计算机”体系结构和SW26010-Pro众核处理器特点,提出一种运行时故障定位方法,包括基于消息传递的故障关联分析、基于全局聚合信息的在线综合分析诊断、面向申威众核处理器的异常线程过滤方法等关键技术,阐述了如何有效检测、收集、处理大量系统资源和并行进程的异常信息问题,为应对未来超大规模高性能计算中故障高效定位难题提供有效支撑. 展开更多
关键词 E级计算机 可靠性 错误定位 运行时 众核处理器
在线阅读 下载PDF
基于单工架构的信息物理系统运行时安全性保障方法
20
作者 王强 陈强 +1 位作者 曹伟朋 何文锋 《深圳大学学报(理工版)》 CAS CSCD 北大核心 2024年第3期253-263,共11页
运行时安全性保障方法旨在系统运行过程中确保安全性属性得到满足.基于单工(simplex)架构的运行时安全性保障方法能够在使用复杂且安全性未经验证的控制器的情况下,为系统提供安全性保证.其基本思想是将复杂且安全性未经验证的复杂控制... 运行时安全性保障方法旨在系统运行过程中确保安全性属性得到满足.基于单工(simplex)架构的运行时安全性保障方法能够在使用复杂且安全性未经验证的控制器的情况下,为系统提供安全性保证.其基本思想是将复杂且安全性未经验证的复杂控制器与经过严格形式化验证的安全控制器相结合,前者工作在无安全风险的情况下,若检测发现系统存在潜在的安全风险,则通过决策模块完成复杂控制器与安全控制器之间的切换,从而确保系统的安全性.本文重点关注基于simplex架构的信息物理系统运行时安全性保障方法,从simplex架构决策模块的设计、改进与拓展,以及simplex架构的应用3个方面展开研究,对相关工作进行了梳理和总结,指出当前面临的技术挑战,并展望未来的发展方向,认为基于simplex架构的运行时安全性保障方法将会是解决智能信息物理系统安全性保障问题的有效途径之一. 展开更多
关键词 人工智能 形式化方法 运行时安全性保障 运行时验证 形式化建模与验证 信息物理系统 系统建模与验证 嵌入式系统
在线阅读 下载PDF
上一页 1 2 14 下一页 到第
使用帮助 返回顶部