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

情报理论与实践 2012年第4期35卷 103-108页

作者：张莉苏新宁王东波南京大学信息管理学院江苏南京210093 南京大学计算机科学与技术系国家重点实验室江苏南京210093

相对于传统的产品领域意见挖掘研究,文章对中文通用领域的意见挖掘各部分内容进行了尝试性研究。利用基于多种语言特征和候选评价对象的条件随机场模型进行观点表达抽取,对有窗口限制的最近邻方法进行改进,提出一种评价对象—观点表达... 详细信息

相对于传统的产品领域意见挖掘研究,文章对中文通用领域的意见挖掘各部分内容进行了尝试性研究。利用基于多种语言特征和候选评价对象的条件随机场模型进行观点表达抽取,对有窗口限制的最近邻方法进行改进,提出一种评价对象—观点表达对的匹配算法,其对评价对象抽取效果也进行了进一步的修正。

关键词：通用领域意见挖掘评价对象观点表达

来源：评论

学校读者我要写书评

暂无评论

基于支持向量数据描述的P2P流量识别

引用

吉林大学学报（工学版） 2012年第4期42卷 947-951页

作者：刘三民孙知信南京航空航天大学计算机科学与技术学院南京210016 安徽工程大学计算机与信息学院安徽芜湖241000 南京邮电大学计算机技术研究所南京210003 南京大学计算机软件新技术国家重点实验室南京210093

借鉴聚类思想引入基于支持向量数据描述(SVDD)的原理,建立P2P流量识别模型。该模型首先用主成分分析法(PCA)对训练集降维,然后用SVDD方法寻找包含大部分样本最小超球,保留各自支持向量样本点作为识别模型;然后计算测试样本距各球心距离... 详细信息

借鉴聚类思想引入基于支持向量数据描述(SVDD)的原理,建立P2P流量识别模型。该模型首先用主成分分析法(PCA)对训练集降维,然后用SVDD方法寻找包含大部分样本最小超球,保留各自支持向量样本点作为识别模型;然后计算测试样本距各球心距离,距离近者为其所属类别。该模型简单,适合P2P流量识别环境,克服了现有基于机器学习的流量识别方法在多类分类中模型复杂、数据不平衡等缺点。实验结果表明,该模型具有较高的分类精度和可靠性。

关键词：计算机系统结构支持向量数据描述主成分分析 P2P流量识别

来源：评论

学校读者我要写书评

暂无评论

基于业务区分的无线多媒体传感器网络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体系结构区分服务跨层设计

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

间歇性连接移动自组网中自适应喷雾路由协议

引用

南京理工大学学报 2012年第2期36卷 296-303页

作者：徐佳廖俊肖甫刘凤玉南京邮电大学计算机学院江苏南京210003 南京理工大学计算机科学与技术学院江苏南京210094 东南大学计算机网络和信息集成教育部重点实验室江苏南京211189 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对传统喷雾路由协议缺乏自适应能力的问题,该文提出一种适用于间歇性连接移动自组织网络的可预测自适应种子喷雾(PASS)路由协议。该PASS路由协议在业务源端检查应用层发送时延要求的合理性,并预测路由代价;被授权的中继节点根据当前... 详细信息

针对传统喷雾路由协议缺乏自适应能力的问题,该文提出一种适用于间歇性连接移动自组织网络的可预测自适应种子喷雾(PASS)路由协议。该PASS路由协议在业务源端检查应用层发送时延要求的合理性,并预测路由代价;被授权的中继节点根据当前网络环境动态建立时延与喷雾深度的映射关系。仿真结果表明,该PASS路由协议能在缺乏网络参数的动态网络环境中满足时延约束,是一种有效的低代价时延约束路由协议。

关键词：种子喷雾间歇性连接移动自组织网络时延约束路由协议

来源：评论

学校读者我要写书评

暂无评论

一种基于模型结合的错误定位方法

引用

中国科技论文 2012年第1期7卷 19-27页

作者：唐启锋许蕾钱巨陈林张震宇南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093 南京航空航天大学计算机科学与技术学院南京210016 中国科学院软件研究所计算机科学国家重点实验室北京100080

目前大多数错误定位技术的研究均基于单一类型的程序节点(如语句、谓词等),其效果往往只在定位相应类型的错误时表现较好,而定位其他类型的程序错误时则表现不佳。为此,借鉴机器学习领域中集成学习的思想,建立多错误定位方法相结合的错... 详细信息

目前大多数错误定位技术的研究均基于单一类型的程序节点(如语句、谓词等),其效果往往只在定位相应类型的错误时表现较好,而定位其他类型的程序错误时则表现不佳。为此,借鉴机器学习领域中集成学习的思想,建立多错误定位方法相结合的错误定位模型,并综合了基于语句覆盖信息和程序谓词信息这2种错误定位方法,提出了3种新的错误定位方法。实验结果表明,相对于此前单一的方法,所提出的2种方法具有更高的错误定位效率和更强的适应性。

关键词：错误定位.集成学习程序分析软件调试

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

无人机飞控软件系统建模与测试用例生成研究

引用

计算机科学 2012年第7期39卷 112-118页

作者：吴黎明胡军曹东徐丙凤于笑丰南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093 南京航空航天大学自动化学院南京210016 南京大学商学院南京210093

软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战。采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动... 详细信息

软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战。采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动态行为的形式化模型实例;结合无人机FCS系统的应用背景,建立了基于时间自动机模型的测试用例生成方法,包括建立测试用例生成框架、测试用例生成规则以及用例生成策略等;对某型无人机飞控软件系统中的主控模块进行了建模与测试用例生成的实例分析研究。

关键词：模型驱动工程基于模型的测试飞行控制软件时间自动机无人机系统

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于区域划分的连通支配集协议

引用

计算机工程与设计 2012年第4期33卷 1319-1323页

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

针对规模较大、节点分布密集的无线传感器网络容易产生冗余数据包以及信号冲突,导致过多的节点能量消耗,加速死亡过程等问题,在深入研究现有的分布式连通支配集构造算法的基础上,提出基于区域划分的连通支配集协议——RPMPR协议。RPMPR... 详细信息

针对规模较大、节点分布密集的无线传感器网络容易产生冗余数据包以及信号冲突,导致过多的节点能量消耗,加速死亡过程等问题,在深入研究现有的分布式连通支配集构造算法的基础上,提出基于区域划分的连通支配集协议——RPMPR协议。RPMPR协议中每个节点针对网络拓扑信息,对邻居节点进行区域划分,在各区域内选择中继转发节点集,并以节点的度作为选择支配节点的依据,构建覆盖全网的连通支配集。仿真实验结果表明,RPMPR协议充分考虑网络拓扑信息,显著减小连通支配集规模,同时支配节点分布更为均匀。

关键词：无线传感网络虚拟骨干网连通支配集区域划分稀疏分布

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：