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

第一届全国服务计算学术会议

作者：张迎周符炜郭铭铭杨庚张卫丰北京邮电大学网络与交换技术国家重点实验室，北京 100876 南京邮电大学计算机学院，南京 210003 南京大学计算机软件新技术国家重点实验室，南京 210093 北京邮电大学网络与交换技术国家重点实验室，北京 100876 南京邮电大学计算机学院，南京 210003 合肥工业大学计算机与信息学院，合肥 230009 南京邮电大学计算机学院，南京 210003 南京大学计算机软件新技术国家重点实验室，南京 210093

鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将服务系统的基本计算单元--构件，抽象成余代数单子(称为构件单子)，从而以一种黑盒方式给出构件的观测语义模型．利用余代数方法对研究基于状态系统(如不确定、并发系统等)的... 详细信息

鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将服务系统的基本计算单元--构件，抽象成余代数单子(称为构件单子)，从而以一种黑盒方式给出构件的观测语义模型．利用余代数方法对研究基于状态系统(如不确定、并发系统等)的独特优势，以及单子的抽象性、反射性和可组合性，对开放网络环境下的构件和服务进行形式化描述和深入研究，建立并实现了一种基于Web服务的服务计算形式化模型．详细探讨了如何从遗产系统中抽取构件，并进行服务的生成、发布与发现、组合、服务质量评价、运行等．以此拓展服务计算的形式化研究视野、手段和方法．

关键词：服务计算 Web服务单子技术余代数方法程序切片

来源：评论

学校读者我要写书评

暂无评论

基于Haskell和CHR的智能Agent的实现

基于Haskell和CHR的智能Agent的实现

引用

第十届中国Rough集与软计算、第四届中国Web智能、第四届中国粒计算联合会议

作者：伍明钰张迎周杨庚南京邮电大学计算机学院南京 210003 南京邮电大学计算机学院南京 210003 北京邮电大学网络与交换国家重点实验室北京 100876

虽然Agent理论已经成功应用到多种领域中，但Agent抽象描述与具体实现相结合时可能存在的差异使得Agent系统的开发面临挑战。为了使抽象描述与具体实现能够有效地结合，文章提出使用Haskell语言编程和封装不同等级的推理，并引入CHR对Ag... 详细信息

虽然Agent理论已经成功应用到多种领域中，但Agent抽象描述与具体实现相结合时可能存在的差异使得Agent系统的开发面临挑战。为了使抽象描述与具体实现能够有效地结合，文章提出使用Haskell语言编程和封装不同等级的推理，并引入CHR对Agent系统进行描述和推理，来完成Agent的描述与实现一体化。与其他方法相比，这个方法避免了两级推理之间的相互干扰，为更复杂的推理操作提供了模块化开发。

关键词： CHR 线性逻辑 Agent理论

来源：评论

学校读者我要写书评

暂无评论

一种基于函数依赖图的构件抽取方法

引用

南京邮电大学学报（自然科学版） 2010年第6期30卷 78-84页

作者：符炜张迎周孙无极杨庚南京邮电大学计算机学院江苏南京210046 北京邮电大学网络与交换技术国家重点实验室北京100876 南京大学软件新技术国家重点实验室江苏南京210093 南京邮电大学通信与信息工程学院江苏南京210003

结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法。先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析所得的函数依赖图进行切片操作得到依赖子图,并结合源码生成最终切片代码,即为构件抽取的结果。此基础上... 详细信息

结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法。先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析所得的函数依赖图进行切片操作得到依赖子图,并结合源码生成最终切片代码,即为构件抽取的结果。此基础上,提出一种基于函数依赖图的内聚度和耦合度的计算方法,以便从软件度量的角度来评价切片代码(构件)的质量。实验表明利用文中的构件抽取方法生成的切片代码较精简,且具有较高的运行效率。

关键词：构件抽取函数依赖图程序切片内聚度和耦合度 Haskell

来源：评论

学校读者我要写书评

暂无评论

基于无线传感器网络的随机线性网络编码研究

基于无线传感器网络的随机线性网络编码研究

引用

International Conference on Broadcast Technology and Multimedia Communication(BTMC 2010)

作者：马春光李想想王九如张德成哈尔滨工程大学计算机科学与技术学院北京邮电大学网络与交换技术国家重点实验室

