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

计算机辅助设计与图形学学报 2009年第1期21卷 19-26页

作者：常政威熊光泽桑楠江维电子科技大学计算机科学与工程学院成都610054

面向支持电压岛的NoC平台,定义了可靠性约束下的能量感知NoC映射问题,提出一种基于禁忌搜索的优化方法.设计了一种新的能效变化率驱动的启发式算法,嵌套于NoC设计空间的搜索过程中,在IP核映射解的基础上实现各电压岛的电压映射.实验结... 详细信息

面向支持电压岛的NoC平台,定义了可靠性约束下的能量感知NoC映射问题,提出一种基于禁忌搜索的优化方法.设计了一种新的能效变化率驱动的启发式算法,嵌套于NoC设计空间的搜索过程中,在IP核映射解的基础上实现各电压岛的电压映射.实验结果表明,本文算法可显著降低NoC能耗,并高效地确保NoC通信的可靠性要求.

关键词：片上网络映射电压岛可靠性能效变化率

来源：评论

学校读者我要写书评

暂无评论

基于Pi-演算的Web服务组合的描述和验证

引用

计算机学报 2005年第4期28卷 635-643页

作者：廖军谭浩刘锦德电子科技大学计算机科学与工程学院成都610054

形式化方法对于建模和验证软件系统是一种有效的方法,所以对 Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi 演算是一种移动进程代数,可用于对并发和动态... 详细信息

形式化方法对于建模和验证软件系统是一种有效的方法,所以对 Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi 演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.该文基于 Pi 演算对 Web服务及其组合进行形式化描述和建模.文中说明了Pi 演算与以前形式化方法的不同之处,分析了Pi 演算应用于Web服务组合需要解决的问题.讨论了Pi 演算与Web服务协议栈的对应关系,说明了利用Pi 演算建立 Web服务组合模型的规则,指出了如何寻找代理和通道.最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证.

关键词： Pi-演算进程代数 Web服务服务组合服务形式化

来源：评论

学校读者我要写书评

暂无评论

基于移动Agent的分布式信息系统平台研究

引用

电子科技大学学报 2002年第6期31卷 595-601页

作者：刘一钫张云勇刘锦德电子科技大学计算机科学与工程学院成都610054

分析了分布式信息系统中信息共享的需求和特点,阐述了一个基于移动Agent技术的分布式信息系统平台的设计和构造, 论述了多个互相协作、具有知识和目标的移动Agent在该系统中对分布式信息管理和共享的有效实现。通过应用实例验证了该系... 详细信息

分析了分布式信息系统中信息共享的需求和特点,阐述了一个基于移动Agent技术的分布式信息系统平台的设计和构造, 论述了多个互相协作、具有知识和目标的移动Agent在该系统中对分布式信息管理和共享的有效实现。通过应用实例验证了该系统平台为分布式信息系统的实现提供了有效而灵活的应用框架和基础设施,说明了该系统平台因其对移动Agent技术的合理应用而具有的优势。

关键词：移动Agent 分布式信息系统平台决策多Agent协作目标驱动知识查询操作语言因特网计算机

来源：评论

学校读者我要写书评

暂无评论

MUSE:一种面向云存储系统的高性能元数据存储引擎

引用

电子科技大学学报 2016年第2期45卷 221-226页

作者：段翰聪向小可吕鹏程电子科技大学计算机科学与工程学院成都611731

该文设计了一种高性能的面向云存储系统的元数据存储引擎(MUSE)。首先,其底层物理存储模块采用LSM-tree模型的高速key-value存储引擎Level DB方案,通过设计多缓存表和多线程紧凑机制对该方案进行优化,使其可以充分利用内存和多核CPU并... 详细信息

该文设计了一种高性能的面向云存储系统的元数据存储引擎(MUSE)。首先,其底层物理存储模块采用LSM-tree模型的高速key-value存储引擎Level DB方案,通过设计多缓存表和多线程紧凑机制对该方案进行优化,使其可以充分利用内存和多核CPU并行能力;其次,提出了基于多I/O通道的元数据存取调度机制。通道之间读写操作隔离,聚合多个通道为上层提供高并发随机I/O读写能力;此外,针对上层目录命名空间管理,提出路径分割映射和全路径映射策略两种策略,可基于不同的应用场景在性能与可用性间进行折中选择。系统测试结果表明,MUSE能够很好地适应海量小文件存储场景,相对于其他元数据存储系统在性能上有显著的提升。

