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

中文信息学报 2012年第3期26卷 54-58,78页

作者：奚宁李博渊黄书剑陈家骏南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

汉语分词是搭建汉语到其他语言的统计机器翻译系统的一项重要工作。从单语语料中训练得到的传统分词模型并不一定完全适合机器翻译[1]。该文提出了一种基于单语和双语知识的适应于统计机器翻译系统的分词方法。首先利用对齐可信度的概... 详细信息

汉语分词是搭建汉语到其他语言的统计机器翻译系统的一项重要工作。从单语语料中训练得到的传统分词模型并不一定完全适合机器翻译[1]。该文提出了一种基于单语和双语知识的适应于统计机器翻译系统的分词方法。首先利用对齐可信度的概念从双语字对齐语料中抽取可信对齐集合,然后根据可信对齐集合对双语语料中的中文部分重新分词;接着将重新分词的结果和单语分词工具的分词结果相融合,得到新的分词结果,并将其作为训练语料,利用条件随机场模型训练出一个融合了单双语知识的分词工具。该文用该工具对机器翻译所需的训练集、开发集和测试集进行分词,并在基于短语的统计机器翻译系统上进行实验。实验结果表明,该文所提的方法提高了系统性能。

关键词：中文分词统计机器翻译对齐可信度

来源：评论

学校读者我要写书评

暂无评论

一种支持过程动态更新的过程系统设计与实现

引用

计算机科学 2012年第S3期39卷 434-439,442页

作者：徐刚宋巍胡昊吕建南京大学计算机软件新技术国家重点实验室南京210093 南京理工大学计算机科学与工程学院南京210094

在当前开放、变化的Internet环境下,业务过程需要在运行时进行动态更新,同时将原过程下正在运行的实例迁移到更新后的过程模型下。设计了一种支持动态更新的过程系统。在模型层面上,使用AOP(Aspect Orient Programming,面向方面编织)的... 详细信息

在当前开放、变化的Internet环境下,业务过程需要在运行时进行动态更新,同时将原过程下正在运行的实例迁移到更新后的过程模型下。设计了一种支持动态更新的过程系统。在模型层面上,使用AOP(Aspect Orient Programming,面向方面编织)的方法,实现流程运行时动态更新生成新的模型。在引擎层面上,修改原有引擎,使其能够暂停、恢复实例的运行,从而支持实例的动态迁移。在实例层面上,提出了一种实例迁移的算法,为模型提供动态更新的能力。最后,介绍一个应用案例以验证系统的正确性。

关键词：过程动态更新 BPEL AOP

来源：评论

学校读者我要写书评

暂无评论

不确定时间序列的规约方法

引用

计算机工程 2012年第21期38卷 33-35页

作者：吴红花刘国华东华大学计算机科学与技术学院上海201620 南京大学计算机软件新技术国家重点实验室南京210093

为提高不确定时间序列的查询效率,在对不确定时间序列数据集进行建模的基础上,提出由不确定时间序列向确定时间序列的3种规约方法,分别为概率最大法、混合规约法和均值法,并给出具体的规约过程。实验结果表明,上述3种规约方法能减少时... 详细信息

为提高不确定时间序列的查询效率,在对不确定时间序列数据集进行建模的基础上,提出由不确定时间序列向确定时间序列的3种规约方法,分别为概率最大法、混合规约法和均值法,并给出具体的规约过程。实验结果表明,上述3种规约方法能减少时间序列的不确定性,为其相似性匹配、搜索和查询操作提供依据。

关键词：不确定时间序列查询复杂度概率最大法均值法规约方法

来源：评论

学校读者我要写书评

暂无评论

基于业务区分的无线多媒体传感器网络QoS体系结构

引用

计算机工程与应用 2012年第3期48卷 57-60,161页

作者：晏鳌白光伟曹磊南京工业大学计算机科学与技术系南京210009 南京大学计算机软件新技术国家重点实验室南京210093

无线多媒体传感器网络(WMSNs)的网络服务质量(QoS)一直是人们关心的核心问题,然而目前WMSNs的QoS保障研究主要针对单个协议层或特定应用场景,缺少系统性的QoS体系框架研究。结合无线传感器网络自身特点,利用图论对网络进行建模。在此基... 详细信息