在无线传感器网络中针对传统的网络编码模型在处理业务量较小时的不足,我们提出了环式和投票式两种编码模型,描述了这两种模型及它们在具体环境中存在的优缺点,分析了随机线性网络编码的编码功能和解码功能,并通过仿真将这两种模型和传... 详细信息

在无线传感器网络中针对传统的网络编码模型在处理业务量较小时的不足,我们提出了环式和投票式两种编码模型,描述了这两种模型及它们在具体环境中存在的优缺点,分析了随机线性网络编码的编码功能和解码功能,并通过仿真将这两种模型和传统的模型在性能上进行了简单的评估。

关键词：无线传感器网络随机线性网络编码环式模型投票式模型

来源：评论

学校读者我要写书评

暂无评论

异构传感器网络跨层密钥管理协议

异构传感器网络跨层密钥管理协议

引用

第十七届全国网络与数据通信学术会议(NDCC2010)

作者：马春光王九如张华戴膺赞哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨 150001 北京邮电大学网络与交换技术国家重点实验室北京 100876 哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨 150001 北京邮电大学网络与交换技术国家重点实验室北京 100876

以提供安全、可靠保密通信为目标的密钥管理协议设计,是无线传感器网络安全最为重要、最为基础的研究领域。无线传感器网络的固有特性使得密钥管理研究面临许多新的挑战。本文以跨层设计为指导,提出异构传感器网络跨层密钥管理设计思路... 详细信息

以提供安全、可靠保密通信为目标的密钥管理协议设计,是无线传感器网络安全最为重要、最为基础的研究领域。无线传感器网络的固有特性使得密钥管理研究面临许多新的挑战。本文以跨层设计为指导,提出异构传感器网络跨层密钥管理设计思路,并设计了一种基于E-G方案的异构传感器网络跨层密钥管理协议。本协议与E-G方案的区别主要在于高层安全服务跨越层界限与网络路由结构相互影响。高层安全服务依据路由结构,有选择地建立密钥链路;在建立密钥链路的同时,又影响网络路由结构。仿真分析表明,在密钥环大小适当的情况下,本协议既能有效地保证节点间建立共享密钥,又能节省系统能量。

关键词：异构传感器网络跨层设计密钥管理跨层密钥管理

来源：评论

学校读者我要写书评

暂无评论

基于图像频域统计矩特征的隐写分析方法

引用

中国电子商情·通信市场 2010年第3期 147-151页

作者：时书剑胡声丹毛家发上海师范大学天华学院计算机系上海201815 北京邮电大学网络与交换技术国家重点实验室信息安全中心北京100876 上饶师范学院数学计算机系江西上饶334001

针对互联网上大量的隐写软件利用图像隐藏秘密消息,本文提出了基于图像频域统计矩特征的隐写分析方法.首先,对图像进行三级小波分解,并对一级分解的高频子带再次分解,得到25个子带.然后,计算小波子带前3阶正向特征函数矩,并利用KPCA提... 详细信息

针对互联网上大量的隐写软件利用图像隐藏秘密消息,本文提出了基于图像频域统计矩特征的隐写分析方法.首先,对图像进行三级小波分解,并对一级分解的高频子带再次分解,得到25个子带.然后,计算小波子带前3阶正向特征函数矩,并利用KPCA提取不重要核主元,最后用LibSVM进行分类.仿真结果表明该方法对F5和Jsteg隐写有较好的检测性能.

关键词：信息安全隐写分析特征函数矩 KPCA 支撑向量机

来源：评论

学校读者我要写书评

暂无评论

基于多拼图的分簇型传感器网络预过滤广播认证协议

基于多拼图的分簇型传感器网络预过滤广播认证协议

引用

2010年第四届中国可信计算与信息安全学术会议

作者：马春光于洪君楚振江王慧强哈尔滨工程大学计算机科学与技术学院哈尔滨 150001 北京邮电大学网络与交换技术国家重点实验室北京 100876 哈尔滨工程大学计算机科学与技术学院哈尔滨 150001

在对减少DoS(denial of service,DoS)攻击主流方法研究的基础上,提出一种基于多拼图的分簇型传感器网络预过滤广播认证协议,用于过滤针对签名认证的DoS攻击,减少了敌方伪造包所产生的无效签名认证过程.通过性能分析和安全性分析表明,该... 详细信息

