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

计算机科学 2013年第5期40卷 38-41页

作者：崔西宁王聪琳裴庆祺李亚晖沈玉龙西安电子科技大学计算机学院西安710071 西安电子科技大学通信工程学院西安710071 中国航空工业计算技术研究所西安710068

随着航空电子系统的飞速发展,机载操作系统对保证不同安全关键级别的软件互不影响越来越严格,面对这种情况,多重独立安全级别(MILS)嵌入式操作系统应运而生。MILS架构的中间件层采用实时CORBA技术。同时MILS CORBA架构采用分区通信机制... 详细信息

随着航空电子系统的飞速发展,机载操作系统对保证不同安全关键级别的软件互不影响越来越严格,面对这种情况,多重独立安全级别(MILS)嵌入式操作系统应运而生。MILS架构的中间件层采用实时CORBA技术。同时MILS CORBA架构采用分区通信机制进行通信。为了满足分区通信的安全性和MILS架构对分区密级的严格控制,设计了基于实时CORBA技术的MILS架构的多级安全分区通信机制。提出了将MILS IOP作为实时CORBA的一部分来实现MILS CORBA架构的多级安全分区通信的机制。整个机制保证了不同密级的数据安全独立的传输,同时也了保证系统的整体安全性。

关键词： MILS 实时CORBA 分区通信多级安全加密认证

来源：评论

学校读者我要写书评

暂无评论

一种高效的多细胞分子动力学算法

引用

小型微型计算机系统 2013年第4期34卷 843-846页

作者：金明灿胡长军李建江李越韩载浩北京科技大学计算机与通信工程学院北京100083 计算机体系结构国家重点实验室中国科学院计算技术研究所北京100083 平壤机械大学信息工程学院朝鲜平壤70050 朝鲜理科大学化学学院朝鲜平壤70050

多细胞分子动力学算法是分子动力学模拟中普遍使用的并行算法.因为利用不同作用路径的多细胞分子动力学算法的消息传递次数彼此不同,利用作用路径能够优化消息传递次数.优化消息传递次数是一种设计高效并行算法的方法.因此,本文研究十... 详细信息

多细胞分子动力学算法是分子动力学模拟中普遍使用的并行算法.因为利用不同作用路径的多细胞分子动力学算法的消息传递次数彼此不同,利用作用路径能够优化消息传递次数.优化消息传递次数是一种设计高效并行算法的方法.因此,本文研究十六个不同的作用路径,推导出十六个表示消息传递次数的数学模型,并在高性能通信和负载平衡方面决定十六个模型中最好的.实验结果表明模型的平均正确率是99.1391%,它的一个时间步骤的并行效率比HS算法平均提高了5.16%,处理器数的增加和截断半径的优化提高其并行效率.

关键词：并行计算多细胞分子动力学算法作用路径消息传递次数

来源：评论

学校读者我要写书评

暂无评论

移动设备上XMPP功耗与带宽的研究

引用

小型微型计算机系统 2013年第2期34卷 272-276页

作者：刘涌张彦功梁崑涛东北大学信息科学与工程学院沈阳110004 沈阳广播电视台沈阳110004 中国科学院研究生院北京100039 中国科学院沈阳计算技术研究所网络与通信实验室沈阳110168

随着无线网络技术的迅速发展,移动即时通信已经成为电信行业的主要应用之一.XMPP是一种以XML为基础的开放式主流即时通信协议.针对XMPP协议在移动设备上高功耗、高带宽问题,通过研究XMPP核心标准,结合最新的XMPP扩展协议,指出了引起这... 详细信息

随着无线网络技术的迅速发展,移动即时通信已经成为电信行业的主要应用之一.XMPP是一种以XML为基础的开放式主流即时通信协议.针对XMPP协议在移动设备上高功耗、高带宽问题,通过研究XMPP核心标准,结合最新的XMPP扩展协议,指出了引起这些问题的原因并给出相应的解决方案.在功耗方面,提出一种兼顾传输安全性和功耗的安全体系结构SAX;在带宽方面,提出了实体能力算法、节过滤和拦截算法,用于减少XMPP实体间通信所需的XML流.最后在Android系统上进行功耗和带宽测试,测试结果表明,解决方案有效地降低了功耗并节约了带宽.

关键词： XMPP Jabber 功耗带宽即时通信移动设备 Android

来源：评论

学校读者我要写书评

暂无评论

面向基于电压/频率岛设计的三维多核SoC硅后能耗优化方法

面向基于电压/频率岛设计的三维多核SoC硅后能耗优化方法

引用

