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

软件学报 2016年第5期27卷 1309-1324页

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

在现代操作系统中,内核运行在最高特权层,管理底层硬件并向上层应用程序提供系统服务,因而安全敏感的应用程序很容易受到来自底层不可信内核的攻击.提出了一种在不可信操作系统内核中保护应用程序的方法App Fort.针对现有方法的高开销问... 详细信息

在现代操作系统中,内核运行在最高特权层,管理底层硬件并向上层应用程序提供系统服务,因而安全敏感的应用程序很容易受到来自底层不可信内核的攻击.提出了一种在不可信操作系统内核中保护应用程序的方法App Fort.针对现有方法的高开销问题,App Fort结合x86硬件机制(操作数地址长度)、内核代码完整性保护和内核控制流完整性保护,对不可信内核的硬件操作和软件行为进行截获和验证,从而高效地保证应用程序的内存、控制流和文件I/O安全.实验结果表明:App Fort的开销极小,与现有工作相比明显提高了性能.

关键词：不可信操作系统内核应用程序保护操作数地址长度

来源：评论

学校读者我要写书评

暂无评论

基于硬件虚拟化的安全高效内核监控模型

引用

软件学报 2016年第2期27卷 481-494页

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

传统的基于虚拟化内核监控模型存在两个方面的不足:(1)虚拟机监控器(virtual machine monitor,简称VMM)过于复杂,且存在大量攻击面(attack surface),容易受到攻击;(2)VMM执行过多虚拟化功能,产生严重的性能损耗.为此,提出了一种基于硬... 详细信息

传统的基于虚拟化内核监控模型存在两个方面的不足:(1)虚拟机监控器(virtual machine monitor,简称VMM)过于复杂,且存在大量攻击面(attack surface),容易受到攻击;(2)VMM执行过多虚拟化功能,产生严重的性能损耗.为此,提出了一种基于硬件虚拟化的安全、高效的内核监控模型Hyper *** NE舍弃VMM中与隔离保护无关的虚拟化功能,允许被监控系统直接执行特权操作,而无需与VMM交互;同时,Hyper NE利用硬件虚拟化中的新机制,在保证安全监控软件与被监控系统隔离的前提下,两者之间的控制流切换也无需VMM干预.这样,Hyper NE一方面消除了VMM的攻击面,有效地削减了监控模型TCB(trusted computing base);另一方面也避免了虚拟化开销,显著提高了系统运行效率和监控性能.

关键词：虚拟化内核监控特权模式切换攻击面

来源：评论

学校读者我要写书评

暂无评论

面向类别比例偏移的半监督支持向量机方法

引用

模式识别与人工智能 2016年第7期29卷 625-632页

作者：李远肇王少博李宇峰南京大学计算机软件新技术国家重点实验室南京210023

当未标记数据与有标记数据类别比例偏移较大时,半监督支持向量机性能不佳.基于此情况,文中提出面向类别比例偏移的半监督支持向量机方法.首先估计未标记数据类中心,然后对多个类别比例下的类中心进行最坏情况集成,从而提升半监督支持向... 详细信息

当未标记数据与有标记数据类别比例偏移较大时,半监督支持向量机性能不佳.基于此情况,文中提出面向类别比例偏移的半监督支持向量机方法.首先估计未标记数据类中心,然后对多个类别比例下的类中心进行最坏情况集成,从而提升半监督支持向量机的性能保障.实验表明,文中方法有效提升半监督支持向量机在类别比例偏移时的性能保障.

关键词：半监督学习半监督支持向量机类别比例偏移集成方法

来源：评论

学校读者我要写书评

暂无评论

Rings游戏开发在《Java语言程序设计A》课程中的应用研究

引用

现代计算机 2017年第8期23卷 15-17页

作者：陈兴国南京邮电大学计算机学院/软件学院南京210023 南京大学计算机软件新技术国家重点实验室南京210046

传统的语言程序设计课程的教学方式都以教师按部就班的课堂讲授和练习为主。对大一新生来说难以理解和消化,从而产生对语言类程序设计课程的抵触情绪。通过在《Java语言程序设计A》课程中引入Rings游戏开发,不仅激发学生的学习兴趣、贯... 详细信息

传统的语言程序设计课程的教学方式都以教师按部就班的课堂讲授和练习为主。对大一新生来说难以理解和消化,从而产生对语言类程序设计课程的抵触情绪。通过在《Java语言程序设计A》课程中引入Rings游戏开发,不仅激发学生的学习兴趣、贯穿课程的知识点、在一定程度上防止沉迷游戏,而且有效地锻炼学生的思考和解决问题的能力。在游戏开发基础上,通过智能算法竞赛,引领学生走进人工智能科学前沿。

关键词：游戏开发程序设计人工智能

来源：评论

学校读者我要写书评

暂无评论

基于滑动窗口均值先验的非同构动态贝叶斯网络转换点检测算法

引用

模式识别与人工智能 2016年第8期29卷 751-759页

