检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

软件测试不确定性研究及解决途径

计算机工程 2004年第7期30卷 52-54页

作者：杨根兴宗宇伟上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海200235

从分析软件测试的不确定性产生的原因，分析软件测试中存在的问题，提出加强软件测试工程化管理、测试方法模板的复用、采用测试用例的知识共享作为解决问题的途径，介绍了一种软件测试管理平台的实现。

关键词：软件测试软件测试复用软件测试成熟度模型软件测试工程

基于优先级时间Petri网的实时嵌入式多核系统分析

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第9期35卷 4123-4140页

作者：张凯文刘关俊孙彦韬李晓锋关健解毅顾斌同济大学计算机科学与技术系上海201804 北京控制工程研究所北京100190

已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应... 详细信息

已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应用;(2)没有实现从任务依赖图到点区间优先级时间Petri网的自动转化,不便于工程设计人员使用;(3)没有考虑任务间互斥访问共享变量的情况.为此,定义了优先级时间Petri网(Pri-TPN)以弥补第1个不足;定义带有资源分配与优先级的任务依赖图(TDG-RAP)以弥补第3个不足;给出从TDG-RAP到Pri-TPN的转化规则与算法以弥补第2个不足,以及基于Pri-TPN分析任务最坏执行时间与系统死锁的算法;开发工具软件,方便工程设计人员使用.

关键词：实时嵌入式多核系统优先级时间Petri网可达图任务依赖图最坏执行时间(WCET) 死锁

在线全文

学校读者我要写书评

暂无评论

服务器无感知计算系统性能优化技术研究综述

软件学报 2024年

作者：杨光刘杰曲慕子王帅叶丹钟华中国科学院大学中国科学院软件研究所软件工程技术研究开发中心计算机科学国家重点实验室(中国科学院软件研究所)

服务器无感知计算是新兴的云计算模式,它基于“函数即服务(FaaS)”的范式,以函数为部署和调度的基本单位,为用户提供大规模并行和自动伸缩的函数执行服务,且无需用户管理底层资源.对于用户,服务器无感知计算能够帮助他们摆脱集群底层基... 详细信息

服务器无感知计算是新兴的云计算模式,它基于“函数即服务(FaaS)”的范式,以函数为部署和调度的基本单位,为用户提供大规模并行和自动伸缩的函数执行服务,且无需用户管理底层资源.对于用户,服务器无感知计算能够帮助他们摆脱集群底层基础设施管理的负担,专注于业务层的开发和创新;对于服务提供商,服务器无感知计算将应用分解为细粒度的函数,极大地提高了调度效率和资源利用率.显著的优势让服务器无感知计算迅速吸引了业界的注意,然而,服务器无感知计算与传统云计算迥然不同的计算模式以及对任务各方面的严格限制给应用的迁移带来了诸多障碍,各种越来越复杂的任务也对服务器无感知计算的性能提出了越来越高的要求,服务器无感知计算的性能优化成为一个重要的研究课题.从4个方面对服务器无感知计算系统性能优化技术的相关研究工作进行梳理和综述,并介绍现有的系统实现.(1)介绍面向典型任务的优化技术,包括任务适配和针对特定任务的系统优化;(2)综述沙箱环境的优化工作,包括沙箱方案和冷启动优化技术,它们是决定函数运行速度的核心;(3)概括I/O和通信技术的优化,它们是服务器无感知计算应用程序的主要性能瓶颈;(4)简述相关的资源调度技术,包括面向平台和面向用户的调度策略,它们决定着系统的资源利用率和任务的执行效率.最后,总结当前服务器无感知计算性能优化技术所面临的问题和挑战,并展望未来可能的发展方向.

关键词：服务器无感知计算函数即服务云函数云计算性能优化

基于数据流传播路径学习的智能合约时间戳漏洞检测

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

软件学报 2024年第5期35卷 2325-2339页

作者：张卓刘业鹏薛建新鄢萌陈嘉弛毛晓光广州商学院信息技术与工程学院广东广州510700 国防科技大学计算机学院湖南长沙410073 上海第二工业大学计算机与信息工程学院上海200127 重庆大学大数据与软件学院重庆401331 中山大学软件工程学院广东珠海519082