关键词： I/O LSM-tree 海量元数据性能小文件存储引擎

来源：评论

学校读者我要写书评

暂无评论

Mesh网络p-cycle的快速配置方法

引用

电子与信息学报 2004年第2期26卷 291-297页

作者：石兵闵凡周明天电子科技大学计算机科学与工程学院成都610054

该文提出了mesh冗余网络中快速配置p-cycle保护环的方法。算法从两个方面有效地提高配置速度:一方面在一次比较搜索过程中,配置一个多容量p—cycle环,而不是仅配置一个单位容量环;另一方面,将已有算法基于圈的搜索策略,改进为基于通路... 详细信息

该文提出了mesh冗余网络中快速配置p-cycle保护环的方法。算法从两个方面有效地提高配置速度:一方面在一次比较搜索过程中,配置一个多容量p—cycle环,而不是仅配置一个单位容量环;另一方面,将已有算法基于圈的搜索策略,改进为基于通路的搜索策略。这样可以有效地防止大量的搜索信息汇聚到一个节点,降低配置速度。当改为通路搜索后,原来汇聚到一个节点的处理,可分散到多个相邻节点进行并行处理,这将有效地加快配置速度。通过仿真表明,该钟法具有同已有算法相当的恢复率,但所需的搜索趟数性能却能获得大幅度的改善,同时也不显著增加备用容量的消耗。结果表明网络规模越大,本文算法的优势越明显。

关键词： p-cycle保护环网状网预配置环评价函数

来源：评论

学校读者我要写书评

暂无评论

微观交通仿真的安全换道模型研究

引用

电子科技大学学报 2015年第5期44卷 725-730页

作者：周世杰宋竹罗嘉庆电子科技大学计算机科学与工程学院成都611731

换道模型对车辆换道过程模拟的精确程度直接影响着微观交通仿真的精度。以往的微观交通仿真系统采用匀加速度的换道模型,无法模拟车辆实施换道动态调整纵向加速度的行为。该文分析了换道过程中车辆间的相互影响,将换道过程分为4个独立... 详细信息

换道模型对车辆换道过程模拟的精确程度直接影响着微观交通仿真的精度。以往的微观交通仿真系统采用匀加速度的换道模型,无法模拟车辆实施换道动态调整纵向加速度的行为。该文分析了换道过程中车辆间的相互影响,将换道过程分为4个独立的阶段,并允许车辆在不同阶段使用不同的纵向加速度。通过分析由环境参数导致的各阶段时间顺序的变化,提出了通用的安全换道模型,并给出换道自适应加速度的约束表达式。仿真结果显示,该模型能提高微观交通仿真系统的精度,并提供更准确的安全换道距离,换道成功率更高。

关键词：纵向加速度自适应换道模型微观交通仿真安全距离

来源：评论

学校读者我要写书评

暂无评论

基于改进目标检测能量项的联合语义分割和目标检测(英文)

引用

电子科技大学学报 2014年第5期43卷 748-753页

作者：任金胜贾海涛电子科技大学计算机科学与工程学院成都611731

提出了一种新颖的高阶CRF模型,能够同时获得语义分割和目标检测结果。该高阶CRF模型由低阶能量项和改进目标检测能量项构成。该模型采用了一二阶合并方法和逻辑斯蒂回归,从而降低了由于初始检测不准确而导致的错误识别率。在MSRC 21和PA... 详细信息

提出了一种新颖的高阶CRF模型,能够同时获得语义分割和目标检测结果。该高阶CRF模型由低阶能量项和改进目标检测能量项构成。该模型采用了一二阶合并方法和逻辑斯蒂回归,从而降低了由于初始检测不准确而导致的错误识别率。在MSRC 21和PASCAL VOC 2007两组数据库上进行的实验表明,该方法显著优于传统方法。

关键词：目标检测能量项一二阶合并高阶CRF模型语义分割

来源：评论

学校读者我要写书评

暂无评论

结构化对等网络中基于信誉的乐观路由决策

引用