第十五届全国容错计算学术会议(CFTC'13)

作者：靳松韩银和王瑜华北电力大学电气与电子工程学院电子与通信工程系保定071003 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

随着晶体管集成规模的不断增加,越来越多的处理芯核能够被集成到一个硅片上.然而,参数偏差却会导致核间性能出现差异,降低系统能效.为了克服参数偏差的负面影响,基于电压/频率岛的设计方法被广泛应用于多核平台.电压/频率岛设计方法源... 详细信息

随着晶体管集成规模的不断增加,越来越多的处理芯核能够被集成到一个硅片上.然而,参数偏差却会导致核间性能出现差异,降低系统能效.为了克服参数偏差的负面影响,基于电压/频率岛的设计方法被广泛应用于多核平台.电压/频率岛设计方法源自于全局异步局部同步思想,在有效地提高芯片性能的同时也为系统能耗优化提供了广阔的操作空间.本文提出一种面向基于电压/频率岛设计的三维多核SoC的硅后能耗优化方法.能耗优化过程中充分考虑了电压/频率岛的设计约束、水平和垂直方向上通信能耗的差异以及三维芯片独特的热特性等因素.通过结合任务调度算法和动态电压/频率调节,在满足任务截止时间和系统热约束的前提下优化系统能耗.实验结果证明了本文提出方法的有效性.

关键词：集成电路参数偏差电压设计频率岛设计能耗优化

来源：评论

学校读者我要写书评

暂无评论

MILS CORBA中的多级安全访问控制

引用

互联网天地 2013年第1期 50-54页

作者：潘楠李亚晖沈玉龙西安电子科技大学通信工程学院西安710071 中国航空工业计算技术研究所西安710068 西安电子科技大学计算机学院西安710071

在系统地介绍了中间件层采用实时CORBA的MILS三层软件结构的基础上,根据MILS多级安全与CORBA对象请求代理相结合的特殊性,指出系统存在的常见安全威胁与迫切的安全需求。同时针对上述问题,分析了中间件CORBA与安全服务有关的重要组件,... 详细信息

在系统地介绍了中间件层采用实时CORBA的MILS三层软件结构的基础上,根据MILS多级安全与CORBA对象请求代理相结合的特殊性,指出系统存在的常见安全威胁与迫切的安全需求。同时针对上述问题,分析了中间件CORBA与安全服务有关的重要组件,并给出在CORBA内部应用拦截器和安全服务实现访问控制机制的基本原理与流程,其中访问控制规则采用改进的BLP算法,最后对安全性改善做了详细说明。

关键词： MILS CORBA 多级安全访问控制 BLP

来源：评论

学校读者我要写书评

暂无评论

一种提高系统吞吐量的协助下载补偿模型

引用

计算机学报 2012年第7期35卷 1390-1398页

作者：刘建航毕经平徐鹏边永超李忠诚中国石油大学(华东)计算机与通信工程学院山东青岛266555 中国科学院计算技术研究所北京100190

随着人们对互联网依赖性的日益提高,人们希望随时随地能够接入Internet,即使在行驶中的汽车里.相比于3G或4G网络,通过路边接入点(AP)接入互联网具有高带宽低延迟的特点.利用经过的车辆携带用户所需要的数据可以有效地减少由于AP分布稀... 详细信息

随着人们对互联网依赖性的日益提高,人们希望随时随地能够接入Internet,即使在行驶中的汽车里.相比于3G或4G网络,通过路边接入点(AP)接入互联网具有高带宽低延迟的特点.利用经过的车辆携带用户所需要的数据可以有效地减少由于AP分布稀疏所引起的间歇性连接的影响.然而高速行驶的节点,快速的拓扑变化以及传输碰撞域的重叠将导致协助车所携带的数据不能完全地传递给用户,从而降低了系统的吞吐量.文中在先前工作的基础上提出了一种提高系统吞吐量的协助下载补偿模型.在高速公路场景下,协助车在与同向和对向的其它车辆相遇时根据速度和位置信息预测其与目标车相遇的概率,并选取满足条件的车辆备份携带的数据以弥补因传输碰撞域重叠等因素所引起的部分数据包传送失败的损失,从而达到有效地利用盲区(Dark Area)延伸用户下载区域的目的.实验结果表明该方法显著地提高了下载的吞吐量,减少间歇性连接带来的影响.

关键词：协助下载车联网动态时槽存储转发 DTN

来源：评论

学校读者我要写书评

暂无评论

岛屿争端中国家间博弈模型与策略仿真分析

引用

系统仿真学报 2012年第8期24卷 1686-1692页

作者：王元卓何辉辉刘丽程学旗中国科学院计算技术研究所北京100190 北京科技大学计算机与通信工程学院北京100083

岛屿争端通常涉及国家的核心利益及国际形象,根据岛屿争端问题的特点和相关国家可能采取的行为,研究了针对岛屿争端问题的国家间博弈模型,并对相关国家的策略进行了仿真分析。首先,将主动型国家和被动型国家的行为交互描述为一个随机博... 详细信息

岛屿争端通常涉及国家的核心利益及国际形象,根据岛屿争端问题的特点和相关国家可能采取的行为,研究了针对岛屿争端问题的国家间博弈模型,并对相关国家的策略进行了仿真分析。首先,将主动型国家和被动型国家的行为交互描述为一个随机博弈,并建立相应的博弈模型;然后,应用该模型分析主动型国家的期望行为和被动型国家的防守行为;最后,用计算机仿真分析相关国家的行为能力变化时对其策略选择和最终收益的影响。研究成果将为有岛屿争端问题的相关国家制定策略时提供有益的参考。

关键词：岛屿争端随机博弈模型策略仿真分析

来源：评论

学校读者我要写书评

暂无评论

计算机系统与计算机网络中的动态优化:模型、求解与应用

引用

计算机学报 2012年第7期35卷 1339-1357页

作者：林闯万剑雄向旭东孟坤王元卓清华大学计算机科学与技术系北京100084 北京科技大学计算机与通信工程学院北京100083 中国科学院计算技术研究所北京100190

动态优化是计算机系统与计算机网络中进行资源分配与任务调度等方面研究所采用的主要理论工具之一.目前,国内外已开展大量研究,致力于深化动态优化的理论研究与工程应用.文中从模型、求解与应用3个角度,对马尔可夫决策过程动态优化理论... 详细信息

动态优化是计算机系统与计算机网络中进行资源分配与任务调度等方面研究所采用的主要理论工具之一.目前,国内外已开展大量研究,致力于深化动态优化的理论研究与工程应用.文中从模型、求解与应用3个角度,对马尔可夫决策过程动态优化理论模型进行了综述,并重点介绍了将动态优化理论与随机Petri网理论相结合的马尔可夫决策Petri网和随机博弈网模型,详细讨论了这些模型的建模方法、求解算法与一些应用实例.最后,对全文进行了总结,并对未来可能的研究方向进行了展望.

关键词：动态优化马尔可夫决策过程随机Petri网马尔可夫决策Petri网随机博弈网

来源：评论

学校读者我要写书评

暂无评论

基于多维属性的网络行为控制策略研究

基于多维属性的网络行为控制策略研究

引用

第六届信息安全漏洞分析与风险评估大会

作者：刘庆云张冬艳谭建龙杨嵘中国科学院计算技术研究所北京市100193 中国科学院信息工程研究所北京市100190 信息内容安全技术国家工程实验室北京市100193 中国科学院大学北京市100049 北京科技大学计算机与通信工程学院北京市100083 中国科学院信息工程研究所北京市100190 信息内容安全技术国家工程实验室北京市100193

访问控制策略是确定分布式聚合资源访问控制的关键.为了保证分布式系统下信息的安全交互和互操作，本文基于多维属性建立主体与客体的网络行为控制通用模型,刻画实体间授权关系，通过策略与规则扩展形式化框架;基于多维属性网络行为控... 详细信息

访问控制策略是确定分布式聚合资源访问控制的关键.为了保证分布式系统下信息的安全交互和互操作，本文基于多维属性建立主体与客体的网络行为控制通用模型,刻画实体间授权关系，通过策略与规则扩展形式化框架;基于多维属性网络行为控制模型,对分布式系统中访问者访问web服务的网络行为，实例分析模型应用;在实例化策略与规则描述中,提出了策略生成规则方法，并从防火墙规则域的可能关系出发,给出了冲突与冗余的检测与消除方法.通过实例化应用分析表明，该模型与策略方法具有很强的普适性和可扩展性.

关键词：计算机网络行为访问控制多维属性信息安全

来源：评论

学校读者我要写书评

暂无评论

邮件蠕虫传播与防御行为模型与分析

引用

系统仿真学报 2012年第12期24卷 2424-2430页

作者：喻民王元卓刘丽仇新梁程学旗中国科学院计算技术研究所北京100190 中国科学院信息工程研究所北京100195 北京科技大学计算机与通信工程学院北京100083 北京科技大学自动化学院北京100083

邮件蠕虫的传播问题是当前网络安全研究的一个重要方面,也是探索邮件蠕虫防御策略的必要环节。引进随机博弈网对邮件蠕虫的传播行为进行支持量化计算的可扩展图形化方法建模,并基于该模型提出了求解模型均衡策略的算法。依据该算法进一... 详细信息

邮件蠕虫的传播问题是当前网络安全研究的一个重要方面,也是探索邮件蠕虫防御策略的必要环节。引进随机博弈网对邮件蠕虫的传播行为进行支持量化计算的可扩展图形化方法建模,并基于该模型提出了求解模型均衡策略的算法。依据该算法进一步提出了蠕虫扩散性行为分析指标的量化计算方法,并进行了对比分析,讨论了在不同传播策略下感染率和平均感染时间的变化。最后探讨了各种防御策略对邮件蠕虫传播产生的影响。

关键词：随机博弈网邮件蠕虫传播与防御安全分析纳什均衡

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：