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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

支持MLS的多层次嵌入式高可信软件架构

引用

电子科技大学学报 2009年第6期38卷 1001-1005,1046页

作者：杨霞雷剑熊光泽电子科技大学计算机科学与工程学院成都610054

为增强安全关键系统的高可信能力,在分析高可信保障机制现状的基础上,提出了一种多层次的高可信软件架构。该架构采用"时空分离"思想、虚拟机技术,为基于MLS的嵌入式安全关键系统提供了一种整体解决方案。基于该架构,研究了... 详细信息

为增强安全关键系统的高可信能力,在分析高可信保障机制现状的基础上,提出了一种多层次的高可信软件架构。该架构采用"时空分离"思想、虚拟机技术,为基于MLS的嵌入式安全关键系统提供了一种整体解决方案。基于该架构,研究了多层次的安全和防危策略管理方法、信息流控制机制、可信软件的评估和认证方法,为安全关键嵌入式系统提供可认证的安全服务。

关键词： BLP安全模型信息流控制多级安全安全关键系统安全分离内核

来源：评论

学校读者我要写书评

暂无评论

基于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协作目标驱动知识查询操作语言因特网计算机

来源：评论

学校读者我要写书评

暂无评论

基于Wold模型和支持向量机的纹理识别

引用

计算机研究与发展 2007年第3期44卷 460-466页

作者：李杰朱维乐王磊杨浩淼电子科技大学电子工程学院成都610054 电子科技大学计算机科学与工程学院成都610054

提出一种基于Wold模型和支持向量机的纹理识别新方法,有效解决了方向和尺度变化给纹理识别带来的困难.该方法首先对纹理图像进行傅里叶变换和自适应谱分解,将确定域功率谱的扇形区域能量和环形区域能量分布参数作为纹理扩展特征.然后,... 详细信息

提出一种基于Wold模型和支持向量机的纹理识别新方法,有效解决了方向和尺度变化给纹理识别带来的困难.该方法首先对纹理图像进行傅里叶变换和自适应谱分解,将确定域功率谱的扇形区域能量和环形区域能量分布参数作为纹理扩展特征.然后,利用能量分布特征把纹理的主方向旋转到0°,提取旋转后图像的共生矩阵和小波变换统计参数作为基本纹理特征.在两组分别包含25类单色自然纹理的图像库上进行的识别实验表明,该方法获得了良好的识别效果.

关键词：纹理识别 Wold模型谱分解支持向量机小波变换

来源：评论

学校读者我要写书评

暂无评论

安全关键实时操作系统时间隔离保护机制的设计与实现

引用

计算机研究与发展 2004年第7期41卷 1306-1314页

作者：杨仕平桑楠陈慧熊光泽电子科技大学计算机科学与工程学院成都610054

为了设计高可信的安全关键实时操作系统CRTOS 2 0 ,在分析现有操作系统可信性保障机制的基础上 ,提出了基于时空隔离保护机制构建安全关键实时操作系统的新思想空间隔离保护的目的是防止不同地址空间内的程序无意或恶意越界进行非法... 详细信息

为了设计高可信的安全关键实时操作系统CRTOS 2 0 ,在分析现有操作系统可信性保障机制的基础上 ,提出了基于时空隔离保护机制构建安全关键实时操作系统的新思想空间隔离保护的目的是防止不同地址空间内的程序无意或恶意越界进行非法读写 ,而时间隔离保护的目的则是为了防止某程序长期独占或超时使用处理器而阻止或延迟其他程序的运行为实现时间隔离保护机制 ,在改进传统处理器能力预留机制的基础上 ,基于两级调度的思想 ,提出了新的实现方法时空隔离保护机制的提出。

关键词：安全关键空间隔离时间隔离调度分析实时操作系统

来源：评论

学校读者我要写书评

暂无评论

基于系统结构和运行环境的系统生存性模型

引用

电子科技大学学报 2014年第1期43卷 101-106页

作者：耿技宋旭陈伟秦志光电子科技大学计算机科学与工程学院成都611731

软件系统安全问题日益严峻,软件生存性研究成为软件安全性研究的延伸和拓展,但是目前的生存性模型很多都不能提供一个可以指导实践的方法。该文研究系统结构和运行环境对系统生存性的影响,在服务的生存性模型中,考虑不同的环境对于服务... 详细信息

软件系统安全问题日益严峻,软件生存性研究成为软件安全性研究的延伸和拓展,但是目前的生存性模型很多都不能提供一个可以指导实践的方法。该文研究系统结构和运行环境对系统生存性的影响,在服务的生存性模型中,考虑不同的环境对于服务生存性的影响,在进一步构架系统的生存性模型时,引入系统架构和服务之间的关系,以服务生存性为基础定义系统生存性。以该形式化的生存性模型为基础,结合系统运行环境给出了一个系统在提供的部分或全部服务失效时的恢复方案。

关键词：运行环境服务生存性系统恢复系统结构系统生存性

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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 海量元数据性能小文件存储引擎

来源：评论

学校读者我要写书评

暂无评论

移动设备上富媒体场景渲染优化策略

引用

计算机辅助设计与图形学学报 2010年第8期22卷 1272-1278页

作者：张骥先罗蕾姜帆电子科技大学计算机科学与工程学院成都610054

随着移动设备上越来越多的富媒体应用,对富媒体引擎提出了更高的要求.为了提高引擎性能,提出移动设备上富媒体场景渲染优化策略.该优化策略从局部渲染和多边形填充2个方面进行:通过跟踪场景变化的失效区域来体现局部渲染;在多边形填充... 详细信息

随着移动设备上越来越多的富媒体应用,对富媒体引擎提出了更高的要求.为了提高引擎性能,提出移动设备上富媒体场景渲染优化策略.该优化策略从局部渲染和多边形填充2个方面进行:通过跟踪场景变化的失效区域来体现局部渲染;在多边形填充方面提出一种Grid算法,通过记录多边形的边与屏幕扫描线的交点信息来进行边的反走样计算以及多边形光栅化填充,且支持复杂自交多边形填充.经过推导证明,Grid算法在时间复杂度与空间复杂度两方面比传统的活性边填充算法和扫描线种子填充算法更优,更适合于移动设备的图形填充.最后通过仿真测试验证了以上两个方面优化的良好效果.

关键词：富媒体失效区域计算局部渲染多边形填充

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：