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

南京大学学报（自然科学版） 2014年第2期50卷 173-180页

作者：曹磊韩涛张婧沈航白光伟南京大学计算机软件新技术国家重点实验室南京210093 南京工业大学计算机科学与技术系南京210009 华为技术有限公司南京210012

为研究和改进无线多媒体传感器网络实时传输视频数据的性能,首先深入分析和研究在无线传感器网络环境下实时传输MPEG视频流存在的主要问题与性能瓶颈,通过分析端到端吞吐量与视频帧发送速率之间的关系,以IFQ队列长度作为反应网络拥塞程... 详细信息

为研究和改进无线多媒体传感器网络实时传输视频数据的性能,首先深入分析和研究在无线传感器网络环境下实时传输MPEG视频流存在的主要问题与性能瓶颈,通过分析端到端吞吐量与视频帧发送速率之间的关系,以IFQ队列长度作为反应网络拥塞程度的重要指标.在此基础上,提出一种基于跨层设计的拥塞感知通信流量控制机制,其基本思路是根据MPEG编码视频序列的特点,当无线链路质量变差,通信拥塞可能出现时,发送节点主动丢弃部分对接收方播放质量不太重要的低优先级视频帧数据,以降低通信负载,增加高优先级视频帧的成功传送概率.为验证该策略的效果,分别设置了简单与复杂场景下的视频传输实验,分析了在多种视频帧发送速率下平均端到端时延,丢包率,可解码帧率等参数指标的变化.实验结果证明,这一策略可以改进视频流在接收方的播放质量,同时减少不必要的能耗.仿真实验结果表明该策略有效克服了性能瓶颈,提高了无线多媒体传感器网络实时多媒体传输的服务质量.

关键词：无线多媒体传感器网络服务质量传感器网络体系结构实时流媒体 Quality of Service(QoS)

来源：评论

学校读者我要写书评

暂无评论

传感器网络中过滤机制下高效top-k查询处理技术

引用

小型微型计算机系统 2014年第1期35卷 44-49页

作者：张慧郑吉平韩秋廷南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

如何能量高效的进行top-k查询处理是无线传感器网络领域中的一个重要课题.节点设置过滤窗口可以避免与top-k查询无关的数据上传到汇聚节点或者基站,因而大大减少传感器网络的通信量,节省传感器节点能量.然而,已有算法如FILA、DAFM,基站... 详细信息

如何能量高效的进行top-k查询处理是无线传感器网络领域中的一个重要课题.节点设置过滤窗口可以避免与top-k查询无关的数据上传到汇聚节点或者基站,因而大大减少传感器网络的通信量,节省传感器节点能量.然而,已有算法如FILA、DAFM,基站到传感器节点的过滤窗口更新中仍然存在很大开销.提出一种基于预测信息更新窗口的top-k查询算法FAPU,该算法根据历史数据采用ARIMA时间序列预测模型对接下来s个时刻的传感器数据进行预测,根据预测信息进行多步窗口更新的代价评估,避免不必要的窗口更新,从而减小窗口更新的能量消耗.实验结果表明在确保top-k查询准确性的同时,本文所提出的FAPU算法与已有算法相比更加能量有效.

关键词：无线传感器网络 top-k Filter-based Monitoring Approach(FILA) 时间序列 AutoRegressive Integrated Moving Average (ARIMA)

来源：评论

学校读者我要写书评

暂无评论

一种基于操作表达式模型的关键软件安全性验证方法研究

引用

小型微型计算机系统 2014年第7期35卷 1578-1584页

作者：曲长亮胡军徐丙凤黄志球南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

目前在安全关键领域,软件系统的安全性分析与验证已经成为软件工程研究中的热点问题,本文工作给出一种基于镜像理论中操作表达式模型的关键软件安全性的验证方法.设计了从操作表达式模型到其分析树的自动转换方法;采用镜像理论的语义公... 详细信息

目前在安全关键领域,软件系统的安全性分析与验证已经成为软件工程研究中的热点问题,本文工作给出一种基于镜像理论中操作表达式模型的关键软件安全性的验证方法.设计了从操作表达式模型到其分析树的自动转换方法;采用镜像理论的语义公理、定理及计算规则对分析树节点进行语义谓词计算,从而得到完整的附有语义谓词的语义树;使用镜像理论的定理证明规则验证语义树中各节点需要满足的安全性质规约;还给出了相应的原型工具和验证实例分析;此方法已在航空航天领域得到实际应用.

关键词：软件分析安全性验证操作表达式镜像理论语义树

来源：评论

学校读者我要写书评

暂无评论

软件修改影响分析研究与进展

引用

电子学报 2014年第12期42卷 2467-2476页

