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

电子学报 2009年第8期37卷 1669-1674页

作者：李鹏飞马恒太侯玉文邱田中国科学院综合信息技术国家级重点实验室北京100190 中国科学院软件研究所北京100190 中国科学院研究生院北京100039 天津大学电子信息学院天津300072

本文给出了移动代理协议数据完整性属性的定义,指出了采用传统认证性属性来分析移动代理数据完整性属性的不足,从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上,针对典型协议实例进行CPS建模... 详细信息

本文给出了移动代理协议数据完整性属性的定义,指出了采用传统认证性属性来分析移动代理数据完整性属性的不足,从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上,针对典型协议实例进行CPS建模,并采用阶函数的方法证明了其完整性,验证了完整性规约的正确性和有效性.

关键词：移动代理数据完整性形式化方法形式化模型

来源：评论

学校读者我要写书评

暂无评论

一种基于网络编码的速率自适应多播MAC协议

引用

湖南大学学报（自然科学版） 2009年第11期36卷 78-82页

作者：杨林郑刚国防科技大学电子科学与工程学院湖南长沙410073 中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190

针对现有IEEE 802.11协议在无线局域网多播应用中存在可靠性差、吞吐性能不佳等诸多缺陷,提出了一种基于网络编码的速率自适应多播MAC协议RAMPNC.该协议采用网络编码组传输模型发送多播数据,使多播接收节点通过对累积的编码帧进行解码... 详细信息

针对现有IEEE 802.11协议在无线局域网多播应用中存在可靠性差、吞吐性能不佳等诸多缺陷,提出了一种基于网络编码的速率自适应多播MAC协议RAMPNC.该协议采用网络编码组传输模型发送多播数据,使多播接收节点通过对累积的编码帧进行解码操作恢复出所需的原始数据.此外,RAMPNC利用RTS/CTS握手信号实现信道状态信息交换,并根据多播接收节点反馈的信道信噪比估值动态调整源端的物理层发送速率.通过使用NS-2模拟器评估RAMPNC协议性能,结果显示,该协议在多播吞吐量,平均帧传输延时和帧投递率等方面获得了比已有ELBP和ARSM协议更好的性能.

关键词： MAC(媒体接入控制) 网络编码多播速率自适应

来源：评论

学校读者我要写书评

暂无评论

一种基于频域特征的仿射不变目标识别方法

引用

计算机研究与发展 2009年第3期46卷 478-484页

作者：吕文先彭启民吕玉增黎俊中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049

针对低信噪比图像中仿射不变目标的识别问题,提出了一种基于图像频域特征的识别方法.通过分析空频域仿射变换之间的关系,采取对边缘图像的傅氏频谱进行伪对数采样的特征提取方法,较好地提取了中低频特征,避免了光照变化带来的不利影响,... 详细信息

针对低信噪比图像中仿射不变目标的识别问题,提出了一种基于图像频域特征的识别方法.通过分析空频域仿射变换之间的关系,采取对边缘图像的傅氏频谱进行伪对数采样的特征提取方法,较好地提取了中低频特征,避免了光照变化带来的不利影响,抑制了高频噪声;使用神经网络进行识别,有效地提取了目标的仿射不变特征,识别速度快.实验仿真了识别率随噪声强度的变化情况.结果显示,在信噪比低于-20dB时,识别率仍然高于90%,识别快速、稳定,优于基于Gabor滤波的识别方法.

关键词：目标识别频域仿射变换伪对数采样不变性特征

来源：评论

学校读者我要写书评

暂无评论

网格调度综述

引用

计算机工程与设计 2009年第9期30卷 2151-2153,2190页

作者：张海宾唐琳莎刘立祥中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190

简要地分析了网格资源的特点,给出了网格作业调度过程中所面临的主要挑战。为了便于对网格调度有更清晰的认识,介绍了包含网格系统主要功能模块的网格调度体系结构,并结合特定作业具体介绍了网格作业调度流程。从3个不同的角度重点对网... 详细信息

简要地分析了网格资源的特点,给出了网格作业调度过程中所面临的主要挑战。为了便于对网格调度有更清晰的认识,介绍了包含网格系统主要功能模块的网格调度体系结构,并结合特定作业具体介绍了网格作业调度流程。从3个不同的角度重点对网格环境中的作业调度算法进行了详尽介绍,并就各种调度算法的优缺点和适用情形进行了比较和分析。对网格调度进行了总结,并从几个不同的方面对网格调度算法的研究进行了展望。

关键词：网格网格调度调度体系结构调度流程算法自适应调度

来源：评论

学校读者我要写书评

暂无评论

基于RTEMS的实时进程设计与实现

引用

计算机工程与设计 2009年第17期30卷 3928-3931页

作者：阎淼赵军锁张文君中国科学院软件研究所综合信息系统技术国家重点实验室北京100190 中国科学院研究生院北京100049

以嵌入式实时操作系统RTEMS为原型设计实现了实时进程。将RTEMS操作系统内核与应用程序隔离,使二者运行在不同的特权级别下,应用程序的错误不会导致操作系统崩溃,从而提高了整个系统的可靠;同时对内核内存管理和地址映射机制进优化,保... 详细信息

