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

软件学报 2009年第9期20卷 2520-2530页

作者：褚灵伟邹仕洪程时端田春岐王文东北京邮电大学网络与交换国家重点实验室北京100876 同济大学电子与信息工程学院计算机科学与技术系上海200092

服务环境中的动态性会对故障诊断算法性能造成影响.为了降低这种影响,分析了服务环境中的动态性,提出多层管理模型建模服务系统:二分贝叶斯网络建立依赖模型和二元对称信道建模噪声.针对故障自动修复机制导致的动态故障集环境,在故障持... 详细信息

服务环境中的动态性会对故障诊断算法性能造成影响.为了降低这种影响,分析了服务环境中的动态性,提出多层管理模型建模服务系统:二分贝叶斯网络建立依赖模型和二元对称信道建模噪声.针对故障自动修复机制导致的动态故障集环境,在故障持续时间统计的基础上修正当前窗口内先验故障概率;针对动态模型环境,基于当前窗口内原始模型和观察症状时间建立期望模型.仿真结果显示,算法可以有效地诊断动态环境下的互联网服务故障.

关键词：动态系统故障管理故障诊断依赖模型二分贝叶斯网络

来源：评论

学校读者我要写书评

暂无评论

利用RSA密码体制解决安全多方多数据排序问题

引用

电子学报 2009年第5期37卷 1119-1123页

作者：邱梅罗守山刘文陈萍北京邮电大学网络与交换技术国家重点实验室信息安全中心北京100876 西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071 北京邮电大学电信工程学院北京100876

本文研究了姚氏百万富翁问题的一个推广问题,安全多方多数据排序问题:假设有n方P1,P2,…Pn,他们分别拥有一个保密数据集DP1,DP2…DPn{1,2,…,N}.我们对这多个数据集的并集D=DP1∪DP2∪…∪DPn中所有的数据进行一个安全的排序,要求在排... 详细信息

本文研究了姚氏百万富翁问题的一个推广问题,安全多方多数据排序问题:假设有n方P1,P2,…Pn,他们分别拥有一个保密数据集DP1,DP2…DPn{1,2,…,N}.我们对这多个数据集的并集D=DP1∪DP2∪…∪DPn中所有的数据进行一个安全的排序,要求在排序结束后各方能够知道他们各自拥有的数据在D中的次序,并且任意一方都不知道其它方拥有的数据的任何信息.我们提出了一个基于RSA同态密码体制的解决安全多方多数据排序问题的方案,并在半诚实模型下对该协议的正确性、安全性和效率进行了分析.

关键词：密码学安全多方计算计算不可区分同态加密体制数据排序

来源：评论

学校读者我要写书评

暂无评论

基于Agent协商的语义Web服务知识模型

引用

东南大学学报（自然科学版） 2009年第6期39卷 1114-1118页

作者：翟社平魏娟丽李增智西安交通大学电子与信息工程学院西安710049 西安体育学院网络信息中心西安710068 北京邮电大学网络与交换技术国家重点实验室北京100876

在面向服务的应用中引入语义协商的思想,使服务Agent能够在Web服务部署、发布、发现和组合过程中共享服务知识,并且具有足够的自治和理解能力.通过描述抽象和具体的语义Web服务以及分析服务Agent之间的交互过程,提出了适合协商的服务Ag... 详细信息

在面向服务的应用中引入语义协商的思想,使服务Agent能够在Web服务部署、发布、发现和组合过程中共享服务知识,并且具有足够的自治和理解能力.通过描述抽象和具体的语义Web服务以及分析服务Agent之间的交互过程,提出了适合协商的服务Agent和服务知识模型,并给出了服务Agent之间信念知识修正和更新的方法,形式化描述了协商过程中服务Agent的角色和行为以及针对服务属性的语义协商协议.实验结果表明,在服务发现过程中使用这种服务知识模型及语义协商交互协议,能够显著改善服务Agent的理解能力.随着部署的具体服务数和协商的服务属性数增加,返回服务发现结果的时间有所延长,但其精确度有了明显的提高.

关键词： Web服务本体语义Web Agent协商

