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

计算机应用与软件 2014年第7期31卷 43-46,65页

作者：贺志宏曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210046 南京大学计算机科学与技术系江苏南京210046

提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分解模式,根据子属性构建的切片准则进行程序切片,利用SPIN对切片后的等价简化模型进行检测,从而将对原模... 详细信息

提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分解模式,根据子属性构建的切片准则进行程序切片,利用SPIN对切片后的等价简化模型进行检测,从而将对原模型上属性的检测转化成对复杂度较低的子模型上各子属性的分别检测。实验结果表明,该方法具有一定的有效性。

关键词：线性时序逻辑属性模型检测属性分解静态程序切片

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

传感器网络中过滤机制下高效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年第12期41卷 251-254,287页

作者：孙建坤杨若瑜南京大学计算机科学与技术系南京210046 南京大学软件新技术国家重点实验室南京210046

从视频中自动识别烟雾在火灾早期预报警、尾气识别等实际应用中具有重要意义。烟雾检测的难点之一在于如何排除与烟雾颜色相近的运动对象的干扰。为了保证检测效果和实时性,提出使用静态的小波统计特征来排除汽车、行人等干扰区域。该... 详细信息

从视频中自动识别烟雾在火灾早期预报警、尾气识别等实际应用中具有重要意义。烟雾检测的难点之一在于如何排除与烟雾颜色相近的运动对象的干扰。为了保证检测效果和实时性,提出使用静态的小波统计特征来排除汽车、行人等干扰区域。该算法首先使用背景剪除法获取运动区域,然后利用颜色直方图映射来提取符合烟雾色彩特征的疑似区,最后分别对背景和相应的视频帧做小波变换并对二者求差,根据差值图像的统计特征来去除疑似区域中的非烟雾物体。实验结果表明,该方法正确率较高,检错率较低,且基本达到实时效果。

关键词：烟雾检测背景减除直方图反射小波变换

来源：评论

学校读者我要写书评

暂无评论

无线网络视频感知机会网络编码协议及其仿真研究

引用

系统仿真学报 2014年第2期26卷 345-352页

作者：李懿雯白光伟沈航曹磊南京工业大学计算机科学与技术系南京210009 南京理工大学高维信息感知与系统教育部重点实验室南京210094 南京大学计算机软件新技术国家重点实验室南京210093

提出一种无线网络视频感知的机会网络编码协议(VONC)。该协议根据视频流数据包的重要程度以及无线网络的链路状况,用效用增益函数来评估每个数据包对视频质量的贡献程度,而后根据其效用增益值的大小,采用多优先级的调度机制接入信道,以... 详细信息

提出一种无线网络视频感知的机会网络编码协议(VONC)。该协议根据视频流数据包的重要程度以及无线网络的链路状况,用效用增益函数来评估每个数据包对视频质量的贡献程度,而后根据其效用增益值的大小,采用多优先级的调度机制接入信道,以提高网络视频传输质量。另一方面,针对视频流传输过程中的拥塞问题,提出拥塞感知的流控制机制(CFC),与上述网络编码体系协同工作,以提高高优先级数据包成功传输概率。有针对性地设计了一系列仿真实验。结果表明,VONC能够有效提高重要视频帧的可解码率,网络视频传输质量得到显著改善。

关键词：网络编码机会转发视频感知拥塞控制

来源：评论

学校读者我要写书评

暂无评论

无线多媒体传感器网络拥塞感知的流控制机制

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于软件网络的软件系统演化规律验证和模拟

引用

中国科学：信息科学 2014年第1期44卷 20-36页

作者：顾庆陈道蓄南京大学计算机科学与技术系软件新技术国家重点实验室南京210023

演化是计算机软件的固有特性.了解演化规律,可以改进软件演化过程,提高软件质量,降低维护成本.本文定义类依赖图,将软件系统描述为软件网络,基于网络度量验证软件演化规律,并讨论软件演化建模的可行性.首先针对Lehman的8项演化定律,设计... 详细信息

演化是计算机软件的固有特性.了解演化规律,可以改进软件演化过程,提高软件质量,降低维护成本.本文定义类依赖图,将软件系统描述为软件网络,基于网络度量验证软件演化规律,并讨论软件演化建模的可行性.首先针对Lehman的8项演化定律,设计3个方面的网络度量:网络规模、网络质量、以及结构控制.然后基于四个开源软件系统构建软件网络,统计网络度量;实证研究表明:支持Lehman的4项演化定律,否定另外3项,即复杂度提升、持续增长、以及质量折旧定律.最后分别采用E-R模型和模块依附模型模拟软件系统的演化过程,所生成的随机网络同软件网络的比较结果说明,软件演化存在客观规律,能够通过建模来重现甚至优化.

关键词：软件演化复杂网络软件演化定律类依赖图随机网络

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：