智能合约是一种被大量部署在区块链上的去中心化的应用.由于其具有经济属性,智能合约漏洞会造成潜在的巨大经济和财产损失,并破坏以太坊的稳定生态.因此,智能合约的漏洞检测具有十分重要的意义.当前主流的智能合约漏洞检测方法(诸如Oye... 详细信息

智能合约是一种被大量部署在区块链上的去中心化的应用.由于其具有经济属性,智能合约漏洞会造成潜在的巨大经济和财产损失,并破坏以太坊的稳定生态.因此,智能合约的漏洞检测具有十分重要的意义.当前主流的智能合约漏洞检测方法(诸如Oyente和Securify)采用基于人工设计的启发式算法,在不同应用场景下的复用性较弱且耗时高,准确率也不高.为了提升漏洞检测效果,针对智能合约的时间戳漏洞,提出基于数据流传播路径学习的智能合约漏洞检测方法Scruple.所提方法首先获取时间戳漏洞的潜在的数据传播路径,然后对其进行裁剪并利用融入图结构的预训练模型对传播路径进行学习,最后对智能合约是否具有时间戳漏洞进行检测.相比而言,Scruple具有更强的漏洞捕捉能力和泛化能力,传播路径学习的针对性强,避免了对程序整体依赖图学习时造成的层次太深而无法聚焦漏洞的问题.为了验证Scruple的有效性,在真实智能合约的数据集上,开展Scruple方法与13种主流智能合约漏洞检测方法的对比实验.实验结果表明,Scruple在检测时间戳漏洞上的准确率,召回率和F1值分别可以达到0.96,0.90和0.93,与13种当前主流方法相比,平均相对提升59%,46%和57%,从而大幅提升时间戳漏洞的检测能力.

关键词：智能合约时间戳漏洞漏洞检测数据流传播路径预训练

基于D-Petri Net和动态调度的网格工作流

在线全文

学校读者我要写书评

暂无评论

计算机辅助设计与图形学学报 2005年第6期17卷 1146-1151页

作者：张绍华顾宁刘家茂施伯乐上海计算机软件技术开发中心上海201114 复旦大学计算机与信息技术系上海200433

提出了网格工作流体系结构;给出了基于DPetriNet的网格工作流建模语言和验证方法,利用该建模语言生成的过程模型适合网格资源动态性的特点;分析了根据网格性能动态产生并行任务和动态调度的算法;最后介绍了在Globus上实现的原型系统和... 详细信息

提出了网格工作流体系结构;给出了基于DPetriNet的网格工作流建模语言和验证方法,利用该建模语言生成的过程模型适合网格资源动态性的特点;分析了根据网格性能动态产生并行任务和动态调度的算法;最后介绍了在Globus上实现的原型系统和在基因测序中的应用.该系统具有良好的效果.

关键词：网格工作流 D-Petri Net 动态建模和调度性能评估

多视角融合的时空动态GCN城市交通流量预测

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第4期35卷 1751-1773页

作者：赵文竹袁冠张艳梅乔少杰王森章张雷中国矿业大学计算机科学与技术学院江苏徐州221116 矿山数字化教育部工程研究中心江苏徐州221116 成都信息工程大学软件工程学院四川成都610225 中南大学计算机学院湖南长沙410083 同济大学上海自主智能无人系统科学中心上海201210

城市交通流量预测是构建绿色低碳、安全高效的智能交通系统的重要组成部分.时空图神经网络由于具有强大的时空数据表征能力,被广泛应用于城市交通流量预测.当前,时空图神经网络在城市交通流量预测中仍存在以下两方面局限性:1)直接构建... 详细信息

城市交通流量预测是构建绿色低碳、安全高效的智能交通系统的重要组成部分.时空图神经网络由于具有强大的时空数据表征能力,被广泛应用于城市交通流量预测.当前,时空图神经网络在城市交通流量预测中仍存在以下两方面局限性:1)直接构建静态路网拓扑图对城市空间相关性进行表示,忽略了节点的动态交通模式,难以表达节点流量之间的时序相似性,无法捕获路网节点之间在时序上的动态关联;2)只考虑路网节点的局部空间相关性,忽略节点的全局空间相关性,无法建模交通路网中局部区域和全局空间之间的依赖关系.为打破上述局限性,提出了一种多视角融合的时空动态图卷积模型用于预测交通流量:首先,从静态空间拓扑和动态流量模式视角出发,构建路网空间结构图和动态流量关联图,并使用动态图卷积学习节点在两种视角下的特征,全面捕获城市路网中多元的空间相关性;其次,从局部视角和全局视角出发,计算路网的全局表示,将全局特征与局部特征融合,增强路网节点特征的表现力,发掘城市交通流量的整体结构特征;接下来,设计了局部卷积多头自注意力机制来获取交通数据的动态时间相关性,实现在多种时间窗口下的准确流量预测;最后,在4种真实交通数据上的实验结果,证明了该模型的有效性和准确性.

关键词：交通流量预测多视角时空特征图卷积网络(GCN) 时空图数据注意力机制

HiLog:OpenHarmony的高性能日志系统

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第4期35卷 2055-2075页