来源：评论

学校读者我要写书评

暂无评论

用OBDD算法评估无线传感网的可靠度和结点重要性

引用

高技术通讯 2009年第12期19卷 1245-1250页

作者：肖宇峰陈山枝李昕李玉宏北京邮电大学网络与交换技术国家重点实验室宽带网研究中心北京100876 西南科技大学信息工程学院绵阳621010 电信科学技术研究院无线移动通信国家重点实验室北京100083

基于有序二叉判定图(OBDD),提出用结点扩张(NE)算法来评估无线传感网的可靠度和结点重要性。NE算法执行结点扩张操作来处理不可靠结点,从两方面增强了计算效率:利用OBDD结构表示网络状态,减少了大量冗余的等价状态;利用Hash表存储同构... 详细信息

基于有序二叉判定图(OBDD),提出用结点扩张(NE)算法来评估无线传感网的可靠度和结点重要性。NE算法执行结点扩张操作来处理不可靠结点,从两方面增强了计算效率:利用OBDD结构表示网络状态,减少了大量冗余的等价状态;利用Hash表存储同构子网的OBDD,减少了同构子网的重复计算。另外,该算法对结点重要性进行了评估,为脆弱结点的保护提供参考。实验结果表明NE算法的计算开销比传统的factoring算法低,能有效评估无线传感网的可靠度。

关键词：无线传感网网络可靠度有序二叉判定图(OBDD) 因子分解

来源：评论

学校读者我要写书评

暂无评论

基于语义的文本流形研究

引用

电子学报 2009年第3期37卷 557-561页

作者：杨震范科峰雷建军郭军北京工业大学计算机学院北京100124 北京邮电大学网络与交换国家重点实验室信息安全中心北京100876 中国电子技术标准化研究所北京100007 天津大学电子信息工程学院天津300072 北京邮电大学信息与通信工程学院北京100876

本文通过引入包括Isomap流形降维、查询语义词典(WordNet)等高度非线性的方法,期望将文本信息处理领域长期专注于"语法"层次的研究,演进到"语义"的层次.利用流形学习工具研究了中文词汇在语义空间(分类空间)的分布... 详细信息

本文通过引入包括Isomap流形降维、查询语义词典(WordNet)等高度非线性的方法,期望将文本信息处理领域长期专注于"语法"层次的研究,演进到"语义"的层次.利用流形学习工具研究了中文词汇在语义空间(分类空间)的分布聚集情况,通过利用WordNet词典进行了短信聚类的研究.实验结果表明,本文的方法能够更好地反映文本之间的内在联系.

关键词：语义距离流形学习词汇分布短信聚类

来源：评论

学校读者我要写书评

暂无评论

非法计算检测的通用模型

引用

计算机辅助设计与图形学学报 2009年第4期21卷 487-492页

作者：江标宫云战杨朝红北京邮电大学网络与交换技术国家重点实验室北京100876 装甲兵工程学院信息工程系北京100072

非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此... 详细信息

非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此算法中引入区间运算.实验结果表明,文中模型及算法可以在检测出更多的非法计算故障的同时降低误报率.

关键词：非法计算区间运算静态测试故障模型

来源：评论

学校读者我要写书评

暂无评论

内存泄露静态检测模型

引用

计算机科学 2009年第4期36卷 175-178页

作者：柯平宫云战杨朝红北京邮电大学网络与交换技术国家重点实验室北京100876 装甲兵工程学院信息工程系北京100072

内存泄漏故障是程序中某处申请的内存空间,没有释放或没有完全释放或多次释放,是程序中常见的故障,极易导致系统崩溃。从面向具体错误的测试思想出发,采用静态测试的方法,给出了内存泄漏的静态检测模型,同时还引入了区间运算来减少内存... 详细信息

内存泄漏故障是程序中某处申请的内存空间,没有释放或没有完全释放或多次释放,是程序中常见的故障,极易导致系统崩溃。从面向具体错误的测试思想出发,采用静态测试的方法,给出了内存泄漏的静态检测模型,同时还引入了区间运算来减少内存泄漏的误报率和漏报率。根据以上模型实现了一个自动测试工具,并已用于软件测试。