作者：孙小兵李斌陈颖李必信文万志扬州大学信息工程学院江苏扬州225127 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 东南大学计算机科学与工程学院江苏南京211189 南通大学计算机科学与技术学院江苏南通226019

软件修改是软件维护的基本元素,对软件的任何修改会对软件的其他部分造成一些潜在的负面影响.软件修改影响分析就是用来识别软件修改可能带来的潜在影响.修改影响分析在软件维护、回归测试等方面都有着重要的应用.本文对近年来的修改影... 详细信息

软件修改是软件维护的基本元素,对软件的任何修改会对软件的其他部分造成一些潜在的负面影响.软件修改影响分析就是用来识别软件修改可能带来的潜在影响.修改影响分析在软件维护、回归测试等方面都有着重要的应用.本文对近年来的修改影响分析技术进行调查,根据调查结果对修改影响分析技术进行分类和总结,为软件开发和维护人员选择适合的修改影响分析技术提供参考.通过对调查结果的分析,首先,提出了修改影响分析可从分析类型、方法、所支持的语言范型、阶段、层次五个角度进行分类;其次,对软件修改影响分析进行了展望,探讨了修改影响分析在基础理论、工具支持、评价机制、可拓展性、跟踪性等方面还需进一步深入的研究.

关键词：软件修改修改影响分析综述

来源：评论

学校读者我要写书评

暂无评论

基于改进混合蛙跳算法的粗糙属性交叉熵优化约简

引用

南京大学学报（自然科学版） 2014年第2期50卷 159-166页

作者：丁卫平王建东陈森博程学云沈学华南通大学计算机科学与技术学院南通226019 计算机软件新技术国家重点实验室(南京大学) 南京210093 南京航空航天大学计算机科学与技术学院南京210016

结合粗糙集属性约简二进制优化模型,提出一种基于改进混合蛙跳算法的粗糙属性交叉熵优化约简算法,该算法将粗糙集属性划分至不同蛙群进化模因组内,每个模因组内属性集设计成以精英个体为中心力的蛙群并行演化方式,并采用交叉熵最小原理... 详细信息

结合粗糙集属性约简二进制优化模型,提出一种基于改进混合蛙跳算法的粗糙属性交叉熵优化约简算法,该算法将粗糙集属性划分至不同蛙群进化模因组内,每个模因组内属性集设计成以精英个体为中心力的蛙群并行演化方式,并采用交叉熵最小原理进行精英个体寻优全局最优约简集,快速而有效地处理大规模信息系统的属性约简.UCI仿真实验结果表明本文提出的算法在搜索全局最小属性约简解效率和精度方面具有明显优势,该算法应用于含噪音的人脑核磁共振图像MRI分割实验,其对MRI图像分割的高效性进一步表明该算法具有较强的适用性.

关键词：属性约简蛙群模因组中心力算法交叉熵 MRI分割

来源：评论

学校读者我要写书评

暂无评论

基于复杂网络分析的软件高危缺陷评估方法

引用

计算机科学与探索 2014年第8期8卷 956-965页

作者：马皖王莹陈林陈芝菲王子元南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 南京邮电大学计算机学院南京210023

为了评估软件缺陷的风险,提出了一种基于复杂网络分析的软件缺陷评估方法。该方法首先用一个网络模型表达程序实体之间的关系,将源代码中的方法抽象为节点,方法间的调用关系抽象为有向边,以此构造程序源代码网络;然后分别用介数算法和Pa... 详细信息

为了评估软件缺陷的风险,提出了一种基于复杂网络分析的软件缺陷评估方法。该方法首先用一个网络模型表达程序实体之间的关系,将源代码中的方法抽象为节点,方法间的调用关系抽象为有向边,以此构造程序源代码网络;然后分别用介数算法和PageRank算法计算造成软件缺陷的方法节点在源代码全局网络中的地位,由此评估缺陷的风险高低。实验结果表明,该方法在评估内部高危缺陷时有较好的效果,有助于提高软件开发维护人员对一些隐蔽高危缺陷的关注度,进而为后续修复缺陷与软件演化提供有益的线索。

关键词：复杂网络高危缺陷缺陷评估介数 PageRank

来源：评论

学校读者我要写书评

暂无评论

基于词典信息和网络百科的下位词获取

引用

数据采集与处理 2014年第5期29卷 821-827页

作者：宋文杰周俊生曲维光南京师范大学计算机科学与技术学院南京210023 江苏省信息安全保密技术工程研究中心南京210023 南京大学计算机软件新技术国家重点实验室南京210023

对中文下位词自动抽取方法进行研究,提出一种基于词典信息和网络百科的下位词获取方法,旨在构建一个较为完善的上下位词语知识库。基于词典信息的抽取方法利用《中文概念词典》和《中国分类主题词表》中蕴含的格式化信息获取上下位关系... 详细信息

