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

计算机安全 2012年第8期 40-43页

作者：吴勇李祥山西大学工程学院山西太原030013 贵州大学计算机软件与理论研究所贵州贵阳550025

根据停止等待ARQ协议的算法,用基于TLA的系统描述语言TLA+对ARQ协议进行建模,用TLC验证了ARQ协议应该满足的两条基本属性。根据ARQ协议的弱点在协议中加入一个攻击者行为Intuder,用TLC验证后,出现死锁造成ARQ拒绝服务攻击。

关键词：行为时序逻辑模型检测停止等待协议 TLC,TLA+

来源：评论

学校读者我要写书评

暂无评论

基于K均值集成和SVM的P2P流量识别研究

引用

计算机科学 2012年第4期39卷 46-48,74页

作者：刘三民孙知信刘余霞安徽工程大学计算机与信息学院芜湖241000 南京航空航天大学计算机科学与技术学院南京210016 南京邮电大学计算机技术研究所南京210003 南京大学计算机软件新技术国家重点实验室南京210093 安徽工程大学电气工程学院芜湖241000

提出基于K均值集成和支持向量机相结合的P2P流量识别模型,以保证流量识别精度和稳定性,克服聚类识别模型中参数值难以确定、复杂性高等缺点。对少量标签样本采用随机簇中心的K均值算法训练基聚类器,按最大后验概率分配簇标签,无标签样... 详细信息

提出基于K均值集成和支持向量机相结合的P2P流量识别模型,以保证流量识别精度和稳定性,克服聚类识别模型中参数值难以确定、复杂性高等缺点。对少量标签样本采用随机簇中心的K均值算法训练基聚类器,按最大后验概率分配簇标签,无标签样本与其最近簇标签一致;按投票机制集成无标签样本标签信息,并结合原标签样本训练支持向量机识别模型。该模型利用了集成学习稳定性和SVM在小样本集上的良好泛化性能。理论分析和仿真实验结果证明了方案的可行性。

关键词：流量识别支持向量机 K均值集成学习

来源：评论

学校读者我要写书评

暂无评论

对基于NLFSR分组密码KTANTAN32的相关密钥中间相遇代数攻击

引用

电子学报 2012年第10期40卷 2097-2100页

作者：张文英刘祥忠山东师范大学信息科学与工程学院山东济南250014 山东省分布式计算机软件新技术重点实验室山东济南250014 中国科学院信息工程研究所信息安全国家重点实验室北京100093 山东师范大学第二附属中学山东济南250014

本文分析了KTANTAN32的代数学弱点.使用相关密钥中间相遇攻击,用代数推导的方法得到了在240轮之后所使用某些密钥的一元线性方程,解这些方程便可迅速逐比特恢复相应密钥.因只须一对相关密钥和2个明密文,即可恢复部分密钥比特,攻击的时... 详细信息

本文分析了KTANTAN32的代数学弱点.使用相关密钥中间相遇攻击,用代数推导的方法得到了在240轮之后所使用某些密钥的一元线性方程,解这些方程便可迅速逐比特恢复相应密钥.因只须一对相关密钥和2个明密文,即可恢复部分密钥比特,攻击的时间复杂度和空间复杂度都可以忽略不计.分析表明KTANTAN32是一个很弱的算法.同时也说明使用NLFSR和线性密钥编排是KTANTAN32的致命弱点,为抵抗相关密钥中间相遇攻击,设计者应在密钥编排中加入非线性因素.

关键词：分组密码 KTANTAN32 相关密钥攻击中间相遇攻击非线性反馈移位寄存器

来源：评论

学校读者我要写书评

暂无评论

以大学生科研创新活动为载体培养计算机专业创新人才

引用

中国大学教学 2011年第3期 34-36页

作者：陆慧娟梁丽龚宇平王康健中国计量学院计算机软件研究所中国计量学院信息工程学院不详

计算机的发展离不开创新,如何提高学生的就业竞争力,培养学生的创新能力,是每个高校计算机教师必须思考的问题。本文在高校开展科研创新活动实践的基础上,从依托大学生科研创新活动的角度来探讨和研究计算机专业创新人才培养体系构建的... 详细信息

计算机的发展离不开创新,如何提高学生的就业竞争力,培养学生的创新能力,是每个高校计算机教师必须思考的问题。本文在高校开展科研创新活动实践的基础上,从依托大学生科研创新活动的角度来探讨和研究计算机专业创新人才培养体系构建的问题。

关键词：大学生科研创新活动计算机专业创新人才培养

来源：评论

学校读者我要写书评

暂无评论

基于行为时序逻辑TLA的时钟系统分析与检测

引用

电力学报 2011年第4期26卷 310-312,321页

作者：吴勇李祥山西大学工程学院贵州大学计算机软件与理论研究所

对基于行为时序逻辑TLA的模型检测技术进行了研究,指明了TLA的语义和语法并对行为时序逻辑中的公平性问题进行了定义。用基于TLA的系统描述语言TLA+对时钟系统进行描述并用其模型检测工具TLC对其进行了验证。

关键词：计算机应用模型检测时钟系统行为时序逻辑 TLC

来源：评论

学校读者我要写书评

暂无评论

基于决策树集成的P2P流量识别研究

引用

计算机科学 2011年第11期38卷 26-29页

作者：刘三民孙知信刘余霞南京航空航天大学信息科学与技术学院南京210016 安徽工程大学计算机与信息学院芜湖241000 南京邮电大学计算机技术研究所南京210003 南京大学计算机软件新技术国家重点实验室南京210093 安徽工程大学电气工程学院芜湖241000