以嵌入式实时操作系统RTEMS为原型设计实现了实时进程。将RTEMS操作系统内核与应用程序隔离,使二者运行在不同的特权级别下,应用程序的错误不会导致操作系统崩溃,从而提高了整个系统的可靠;同时对内核内存管理和地址映射机制进优化,保证原有系统的性能。从系统的可靠性、实时性以及设计实现的复杂性等方面进行试验和分析,试验结果表明,实时进程的设计与实现提高了系统可靠性,并且能够保证原有系统实时性和简单性。

关键词：嵌入式实时操作系统 RTEMS 实时进程内存管理可靠性

来源：评论

学校读者我要写书评

暂无评论

一种基于进化计算的空间飞行器编队重构轨道规划方法

引用

宇航学报 2009年第1期30卷 93-97页

作者：王抒雁郑昌文苏康中国科学院软件所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049 中国航天科工集团三院研发中心北京100074

基于进化算法提出了一种两层结构的空间飞行器编队重构的轨道规划算法,高层算法通过优化构型映射来优化编队的总燃耗,实现全局规划并确保飞行器之间保持一定的安全距离以避免相互碰撞;低层规划算法采用Chebyshev多项式逼近控制变量空间... 详细信息

基于进化算法提出了一种两层结构的空间飞行器编队重构的轨道规划算法,高层算法通过优化构型映射来优化编队的总燃耗,实现全局规划并确保飞行器之间保持一定的安全距离以避免相互碰撞;低层规划算法采用Chebyshev多项式逼近控制变量空间,为每颗飞行器规划满足约束条件的最优轨道。该方法充分利用了编队的分布式结构,由各飞行器并行实现各自的轨道规划,能有效解决大型编队的轨道规划问题。仿真结果表明了该方法的有效性。

关键词：空间飞行器编队重构轨道规划进化计算

来源：评论

学校读者我要写书评

暂无评论

ZG离线TTP公平非否认协议的安全性分析及改进

引用

通信学报 2009年第S2期30卷 44-51页

作者：刘冬梅卿斯汉李鹏飞李尚杰中国科学院软件研究所基础软件国家工程研究中心北京100080 中国科学院研究生院北京100039 中国科学院软件研究所信息安全技术工程研究中心北京100080 中国科学院综合信息技术国家级重点实验室北京100080

对ZG离线TTP(trusted third party)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景... 详细信息

对ZG离线TTP(trusted third party)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景,能够保证非否认性和公平性的同时,避免消息延迟攻击和子协议被滥用。第一种方案适合于对协议效率要求比较高,而且协议被滥用不会影响参与协议主体的利益的情况;第二种方案可用于需要防止子协议被滥用的情况。

关键词：公平非否认协议非否认性公平性时限量

来源：评论

学校读者我要写书评

暂无评论

华盛顿地铁追尾事故的分析与启示

引用

现代城市轨道交通 2009年第5期 77-79页

作者：郑刚中国科学院软件研究所综合信息系统技术实验室副研究员北京100190

针对在2009年6月发生的华盛顿地铁相撞事件,描述了事件发生的经过以及对事件发生的调查过程,重点从技术层面分析了事件发生的可能原因,并对保证地铁列车运行安全的控制系统结构和功能进行了分析说明,最后结合我国城市轨道交通的发展与... 详细信息

针对在2009年6月发生的华盛顿地铁相撞事件,描述了事件发生的经过以及对事件发生的调查过程,重点从技术层面分析了事件发生的可能原因,并对保证地铁列车运行安全的控制系统结构和功能进行了分析说明,最后结合我国城市轨道交通的发展与安全运行提出了几点启示。

关键词：地铁相撞事故事故分析

来源：评论

学校读者我要写书评

暂无评论

ZG离线TTP公平非否认协议的安全性分析及改进

ZG离线TTP公平非否认协议的安全性分析及改进

引用

第二届中国计算机网络与信息安全学术会议

作者：刘冬梅卿斯汉李鹏飞李尚杰中国科学院软件研究所基础软件国家工程研究中心北京 100080 中国科学院研究生院北京 100039 中国科学院软件研究所信息安全技术工程研究中心北京 100080 中国科学院综合信息技术国家级重点实验室北京 100080

对ZG离线TTP(trusted third pany)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景... 详细信息

对ZG离线TTP(trusted third pany)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景,能够保证非否认性和公平性的同时,避免消息延迟攻击和子协议被滥用。第一种方案适合于对协议效率要求比较高,而且协议被滥用不会影响参与协议主体的利益的情况;第二种方案可用于需要防止子协议被滥用的情况。

关键词：公平非否认协议安全性分析协议有效期

来源：评论

学校读者我要写书评

暂无评论

基于地形可视性分析的最优路径搜索

引用

系统仿真学报 2008年第10期20卷 2601-2605页

作者：鲁敏张金芳范植华吕品中国科学院软件研究所综合信息系统技术国家级重点实验室

将可视性分析得到的视线和视域结果用于最优路径搜索过程中,并同时考虑到地形特征如土地覆盖或土地利用,高程及坡度等对通行能力的影响,得到了能避开监视的安全隐蔽路径,比较隐蔽的最不可视性路径和视野较开阔的最可视路径。该方法适用... 详细信息

将可视性分析得到的视线和视域结果用于最优路径搜索过程中,并同时考虑到地形特征如土地覆盖或土地利用,高程及坡度等对通行能力的影响,得到了能避开监视的安全隐蔽路径,比较隐蔽的最不可视性路径和视野较开阔的最可视路径。该方法适用于军事,旅游,城市规划等领域,具有重要的军事意义与民用价值。

关键词：视线视域可视性面最优路径

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：