无线多媒体传感器网络(WMSNs)的网络服务质量(QoS)一直是人们关心的核心问题,然而目前WMSNs的QoS保障研究主要针对单个协议层或特定应用场景,缺少系统性的QoS体系框架研究。结合无线传感器网络自身特点,利用图论对网络进行建模。在此基础上,提出一种三层可计算QoS指标体系,并根据各种应用不同QoS需求将应用分为四类,设计出一种基于业务区分的无线多媒体传感器网络QoS体系结构(DQoSAW)。以传输MPEG视频流为例对DQoSAW进行验证,实验结果表明DQo-SAW能够显著改进WMSNs的整体性能。

关键词：无线多媒体传感器网络 QoS体系结构区分服务跨层设计

来源：评论

学校读者我要写书评

暂无评论

DHBAM:一种动态层次式带宽分配方法

引用

计算机应用研究 2012年第9期29卷 3401-3404页

作者：宋顺林霍杰陈继明潘金贵江苏大学计算机科学与通信工程学院江苏镇江212013 南京大学计算机软件新技术国家重点实验室南京210093

针对协作式虚拟环境中,协作对象对数据报文的传送有着不同服务要求,提出了一种基于协作层次的动态层次式带宽分配方法。该方法通过带宽预留的方式,能根据协作服务等级和网络链路状况,在主动路由器上对网络带宽进行动态调整,为协作用户... 详细信息

针对协作式虚拟环境中,协作对象对数据报文的传送有着不同服务要求,提出了一种基于协作层次的动态层次式带宽分配方法。该方法通过带宽预留的方式,能根据协作服务等级和网络链路状况,在主动路由器上对网络带宽进行动态调整,为协作用户提供了高质量的带宽传输保证。仿真结果显示,H、M、L层次的用户由于级别不同而在网络负载变化时能得到适合自身层次的带宽。其分析表明,该方法在系统网络负载变化时能保证不同协作用户之间的数据信息传输的质量要求。

关键词：协作式虚拟环境动态层次式带宽分配方法带宽预留服务等级

来源：评论

学校读者我要写书评

暂无评论

基于L曲率的尺度空间形状分析技术

引用

南京大学学报（自然科学版） 2012年第2期48卷 172-181页

作者：郑瑞连钟宝江徐东升南京航空航天大学理学院南京211000 苏州大学计算机科学与技术学院苏州215006 南京大学计算机软件新技术国家重点实验室南京210093

尺度空间技术由于能够很好地模拟人类的视觉机能,已经成为理解和分析图像的一种现代化工具.本文提出了一种基于L曲率的尺度空间形状分析技术.考虑了该技术在形状描述和角点检测中的应用,并具体地给出了一种检测角点的多尺度曲率积算法.... 详细信息

尺度空间技术由于能够很好地模拟人类的视觉机能,已经成为理解和分析图像的一种现代化工具.本文提出了一种基于L曲率的尺度空间形状分析技术.考虑了该技术在形状描述和角点检测中的应用,并具体地给出了一种检测角点的多尺度曲率积算法.L曲率的尺度空间图表明它的零点和极值点关于尺度参数是稳定的,具有较强的鲁棒性.新的角点检测算法能够增强形状特征点的信息,抑制噪声,可以得到良好的实验结果,且计算量较少.

关键词：尺度空间形状分析角点检测 L曲率

来源：评论

学校读者我要写书评

暂无评论

云环境下面向数据密集型应用的数据选择策略研究

引用

计算机科学 2012年第6期39卷 30-34,71页

作者：杜薇崔国华刘伟石飞燕位凯志华中科技大学计算机科学与技术学院武汉430074 武汉理工大学计算机科学与技术学院武汉430063 南京大学计算机软件新技术国家重点实验室南京210093 武汉大学软件工程国家重点实验室武汉430072

云环境下独立任务包数据密集型应用已出现在多个领域。鉴于多数据中心环境和"按需付费"的资源使用模式,这类应用在数据选择方面面临着新的挑战,主要表现为如何从内容相同但位置和访问成本均不同的数据集中选择合适的数据资源... 详细信息

云环境下独立任务包数据密集型应用已出现在多个领域。鉴于多数据中心环境和"按需付费"的资源使用模式,这类应用在数据选择方面面临着新的挑战,主要表现为如何从内容相同但位置和访问成本均不同的数据集中选择合适的数据资源作为应用的输入。针对该问题,首先构建云环境和数据选择问题模型。在此基础上,将成本最小化的数据选择过程抽象为带权重集合的覆盖问题,提出一种新的数据选择策略,以在执行效率和经济成本间取得平衡。实验结果显示,提出的数据选择策略在保证成本优化的同时兼顾了执行效率,综合性能良好。

