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

软件学报 2015年第7期26卷 1711-1729页

作者：戴海鹏陈贵海徐力杰刘云淮吴小兵何田计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 上海市可扩展计算与系统重点实验室(上海交通大学) 上海200240 公安部第三研究所上海200031 上海交通大学电子信息与电气工程学院上海200240 Computer Science and Engineering University of Minnesota

传统的传感器节点通常采用电池供电,有限的电池能量限制了传感器网络整体的寿命.无线能量传输技术可将能量以无线方式从充电器发送至传感器,从而可以彻底解决这一问题.无线可充电传感网中的一个重要问题是无线充电器的布置问题,即,如何... 详细信息

传统的传感器节点通常采用电池供电,有限的电池能量限制了传感器网络整体的寿命.无线能量传输技术可将能量以无线方式从充电器发送至传感器,从而可以彻底解决这一问题.无线可充电传感网中的一个重要问题是无线充电器的布置问题,即,如何有效地布置充电器,使得传感器网络的整体充电效用最大化.已有的工作主要考虑的是全向充电器的布置问题,且充电器可布置的位置受限,如只能布置在三角形顶点或网格中的格点处,因此具有相当的局限性.首次考虑了有向充电器的一般布置问题,即,充电器充电区域为扇形,并且充电器可布置在区域内任何位置处,其朝向可任意调节.另外,首次基于实测数据建立了有向充电器的充电模型,并提出一系列创新方法将问题进行转化,设计了一种近似比为(1-1/e)/(1+ε)的高效算法——CDG(charger deployment-greedy)算法来解决这一问题.仿真实验结果说明了CDG算法的有效性.与其他提出的两种随机算法相比,CDG算法的性能分别提升了将近300%和100%.

关键词：有向无线充电器有向充电布置子模性近似算法

来源：评论

学校读者我要写书评

暂无评论

构件软件的回归测试复杂性度量

引用

软件学报 2015年第12期26卷 3043-3061页

作者：陶传奇李必信 Jerry Gao 南京理工大学计算机科学与工程学院江苏南京210094 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 东南大学软件工程研究所江苏南京211189 东南大学计算机科学与工程学院江苏南京211189 Department of Computer Engineering San Jose State University

基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.在软件维护过程中,由于构件更新或者新版本的发布,基于构件的系统会受到影响,需要进行回归测试.对于指定的软件修改需求,维护者可以... 详细信息

基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.在软件维护过程中,由于构件更新或者新版本的发布,基于构件的系统会受到影响,需要进行回归测试.对于指定的软件修改需求,维护者可以实施不同的修改手段.不同的修改手段会导致不同的回归测试复杂性,这种复杂性是软件维护成本和有效性的重要因素.目前的研究没有强调构件软件的回归测试复杂性问题.基于修改影响复杂性模型和度量,提出一种回归测试的复杂性度量框架.该度量框架包括两个部分:基于图的模型和形式化度量计算.该度量可以有效表示构件软件分别在构件和系统层面的回归测试复杂性因素,可视化地体现复杂性变化.然后根据模型,提出具体的度量计算方式.最后,通过实验研究,针对同一个构件软件的相同修改需求,利用若干个实验组进行独立修改实施,然后比较回归测试的复杂性.实验结果表明,所提出的度量方式是可行和有效的.

关键词：基于构件的软件回归测试重测复杂性软件维护

来源：评论

学校读者我要写书评

暂无评论

建设中国—哈萨克斯坦旅游资源信息库的需求、构想与意义

引用

新疆大学学报（哲学社会科学版） 2015年第2期43卷 85-87页

作者：古丽孜拉.艾尼外马劲松黄书剑王友文伊犁师范学院电子与信息工程学院新疆伊宁835000 南京大学计算机软件新技术国家重点实验室江苏南京21004 南京大学地理与海洋科学学院地理信息科学系江苏南京210046 伊犁中亚生态研究所新疆伊宁835000

中、哈两国共建哈萨克草原文化旅游资源信息库,既是旅游市场发展的需求,也是经济贸易和科学技术的革新。信息库建设包含信息库的数据组成、信息库的软件架构、信息库功能特色三个方面,对全面深化中国与中亚地区战略伙伴的关系、提升两... 详细信息

中、哈两国共建哈萨克草原文化旅游资源信息库,既是旅游市场发展的需求,也是经济贸易和科学技术的革新。信息库建设包含信息库的数据组成、信息库的软件架构、信息库功能特色三个方面,对全面深化中国与中亚地区战略伙伴的关系、提升两国旅游合作和旅游产业水平、促进各国经济文化发展具有重大现实意义和深远历史意义。

关键词：旅游资源信息化哈萨克草原文化丝绸之路经济带

来源：评论

学校读者我要写书评

暂无评论

不完美信息扩展式博弈中在线虚拟遗憾最小化