作者：俞露高阳史颖欢南京大学计算机软件新技术国家重点实验室南京210023

为了放宽动态贝叶斯网络中的同构假设,提出非同构贝叶斯网络.基于此种情况,文中提出结合先验知识的可逆跳转的马尔可夫链蒙特卡洛算法(APK-RJ-MCMC).算法基本假设为如果一个时间点左右窗口中数据均值间的欧氏距离越大,则这个时间点作为... 详细信息

为了放宽动态贝叶斯网络中的同构假设,提出非同构贝叶斯网络.基于此种情况,文中提出结合先验知识的可逆跳转的马尔可夫链蒙特卡洛算法(APK-RJ-MCMC).算法基本假设为如果一个时间点左右窗口中数据均值间的欧氏距离越大,则这个时间点作为转换点的可能性越高.基于上述假设,可得到关于每个时间点作为转换点可能性的粗略估计,将其作为先验知识调控可逆跳转的马尔可夫蒙特卡洛采样技术(RJ-MCMC)采样转换点时的生成、消除、转换动作的提议概率之比,进而调节状态跳转时的接受概率.在人工数据集和基因数据集上的实验表明,相比其它算法,APK-RJ-MCMC在转换点检测上具有更高的检测后验概率.

关键词：非同构动态贝叶斯网络可逆跳转马尔可夫链蒙特卡洛采样算法(RJ—MCMC) 分布距离先验知识

来源：评论

学校读者我要写书评

暂无评论

半监督软件缺陷挖掘研究综述

引用

数据采集与处理 2016年第1期31卷 56-64页

作者：黎铭霍轩南京大学计算机软件新技术国家重点实验室南京210023

软件质量是计算机系统安全可靠运行的保障,而软件缺陷是导致软件质量低下的重要诱因。软件缺陷挖掘技术凭借其能够通过对软件代码及其相关数据进行分析建模,发现软件系统潜在的缺陷,已得到了软件质量保障领域的广泛关注。要准确发现软... 详细信息

软件质量是计算机系统安全可靠运行的保障,而软件缺陷是导致软件质量低下的重要诱因。软件缺陷挖掘技术凭借其能够通过对软件代码及其相关数据进行分析建模,发现软件系统潜在的缺陷,已得到了软件质量保障领域的广泛关注。要准确发现软件模块中潜在的缺陷,需要利用大量带有缺陷情况标注的模块进行学习。然而,缺陷情况标注往往需要通过详细测试或人工代码检查获取,要消耗大量测试和人工资源,在实际应用中难以满足,这严重制约了软件缺陷挖掘的性能。针对这一问题,半监督学习技术被引入软件缺陷挖掘,通过对大量缺少标注的模块进行利用,辅助提升软件缺陷挖掘的性能。本文对半监督缺陷挖掘技术的研究现状进行综述。首先综述了软件缺陷挖掘研究现状,然后简要介绍了半监督学习的4种学习范式;最后系统梳理了基于半监督学习进行软件缺陷挖掘的多种方法与技术。

关键词：软件挖掘机器学习半监督学习软件缺陷挖掘

来源：评论

学校读者我要写书评

暂无评论

基于复杂网络方法的泻白散类方配伍规律研究

引用

中国中药杂志 2017年第9期42卷 1787-1791页

作者：王鹏丽范玉浩范欣生王崇峻南京中医药大学基础医学院江苏南京210023 南京中医药大学中医药文献研究所江苏南京210023 南京大学计算机软件新技术国家重点实验室江苏南京210046

为探讨泻白散类方组方配伍规律,该研究搜集整理古今泻白散类方,运用无尺度复杂网络方法,以及关联规则、聚类分析和对应分析等数据挖掘方法,对泻白散类方用药配伍特点,核心方药,以及药性气味相关性进行分析。无尺度复杂网络结果显示泻白... 详细信息

为探讨泻白散类方组方配伍规律,该研究搜集整理古今泻白散类方,运用无尺度复杂网络方法,以及关联规则、聚类分析和对应分析等数据挖掘方法,对泻白散类方用药配伍特点,核心方药,以及药性气味相关性进行分析。无尺度复杂网络结果显示泻白散类方是以桑白皮-地骨皮-甘草为核心,与加味药物形成的复杂网络配伍关系;关联规则结果显示泻白散类方核心药物主要有桑白皮、地骨皮、甘草、黄芩、桔梗、知母、杏仁等,并形成相应药对及药组配伍;聚类分析结果表明泻白散类方是以桑白皮为核心药物,且以桑白皮-地骨皮-甘草为主要组方单位,配伍以清热化痰、益气养阴、凉血生津、培土生金等药物形成衍化系列。以上结果表明泻白散类方的核心配伍特点为清泻肺热、止咳平喘,并且以清中有润、泻中有补形成衍化系列,为临床应用泻白散类方的辨证施治提供依据。

关键词：泻白散类方配伍规律无尺度复杂网络关联规则聚类分析对应分析