关键词：云计算独立任务包数据密集型应用数据选择带权重集合覆盖

来源：评论

学校读者我要写书评

暂无评论

操作系统形式化设计与验证综述

引用

计算机工程 2012年第11期38卷 234-238页

作者：钱振江刘苇黄皓南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

对操作系统的形式化设计和验证的概念进行介绍,描述其框架和基本方法。比较和分析操作系统宏内核和微内核结构,调查多个设计和验证项目,阐述项目的验证目标、方法、优缺点和进展情况。在总结研究现状的基础上,分析和展望操作系统形式化... 详细信息

对操作系统的形式化设计和验证的概念进行介绍,描述其框架和基本方法。比较和分析操作系统宏内核和微内核结构,调查多个设计和验证项目,阐述项目的验证目标、方法、优缺点和进展情况。在总结研究现状的基础上,分析和展望操作系统形式化设计和验证的发展趋势,从操作系统模型设计、验证工具、代码实现和验证重用等方面给出形式化设计和验证的思路。

关键词：操作系统形式化设计形式化验证定理证明系统安全框架设计

来源：评论

学校读者我要写书评

暂无评论

一种基于滑动窗口的不确定数据流Top-K查询算法

引用

南京大学学报（自然科学版） 2012年第3期48卷 351-359页

作者：汤克明戴彩艳陈崚南京航空航天大学计算机科学与技术学院南京210016 盐城师范学院信息科学与技术学院盐城224002 扬州大学计算机科学系扬州225009 南京大学计算机软件新技术国家重点实验室南京210093

由于不确定数据流在诸如移动计算、无线射频识别技术和传感器网络等实际应用中广泛存在,如何利用有限存储空间进行快速查询处理是不确定数据流管理的重要问题.本文研究基于滑动窗口模型的不确定数据流Top-K查询的问题,提出了相应的算法... 详细信息

由于不确定数据流在诸如移动计算、无线射频识别技术和传感器网络等实际应用中广泛存在,如何利用有限存储空间进行快速查询处理是不确定数据流管理的重要问题.本文研究基于滑动窗口模型的不确定数据流Top-K查询的问题,提出了相应的算法.该算法利用滑动窗口数据模型存储不确定流数据,建立3个概要表,当前窗口中的元组分别按照它们出现的顺序、它们的得分值的大小、它们的出现概率值的大小存入这3个表中.算法逐次在得分值最高的前若干个元组中选取概率值最高的前k项元组集合,并计算它们的发生概率.我们在理论上证明了,这些前k项元组集合中概率最高的就是Top-K查询结果.实验结果表明,所提出的查询算法在时间与空间复杂性方面优于其他类似的算法.

关键词：不确定数据数据流 Top-K查询滑动窗口

来源：评论

学校读者我要写书评

暂无评论

异构无线传感器网络基于区分服务的网络编码协议

引用

计算机科学 2012年第11期39卷 29-33页

作者：缪静文陶雯白光伟曹磊南京工业大学计算机科学与技术系南京210009 南京大学计算机软件新技术国家重点实验室南京210093 江苏教育学院数学与信息技术学院南京210013

通过将来自多条链路的数据包融合为一个单独的编码信息流进行传输,网络编码技术能够显著地提高无线多跳网络的容量。提出一种基于区分服务的异构无线传感器网络编码协议(DBNC)。协议的核心思想是周期性地计算节点剩余能量的均值和标准差... 详细信息

通过将来自多条链路的数据包融合为一个单独的编码信息流进行传输,网络编码技术能够显著地提高无线多跳网络的容量。提出一种基于区分服务的异构无线传感器网络编码协议(DBNC)。协议的核心思想是周期性地计算节点剩余能量的均值和标准差,对节点进行动态分类。在此基础上,将服务质量需求映射到网络编码协议中。为此,引入能量感知编码包转发机制,以高效地利用节点的能量;另一方面,设计多优先级数据包调度策略,目的是创造更多的编码机会。仿真结果表明,DBNC不仅可以保障数据的可靠传输,而且可有效地减少低能量节点的能耗,从而延长网络的生命周期。

关键词：异构无线传感器网络无线网络编码区分服务能量感知

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：