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

微电子学与计算机 2016年第5期33卷 80-84页

作者：王世强邢建春李决龙杨启亮解放军理工大学国防工程学院江苏南京210007 海防工程技术研究中心北京100841 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

基于无中心智能控制系统,提出了传感器故障诊断的无中心自组织算法.以系统出现故障的传感器数目总是少数为假设条件,通过物理基本原理建立约束方程,利用各相邻节点的等式和不等式约束,通过假设检验,投票统计来对传感器故障进行诊断.与... 详细信息

基于无中心智能控制系统,提出了传感器故障诊断的无中心自组织算法.以系统出现故障的传感器数目总是少数为假设条件,通过物理基本原理建立约束方程,利用各相邻节点的等式和不等式约束,通过假设检验,投票统计来对传感器故障进行诊断.与传统的集中式和分布式算法不同,该算法无需构建中心节点,不必增加硬件或时序冗余,因而不局限于时空相似性判定.通过大量仿真实验,验证了该算法对单个或多个传感器故障均能做出正确的判定.

关键词：控制系统传感器故障诊断约束方程无中心算法

来源：评论

学校读者我要写书评

暂无评论

基于双L_0稀疏先验的图像运动去模糊

引用

计算机应用与软件 2016年第6期33卷 207-211页

作者：陶宗勤方贤勇谈业静陈尚文安徽大学媒体计算研究所安徽合肥230601 南京大学计算机软件新技术国家重点实验室江苏南京210023

目前图像的运动去模糊方法在处理较复杂的运动模糊时难以得到理想的效果,其原因之一是这些方法普遍只考虑图像梯度的稀疏性,忽略了模糊核的稀疏性。针对这一不足提出一种新的双L_0正则约束的运动模糊去除方法,该方法同时对自然图像梯度... 详细信息

目前图像的运动去模糊方法在处理较复杂的运动模糊时难以得到理想的效果,其原因之一是这些方法普遍只考虑图像梯度的稀疏性,忽略了模糊核的稀疏性。针对这一不足提出一种新的双L_0正则约束的运动模糊去除方法,该方法同时对自然图像梯度和模糊核使用L_0正则约束,结合半正定二次分裂最小化的方法进行求解优化,实现自然模糊图像梯度和模糊核均稀疏下的模糊核估计,并进一步使用L_(0.5)超拉普拉斯正则约束项恢复最终图像。实验发现,该方法可以较好地去除单幅图像较复杂的运动模糊,更好地克服了估计的模糊核中存在的噪点和错误,得到较现有方法更加理想去模糊效果。

关键词： L.正则约束运动去模糊半正定二次分裂

来源：评论

学校读者我要写书评

暂无评论

整数漏洞研究:安全模型、检测方法和实例

引用

软件学报 2015年第2期26卷 413-426页

作者：孙浩曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

C/C++语言中整型的有限表示范围、不同符号或长度间的类型转换导致了整数漏洞的发生,包括整数上溢、整数下溢、符号错误和截断错误.攻击者常常间接利用整数漏洞实施诸如恶意代码执行、拒绝服务等攻击行为.综述了整数漏洞的研究进展,从... 详细信息

C/C++语言中整型的有限表示范围、不同符号或长度间的类型转换导致了整数漏洞的发生,包括整数上溢、整数下溢、符号错误和截断错误.攻击者常常间接利用整数漏洞实施诸如恶意代码执行、拒绝服务等攻击行为.综述了整数漏洞的研究进展,从缺陷发生后行为的角度提出了新的整数漏洞安全模型,总结了判定整数漏洞的充分条件.从漏洞判定规则对充分条件覆盖的角度对现有检测方法进行比较和分析.通过实例分析,讨论了整数漏洞在现实中的特征分布.最后指出了整数漏洞研究中存在的挑战和有待进一步研究的问题.

关键词：整数漏洞缺陷发生后行为安全模型故意使用实例研究

来源：评论

学校读者我要写书评

暂无评论

设备驱动程序可靠性和正确性保障方法与技术研究进展

引用

软件学报 2015年第2期26卷 239-253页

作者：张一帆黄超欧建生汤恩义陈鑫南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设备3个方面同时关联所导... 详细信息

随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设备3个方面同时关联所导致的复杂性,设备驱动程序的开发难度大、成本高,程序中所存在的错误和缺陷常常导致系统失效,在安全攸关领域造成不可挽回的损失.以设备驱动程序可靠性和正确性保障为目标,分别从故障的隔离与恢复、正确性分析和验证、设计建模与复杂性控制这3个方面对当前相关方法和技术进行分析,为开展进一步深入的研究工作打下基础.

关键词：安全攸关软件系统设备驱动程序可靠性正确性

来源：评论

学校读者我要写书评

暂无评论

一种面向列车控制系统中安全攸关场景的测试用例自动生成方法

引用

软件学报 2015年第2期26卷 269-278页

作者：陈鑫姜鹏张一帆黄超周岩计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生... 详细信息

列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性.

关键词：安全攸关场景场景建模简单路径覆盖测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

中英命名实体识别及对齐中的中文分词优化

引用

电子学报 2015年第8期43卷 1481-1487页

作者：尹存燕黄书剑戴新宇陈家骏南京大学计算机软件新技术国家重点实验室江苏南京210023 南京大学计算机科学与技术系江苏南京210023

