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

仪器仪表学报 2012年第12期33卷 2747-2753页

作者：徐佳冯鑫肖甫王汝传南京邮电大学计算机学院南京210003 东南大学计算机网络和信息集成教育部重点实验室南京211189 南京大学计算机软件新技术国家重点实验室南京210093

多副本路由协议能有效降低容迟网络消息交付时延。目前的工作仅将节点间的当前质量作为分发依据,忽视了容迟网络固有的大延迟交付特性。提出了分发跳数约束的最优化消息期望时延的路由协议ODCD(optimal expected delay copy dis-seminat... 详细信息

多副本路由协议能有效降低容迟网络消息交付时延。目前的工作仅将节点间的当前质量作为分发依据,忽视了容迟网络固有的大延迟交付特性。提出了分发跳数约束的最优化消息期望时延的路由协议ODCD(optimal expected delay copy dis-semination),能在整个分发时间维度内选择最佳中继节点以优化期望时延。ODCD利用最佳停止规则进行建模,设计了综合性的动态分发尺度和相应的分发规则,并提出了一个用于计算该尺度的反向递归算法。在真实接触数据集上的仿真表明,相比同类算法,ODCD以少量发送成功率上的损失获得了在消息端到端时延和路由代价上的明显优势。

关键词：容迟网络路由协议分发尺度最优化时延

来源：评论

学校读者我要写书评

暂无评论

联盟规范系统及其规范能力极限

引用

软件学报 2012年第7期23卷 1796-1804页

作者：王崇骏吴骏张雷谢俊元南京大学计算机科学与技术系江苏南京210093 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 河海大学计算机与信息学院江苏南京210098

联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展.扩展了ATL的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS进行形式化.为了刻画其规范能力的极限,... 详细信息

联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展.扩展了ATL的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS进行形式化.为了刻画其规范能力的极限,确定了Co-ATL的两个语言片段,分别对应于两类不可改变的系统属性.对NS和CNS之间的关系进行了讨论,表明所得到的结果可以更好地界定NS的能力极限.此外,引入了对执行历史进行编码的有限状态机,进一步对CNS进行了扩展,提出了CNS-M.可以证明,关于CNS能力极限的界定在该扩展下保持稳定.

关键词：规范系统交互时态逻辑联盟并发博弈结构

来源：评论

学校读者我要写书评

暂无评论

基于多尺度几何分析的图像编码研究进展

引用

计算机研究与发展 2010年第6期47卷 1132-1143页

作者：王相海孙强宋传鸣刘丹辽宁师范大学计算机与信息技术学院辽宁大连116029 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

近10年来,在小波变换的理论基础之上,产生了一系列新的能够更加有效地表示和处理高维数据奇异的数学变换,统称为"多尺度几何分析".它们不仅具有多分辨率特性、时频局部性、多方向性和各向异性,而且克服了小波变换表示边缘、... 详细信息

近10年来,在小波变换的理论基础之上,产生了一系列新的能够更加有效地表示和处理高维数据奇异的数学变换,统称为"多尺度几何分析".它们不仅具有多分辨率特性、时频局部性、多方向性和各向异性,而且克服了小波变换表示边缘、轮廓等高维奇异时存在的局限性.目前,有关多尺度几何分析的理论和应用方法的研究已经成为一个新的热点.首先探讨了小波变换的方向特性及其局限性;其次,以多尺度几何分析的发展为主线,对基于各种多尺度几何分析工具的静态图像编码算法进行概述阐述和比较研究,同时分析和讨论了各类算法的优势和不足;最后,对基于多尺度几何分析的图像编码算法的未来发展进行展望.

关键词：图像编码多尺度几何分析脊波变换曲波变换 Bandelet变换轮廓波变换小波变换

来源：评论

学校读者我要写书评

暂无评论

面向系统动态可靠性的自适应目标代码生成方法

引用

计算机应用研究 2018年第2期35卷 493-496页

作者：徐超葛红美何炎祥南京审计大学工学院南京211815 武汉大学计算机学院武汉430072

嵌入式系统工作在体积受限的封闭环境中,运算部件、存储单元等相关元器件体积小,集成度高,不同工作环境、不同使用频度对电子元器件的可靠性将产生重要影响。针对嵌入式系统工作过程中的动态可靠性,提出了面向系统动态可靠性的自适应目... 详细信息

嵌入式系统工作在体积受限的封闭环境中,运算部件、存储单元等相关元器件体积小,集成度高,不同工作环境、不同使用频度对电子元器件的可靠性将产生重要影响。针对嵌入式系统工作过程中的动态可靠性,提出了面向系统动态可靠性的自适应目标代码生成方法。该方法借助于决策树学习算法,构建了系统可靠性评估模型;并以此为指导,设计了多路径目标代码生成方法,使得系统能够根据实际工作状态信息,自适应地执行最佳的路径,以避免系统资源使用的不均衡,提高各运算部件的可靠性。实验表明,该方法将程序对单个处理器最高使用率由80%以上降到了30%以内,将内存单元最大最小访问比例由157.3降到了15.4,有效均衡了各处理器核和内存单元的使用。

关键词：动态可靠性决策树学习多路径代码生成自适应

来源：评论

学校读者我要写书评

暂无评论

带扰动控制系统的形式化设计

引用

控制理论与应用 2015年第2期32卷 178-186页

作者：张晋津张严朱朝晖南京审计学院计算机科学与技术系江苏南京211815 南京航空航天大学计算机科学与技术学院江苏南京210016

利用有限抽象进行控制系统的形式化分析与设计是目前研究较多的一类控制系统分析与设计方法.本文提出两种方法,使用有限抽象,构造出两种控制器,使带扰动的控制系统满足时序逻辑规范.为此,首先在时序逻辑规范上引入"弱化"转换... 详细信息

利用有限抽象进行控制系统的形式化分析与设计是目前研究较多的一类控制系统分析与设计方法.本文提出两种方法,使用有限抽象,构造出两种控制器,使带扰动的控制系统满足时序逻辑规范.为此,首先在时序逻辑规范上引入"弱化"转换函数和"强化"转换函数.进而,利用"弱化"转换函数提出一种方法用于构造控制器,使原系统近似满足给定规范;利用"强化"转换函数,提出另一种方法用于构造控制器,使原系统严格满足给定规范.本文分析比较上述两种方法与文献中已有的方法,指出各自的优缺点和适用范围.最后给出仿真实验,说明上述两种方法的有效性并展示这些方法的不同适用范围.

关键词：反馈控制控制系统设计带扰动控制系统时序逻辑有限抽象

来源：评论

学校读者我要写书评

暂无评论

一种新颖的QAR数据特征提取方法

引用

四川大学学报（工程科学版） 2011年第3期43卷 113-117页

作者：顾彬王建东南京航空航天大学计算机科学与技术系江苏南京210016 南京信息工程大学计算机与软件学院江苏南京210044

针对快速存储器(QAR)数据特征提取问题,首先给出适用于一类分类的最大间隔判别分析方法,并通过增加正交约束,给出适用于一类分类的最大间隔特征提取算法;在此基础上,针对QAR数据大样本的特性,给出正交约束的一类分类问题的最大间隔判别... 详细信息

针对快速存储器(QAR)数据特征提取问题,首先给出适用于一类分类的最大间隔判别分析方法,并通过增加正交约束,给出适用于一类分类的最大间隔特征提取算法;在此基础上,针对QAR数据大样本的特性,给出正交约束的一类分类问题的最大间隔判别分析问题的修改形式,并将该修改形式转化为闭包球问题,进而给出了基于正交约束闭包球的最大间隔QAR数据特征提取方法,通过实验表明该方法对某一机型的飞行纪录数据取得了良好的实验结果,有效解决了QAR数据大样本特征提取的问题。

关键词：空中交通特征提取最小闭包球快速存取纪录器

来源：评论

学校读者我要写书评

暂无评论

一种基于π^t演算的安全协议建模方法

引用

计算机研究与发展 2010年第4期47卷 613-620页

作者：韩进蔡圣闻王崇峻赖海光谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 解放军理工大学指挥自动化学院计算机系南京210007

安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议... 详细信息

安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议、协议攻击者进行形式化建模.基于πt演算的安全协议模型及其建模过程使用NRL协议为例做出了说明.同时给出了攻击者模型,并证明了基于πt演算的安全协议攻击者模型与D-Y攻击者模型在行动能力上是一致的.这保证了基于πt演算的安全协议模型的验证结果的正确性.基于πt演算的建模方法能在协议数据语义、协议参与者知识方面实现细致的描述.与同类方法相比,该方法可提供多种分析支持,具有更好的易用性、重用性.分析表明,该方法可以在建模中发现一定的安全协议漏洞.

关键词：安全协议模型 πt演算安全协议验证类型化系统形式化方法

来源：评论

学校读者我要写书评

暂无评论

基于异类粒球分离度的自适应属性约简

引用

闽南师范大学学报（自然科学版） 2024年第3期37卷 1-16页

作者：黄兵孙可南京审计大学计算机学院

属性约简是处理大规模数据集的关键步骤,与传统的邻域粗糙集(NRS)相比,粒球邻域粗糙集(GBNRS)可以显著提高属性约简的性能.然而,目前GBNRS属性约简算法生成了太多不必要的粒球;从而极大降低了算法运行效率.文章首先定义了一种新的粒球... 详细信息

属性约简是处理大规模数据集的关键步骤,与传统的邻域粗糙集(NRS)相比,粒球邻域粗糙集(GBNRS)可以显著提高属性约简的性能.然而,目前GBNRS属性约简算法生成了太多不必要的粒球;从而极大降低了算法运行效率.文章首先定义了一种新的粒球质量指标来控制生成自适应数量的粒球;然后通过粒球对样本集进行划分,将不同类别的样本点放入不同类别的粒球;最后根据不同属性集合下粒球中正域样本的数量来进行前向属性约简.为了验证算法的有效性,在12个真实数据集上将提出的算法与其他NRS属性约简算法进行了对比实验.实验结果表明,所提出的算法有更高的精度和更快的运行效率.

关键词：自适应粒球属性约简粒球邻域粗糙集邻域粗糙集分离度

来源：评论

学校读者我要写书评

暂无评论

Gabor相位特征的人脸光照不变量提取

引用

中国图象图形学报 2012年第5期17卷 676-681页

作者：范春年张福炎南京大学计算机系南京210092 南京信息工程大学计算机与软件学院南京210044

为了消除光照变化对人脸识别的影响,提出一种基于Gabor相位特征的光照不变量提取算法。该算法首先对图像进行光照归一化,一定程度上减弱了不同光照条件的影响;然后利用一组不同方向的2维实Gabor小波对图像进行变换,在兼顾频谱与相位信... 详细信息

为了消除光照变化对人脸识别的影响,提出一种基于Gabor相位特征的光照不变量提取算法。该算法首先对图像进行光照归一化,一定程度上减弱了不同光照条件的影响;然后利用一组不同方向的2维实Gabor小波对图像进行变换,在兼顾频谱与相位信息的情况下组合变换后的Gabor系数,提取其相位特征,得到光照不变量。在Yale B和CMU PIE人脸库上的实验结果表明,该算法能够有效消除光照变化对人脸识别的影响,提取的光照不变量具有一定的鲁棒性。

关键词： Gabor小波相位特征光照变化人脸识别

来源：评论

学校读者我要写书评

暂无评论

一种融合情景和评论信息的位置社交网络兴趣点推荐模型

引用

计算机研究与发展 2016年第4期53卷 752-763页

作者：高榕李晶杜博余永红宋成芳丁永刚武汉大学计算机学院武汉430072 计算机软件新技术国家重点实验室(南京大学) 南京210046 湖北大学教育学院武汉430062

随着位置社交网络(location-based social network,LBSN)的快速增长,兴趣点(point-ofinterest,POI)推荐已经成为一种帮助人们发现有趣位置的重要方式.现有的研究工作主要是利用用户签到的历史数据及其情景信息(如地理信息、社交关系)来... 详细信息

随着位置社交网络(location-based social network,LBSN)的快速增长,兴趣点(point-ofinterest,POI)推荐已经成为一种帮助人们发现有趣位置的重要方式.现有的研究工作主要是利用用户签到的历史数据及其情景信息(如地理信息、社交关系)来提高推荐质量,而忽视了利用兴趣点相关的评论信息.但是,现实中用户在LBSN中只对少数兴趣点进行签到,使得用户签到历史数据及其情景信息极其稀疏,这对兴趣点推荐来说是一个巨大的挑战.为此,提出了一种新的兴趣点推荐模型,称为GeoSoRev模型.该模型在已有的基于矩阵分解的经典推荐模型的基础上,融合关于兴趣点的评论信息、用户社交关联和地理信息这3个因素进行兴趣点推荐.基于2个来自Foursquare的真实数据集的实验结果表明,与其他主流的兴趣点推荐模型相比,GeoSoRev模型在准确率和召回率等多项评价指标上都取得了显著的提高.

关键词：地点推荐矩阵分解社交关系地理信息评论文本

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：