来源：评论

学校读者我要写书评

暂无评论

基于复杂网络等方法的十九畏人参-五灵脂同方配伍探析

引用

中国中药杂志 2017年第18期42卷 3623-3627页

作者：李梦雯范欣生张泠杉王崇骏南京中医药大学中医药文献研究所江苏南京210023 南京中医药大学基础医学院江苏南京210023 南京大学计算机软件新技术国家重点实验室江苏南京210046

为探讨十九畏中人参-五灵脂同方配伍应用特点以及古今配伍的差异,整理1949—2016年现代文献中人参-五灵脂同方配伍的应用,运用无尺度复杂网络等数据挖掘方法对其进行分析,并与历代人参-五灵脂同方方剂对照。结果表明十九畏中人参-五灵... 详细信息

为探讨十九畏中人参-五灵脂同方配伍应用特点以及古今配伍的差异,整理1949—2016年现代文献中人参-五灵脂同方配伍的应用,运用无尺度复杂网络等数据挖掘方法对其进行分析,并与历代人参-五灵脂同方方剂对照。结果表明十九畏中人参-五灵脂这一组药物不是绝对的配伍禁忌。1949—2016年人参-五灵脂同方应用报道中人参-五灵脂同方主要应用于治疗气虚血瘀证的恶性肿瘤、冠心病等;方中常配伍益气补血、活血止痛功效的药物,复杂网络关系显示与人参-五灵脂联系最为密切的药物为甘草、当归、黄芪、蒲黄、丹参,其次是白芍、白术、桃仁、茯苓等,外围还有红花、三七、香附、柴胡等;核心药对为人参-甘草、五灵脂-甘草、人参-当归、五灵脂-当归、人参-黄芪、五灵脂-黄芪等,人参-五灵脂-甘草,人参-五灵脂-当归,人参-五灵脂-黄芪,人参-五灵脂-蒲黄等药组支持度较高。古今人参-五灵脂同方方剂中的主要药物配伍存在差异,现代方剂中频繁使用三七、蒲黄、丹参、黄芪等,古代应用较少,古今比较显示现代更为注重配伍活血益气药。

关键词：十九畏人参-五灵脂应用特点无尺度复杂网络方法

来源：评论

学校读者我要写书评

暂无评论

基于网络爬虫的水利信息检索系统的设计与实现

引用

水利信息化 2017年第4期 36-41页

作者：巫义锐黄多辉周逸徉河海大学计算机与信息学院江苏南京211100 南京大学计算机软件新技术国家重点实验室江苏南京210093

随着水利信息化进程的快速发展,与水利信息相关的互联网资源不断增多,面对如此巨量和复杂形式的水利信息数据,依靠人工检索、分析的方式已难以满足行业应用的需求。随着大数据信息技术的逐步深入研究,设计与实现可应用于水利信息获取的... 详细信息

随着水利信息化进程的快速发展,与水利信息相关的互联网资源不断增多,面对如此巨量和复杂形式的水利信息数据,依靠人工检索、分析的方式已难以满足行业应用的需求。随着大数据信息技术的逐步深入研究,设计与实现可应用于水利信息获取的网络爬虫,成为解决水利信息检索与分析问题的基础。设计应用主题网络爬虫技术的水利信息检索系统,通过水利主题信息爬取,数据格式转化与整理,规范化写入数据库等步骤,实现网络水利数据到格式化数据库数据的自动转化。该系统的实现为多数据源信息的交叉验证与网络应急数据的获取,提供新的思路与可行方案。

关键词：水利信息化信息检索网络爬虫主题爬虫

来源：评论

学校读者我要写书评

暂无评论

飞人:利用基灵矢量场的图像高保真变形

引用

计算机辅助设计与图形学学报 2016年第8期28卷 1333-1340页

作者：杜振龙赵中武李晓丽郭延文南京工业大学计算机科学与技术学院南京211816 南京大学计算机软件新技术国家重点实验室南京210023

为了把常态实拍人物图像参考指定姿态变形为跳、飞奔、飞跃的"飞人"效果,提出一种利用基灵矢量场的图像高保真变形方法.该方法利用改进的GrabCut算法提取待变形的目标人物;通过语义骨架匹配算法把人物骨架与姿态模板骨架进行... 详细信息

为了把常态实拍人物图像参考指定姿态变形为跳、飞奔、飞跃的"飞人"效果,提出一种利用基灵矢量场的图像高保真变形方法.该方法利用改进的GrabCut算法提取待变形的目标人物;通过语义骨架匹配算法把人物骨架与姿态模板骨架进行匹配;利用骨架约束基灵矢量场实现图像变形,从而达到实拍常态人物图像变形为跳、飞奔、飞跃等效果.实验结果表明,文中方法能够处理人物图像间的变形,有效地把人物图像参照姿态模板进行变形,效果真实.

关键词：图像变形基灵矢量场保真骨架语义匹配

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：