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

计算机辅助设计与图形学学报 2013年第4期25卷 550-556,563页

作者：王雅文宫云战肖庆北京邮电大学网络与交换技术国家重点实验室北京100876 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 装甲兵工程学院信息工程系北京100072

针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出"符号化区间"来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中"区间可能集"和"区间必然... 详细信息

针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出"符号化区间"来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中"区间可能集"和"区间必然集"的计算方法.提出了面向路径的值区间分析算法,通过对给定路径进行前向数据流分析来计算各条边上的区间上下文环境以及各符号的必然取值区间,在路径出口处的符号值区间必然集中任意取值,可得到覆盖给定路径的测试用例.与基于约束求解的传统方法相比,文中方法省去了表达式变换及调用约束求解器的过程,对输入变量弱关联的情况能够快速、准确地生成测试用例.

关键词：测试用例面向路径符号执行上下文环境区间必然集

来源：评论

学校读者我要写书评

暂无评论

基于Tobii眼动和多尺度条件随机场的视觉显著性模型

引用

高技术通讯 2013年第3期23卷 263-269页

作者：赵志诚白雅娟周仁来蔡安妮北京邮电大学信息与通信工程学院北京100876 北京市网络系统与网络文化重点实验室北京100876 北京师范大学认知神经科学与学习国家重点实验室北京100875

提出了一种新的基于分类的视觉显著性计算模型。运用频谱残差、全局亮度和颜色对比度分别检测图像的显著区域,随后将显著性检测看作一个图像标注问题,提出一种基于多尺度条件随机场(CRFs)的显著性融合算法,以产生标注结果。CRFs的参数以... 详细信息

提出了一种新的基于分类的视觉显著性计算模型。运用频谱残差、全局亮度和颜色对比度分别检测图像的显著区域,随后将显著性检测看作一个图像标注问题,提出一种基于多尺度条件随机场(CRFs)的显著性融合算法,以产生标注结果。CRFs的参数以Tobii眼动跟踪结果为依据,通过最大似然估计算法学习出来。实验结果表明,该模型优于当前的8种典型算法,与心理学实验结果有较好的一致性。

关键词： Tobii眼动条件随机场(CRFs) 视觉注意模型视觉显著性图像标注

来源：评论

学校读者我要写书评

暂无评论

一种基于代码静态分析的缓冲区溢出检测算法

引用

计算机研究与发展 2012年第4期49卷 839-845页

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

缓冲区溢出目前已成为最常见的软件安全漏洞之一,从源代码形式来看,常见的缓冲区溢出漏洞主要有两种类型:数据拷贝和格式化字符串造成的缓冲区溢出.分析了常见缓冲区溢出漏洞发生的原因,给出了格式化字符串存储长度的计算方法,介绍了一... 详细信息

缓冲区溢出目前已成为最常见的软件安全漏洞之一,从源代码形式来看,常见的缓冲区溢出漏洞主要有两种类型:数据拷贝和格式化字符串造成的缓冲区溢出.分析了常见缓冲区溢出漏洞发生的原因,给出了格式化字符串存储长度的计算方法,介绍了一种基于源代码静态分析的缓冲区溢出检测算法,该算法首先对源代码进行建模,构造其抽象语法树、符号表、控制流图、函数调用图,在此基础上运用区间运算技术来分析和计算程序变量及表达式的取值范围,并在函数间分析中引入函数摘要来代替实际的函数调用.最后使用该方法对开源软件项目进行检测,结果表明该方法能够有效地、精确地检测缓冲区溢出.

关键词：安全漏洞缓冲区溢出静态分析区间运算函数摘要

来源：评论

学校读者我要写书评

暂无评论

严格线性散播网络编码

引用

软件学报 2012年第3期23卷 688-699页

作者：司菁菁庄伯金蔡安妮燕山大学信息工程学院河北秦皇岛066004 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 北京邮电大学信息与通信工程学院北京100876

针对线性广播和线性散播网络编码在保证节点或节点集解码空间维数方面的不足,提出了一类新的线性网络编码——严格线性散播网络编码.给出了严格线性散播的定义,并设计了相应的构造算法.此种网络编码增强了对网络中任意非源节点集的输入... 详细信息

