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

计算机研究与发展 2014年第11期51卷 2470-2482页

作者：吴迎红黄皓曾庆凯计算机软件新技术国家重点实验室(南京大学) 南京210046

策略精化是解决分布式应用访问控制策略配置复杂性的重要方法.现有的策略精化技术给出了分层策略描述和逐层精化的方法,但是描述和处理策略之间关联问题能力不足,影响策略精化应用.为此给出了策略和包括组合、互斥、精化、访问路径协同... 详细信息

策略精化是解决分布式应用访问控制策略配置复杂性的重要方法.现有的策略精化技术给出了分层策略描述和逐层精化的方法,但是描述和处理策略之间关联问题能力不足,影响策略精化应用.为此给出了策略和包括组合、互斥、精化、访问路径协同等策略之间关系的形式描述方法,提出了能够描述策略之间关联属性的精化算法和记录策略和策略之间这些关联属性的策略精化树构建方法,为策略精化中的策略关联问题处理提供基础.策略精化树还能直观呈现访问控制的服务品质协议(service-level agreement,SLA).

关键词：模型驱动架构访问控制策略描述策略精化策略冲突分析关联属性

来源：评论

学校读者我要写书评

暂无评论

SMap:基于语义的关系数据库模式与OWL本体间映射方法

引用

计算机研究与发展 2012年第10期49卷 2241-2250页

作者：贾存鑫胡伟柏文阳瞿裕忠计算机软件新技术国家重点实验室(南京大学) 南京210046

伴随语义网的发展,语义网本体数量激增.然而万维网上绝大多数的数据仍存储在关系数据库中.建立关系数据库模式与语义网本体间的映射是一种实现两者之间互操作性的有效途径.因此,提出了一种基于语义的关系数据库模式与OWL本体间的映射方... 详细信息

伴随语义网的发展,语义网本体数量激增.然而万维网上绝大多数的数据仍存储在关系数据库中.建立关系数据库模式与语义网本体间的映射是一种实现两者之间互操作性的有效途径.因此,提出了一种基于语义的关系数据库模式与OWL本体间的映射方法SMap,包含简单映射发现和复杂映射学习两个阶段.在简单映射发现阶段,首先通过逆向工程规则将关系数据库模式和本体中的元素对应地分为不同类别,再为每个元素构建虚拟文档并计算它们之间的相似度,其中针对不同类别的元素设计了不同的虚拟文档抽取方案.在复杂映射学习阶段,基于已发现的简单映射以及重叠的数据库记录和本体实例,自动化地生成训练事实数据,然后运用归纳逻辑编程算法学习出多种类型的基于Horn规则的复杂映射.真实数据集上的实验结果表明,SMap在简单映射发现和复杂映射学习上均明显优于现有的关系数据库模式与本体间映射方法.

关键词：本体映射模式匹配关系数据库虚拟文档归纳逻辑编程

来源：评论

学校读者我要写书评

暂无评论

YARM:基于MapReduce的高效可扩展的语义推理引擎

引用

计算机学报 2015年第1期38卷 74-85页

作者：顾荣王芳芳袁春风黄宜华南京大学计算机软件新技术国家重点实验室南京210046

随着语义网的快速发展,RDF语义数据大量涌现.大规模RDF语义数据推理的一个主要问题是计算量大、完成计算需要消耗很长的时间.显然,传统的单机语义推理引擎难以处理大规模的语义数据.另一方面,现有的基于MapReduce的大规模语义推理引擎,... 详细信息

随着语义网的快速发展,RDF语义数据大量涌现.大规模RDF语义数据推理的一个主要问题是计算量大、完成计算需要消耗很长的时间.显然,传统的单机语义推理引擎难以处理大规模的语义数据.另一方面,现有的基于MapReduce的大规模语义推理引擎,缺乏对算法在分布和并行计算环境下执行效率的优化,使得推理时间仍然较长.此外,现有的推理引擎大多存在可扩展性方面的不足,难以适应大规模语义数据的增长需求.针对现有的语义推理系统在执行效率和可扩展性方面的不足,文中提出了一种基于MapReduce的并行化语义推理算法和引擎YARM.为了实现分布和并行计算环境下的高效推理,YARM做出了以下4点优化:(1)采用合理的数据划分模型和并行化算法,降低计算节点间的通信开销;(2)优化推理规则的执行次序,提升了推理计算速度;(3)设计了简洁的去重策略,避免新增作业处理重复数据;(4)设计实现了一种新的基于MapReduce的并行化推理算法.实验结果表明,在真实数据集和大规模合成数据集上,YARM的执行速度比当前最新的基于MapReduce的推理引擎快10倍左右,同时YARM还表现出更好的数据和系统可扩展性.