引用

计算机研究与发展 2014年第10期51卷 2160-2170页

作者：胡裕靖高阳安波软件新技术国家重点实验室(南京大学) 南京210023 中国科学院计算技术研究所智能信息处理重点实验室北京100190

研究在不完美信息扩展式博弈中对次优对手弱点的利用.针对该领域中一种常用方法——对手建模方法——的不足,提出了从遗憾最小化的角度来利用次优对手弱点的思想,并基于一种离线的均衡计算方法——虚拟遗憾最小化方法——将其扩展到在... 详细信息

研究在不完美信息扩展式博弈中对次优对手弱点的利用.针对该领域中一种常用方法——对手建模方法——的不足,提出了从遗憾最小化的角度来利用次优对手弱点的思想,并基于一种离线的均衡计算方法——虚拟遗憾最小化方法——将其扩展到在线博弈的场景中,实现对次优对手弱点的利用.提出了从博弈结果中估计各个信息集的虚拟价值的方法,给出2种估计手段:静态估计法和动态估计法.静态估计法直接从博弈结果的分布中进行估计,并对每个结果给以相等的估计权重;而动态估计法则对新产生的博弈结果给以较高的估计权重,以便快速地适应对手的策略变化.基于2种估计方法,提出在线博弈中虚拟遗憾最小化的算法,并在基于单牌扑克的实验中,与4种在线学习算法(DBBR,MCCFR-os,Q-learning,Sarsa)进行了对比.实验结果显示所提出的算法不仅对较弱对手的利用效果最好,还能在与4种对比算法的比赛中取得最高的胜率.

关键词：扩展式博弈不完美信息遗憾最小化虚拟遗憾最小化静态估计法动态估计法

来源：评论

学校读者我要写书评

暂无评论

链式桥规则导致的D3L知识传播及推理

引用

计算机学报 2014年第12期37卷 2419-2426页

作者：赵晓非田东平史颖欢史忠植天津工业大学计算机科学与软件学院天津300387 南京大学计算机软件新技术国家重点实验室南京210023 中国科学院计算技术研究所智能信息处理重点实验室北京100190

作为分布式、模块化本体的逻辑基础,分布式动态描述逻辑(D3L)使得通过有向语义映射连接的多个动态描述逻辑本体之上的推理成为可能.文中针对复合桥规则的知识传播进行了研究.作者发现当桥规则构成合取链的情况下,D3L的原始语义不能保证... 详细信息

作为分布式、模块化本体的逻辑基础,分布式动态描述逻辑(D3L)使得通过有向语义映射连接的多个动态描述逻辑本体之上的推理成为可能.文中针对复合桥规则的知识传播进行了研究.作者发现当桥规则构成合取链的情况下,D3L的原始语义不能保证本体元素的局部语义关系正确传播到目标本体.通过引入合取映射桥规则,作者对D3L进行了扩展.由于对合取映射对应的目标元素属性进行了约束,新的桥规则可以支持局部语义关系在分布式本体间的正确传播,并且不改变D3L的原始属性.最后提出了合取映射桥规则到传统桥规则的转换语义,并证明了基于该语义的Tableaux推理算法的正确性.扩展后的D3L更好地实现了在本体间导入和重用知识的思想,因此可以为语义Web提供较完备的逻辑基础.

关键词：分布式动态描述逻辑(D3L) 知识传播合取映射链式桥规则

来源：评论

学校读者我要写书评

暂无评论

结合公共视图和对象Petri网的跨组织流程建模

引用

计算机科学与探索 2014年第1期8卷 18-27页

作者：王晶胡昊余萍吕建葛季栋南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093 南京大学软件学院南京210093

组织间协同的信息流以及每个参与组织的自治性是跨组织协同的两个要素。结合跨组织工作流建模与对象网之间的相似性,提出了一种基于公共视图和对象Petri网的跨组织工作流建模方法。组织的公共视图隐藏了内部流程细节,是原流程中仅与合... 详细信息

组织间协同的信息流以及每个参与组织的自治性是跨组织协同的两个要素。结合跨组织工作流建模与对象网之间的相似性,提出了一种基于公共视图和对象Petri网的跨组织工作流建模方法。组织的公共视图隐藏了内部流程细节,是原流程中仅与合作伙伴相关的活动在外部的投影。通过组合各参与组织的公共视图得到了跨组织协同的信息流网结构,利用对象网的交互集建立了组织内部流程与通信结构的同步关系。通过一个建模实例阐述了该方法的有效性。

关键词：工作流建模跨组织流程公共视图对象Petri网

来源：评论

学校读者我要写书评

暂无评论

基于SR-IOV的虚拟机防火墙设计与实现

引用

计算机工程 2014年第5期40卷 154-157页

作者：荀仲恺黄皓金胤丞南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 中国电子科技集团公司第三十二研究所上海200233

