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

计算机学报 2011年第6期34卷 1100-1113页

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

路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息,由于其中包含与缺陷检测无关的数据流,因此会导致分析效率下降.为了避免全路径敏感分析时的路径爆炸问题,一般会在控制流汇合节点进行缺陷状态合并,而这种粗糙... 详细信息

路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息,由于其中包含与缺陷检测无关的数据流,因此会导致分析效率下降.为了避免全路径敏感分析时的路径爆炸问题,一般会在控制流汇合节点进行缺陷状态合并,而这种粗糙的合并策略带来的精度损失会引起误报.针对上述问题,文中提出一种基于缺陷的程序切片方法,该方法基于缺陷特征和路径条件建立切片准则,根据控制流节点上的数据流信息与切片准则的包含关系进行程序切片,得到的切片程序在缺陷检测时切片掉了缺陷无关节点且与源程序完全等价,以提高缺陷检测效率.为了进一步减少路径敏感分析方法的误报,提出一种基于切片的缺陷状态合并策略,根据控制流分支节点的路径条件,对缺陷状态添加状态属性,从而有选择地对控制流汇合节点进行状态合并,减少精度损失.文中所述方法已在缺陷检测系统(DTSGCC)中实现.对大量Linux中GCC开源工程的测试结果表明,文中提出的方法可以提高路径敏感缺陷检测方法的效率,并减少误报.

关键词：静态分析缺陷检测路径敏感误报程序切片上下文敏感分析域敏感分析

来源：评论

学校读者我要写书评

暂无评论

基于价值密度和截止期的网格作业调度算法

引用

计算机工程 2011年第12期37卷 16-18页

作者：李荣胜赵文峰徐惠民北京邮电大学信息与通信工程学院北京100876 北京邮电大学网络与交换技术国家重点实验室北京100876

对商业网格中的作业调度问题进行研究,采用作业的到达时间、计算量、预算和截止期4个参数定义作业的优先级。在此基础上提出基于价值密度和相对截止期的网格作业调度算法,并对其进行仿真。仿真结果表明,该算法在实现价值率、按时完成作... 详细信息

对商业网格中的作业调度问题进行研究,采用作业的到达时间、计算量、预算和截止期4个参数定义作业的优先级。在此基础上提出基于价值密度和相对截止期的网格作业调度算法,并对其进行仿真。仿真结果表明,该算法在实现价值率、按时完成作业数和加权作业按时完成率3个性能指标上优于现有算法,兼顾了消费者和服务者的利益。

关键词：价值密度截止期优先级作业调度网格计算

来源：评论

学校读者我要写书评

暂无评论

网格作业完工时间与作业分割粒度的关系

引用

计算机应用 2011年第2期31卷 530-532,547页

作者：李荣胜赵文峰徐惠民北京邮电大学信息与通信工程学院北京100876 北京邮电大学网络与交换技术国家重点实验室北京100876

对可分割的计算密集型大型作业在并行且不间断运行情况下的完工时间与作业分割粒度之间的关系进行研究。首先分析了子作业之间无通信和有通信两种情况下可分割计算密集型大型作业的完工时间和分割粒度的关系,然后对可分割计算密集型大... 详细信息

对可分割的计算密集型大型作业在并行且不间断运行情况下的完工时间与作业分割粒度之间的关系进行研究。首先分析了子作业之间无通信和有通信两种情况下可分割计算密集型大型作业的完工时间和分割粒度的关系,然后对可分割计算密集型大型作业在专用网格资源上的完工时间与分割粒度的关系进行仿真。仿真结果显示,大型作业的完工时间随着分割粒度的增大先减小后增大;当单个子作业的计算时间和通信时间之比增大时,作业的分割粒度可以更细,作业完工时间的最小值减小。因此完工时间最优的作业分割粒度不能过粗或过细。

关键词：完工时间分割粒度计算密集型作业调度网格计算

来源：评论

学校读者我要写书评

暂无评论

基于中继选择的认知系统性能

引用

北京邮电大学学报 2011年第3期34卷 44-47页

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

为了提高认知系统的性能,提出一种混合中继选择协议(HPRS).通过判断中继是否能正确解码源信号来决定中继采用何种协议转发数据,最终选取其中信噪比最大的中继作为最优中继,并推导了HPRS在高信噪比下中断概率的近似表达式及分集度.理论... 详细信息