对中文下位词自动抽取方法进行研究,提出一种基于词典信息和网络百科的下位词获取方法,旨在构建一个较为完善的上下位词语知识库。基于词典信息的抽取方法利用《中文概念词典》和《中国分类主题词表》中蕴含的格式化信息获取上下位关系。基于网络百科的抽取方法利用维基百科、百度百科和互动百科,分析百科网页地址和内容格式,利用正则式抽取下位词语。对获取到的下位词进行自动过滤和人工校对,实验表明,与NLP&CC 2012上下位关系评测结果相比,本文方法取得较好效果。

关键词：下位词词典网络百科模式方法正则式

来源：评论

学校读者我要写书评

暂无评论

嵌入式系统软件设计方法与技术专刊前言

引用

软件学报 2014年第2期25卷 177-178页

作者：李宣东于戈计算机软件新技术国家重点实验室(南京大学) 江苏南京210046 东北大学计算机科学与技术学院辽宁沈阳210016

随着计算机硬件设备性能的迅速提高以及嵌入式系统应用领域的不断拓宽，嵌入式系统软件的规模和复杂性急剧增加，软件已经成为嵌入式系统的主要使能部件．近年来，物联网、移动计算、信息物理融合系统等嵌入式系统领域的相关热点不断出... 详细信息

随着计算机硬件设备性能的迅速提高以及嵌入式系统应用领域的不断拓宽，嵌入式系统软件的规模和复杂性急剧增加，软件已经成为嵌入式系统的主要使能部件．近年来，物联网、移动计算、信息物理融合系统等嵌入式系统领域的相关热点不断出现，对嵌入式系统软件设计方法和技术提出了一系列新的挑战．本专刊收录的16篇论文反映了近年来我国学者在嵌入式系统软件设计方法和技术领域的部分研究成果．

关键词：嵌入式系统软件软件设计方法技术硬件设备移动计算融合系统研究成果计算机

来源：评论

学校读者我要写书评

暂无评论

运动模糊图像的摄像机响应函数估计方法

引用

计算机工程 2014年第10期40卷 232-238页

作者：阚未然方贤勇安徽大学计算机科学与技术学院合肥230601 南京大学计算机软件新技术国家重点实验室南京210023

相机响应函数(CRF)存在于照片的形成过程中,是辐照度到图像强度的映射。由于CRF是非线性的,在模糊图像去模糊的过程中有一定的影响,但目前的运动模糊去除算法并未考虑它的影响。为此,研究基于单幅运动模糊图像的CRF估计算法,给出运动模... 详细信息

相机响应函数(CRF)存在于照片的形成过程中,是辐照度到图像强度的映射。由于CRF是非线性的,在模糊图像去模糊的过程中有一定的影响,但目前的运动模糊去除算法并未考虑它的影响。为此,研究基于单幅运动模糊图像的CRF估计算法,给出运动模糊模型与CRF相结合的模糊模型,该模型能准确描述实际运动模糊图的形成过程,并在该模型的基础上提出一种灵活选取边界求解CRF的方法。实验结果证明,与传统方法相比,该方法在求解CRF方法上具有较高的准确性。

关键词：相机响应函数辐照度非线性运动模糊去模糊边界选取

来源：评论

学校读者我要写书评

暂无评论

平均紧性约束下的最坏分离空间平滑判别分析

引用

模式识别与人工智能 2014年第9期27卷 802-807页

作者：牛璐璐陈松灿俞璐南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093 解放军理工大学通信工程学院南京210007

空间平滑的线性判别分析(SLDA)和基于空间平滑欧氏距离的线性判别分析(IMEDA)是目前结合图像特有的空间结构信息进行图像判别降维的两种主要方法,具有比线性判别分析(LDA)更显著的分类效果.与SLDA和IMEDA不同,文中通过参数化投影方向,... 详细信息

空间平滑的线性判别分析(SLDA)和基于空间平滑欧氏距离的线性判别分析(IMEDA)是目前结合图像特有的空间结构信息进行图像判别降维的两种主要方法,具有比线性判别分析(LDA)更显著的分类效果.与SLDA和IMEDA不同,文中通过参数化投影方向,约束平均类内散度(或紧性)上界和最大化最坏类间散度(或分离度),产生的降维算法分别称为WSLDA和WIMEDA.它们的求解最终可归结为简单的特征值优化问题,避免使用完整特征值分解的缺点.在Yale、AR和FERET标准人脸集上的实验验证它们的有效性.

关键词：判别分析空间结构信息空间平滑平均散度特征值优化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：