在对减少DoS(denial of service,DoS)攻击主流方法研究的基础上,提出一种基于多拼图的分簇型传感器网络预过滤广播认证协议,用于过滤针对签名认证的DoS攻击,减少了敌方伪造包所产生的无效签名认证过程.通过性能分析和安全性分析表明,该协议具有良好的性能负载,能有效减少DoS攻击.

关键词：传感器网络广播认证拒绝服务攻击多拼图

来源：评论

学校读者我要写书评

暂无评论

一种异构无线网络流媒体QoS评测系统的设计实现

引用

计算机应用与软件 2010年第11期27卷 85-87,90页

作者：衷璐洁许长桥首都师范大学信息工程学院北京100089 中国科学院计算技术研究所北京100080 北京邮电大学网络与交换技术国家重点实验室北京100876

异构无线网络接入技术的发展为移动流媒体技术应用带来了全新的机遇与挑战。流控制传输协议SCTP(Stream Control Transmission Protocol)的提出能够很好地实现异构无线网络间的透明无缝切换。为了研究未来泛在异构无线网络环境中的视频... 详细信息

异构无线网络接入技术的发展为移动流媒体技术应用带来了全新的机遇与挑战。流控制传输协议SCTP(Stream Control Transmission Protocol)的提出能够很好地实现异构无线网络间的透明无缝切换。为了研究未来泛在异构无线网络环境中的视频传输,设计了一种SCTP多宿环境下的流媒体QoS评测系统。实验结果表明,该方案能在异构无线网络环境下对不同网络拥塞和负载下的视频传输行为和服务质量进行有效的分析。

关键词：异构无线网络实时流媒体无缝切换流控制传输协议

来源：评论

学校读者我要写书评

暂无评论

基于图像频域统计矩特征的隐写分析方法

基于图像频域统计矩特征的隐写分析方法

引用

2010(第三届)全国网络与信息安全学术会议

作者：时书剑胡声丹毛家发上海师范大学天华学院计算机系，上海 201815 北京邮电大学网络与交换技术国家重点实验室信息安全中心，北京 100876 上饶师范学院数学计算机系，江西上饶 334001

针对互联网上大量的隐写软件利用图像隐藏秘密消息，本文提出了基于图像频域统计矩特征的隐写分析方法。首先，对图像进行三级小波分解，并对一级分解的高频子带再次分解，得到25个子带。然后，计算小波子带前3阶正向特征函数矩，并利用... 详细信息

针对互联网上大量的隐写软件利用图像隐藏秘密消息，本文提出了基于图像频域统计矩特征的隐写分析方法。首先，对图像进行三级小波分解，并对一级分解的高频子带再次分解，得到25个子带。然后，计算小波子带前3阶正向特征函数矩，并利用KPCA提取不重要核主元，最后用LibSVM进行分类。仿真结果表明该方法对F5和Jsteg隐写有较好的检测性能。

关键词：信息安全隐写分析支撑向量机图像频域统计矩特征

来源：评论

学校读者我要写书评

暂无评论

一种嵌入式终端的数字内容版权保护系统

引用

微计算机信息 2010年第17期26卷 10-11,16页

作者：李军马晨光武平北京邮电大学网络与交换技术国家重点实验室 100876 中国科学院计算技术研究所 100190 内蒙古师范大学数学科学学院 010010

随着各类P2P应用的广泛普及,盗版数字内容通过网络迅速传播和使用,严重侵害内容提供方的合法权益。本文基于现有成熟的数字版权管理框架,提出一种适用于P2P环境下的数字内容网络版权保护方法。该方法可应用于嵌入式P2P终端,基于软硬件... 详细信息

随着各类P2P应用的广泛普及,盗版数字内容通过网络迅速传播和使用,严重侵害内容提供方的合法权益。本文基于现有成熟的数字版权管理框架,提出一种适用于P2P环境下的数字内容网络版权保护方法。该方法可应用于嵌入式P2P终端,基于软硬件相结合的配置,为终端用户提供在线和离线两种版权认证与使用方式,保证合法终端可以便捷可靠的访问P2P网络共享的数字内容,同时,防止非法终端获取合法资源,保障内容提供方的权益。

关键词： P2P网络数字版权保护嵌入式终端

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：