作者：吴圣垚王枫武延军凌祥屈晟罗天悦吴敬征中国科学院软件研究所智能软件研究中心北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

日志是计算机系统中记录事件状态信息的的重要载体,日志系统负责计算机系统的日志生成、收集和输出.OpenHarmony是新兴的、面向全设备、全场景的开源操作系统.在所述工作之前,包括日志系统在内OpenHarmony有许多关键子系统尚未构建,而Op... 详细信息

日志是计算机系统中记录事件状态信息的的重要载体,日志系统负责计算机系统的日志生成、收集和输出.OpenHarmony是新兴的、面向全设备、全场景的开源操作系统.在所述工作之前,包括日志系统在内OpenHarmony有许多关键子系统尚未构建,而OpenHarmony的开源特性使第三方开发者可以为其贡献核心代码.为了解决Open Harmony日志系统缺乏的问题,主要开展如下工作:(1)分析当今主流日志系统的技术架构和优缺点;(2)基于OpenHarmony操作系统的异构设备互联特性设计HiLog日志系统模型规范;(3)设计并实现第1个面向OpenHarmony的日志系统HiLog,并贡献到OpenHarmony主线;(4)对HiLog日志系统的关键指标进行测试和对比试验.实验数据表明,在基础性能方面,HiLog和Log的日志写入阶段吞吐量分别为1500 KB/s和700 KB/s,相比Android日志系统吞吐量提升114%;在日志持久化方面,HiLog可以3.5%的压缩率进行持久化,并且丢包率小于6‰,远低于Log.此外,HiLog还具备数据安全、流量控制等新型实用能力.

关键词：操作系统日志系统开源软件数据安全流量控制

在线全文

学校读者我要写书评

暂无评论

基于块方向预测的AV1快速帧内编码算法

吉林大学学报(工学版) 2024年

作者：严利民金炜烨上海大学微电子研究与开发中心

AV1压缩技术增加了编码复杂性，为了满足实时通信(RTC)应用要求，在低端平台上，编码器要以低延迟、低比特率、低编码时间运行，这使得在RTC任务中，使用AV1编码器具有挑战性。对此，本文提出了一种AV1快速帧内编码算法。通过预先计算... 详细信息

AV1压缩技术增加了编码复杂性，为了满足实时通信(RTC)应用要求，在低端平台上，编码器要以低延迟、低比特率、低编码时间运行，这使得在RTC任务中，使用AV1编码器具有挑战性。对此，本文提出了一种AV1快速帧内编码算法。通过预先计算块的方向特性，在帧内编码方向预测遍历期间，跳过与预先计算的方向显著不同的方向，从而提高libaom-AV1编码器的编码速度，节省帧内编码时间，并加速AV1在低延迟视频编码应用中的进展。实验结果表明，该算法可节省25.89%的运行时间，且编码时间节省后，编码性能损失较小。

关键词： AV1 libaom 实时编码帧内编码速度优化

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

端云协同智能计算的关键问题、方法和应用

中国工程科学 2024年第1期26卷 127-138页

作者：张圣宇况琨吕承飞李纪为肖俊吴帆吴飞浙江大学软件学院杭州310013 浙江大学计算机科学与技术学院杭州310013 淘宝(中国)软件有限公司杭州310012 上海交通大学计算机科学与工程系上海200240 浙江大学上海高等研究院上海201203

端云协同智能计算是大数据、云计算、边缘计算发展的产物,可在保护用户隐私的前提下显著提升数据利用率,实现智能计算实时响应能力与服务鲁棒性的优势互补,而相应技术研发和实践应用具有复杂性。本文剖析了端云协同智能计算的应用价值,... 详细信息

端云协同智能计算是大数据、云计算、边缘计算发展的产物,可在保护用户隐私的前提下显著提升数据利用率,实现智能计算实时响应能力与服务鲁棒性的优势互补,而相应技术研发和实践应用具有复杂性。本文剖析了端云协同智能计算的应用价值,凝练了端学习效率优化、端少样本过拟合、端模型定制化、分布差异下虚假关联学习、通信开销与计算效率平衡等方面的技术难题;系统梳理了端云协同智能计算中主流方法研究进展,涉及作为应用基石的高效计算硬件、以端为中心的协同计算、以云为中心的协同计算、端云双向协同计算、可信端云协同智能计算等主要方向;总结了推荐系统、自动驾驶、安防系统、教育模式等端云协同智能计算的垂直领域应用情况。着眼端云协同智能计算的未来发展,需重点研究云资源在端模型个性化中的应用策略、端云协同多目标优化算法、端-端与云协同计算的优化策略。

关键词：端云协同大小模型协同计算端计算可信协同机器学习