为提高分类模型的稳定性,提出基于决策树分类器集成方案用以识别流量。模型首先利用特征选择方法(FCBF)提取最优分类特征信息,按Bagging随机抽样原理形成5个子分类器,依少数服从多数原则生成决策模型。利用两种实验方案在公开数据集上... 详细信息

为提高分类模型的稳定性,提出基于决策树分类器集成方案用以识别流量。模型首先利用特征选择方法(FCBF)提取最优分类特征信息,按Bagging随机抽样原理形成5个子分类器,依少数服从多数原则生成决策模型。利用两种实验方案在公开数据集上进行测试,结果表明提出的方案比贝叶斯、基于核密度估计贝叶斯方案具有更好的稳定性、模型分类准确率和P2P流量识别准确率,并对此现象进行了解释。

关键词：流量识别集成学习决策树贝叶斯分类稳定性

来源：评论

学校读者我要写书评

暂无评论

一种障碍空间中不确定对象的连续最近邻查询方法

引用

计算机学报 2010年第8期33卷 1359-1368页

作者：李传文谷峪李芳芳于戈东北大学信息科学与工程学院计算机软件与理论研究所沈阳110004 医学影像计算教育部重点实验室(东北大学) 沈阳110004

近年来,基于位置的服务获得了越来越广泛的关注,其中最近邻查询是最常用的一种查询方式.测量手段的不准确性以及数据本身的性质导致不确定性在位置数据中普遍存在,这种不确定性会对最近邻查询结果产生影响.空间中障碍物的存在也给空间... 详细信息

近年来,基于位置的服务获得了越来越广泛的关注,其中最近邻查询是最常用的一种查询方式.测量手段的不准确性以及数据本身的性质导致不确定性在位置数据中普遍存在,这种不确定性会对最近邻查询结果产生影响.空间中障碍物的存在也给空间数据查询带来了挑战.文中研究存在障碍物的空间中不确定对象连续最近邻查询的处理方法,设计了一种剪枝策略大幅降低需要计算的不确定对象数目,并进一步提出了障碍空间中不确定对象最近邻查询安全区域的概念及安全区域生成算法.设计了安全区域的索引存储方法.实验结果表明,文章所提出的方法具有良好的效率和可扩展性.

关键词：最近邻不确定障碍空间基于位置的服务

来源：评论

学校读者我要写书评

暂无评论

基于生命周期的Web服务合成架构研究

引用

计算机科学 2010年第4期37卷 128-131页

作者：杨丹申德荣辽宁科技大学软件学院网络工程系鞍山114051 东北大学信息科学与工程学院计算机软件与理论研究所沈阳110004

Web服务合成使Web服务的重用和组装以及提供增值服务成为可能。提出一个完善、有效的Web服务合成系统架构对于Web服务合成的发展和研究有着重要作用。根据Web服务合成生命周期的3个阶段,提出和讨论了一个基于Web服务合成生命周期的系统... 详细信息

Web服务合成使Web服务的重用和组装以及提供增值服务成为可能。提出一个完善、有效的Web服务合成系统架构对于Web服务合成的发展和研究有着重要作用。根据Web服务合成生命周期的3个阶段,提出和讨论了一个基于Web服务合成生命周期的系统架构。该架构支持合成服务流程的建模、合成和执行调用。在建模阶段,使用可视化的流程定义器,经过图形解释器和定义语言文档解析后存入服务仓储。在合成阶段,考虑到异构问题引入基于本体的服务匹配器,还考虑到合成服务的服务质量(QoS)管理,因此使用基于多值背景值依赖的方法来查找符合用户偏好的服务。在执行阶段为了保证合成服务的正确执行,提供了监控器、异常处理器和事务适配器。

关键词： Web服务合成生命周期架构服务质量

来源：评论

学校读者我要写书评

暂无评论

参数模块和属性约简的应用服务器优化方法

引用

小型微型计算机系统 2010年第3期31卷 441-445页

作者：刘岩王正方朱云龙董晓梅申德荣中国科学院沈阳自动化研究所工业信息学研究室辽宁沈阳110016 东北大学信息科学与工程学院计算机软件研究所辽宁沈阳110004

现实的优化方法与策略往往是优化人员基于服务器厂商所提供的官方技术文档来分析各种参数的实际意义,优化比较漫长,缺少系统性和规律性,很难快速的确定所需调节的关键参数.本文针对常用的应用服务器分析了其性能下降的原因,提出了调节... 详细信息

现实的优化方法与策略往往是优化人员基于服务器厂商所提供的官方技术文档来分析各种参数的实际意义,优化比较漫长,缺少系统性和规律性,很难快速的确定所需调节的关键参数.本文针对常用的应用服务器分析了其性能下降的原因,提出了调节参数模块化思想并结合属性约简算法对参数模块进行属性约简,从实践中定量的找出影响系统性能的主要参数对其进行着重调节快速提高系统性能,提出了一种全新的服务器优化方法.

关键词：属性约简参数模块系统性能服务器优化

来源：评论

学校读者我要写书评

暂无评论

一种障碍空间中不确定对象的连续最近邻查询方法

一种障碍空间中不确定对象的连续最近邻查询方法

引用

NDBC2010第27届中国数据库学术会议

作者：李传文谷峪李芳芳于戈东北大学信息科学与工程学院计算机软件与理论研究所医学影像计算教育部重点实验室(东北大学)

关键词：最近邻不确定障碍空间基于位置的服务

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：