中文分词结果对中英命名实体识别及对齐有着直接的影响,本文提出了一种命名实体识别及对齐中的中文分词优化方法.该方法利用实体词汇的对齐信息,首先修正命名实体识别结果,然后根据实体对齐结果调整分词粒度、修正错误分词.分词优化后... 详细信息

中文分词结果对中英命名实体识别及对齐有着直接的影响,本文提出了一种命名实体识别及对齐中的中文分词优化方法.该方法利用实体词汇的对齐信息,首先修正命名实体识别结果,然后根据实体对齐结果调整分词粒度、修正错误分词.分词优化后的结果使得双语命名实体尽可能多地实现一一对应,进而提高中英命名实体翻译抽取和统计机器翻译的效果.实验结果表明了本文优化方法的有效性.

关键词：分词命名实体识别双语对齐机器翻译

来源：评论

学校读者我要写书评

暂无评论

时间加权的混合推荐算法

引用

计算机科学 2016年第S2期43卷 451-454页

作者：邹凌君陈崚李娟金陵科技学院信息化建设与管理中心南京211169 扬州大学信息学院计算机系扬州225009 南京大学软件新技术国家重点实验室南京210093 金陵科技学院计算机工程学院南京211169

提出了一种基于时间加权的混合推荐方法。该方法分为离线和在线两个阶段,离线阶段根据目标用户对物品的评价等信息得到与目标用户有相似兴趣的邻居,并构建物品描述模型;在线阶段根据目标用户和邻居用户的评价行为构建用户描述模型。由... 详细信息

提出了一种基于时间加权的混合推荐方法。该方法分为离线和在线两个阶段,离线阶段根据目标用户对物品的评价等信息得到与目标用户有相似兴趣的邻居,并构建物品描述模型;在线阶段根据目标用户和邻居用户的评价行为构建用户描述模型。由于用户兴趣会随外部因素而产生概念漂移,因此在算法中引入衰减系数以提高推荐质量。在滑动窗口模型下,每隔一定时间间隔,更新用户模型和相似群组,产生个性化的推荐。实验结果表明,该算法能实时反映用户兴趣,提高推荐系统的准确率,有较高的用户满意度。

关键词：个性化推荐时间权重混合推荐 Logistic函数

来源：评论

学校读者我要写书评

暂无评论

基于主成分分析的帕金森量表优化

引用

数据采集与处理 2015年第5期30卷 1020-1027页

作者：雷少正王崇骏谢俊元南京大学计算机科学与技术系南京210023 南京大学软件新技术国家重点实验室南京210023

西医量表是评估帕金森病(Parkinson′s disease,PD)的重要依据,而这些量表包含大量交叉重复问题,不利于快速评估帕金森病。因此,优化这些西医量表对快速诊断帕金森病有非常重要的意义。针对该问题,提出了基于主成分分析(Principal compo... 详细信息

西医量表是评估帕金森病(Parkinson′s disease,PD)的重要依据,而这些量表包含大量交叉重复问题,不利于快速评估帕金森病。因此,优化这些西医量表对快速诊断帕金森病有非常重要的意义。针对该问题,提出了基于主成分分析(Principal component anaysis,PCA)的量表问题的优化算法。本文提出的算法先是基于主成分分析提取出加权投影向量,然后在投影向量的基础上采用基于大津阈值(Otsu)局部递归分割算法划分量表,最后基于贡献度因子(Contribution factor,CF)设计新量表。实验通过采用支持向量机(Support vector machine,SVM)识别帕金森病,发现用仅占原西医量表总问题数的21%的新量表能达到与原量表相当的识别水平。

关键词：帕金森病量表优化主成分分析大津阈值局部递归分割加权投影向量贡献度因子

来源：评论

学校读者我要写书评

暂无评论

三态量子行走的吸收边界问题

三态量子行走的吸收边界问题

引用

第十七届全国量子光学学术会议

作者：王琨吴楠 Parker Kuklinski 徐平胡海星宋方敏南京大学计算机科学与技术系计算机软件新技术国家重点实验室 Department of Mathematics Boston University 固体微结构物理国家重点实验室

作为一种特殊的离散量子行走模型,三态量子行走的演化行为与二态量子行走有显著的区别。本文使用生成函数和离散路径积分的方法研究了三态离散量子行走存在吸收边界时的吸收概率问题。我们理论证明和数值模拟了吸收概率和吸收边界的位... 详细信息

作为一种特殊的离散量子行走模型,三态量子行走的演化行为与二态量子行走有显著的区别。本文使用生成函数和离散路径积分的方法研究了三态离散量子行走存在吸收边界时的吸收概率问题。我们理论证明和数值模拟了吸收概率和吸收边界的位置关系,观察并分析三态量子行走中存在的双峰局域化现象。

关键词：吸收边界

来源：评论

学校读者我要写书评

暂无评论

演化Pareto优化与子集选择学习

演化Pareto优化与子集选择学习

引用

第三届中国演化计算与学习研讨会(ECOLE 2016)

作者：俞扬南京大学软件新技术国家重点实验室机器学习与数据挖掘研究所

Approximation analysis of Pareto optimization，proposed an analysis framework，can be the best approximation algorithm，Apply to subset selection，selective ensemble problem: Pareto ensemble pruning，sparse regression problem: Pareto sparse regression，Well parallelizable algorithm，With theoretical justifications, we aim at solving learningproblems *** increasing number of processors, the number of iterations can becontinuously reduced, eventually to a constant.

关键词：演化计算优化算法子集选择学习

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：