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

计算机科学与探索 2011年第3期5卷 208-220页

作者：周宁刘慧王红兵谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 东南大学计算机科学与工程学院南京210096

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范... 详细信息

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。

关键词：网络服务组合动作时序逻辑(TLA) 网络服务描述语言(WSDL) 有限状态自动机(FSA)

来源：评论

学校读者我要写书评

暂无评论

基于边界剪枝的不确定场境下偏好查询技术

引用

计算机科学与探索 2011年第5期5卷 410-425页

作者：郑吉平秦小麟戴华南京航空航天大学计算机科学与技术系南京210016 南京大学计算机软件新技术国家重点实验室南京210093

查询执行时加入场境依赖的用户偏好可以帮助人们从大量信息中发现正确答案。已经证明,不确定场境信息条件下,用户偏好的查询可能导致NP完全或者#P完全难度的推理难题。提出了一个简单通用的方法优化不确定场境信息条件下的用户偏好查询... 详细信息

查询执行时加入场境依赖的用户偏好可以帮助人们从大量信息中发现正确答案。已经证明,不确定场境信息条件下,用户偏好的查询可能导致NP完全或者#P完全难度的推理难题。提出了一个简单通用的方法优化不确定场境信息条件下的用户偏好查询,用户查询等价于搜索建立的场境偏好空间(contextual preferencesspace,CPS)。根据具体应用需求,考虑了两种搜索方案:搜索最优的元组和返回top-k(k为用户指定)个元组。采用定量的方法对用户偏好进行建模。为了提高查询处理效率,提出两种搜索剪枝策略:边界剪枝(branch and bound searching,BBS)和偏序边界剪枝(partial value branch and bound space searching,pBBS)。最后,从I/O访问次数和CPU运行时间两个角度评价所提出的方法。

关键词：场境感知偏好查询处理边界剪枝 top-k

来源：评论

学校读者我要写书评

暂无评论

基于虚拟机的JBoss中间件动态更新

基于虚拟机的JBoss中间件动态更新

引用

2011全国软件与应用学术会议(NASAC2011)

作者：姚燕顾天晓曹春马晓星南京大学计算机科学与技术系南京 210093 南京大学计算机软件新技术国家重点实验室南京 210093

软件中间件已经成为网络环境下大型复杂应用系统构建的核心基础支撑软件。软件中间件的动态更新，就是在不停止中间件及其上运行的应用程序的情况下，对中间件及上面的应用程序进行更新。尝试以一种基于虚拟机的Java程序在线更新技术来... 详细信息

软件中间件已经成为网络环境下大型复杂应用系统构建的核心基础支撑软件。软件中间件的动态更新，就是在不停止中间件及其上运行的应用程序的情况下，对中间件及上面的应用程序进行更新。尝试以一种基于虚拟机的Java程序在线更新技术来实现典型Java中间件JBoss系统的动态更新。该技术克服了既有技术不能支持内部类和自定义加栽器等缺陷，能够在微内核、构件容器以及应用程序等不同层面支持JBoss中间件及其上应用的动态更新。

关键词：软件中间件动态更新 JBoss系统 JDUS技术

来源：评论

学校读者我要写书评

暂无评论

一种基于Paxos算法的容错机制

引用

计算机应用与软件 2011年第6期28卷 143-145,160页

作者：王利军谢立南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

针对在普通的硬件和网络环境下实现系统数据的高可用性的目标,设计了一个由两个松耦合的模块组成的容错机制。该机制的核心使用了高效的共识算法Paxos。描述了这一容错机制的架构和主要模块,日志层的实现算法和数据层冗余机制。给出了... 详细信息

针对在普通的硬件和网络环境下实现系统数据的高可用性的目标,设计了一个由两个松耦合的模块组成的容错机制。该机制的核心使用了高效的共识算法Paxos。描述了这一容错机制的架构和主要模块,日志层的实现算法和数据层冗余机制。给出了该机制能够处理的各种故障。实验证明系统的稳定可靠,性能良好。

关键词：高可用性一致性共识协议冗余日志

来源：评论

学校读者我要写书评

暂无评论

面向方面程序的简化动态依赖图切片方法

引用

计算机科学与探索 2011年第3期5卷 229-237页

作者：张广泉黄静章晓芳刘长林苏州大学计算机科学与技术学院江苏苏州215006 中国科学院软件研究所计算机科学国家重点实验室北京100190 南京大学计算机软件新技术国家重点实验室南京210093

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了... 详细信息

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了面向方面程序切片技术。在此基础上,提出了一种基于简化动态依赖图的面向方面程序切片方法,可以减少动态依赖图中节点和边的数量,生成准确的面向方面程序的动态切片,从而有助于人们更好地对面向方面程序进行分析和理解。

关键词：面向方面程序静态切片动态切片简化动态依赖图

来源：评论

学校读者我要写书评

暂无评论

安全关键系统的软件可靠性评估方法

安全关键系统的软件可靠性评估方法

引用

2011年全国理论计算机科学学术年会

作者：张德平徐宝文南京航空航天大学计算机科学与与技术学院南京210016 南京大学软件新技术国家重点实验室南京 210093 南京大学软件新技术国家重点实验室南京 210093 南京大学计算机科学与技术系南京 210093

基于统计测试的Markov使用链模型对安全关键系统的可靠性估计提出了一种有效的估计方法.该方法利用重要抽样技术在保证估计的无偏性条件下,以可靠性估计的方差最小为目的,通过Ali-Silvey距离度量两个分布之间的差异,调整各个状态之间转...

基于统计测试的Markov使用链模型对安全关键系统的可靠性估计提出了一种有效的估计方法.该方法利用重要抽样技术在保证估计的无偏性条件下,以可靠性估计的方差最小为目的,通过Ali-Silvey距离度量两个分布之间的差异,调整各个状态之间转移概率分布,修正测试剖面,增加关键操作的遍历概率.