由于虚拟网络数据传输时,用户态与核心态之间频繁切换,导致虚拟域间多次数据拷贝严重影响网络I/O性能。为此,提出一种高性能的虚拟机防火墙设计方案。利用SR-IOV规范的高性能数据传输特性和对接收数据包的过滤功能,使虚拟域直接与真实... 详细信息

由于虚拟网络数据传输时,用户态与核心态之间频繁切换,导致虚拟域间多次数据拷贝严重影响网络I/O性能。为此,提出一种高性能的虚拟机防火墙设计方案。利用SR-IOV规范的高性能数据传输特性和对接收数据包的过滤功能,使虚拟域直接与真实网卡交互。针对低特权级的虚拟域中防火墙容易受到攻击的问题,通过在高特权级的Xen中部署监控模块,对虚拟域中的防火墙进行实时监控。实验结果表明,应用SR-IOV网卡可使虚拟机的网络I/O性能相对于Xen传统网络访问模式平均提高1倍以上,并且具有监控模块的Xen能防止防火墙被非法访问和恶意篡改,保证防火墙的安全。

关键词：虚拟化 Xen虚拟机管理器 SR—IOV规范防火墙高性能监控

来源：评论

学校读者我要写书评

暂无评论

开放网络环境下的程序设计:从RPC到REST

引用

计算机工程与应用 2013年第17期49卷 30-37页

作者：王姜余萍曹春马晓星南京大学软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093

在Internet/WWW这一开放软件平台上已发展了诸多软件架构技术,针对开放网络环境下不同的应用场景与需求,如何对复杂多样的技术进行架构决策、技术选取等提供指导是亟需解决的问题。在考察RPC、Web服务等已有架构、技术的基础上,总结了... 详细信息

在Internet/WWW这一开放软件平台上已发展了诸多软件架构技术,针对开放网络环境下不同的应用场景与需求,如何对复杂多样的技术进行架构决策、技术选取等提供指导是亟需解决的问题。在考察RPC、Web服务等已有架构、技术的基础上,总结了它们共有的重要方面,分析了这些方面是如何相互交织并影响系统的非功能属性,从而形成一个评估框架。最后,选取典型的技术对其进行比较评估。

关键词：软件体系结构非功能需求面向服务

来源：评论

学校读者我要写书评

暂无评论

ATMS:一个自治化信任管理系统

引用

计算机工程与应用 2013年第14期49卷 45-50页

作者：施文波曹春南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093

信任管理技术基于授权凭证签发、通过分布式凭证搜索验证信任关系链,有效实现了开放环境下的分布式授权和访问控制过程。然而,由于开放式环境下信任网络的复杂性和动态性,传统的信任管理系统在凭证搜索、凭证链的建立方面效率不高。针... 详细信息

信任管理技术基于授权凭证签发、通过分布式凭证搜索验证信任关系链,有效实现了开放环境下的分布式授权和访问控制过程。然而,由于开放式环境下信任网络的复杂性和动态性,传统的信任管理系统在凭证搜索、凭证链的建立方面效率不高。针对这一问题,提出了一种自治化的信任管理系统,通过引入权限路由表的概念,使得凭证链建立的过程中,凭证的搜索能够始终导向权限请求的客体。在信任网络比较复杂,权限请求频繁的情况下,自治化的信任管理系统能够提高凭证搜索和凭证链建立的效率。

关键词：信任管理自治化权限路由表凭证链信任域

来源：评论

学校读者我要写书评

暂无评论

面向网构软件的环境显式化技术

引用

中国科学：信息科学 2013年第1期43卷 1-23页

作者：吕建马晓星陶先平黄宇余萍许畅南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机软件研究所南京210046

网构化软件处于开放、动态、难控的环境之中,需能感知并适应环境的变化,以持续提供用户满意的服务.传统软件构造技术缺乏对环境感知和适应的系统支持.本文在前期工作基础上,提出一种面向网构软件的软件结构,通过为软件系统配备先验的环... 详细信息

网构化软件处于开放、动态、难控的环境之中,需能感知并适应环境的变化,以持续提供用户满意的服务.传统软件构造技术缺乏对环境感知和适应的系统支持.本文在前期工作基础上,提出一种面向网构软件的软件结构,通过为软件系统配备先验的环境模型和环境规约来实现环境处理的显式化.进而,介绍了我们使用这种方式来处理开放环境之分布异步性、感知信息的不一致性以及环境中人类用户行为特性等的若干具体技术进展.而后,讨论了一种先验环境模型及环境规约的开发方法原理,给出了相应的环境驱动逻辑的静态表达与运行实现机制.该方法和机制可较好地支持环境处理与应用业务逻辑间的关注分离.

关键词：网构软件环境显式化分布性一致性自适应

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：