关键词： RDF RDFS推理 MapReduce 语义推理分布式推理

来源：评论

学校读者我要写书评

暂无评论

Hadoop MapReduce短作业执行性能优化

引用

计算机研究与发展 2014年第6期51卷 1270-1280页

作者：顾荣严金双杨晓亮袁春风黄宜华计算机软件新技术国家重点实验室(南京大学) 南京210046

Hadoop MapReduce并行计算框架被广泛应用于大规模数据并行处理.近年来,由于其能较好地处理大规模数据,Hadoop MapReduce也被越来越多地使用在查询应用中.为了能够处理大规模数据集,Hadoop的基本设计更多地强调了数据的高吞吐率.然而在... 详细信息

Hadoop MapReduce并行计算框架被广泛应用于大规模数据并行处理.近年来,由于其能较好地处理大规模数据,Hadoop MapReduce也被越来越多地使用在查询应用中.为了能够处理大规模数据集,Hadoop的基本设计更多地强调了数据的高吞吐率.然而在处理对短作业响应性能有较高要求的查询应用时,Hadoop MapReduce并行计算框架存在明显不足.为了提升Hadoop对于短作业的执行效率,对原有的Hadoop MapReduce作出以下3点优化:1)通过优化原有的setup和cleanup任务的执行方式,成功地缩短了作业初始化环境准备和作业结束环境清理的时间;2)将首次任务分配从"拉"模式转变为"推"模式;3)将作业执行过程中JobTracker和TaskTrackers之间的控制消息通信从现有的周期性心跳机制中分离出来,采用即时传递机制.最后,采用一种典型的基于MapReduce并行化的查询应用BLAST,对优化工作进行了评估.各种不同类型BLAST作业的测试实验表明,与现有的标准Hadoop相比,优化后的Hadoop平均执行性能提升约23%.

关键词： MapReduce 并行计算短作业性能优化大数据处理

来源：评论

学校读者我要写书评

暂无评论

自动合成数组不变式

引用

软件学报 2018年第6期29卷 1544-1565页

作者：李彬翟娟汤震浩汤恩义赵建华计算机软件新技术国家重点实验室(南京大学)

提出了基于抽象解释框架自动合成数组程序不变式的方法,它能够分析按照特定顺序访问一维或者多维数组的程序,然后合成不变式.该方法将性质(包括区间全称量词性质和原子性质)集合作为抽象域,通过前向迭代数据流分析合成数组性质.证明了... 详细信息

提出了基于抽象解释框架自动合成数组程序不变式的方法,它能够分析按照特定顺序访问一维或者多维数组的程序,然后合成不变式.该方法将性质(包括区间全称量词性质和原子性质)集合作为抽象域,通过前向迭代数据流分析合成数组性质.证明了该方法的正确性和收敛性,并通过一些实例展示了该方法的灵活性.开发了一种原型工具,该工具在各种数组程序(包括competition on software verification中的array-examples benchmark)上的实验展示了方法的可行性和有效性.

关键词：不变式合成抽象解释数组程序

来源：评论

学校读者我要写书评

暂无评论

基于层叠条件随机场模型的中文机构名自动识别

引用

电子学报 2006年第5期34卷 804-809页

作者：周俊生戴新宇尹存燕陈家骏南京大学计算机软件新技术国家重点实验室

中文机构名的自动识别是自然语言处理中的一个比较困难的问题.本文提出了一种新的基于层叠条件随机场模型的中文机构名自动识别算法.该算法在低层条件随机场模型中解决对人名、地名等简单命名实体的识别,将识别结果传递到高层模型,为高... 详细信息

中文机构名的自动识别是自然语言处理中的一个比较困难的问题.本文提出了一种新的基于层叠条件随机场模型的中文机构名自动识别算法.该算法在低层条件随机场模型中解决对人名、地名等简单命名实体的识别,将识别结果传递到高层模型,为高层的机构名条件随机场模型实现对复杂机构名的识别提供决策支持.文中为机构名条件随机场模型设计了有效的特征模板和特征自动选择算法.对大规模真实语料的开放测试中,召回率达到90.05%,准确率达到88.12%,性能优于其它中文机构名识别算法.

关键词：命名实体中文机构名识别条件随机场

来源：评论

学校读者我要写书评

暂无评论

基于历史的云平台故障注入测试

引用

计算机学报 2019年第10期42卷 2281-2296页

作者：马骅聂长海吴化尧南京大学计算机软件新技术国家重点实验室

云计算是一种能够以便利的、按需付费的方式通过网络获取计算资源并提高其可用性的模式.近年来,以云计算为基础的服务平台——云平台逐渐成为各大企业数据存储和业务部署的主要平台.由于云平台结构复杂、服务多样,发生故障在所难免.为... 详细信息