针对线性广播和线性散播网络编码在保证节点或节点集解码空间维数方面的不足,提出了一类新的线性网络编码——严格线性散播网络编码.给出了严格线性散播的定义,并设计了相应的构造算法.此种网络编码增强了对网络中任意非源节点集的输入链路上的全局编码核的限制,但其构造所需的有限域的阶并不大于普通的线性散播.此外,还提出了多种转换矩阵的概念,并证明了普通线性散播到严格线性散播的转换矩阵的存在性.结合特殊的数据打包策略,论证了严格线性散播在异构网络中的应用优势:一方面,它能够利用单一网络编码会话实现异构网络中的多速率信息传输;另一方面,它能够为异构网络拓扑结构的扩展提供便利.

关键词：网络编码线性散播严格线性散播转换矩阵多速率

来源：评论

学校读者我要写书评

暂无评论

无双线性配对的无证书签名方案

引用

通信学报 2012年第4期33卷 93-98页

作者：王圣宝刘文浩谢琪杭州师范大学信息科学与工程学院浙江杭州310012 北京邮电大学网络与交换技术国家重点实验室北京100876 合肥新星应用技术研究所安徽合肥230031

为解决身份基公钥密码体制中的密钥托管问题以及基于传统公钥证书密码体制中的公钥管理过程过于繁琐的问题,Al-Riyami和Paterson提出了无证书公钥密码的概念。在已有的许多无证书签名方案中,在签名产生或者签名的验证过程中都需要双线... 详细信息

为解决身份基公钥密码体制中的密钥托管问题以及基于传统公钥证书密码体制中的公钥管理过程过于繁琐的问题,Al-Riyami和Paterson提出了无证书公钥密码的概念。在已有的许多无证书签名方案中,在签名产生或者签名的验证过程中都需要双线性配对运算,并且,这些方案的安全性都基于较强的难题假设。提出了一种新的无双线性配对运算的无证书签名方案,并在随机预言机模型下基于较弱的离散对数困难假设证明了它的安全性,而且其效率优于已有方案。

关键词：无证书签名方案无双线性配对离散对数随机预言

来源：评论

学校读者我要写书评

暂无评论

联合网络容量与认知用户满意度的资源分配优化方案

引用

电子学报 2012年第7期40卷 1315-1322页

作者：李静叶罗涛乐光新北京邮电大学信息与通信工程学院北京100876 西安电子科技大学综合业务网理论及关键技术国家重点实验室陕西西安710071

机会频谱接入技术是提高频谱利用率的一种有效方法,论文综合考虑信道的时变性、子信道空闲的检测可信度、认知网络与主网络间的互干扰等因素,建立了一种最大化认知网络有效容量和认知用户满意度的多目标优化模型,提出了一种联合资源分... 详细信息

机会频谱接入技术是提高频谱利用率的一种有效方法,论文综合考虑信道的时变性、子信道空闲的检测可信度、认知网络与主网络间的互干扰等因素,建立了一种最大化认知网络有效容量和认知用户满意度的多目标优化模型,提出了一种联合资源分配和用户调度的PAUS算法.仿真结果表明,在主用户分布密度较低的环境中,该模型较最大化网络有效容量模型具有更高的用户满意度;较最大化认知用户满意度模型可获得更高的网络有效容量.

关键词：容量用户满意度资源分配用户调度认知无线电

来源：评论

学校读者我要写书评

暂无评论

含有导频的OFDM信号子载波的调制方式识别方法

引用

北京邮电大学学报 2012年第4期35卷 42-45页

作者：刘明骞李兵兵赵雷赵岩西安电子科技大学综合业务网理论及关键技术国家重点实验室西安710071 北京邮电大学信息与通信工程学院北京100876

针对多径信道下含有导频的正交频分复用(OFDM)信号子载波调制方式难识别的问题,提出一种含有导频的OFDM信号子载波调制方式识别方法.该方法在OFDM信号的等效模型下,首先利用高阶累积量的组合特征识别出OFDM信号中的空子载波信号和纯导... 详细信息