关键词：内存泄露区间运算静态测试故障模型别名分析

来源：评论

学校读者我要写书评

暂无评论

电信业务脚本可视化生成系统设计与实现

引用

计算机工程与设计 2009年第6期30卷 1527-1531,1535页

作者：任晓明宫云战杨朝红装甲兵工程学院信息工程系北京100072 北京邮电大学网络与交换技术国家重点实验室北京100086

研究了如何实现基于脚本语言的可视化业务生成。介绍了业务脚本可视化生成的相关技术,证明了将基于XMLschema的建模应用于业务脚本生成的可行性,在此基础上采用EMF、GEF技术,设计并实现一个基于CPL脚本的可视化编辑器。由于其业务开发... 详细信息

研究了如何实现基于脚本语言的可视化业务生成。介绍了业务脚本可视化生成的相关技术,证明了将基于XMLschema的建模应用于业务脚本生成的可行性,在此基础上采用EMF、GEF技术,设计并实现一个基于CPL脚本的可视化编辑器。由于其业务开发步骤较简单、业务运行安全、部署快捷,该编辑器简化了业务脚本的生成,提高了业务开发效率,为在下一代网络背景下开发电信增值业务提供了一个有效方式。

关键词：语法验证语义验证软件构件业务脚本生成可视化编辑器

来源：评论

学校读者我要写书评

暂无评论

路径敏感的静态缺陷检测方法研究

路径敏感的静态缺陷检测方法研究

引用

中国计算机学会全国软件与应用学术会议(NASAC2009)

作者：肖庆宫云战杨朝红金大海王雅文北京邮电大学网络与交换技术国家重点实验室，北京 100876 北京邮电大学网络与交换技术国家重点实验室，北京 100876 装甲兵工程学院信息工程系，北京 100072

减少误报和漏报是基于缺陷的软件静态测试的核心问题之一，应用路径敏感的检测算法是减少误报的重要手段。本文提出了一种多项式复杂度的路径敏感缺陷检测算法，该方法采用变量的抽象取值范围来表示属性状态条件，通过属性状态条件中的... 详细信息

减少误报和漏报是基于缺陷的软件静态测试的核心问题之一，应用路径敏感的检测算法是减少误报的重要手段。本文提出了一种多项式复杂度的路径敏感缺陷检测算法，该方法采用变量的抽象取值范围来表示属性状态条件，通过属性状态条件中的变量抽象取值范围为空来判断不可达路径，并在所有控制流汇合节点上合并相同属性状态的状态条件从而避免完整路径上下文分析的组合爆炸问题。该算法已应用于缺陷检测系统DTS(Defect Testing System)，实际测试结果表明该方法能够有效地减少误报。

关键词：缺陷检测静态分析路径敏感数据流分析软件静态测试

来源：评论

学校读者我要写书评

暂无评论

一种隐写算法安全性分析

一种隐写算法安全性分析

引用

2009通信理论与技术新发展——第十四届全国青年通信学术会议

作者：田园张茹武嘉陈恩庆北京邮电大学网络与交换技术国家重点实验室信息安全中心郑州大学信息工程学院

针对一种基于Huffman编码的MP3算法进行安全性分析,通过公式推导得出在一定条件下,算法符合Cachin绝对安全的定义,但是不能抵抗感官分析攻击.通过实验证明了相对熵相同而透明性不同的载密文件听觉效果差别很大。因此,Cachin定义的绝对... 详细信息

针对一种基于Huffman编码的MP3算法进行安全性分析,通过公式推导得出在一定条件下,算法符合Cachin绝对安全的定义,但是不能抵抗感官分析攻击.通过实验证明了相对熵相同而透明性不同的载密文件听觉效果差别很大。因此,Cachin定义的绝对安全存在不足,隐写算法的绝对安全性不仅与相对熵成反比,而且与透明性成正比.基于完善后的安全评价标准,提出了改进基于Huffman编码的MP3算法的具体方案。

关键词：隐写分析绝对安全相对熵 Huffman编码 MP3

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：