关键词：

来源：评论

学校读者我要写书评

暂无评论

南京大学第七届机器翻译研讨会评测技术报告

南京大学第七届机器翻译研讨会评测技术报告

引用

机器翻译研究进展——第七届全国机器翻译研讨会

作者：奚宁赵迎功汤光超李中华刘友强戴新宇陈家骏南京大学计算机科学与技术系软件新技术国家重点实验室自然语言处理研究组

本文介绍南京大学自然语言处理研究组(NJU-NLP)参加2011年第七届全国机器翻译研讨会(CWMT2011)评测的情况。本研究组参加了全部九个评测项目中的四个子项,分别是:汉英新闻领域单一系统。英汉新闻领域单一系统,英汉科技领域单一系统和日... 详细信息

本文介绍南京大学自然语言处理研究组(NJU-NLP)参加2011年第七届全国机器翻译研讨会(CWMT2011)评测的情况。本研究组参加了全部九个评测项目中的四个子项,分别是:汉英新闻领域单一系统。英汉新闻领域单一系统,英汉科技领域单一系统和日汉新闻领域单一系统。文章主要介绍研究组机器翻译系统的实现框架,阐述他们在评测数据上的性能表现,并对结果加以适当的分析。

关键词：人工智能自然语言处理机器翻译

来源：评论

学校读者我要写书评

暂无评论

列存储数据仓库查询执行中重用缓冲区调度算法

列存储数据仓库查询执行中重用缓冲区调度算法

引用

第28届中国数据库学术会议

作者：张琦王梅乐嘉锦刘国华东华大学计算机科学与技术学院上海201620 东华大学计算机科学与技术学院上海201620 计算机软件新技术国家重点实验室(南京大学)南京210093

查询的中间结果重用是提高查询效率的重要手段。现有列存储系统主要关注多查询计划间的中间结果重用，忽略了单一查询计划执行过程中大量可重复访问的中间结果。单一查询中的中间结果具有确定性高、结果大小可估计的特征，非常适合作为... 详细信息

查询的中间结果重用是提高查询效率的重要手段。现有列存储系统主要关注多查询计划间的中间结果重用，忽略了单一查询计划执行过程中大量可重复访问的中间结果。单一查询中的中间结果具有确定性高、结果大小可估计的特征，非常适合作为重用的对象。为此，针对列存储数据仓库单一查询计划执行过程中的中间结果重用问题，提出了一个重用缓冲区空间的调度算法。首先，基于操作结点在给定物理执行计划树中的相对位置及其操作所产生的中间结果的大小对操作结点提出重用度估计模型。其次，设计了基于模型估计结果的缓冲区调度算法。在每一个查询计划的执行过程中，根据其模型估计结果执行缓冲区调度算法，使得其产生的中间结果中更重要的部分能够更久地驻留在内存中，以提升查询性能。在数据仓库基准数据集SSB上的实验结果验证了方法的有效性。

关键词：列存储系统查询效率数据重用缓冲区空间数据仓库调度算法

来源：评论

学校读者我要写书评

暂无评论

列存储数据仓库中启发式查询优化机制

列存储数据仓库中启发式查询优化机制

引用

第28届中国数据库学术会议

作者：严秋玲孙莉王梅乐嘉锦刘国华东华大学计算机科学与技术学院上海201620 东华大学计算机科学与技术学院上海201620 南京大学计算机软件新技术国家重点实验室南京210093

研究和实践表明列存储更加适合于大规模数据集上的即席查询的“读优化”应用需求。然而由于列存储的处理对象是列，此时传统的基于规则的查询优化方法并不完全适用。文中首先比较了列存储系统中查询优化与行存储系统的不同，在此基础上... 详细信息

研究和实践表明列存储更加适合于大规模数据集上的即席查询的“读优化”应用需求。然而由于列存储的处理对象是列，此时传统的基于规则的查询优化方法并不完全适用。文中首先比较了列存储系统中查询优化与行存储系统的不同，在此基础上提出适合于列存储的启发式查询优化机制，其中包括启发式优化策略、重写规则、左深连接树结构和相关算法。实验表明：该文提出的启发式优化机制能有效减少候选计划的规模，排除大量不可能生成最优计划的计划，使得查询处理代价和执行时间大大减小。

关键词：列存储数据仓库启发式查询优化策略重写规则左深连接树

来源：评论

学校读者我要写书评

暂无评论

基于BD结构的历史数据流存储与查询

引用

计算机应用与软件 2011年第2期28卷 76-79页

作者：檀宝权刘奇志王云汉南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093 武汉工程大学电气信息学院湖北武汉430073

实际应用中,人们往往不仅需要近期数据流,还需要结合大量历史数据流来共同解决问题。研究表明,处理大量历史数据流时,传统数据库索引技术(如B+树)不能提供高的存储利用率和查询效率。针对任意时间段历史数据流的存储查询问题,提出一种基... 详细信息

实际应用中,人们往往不仅需要近期数据流,还需要结合大量历史数据流来共同解决问题。研究表明,处理大量历史数据流时,传统数据库索引技术(如B+树)不能提供高的存储利用率和查询效率。针对任意时间段历史数据流的存储查询问题,提出一种基于BD结构的存储与查询方法。该方法将BDTree和BDHash相结合,能有效降低BDTree的高度,减小索引项的规模,同时可以避免数据结点规模过大。在此基础上,研究了"部分扩充"策略以解决数据插入失败问题。理论分析和实验结果表明,该方法能提高存储空间利用率和查询效率,可以有效应用于历史数据流的存储和查询。

关键词：历史数据流 BD结构部分扩充

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：