云计算是一种能够以便利的、按需付费的方式通过网络获取计算资源并提高其可用性的模式.近年来,以云计算为基础的服务平台——云平台逐渐成为各大企业数据存储和业务部署的主要平台.由于云平台结构复杂、服务多样,发生故障在所难免.为了提高云平台的可靠性,开发人员在设计云平台时加入了容错机制,目的是在发生故障的情况下也能保证云平台的正常运行.但是容错机制并不能保证云平台完全可靠,因此我们还需要对云平台的可靠性进行检验.故障注入是检验云平台可靠性的方法之一,通过人为地将故障注入正在运行的系统中,观察系统动作并判断系统的容错机制是否正常工作.现有的故障注入方法侧重于分析待测系统特征以确定故障注入点,属于白盒或灰盒测试,对复杂的云平台来说,这一工作无疑要耗费大量的时间.因此,我们提出一种不依赖于系统信息的黑盒测试方法以提高检验效率.本文在现有工作的基础上做了以下几个方面的工作:第一,我们收集了云平台历史宕机事故报告,并分析其中故障模式出现的规律.我们发现,云平台中发生的故障类型具有重复性,在此基础上,我们提取了这些故障的特征,包括所在组件、根因、产生的影响、修复方法等;第二,通过对云平台历史宕机事故报告的分析,我们发现很多事故当中的故障并不是单一出现的,并且多个故障之间具有关联性、组合性,我们深入分析了多故障之间的关系以及故障之间的组合形式,在此基础上,为了尽可能完全地检测云平台的可靠性,我们提出在故障注入过程中需要对多故障进行组合注入;第三,在对多故障进行组合的过程中我们发现,由于云平台的复杂性,故障种类的多样性,多故障之间的组合会产生组合空间爆炸问题,针对这一问题,我们做了初步探究,并提出了几种约减策略;第四,基于上述工作,我们提出了一种基于历史的故障组合方法,并利用历史故障数据,结合基础云平台架构进行模拟实验,实验结果表明我们提出的基于历史故障进行故障组合注入方法是有效可行的.

关键词：云平台故障模式历史故障故障注入

来源：评论

学校读者我要写书评

暂无评论

En-Route Transcoding缓存的优化放置和替换

引用

软件学报 2008年第4期19卷 956-966页

作者：李春洪冯国富顾铁成陆桑璐陈道蓄南京大学计算机软件新技术国家重点实验室

对en-route transcoding缓存中的缓存路由和协同放置及替换问题进行了研究.提出了CCRA(cost-aware cache routing algorithm)缓存路由算法,能以可控的探测开销来发现潜在的、具有最小访问开销的缓存对象.在此基础上,建立了en-route tran... 详细信息

对en-route transcoding缓存中的缓存路由和协同放置及替换问题进行了研究.提出了CCRA(cost-aware cache routing algorithm)缓存路由算法,能以可控的探测开销来发现潜在的、具有最小访问开销的缓存对象.在此基础上,建立了en-route transcoding缓存的分析模型,将缓存放置和替换问题形式化为一个最优化问题,并利用一种基于动态规划的方法来求解最佳缓存放置策略.仿真结果表明,与已有的元算法放置策略相比,该协同放置和替换策略可以获得更好的CSR性能.

关键词： en-route transcoding缓存缓存路由协同放置缓存替换

来源：评论

学校读者我要写书评

暂无评论

一种从面向对象Z规约到代码的精化演算方法

引用

软件学报 2000年第8期11卷 1041-1046页

作者：王云峰庞军查鸣杨朝晖郑国梁南京大学计算机软件新技术国家重点实验室

COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不... 详细信息

COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不足 ,同时也消除了规约与实现之间在结构和表示方法上的完全分离 ,使程序开发在一个完整的框架下平滑进行 .该文提出了基于 COOZ和精化演算的软件开发模型 ,通过实例讨论了数据精化和操作精化问题 .在精化演算实现技术方面构造了一种数据精化算子 ,提出一种基于数据精化演算和程序窗口推理的数据精化的方法 .

关键词：形式化开发方法精化演算面向对象代码

来源：评论

学校读者我要写书评

暂无评论

面向对象Z的子类型继承和推理规则

引用

软件学报 2000年第4期11卷 481-487页

作者：王云峰 *** 李必信郑国梁南京大学计算机软件新技术国家重点实验室

讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所... 详细信息

讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所讨论的子类型化方法与 ***等人的方法相比 ,具有可构造性 ,并且比L

关键词：面向对象继承子类型软件开发方法推理规则

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：