为了提高认知系统的性能,提出一种混合中继选择协议(HPRS).通过判断中继是否能正确解码源信号来决定中继采用何种协议转发数据,最终选取其中信噪比最大的中继作为最优中继,并推导了HPRS在高信噪比下中断概率的近似表达式及分集度.理论和仿真结果表明,放大转发中继选择(SAF)、解码转发中继选择(SDF)协议和HPRS均可获得空间满分集度,而HPRS的中断性能要优于SAF和SDF协议.

关键词：认知无线电中继选择功率受限中断概率合作分集

来源：评论

学校读者我要写书评

暂无评论

基于构件技术的移动SNS服务端架构

引用

电信科学 2011年第9期27卷 93-100页

作者：张同光李继光张龙昌新乡学院计算机与信息工程学院新乡453003 北京邮电大学网络与交换技术国家重点实验室北京100876

移动SNS平台包含了众多的关键技术,为了有效提高平台模块的复用率、系统灵活性,提出了基于构件技术的移动SNS服务端架构,详细分解了服务端架构功能,给出了移动SNS服务端的构件模型,描述了构件间的层次关系,提出了构件粒度模型,最后给出... 详细信息

移动SNS平台包含了众多的关键技术,为了有效提高平台模块的复用率、系统灵活性,提出了基于构件技术的移动SNS服务端架构,详细分解了服务端架构功能,给出了移动SNS服务端的构件模型,描述了构件间的层次关系,提出了构件粒度模型,最后给出了移动SNS服务端软件架构,为移动SNS系统服务端设计提供了一个可行的方案。

关键词：移动SNS 构件服务端架构服务端软件体系结构

来源：评论

学校读者我要写书评

暂无评论

复杂上下文感知的组合服务选择框架

引用

电信科学 2011年第8期27卷 50-57页

作者：张同光石庆民张龙昌苏红亮新乡学院计算机与信息工程学院新乡453003 北京邮电大学网络与交换技术国家重点实验室北京125105 辽宁工程技术大学软件学院葫芦岛125105

泛在网络环境中,组合服务选择不仅需要考虑服务上下文还需要考虑用户上下文,而描述上下文属性的数据类型可能有实数、区间数、三角模糊数和直觉模糊集。为解决这种基于复杂上下文的组合服务选择难题,本文提出一个复杂上下文感知的组合... 详细信息

泛在网络环境中,组合服务选择不仅需要考虑服务上下文还需要考虑用户上下文,而描述上下文属性的数据类型可能有实数、区间数、三角模糊数和直觉模糊集。为解决这种基于复杂上下文的组合服务选择难题,本文提出一个复杂上下文感知的组合服务选择框架,能够感知服务上下文和用户上下文。该框架基于智能主体设计,其中用户端框架完成用户上下文管理,服务端框架完成服务上下文管理和组合服务选择。通过相关工作的比较,验证了该框架的优越性和有效性。

关键词：上下文感知 Web服务组合服务

来源：评论

学校读者我要写书评

暂无评论

有预算和截止期约束的网格作业调度算法

引用

微计算机信息 2011年第1期27卷 260-261,306页

作者：李荣胜赵文峰徐惠民北京邮电大学信息与通信工程学院北京市100876 北京邮电大学网络与交换技术国家重点实验室北京市100876

在商业网格计算环境中,作业有预算和截止期限制。如何向消费者提供有质量保障的服务,同时考虑服务提供者的利益,是一个关键问题。现有的作业调度算法只从消费者的角度出发对作业完成的时间和成本进行优化。同时从消费者和服务者的角度,... 详细信息

在商业网格计算环境中,作业有预算和截止期限制。如何向消费者提供有质量保障的服务,同时考虑服务提供者的利益,是一个关键问题。现有的作业调度算法只从消费者的角度出发对作业完成的时间和成本进行优化。同时从消费者和服务者的角度,利用作业的属性定义了作业的价值密度,在此基础上提出了高价值密度优先的网格作业调度算法HVDF。仿真结果表明,HVDF算法在实现价值率和按时完成作业数两个性能指标上优于现有算法。