控制与决策 2012年第6期27卷 839-844,849页

作者：杨磊秦志光蓝天钟婷电子科技大学计算机科学与工程学院成都610054

提出一种结构化P2P网络环境下的路由决策方法.该方法利用Beta评估机制对P2P节点路由行为进行信任度量,并针对P2P节点的短期在线行为,通过引入置信度避免了短期在线节点产生不可靠的信誉值;在基于Chord协议的P2P网络路由决策过程中,提出... 详细信息

提出一种结构化P2P网络环境下的路由决策方法.该方法利用Beta评估机制对P2P节点路由行为进行信任度量,并针对P2P节点的短期在线行为,通过引入置信度避免了短期在线节点产生不可靠的信誉值;在基于Chord协议的P2P网络路由决策过程中,提出了乐观路由的思想;采用贪婪决策与信誉决策相结合的方式,实现了合理的多路径路由.该路由方法兼顾了效率和可靠性两方面因素.仿真结果表明,该方法在减少路由跳数和提高路由成功率方面都取得了较好的效果.

关键词：结构化对等网络信誉 Chord 乐观路由决策

来源：评论

学校读者我要写书评

暂无评论

低资源场景下基于联合训练与自训练的跨语言摘要方法

引用

电子科技大学学报 2024年第5期53卷 762-770页

作者：程绍欢唐煜佳刘峤陈文宇电子科技大学计算机科学与工程学院成都611731

随着全球化的不断发展,跨语言摘要任务已成为自然语言处理领域的一项重要课题。在低资源场景下,现有方法存在表征转换受限和数据利用不充分等问题。为此,该文提出了一种基于联合训练与自训练的跨语言摘要方法。该方法使用两个模型分别... 详细信息

随着全球化的不断发展,跨语言摘要任务已成为自然语言处理领域的一项重要课题。在低资源场景下,现有方法存在表征转换受限和数据利用不充分等问题。为此,该文提出了一种基于联合训练与自训练的跨语言摘要方法。该方法使用两个模型分别建模翻译任务和跨语言摘要任务,以统一输出端的语言向量空间,从而避免模型间表征转换受限的问题。此外,通过对齐平行训练对的输出特征和概率进行联合训练,增强模型间的语义共享。同时,在联合训练的基础上引入自训练技术,利用额外的单语摘要数据生成合成数据,有效缓解了低资源场景下数据稀缺的问题。实验结果表明,该方法在多个低资源场景下均优于现有对比方法,实现了ROUGE分数的显著提升。

关键词：跨语言摘要联合训练低资源场景机器翻译自训练

来源：评论

学校读者我要写书评

暂无评论

智能合约Gas优化综述

引用

计算机研究与发展 2023年第2期60卷 311-325页

作者：宋书玮倪孝泽陈厅电子科技大学计算机科学与工程学院成都611731

区块链2.0最显著的特征是增加了对智能合约的支持,这使得区块链拥有了运行各种应用程序的能力.智能合约是一种根据预先定义的代码逻辑自动运行的计算机软件.区别于传统软件,区块链技术赋予了智能合约不依赖可信中心机构而在相互不信任... 详细信息

区块链2.0最显著的特征是增加了对智能合约的支持,这使得区块链拥有了运行各种应用程序的能力.智能合约是一种根据预先定义的代码逻辑自动运行的计算机软件.区别于传统软件,区块链技术赋予了智能合约不依赖可信中心机构而在相互不信任的节点上正确执行的能力,使其在数字支付、共享经济等领域被广泛地应用.为了防止滥用智能合约导致计算资源被浪费,以太坊等区块链向部署和执行智能合约这2种活动收取Gas(燃料)费用.智能合约消耗的计算资源是决定费用高低的因素.具有低效代码的智能合约浪费资源且易受攻击,此类智能合约的开发者和用户将承担不必要的费用.因此,优化智能合约以节省资源已经成为开发者和研究者重点关注的问题.首先详细分析了智能合约Gas优化所面临的主要挑战;然后回顾和总结了近年来提出的各种优化技术;最后展望了该研究方向的未来工作,旨在为智能合约的开发者和研究人员提供参考和借鉴.

关键词：区块链智能合约 Gas优化代码效率软件分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：