针对多径信道下含有导频的正交频分复用(OFDM)信号子载波调制方式难识别的问题,提出一种含有导频的OFDM信号子载波调制方式识别方法.该方法在OFDM信号的等效模型下,首先利用高阶累积量的组合特征识别出OFDM信号中的空子载波信号和纯导频子载波信号,然后利用两个基于矢量图最小环带模值方差的特征对提取出来的受导频影响较小的调制子载波信号进行调制方式的识别.仿真结果表明,该方法在多径信道下是有效可行的.

关键词：调制识别正交频分复用高阶累积量矢量图

来源：评论

学校读者我要写书评

暂无评论

有限域切比雪夫多项式的改进算法

引用

北京邮电大学学报 2011年第6期34卷 47-50,77页

作者：李智慧崔毅东金跃辉徐惠民北京邮电大学网络与交换技术国家重点实验室北京100876 北京邮电大学信息与通信工程学院北京100876 北京邮电大学软件学院北京100876

对计算有限域上切比雪夫多项式的特征多项式算法(CPA)进行了改进,以提高算法的执行速度.首先用蒙哥马利模乘代替原有算法中的普通模乘运算,从而降低单次模乘运算的平均运行时间;其次对蒙哥马利模平方运算的算法流程进行了优化,减少其中... 详细信息

对计算有限域上切比雪夫多项式的特征多项式算法(CPA)进行了改进,以提高算法的执行速度.首先用蒙哥马利模乘代替原有算法中的普通模乘运算,从而降低单次模乘运算的平均运行时间;其次对蒙哥马利模平方运算的算法流程进行了优化,减少其中单精度乘法的执行次数.仿真结果表明,改进后的CPA其运行速度有了很大提高.

关键词：切比雪夫多项式特征多项式算法蒙哥马利模乘蒙哥马利模平方

来源：评论

学校读者我要写书评

暂无评论

多级中继窃听信道的可达安全速率

引用

应用科学学报 2011年第3期29卷 243-250页

作者：陈莹王保云南京邮电大学通信与信息工程学院南京210003 北京邮电大学网络交换技术国家重点实验室北京100876 南京邮电大学自动化学院南京210003

该文研究多级中继的窃听信道的安全性能,推导了疑义速率范围及可达安全速率的表达式,并且给出高斯信道下的相应结论.假定在功率受限的情况下,分析了高斯信道下两级中继窃听信道和单中继窃听信道的可达安全速率,仿真比较了可达安全速率... 详细信息

该文研究多级中继的窃听信道的安全性能,推导了疑义速率范围及可达安全速率的表达式,并且给出高斯信道下的相应结论.假定在功率受限的情况下,分析了高斯信道下两级中继窃听信道和单中继窃听信道的可达安全速率,仿真比较了可达安全速率的大小.结果表明:当中继节点距离源节点较远时,布设多级中继可得到比单中继更大的安全速率,说明了多级中继窃听信道在一定意义上比单中继窃听信道的安全性能更好.

关键词：多级中继窃听信道离散无记忆信道高斯信道可达安全速率疑义速率

来源：评论

学校读者我要写书评

暂无评论

基于抽象解释的变量值范围分析及应用

引用

电子学报 2011年第2期39卷 296-303页

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

精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出区间集的概念并定义了新的数值型区间集代数、布尔型和引用型区间代数,给出了统一的基于抽象解释的变量值... 详细信息

精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上,扩展了经典的区间抽象,首次提出区间集的概念并定义了新的数值型区间集代数、布尔型和引用型区间代数,给出了统一的基于抽象解释的变量值范围分析方法RABAI,引入拓宽算子计算循环体变量范围,对过程参数定义了特殊的未定义取值(undefined),使用函数摘要来计算过程调用对程序上下文状态的影响.该方法能有效压缩变量取值空间,检测出程序中的矛盾语句节点和不可达路径,实验表明基于RABAI方法的缺陷检测工具DTS能有效降低误报率.

关键词：软件测试静态分析抽象解释区间抽象范围分析不可达路径

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：