关键词：价值密度截止期作业调度网格计算

来源：评论

学校读者我要写书评

暂无评论

高能量节点驱动的按需距离矢量路由协议

引用

计算机科学 2011年第1期38卷 91-93,103页

作者：焦臻桢田克张宝贤钟果李晓张岩中国科学院新疆理化技术研究所乌鲁木齐830011 中国科学院研究生院计算与通信工程学院北京100049 北京邮电大学网络与交换国家重点实验室北京100876 四川电视台成都610015

无线自组织网络中的按需距离矢量路由协议(AODV)没有考虑到能量消耗的均衡性和网络生命期的问题。针对AODV的这一缺点,提出了一种高能量节点驱动的AODV协议(HN-AODV)。此协议将高能量节点驱动的策略应用于按需路由发现过程,尽量选择能... 详细信息

无线自组织网络中的按需距离矢量路由协议(AODV)没有考虑到能量消耗的均衡性和网络生命期的问题。针对AODV的这一缺点,提出了一种高能量节点驱动的AODV协议(HN-AODV)。此协议将高能量节点驱动的策略应用于按需路由发现过程,尽量选择能量较高的节点来承担转发任务,以此来平衡网络能耗。仿真结果显示,HN-AODV在基本不降低数据传输性能的前提下,显著提高了网络生命周期。这种高能量节点驱动的方案同样可以运用在其它类似的反应式路由协议中。

关键词：无线自组织网络高能量节点驱动 AODV改进网络生命期

来源：评论

学校读者我要写书评

暂无评论

多线程死锁静态检测方法研究

多线程死锁静态检测方法研究

引用

第十四届全国容错计算学术会议(CFTC'2011)

作者：白哥乐杨朝红王雅文北京邮电大学网络与交换技术国家重点实验室装甲兵工程学院信息工程系

死锁会导致程序无法正常运行或终止,甚至导致系统崩溃,带来不必要的损失。死锁的运行状态空间过大,难于重现和修正等问题使其成为软件领域的难题之一。本文基于对Java多线程程序死锁的分析,提出了多线程死锁静态检测方法。该方法首先通... 详细信息

死锁会导致程序无法正常运行或终止,甚至导致系统崩溃,带来不必要的损失。死锁的运行状态空间过大,难于重现和修正等问题使其成为软件领域的难题之一。本文基于对Java多线程程序死锁的分析,提出了多线程死锁静态检测方法。该方法首先通过对待测源程序的预分析,生成抽象语法树和控制流图等辅助分析结构;然后通过可达分析检测程序中线程的并发特征,使用别名分析检测所有可能存在死锁情况;之后,对潜在的死锁集合进行分析,通过门锁分析和并发与逃逸分析,排除其中不可能的死锁情况,逐步缩小死锁集合,提高检测精度。本文通过对225K行代码测试,验证了该方法可有效检测多线程程序中潜在的死锁问题。

关键词：死锁检测静态分析别名分析

来源：评论

学校读者我要写书评

暂无评论

多线程死锁静态检测方法研究

多线程死锁静态检测方法研究

引用

第十四届全国容错计算学术会议

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

死锁会导致程序无法正常运行或终止，甚至导致系统崩溃，带来不必要的损失。死锁的运行状态空间过大，难于重现和修正等问题使其成为软件领域的难题之一。本文基于对Java多线程程序死锁的分析，提出了多线程死锁静态检测方法。该方法首... 详细信息

死锁会导致程序无法正常运行或终止，甚至导致系统崩溃，带来不必要的损失。死锁的运行状态空间过大，难于重现和修正等问题使其成为软件领域的难题之一。本文基于对Java多线程程序死锁的分析，提出了多线程死锁静态检测方法。该方法首先通过对待测源程序的预分析，生成抽象语法树和控制流图等辅助分析结构;然后通过可达分析检测程序中线程的并发特征，使用别名分析检测所有可能存在死锁情况。之后，对潜在的死锁集合进行分析，通过门锁分析和并发与逃逸分析，排除其中不可能的死锁情况，逐步缩小死锁集合，提高检测精度。本文通过对225K行代码测试，验证了该方法可有效检测多线程程序中潜在的死锁问题。

关键词：软件开发多线程程序程序死锁软件测试

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：