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

信息安全学报 2017年第4期2卷 27-40页

作者：黄浩华崔展齐潘敏学王林章李宣东计算机软件新技术国家重点实验室(南京大学) 南京中国210023 江苏省软件新技术与产业化协同创新中心南京210023 南京大学计算机科学与技术系南京210023 北京信息科技大学计算机学院北京100101 南京大学软件学院南京210023

随着移动互联网的快速发展,移动终端及移动应用在人们日常生活中越来越重要,与此同时,恶意移动应用给网络和信息安全带来了严峻的挑战。Android平台由于其开放性和应用市场审查机制不够完善,使其成为了移动互联网时代恶意应用的主要传... 详细信息

随着移动互联网的快速发展,移动终端及移动应用在人们日常生活中越来越重要,与此同时,恶意移动应用给网络和信息安全带来了严峻的挑战。Android平台由于其开放性和应用市场审查机制不够完善,使其成为了移动互联网时代恶意应用的主要传播平台。现有的恶意应用检测方法主要有静态分析和动态测试两种。一般而言,静态分析方法代码覆盖率高、时间开销小,但存在误报率较高的问题;而动态测试准确度较高,但需要实际运行应用,所需的时间和计算资源开销较大。针对上述情况,本文基于静动态结合的方法,自动检测恶意Android应用。首先,使用静态分析技术获取应用API的调用情况来判定其是否为疑似恶意应用,特别是可有效检测试图通过反射机制调用API躲避静态分析的恶意应用;然后,根据疑似恶意应用UI控件的可疑度进行有针对性的动态测试,来自动确认疑似恶意应用中是否存在恶意行为。基于此方法,我们实现了原型检测工具框架,并针对吸费短信类恶意行为,对由465个恶意应用和1085个正常应用组成的数据集进行了对比实验。实验结果表明,该方法在提高恶意应用检测效率的同时,有效地降低了误报率。

关键词： Android应用静态分析动态测试恶意行为

来源：评论

学校读者我要写书评

暂无评论

乱针绣仿真中针绣图块路径排布规划研究

引用

计算机仿真 2017年第3期34卷 258-262,331页

作者：徐绕山孙正兴王春苗南京信息职业技术学院数码艺术学院江苏南京210023 南京大学计算机软件新技术国家重点实验室江苏南京210046

计算机仿真技术是中华传统手工艺乱针绣保护、传承的重要途径。在乱针绣仿真过程中,所绣制图案的构成、尺寸变化无严格规律,纹理和边界形状也是千变万化,而用于绣制的针法种类、形状和尺寸受到限制,导致针法的选择与排布难以达到满意的... 详细信息

计算机仿真技术是中华传统手工艺乱针绣保护、传承的重要途径。在乱针绣仿真过程中,所绣制图案的构成、尺寸变化无严格规律,纹理和边界形状也是千变万化,而用于绣制的针法种类、形状和尺寸受到限制,导致针法的选择与排布难以达到满意的效果。针对乱针绣的应用背景和约束条件,提出在几何约束下的针绣图块路径排布规划方法。将绣制区域进行均匀剖分以选定图形排布的大致位置,通过设计最小化能量函数的计算来选择和精确排布。然后,采用优化策略使填充图块形变,以达到重叠和缝隙可控的排布效果。仿真结果表明,上述方法能够提高图块排布精度和适用性,满足乱针绣模拟在几何约束下的针法排布要求。

关键词：乱针绣图像剖分几何约束针法排布

来源：评论

学校读者我要写书评

暂无评论

利用蚁群算法生成覆盖表:探索与挖掘

引用

软件学报 2016年第4期27卷 855-878页

作者：曾梦凡陈思洋张文茜聂长海计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

覆盖表生成问题是组合测试的重要研究内容之一,目前已有许多数学方法、贪心算法、搜索算法用于求解这一问题.蚁群算法作为一种能够有效求解组合优化问题的演化搜索算法,已被应用到求解覆盖表生成问题中.已有的研究工作表明:蚁群算法适... 详细信息

覆盖表生成问题是组合测试的重要研究内容之一,目前已有许多数学方法、贪心算法、搜索算法用于求解这一问题.蚁群算法作为一种能够有效求解组合优化问题的演化搜索算法,已被应用到求解覆盖表生成问题中.已有的研究工作表明:蚁群算法适于求解一般覆盖表、变力度覆盖表生成以及覆盖表排序等问题,但算法结果与其他覆盖表生成方法相比并不具有优势.为了进一步探索与挖掘蚁群算法生成覆盖表的潜力,进行了如下4个层次的改进工作:(1)算法变种集成;(2)算法参数配置优化;(3)演化对象结构调整及演化策略改进;(4)利用并行计算优化算法时间开销.实验结果表明:通过以上4个层次的改进,蚁群算法生成覆盖表的性能有了显著提升.

关键词：覆盖表蚁群算法演化搜索算法并行计算组合测试软件测试

来源：评论

学校读者我要写书评

暂无评论

VSOS-HAM:基于Isabelle/HOL的OS内核硬件抽象模型和形式化验证方法研究

引用

南京大学学报（自然科学版） 2017年第3期53卷 577-578页

作者：钱振江黄皓宋方敏常熟理工学院计算机科学与工程学院苏州215500 南京大学软件新技术国家重点实验室南京210023

形式化方法是保证操作系统设计和实现的正确性的可靠方法.操作系统的形式化设计和验证过程仍然是一个极其复杂的过程.由于汇编语言过于底层,对其进行形式化验证的难度较大,如何有效地对汇编语言代码进行建模,便于对其语义和功效的正确... 详细信息

形式化方法是保证操作系统设计和实现的正确性的可靠方法.操作系统的形式化设计和验证过程仍然是一个极其复杂的过程.由于汇编语言过于底层,对其进行形式化验证的难度较大,如何有效地对汇编语言代码进行建模,便于对其语义和功效的正确性进行验证成为操作系统形式化领域的研究热点.在汇编级提出对操作系统的设计和实现的正确性进行形式化验证的方法.通过建立操作系统内核硬件抽象模型,形式化地描述指令的操作语义,在此内核硬件抽象模型的基础上界定影响系统状态变化的数据对象,建立系统状态空间,结合指令的操作语义的定义来描述系统的状态转换函数.在Isabelle/HOL定理证明器环境中描述该内核硬件抽象模型,以实现的可信操作系统VSOS为例,在汇编级对系统设计和实现的正确性进行验证.结果表明,该方法是可行的和高效的.

关键词：操作系统内核硬件抽象模型形式化验证 Isabelle/HOL 定理证明

来源：评论

学校读者我要写书评

暂无评论

认知无线AdHoc网络干扰约束和能量高效路由算法

引用

计算机工程与应用 2017年第17期53卷 112-116页

作者：刘立军花丽周爱平泰州学院计算机科学与技术学院江苏泰州225300 软件新技术国家重点实验室(南京大学) 南京210023

为了减少认知无线Ad Hoc网络的传输中断概率,实现频谱和能量高效,提出一种干扰约束和能量高效(Interference Constraints and Energy-Efficient,ICEE)的路由算法。信道检测除了基于认知节点(Cognitive Radio,CR)对主用户(Primary Users,PU)的干扰约束外,还增加了CR节点的数据传输所需持续时间约束,以保证CR节点在有效利用空闲信道的同时减少传输中断事件的发生,减少故障重传所损耗的能量。在设计路由算法时采用了链路能耗和节点寿命作为度量,通过联合最优的链路选择方程实现网络能量高效,并延长网络的生命周期。实验仿真结果表明,相比较认知Ad hoc网络的自适应路由协议,基于联合信道分配和自适应功率控制的路由协议,ICEE算法在数据包平均能耗上分别减少了41.2%和24.5%,并且有效地延长了网络生命周期。

关键词：认知无线AdHoc网络干扰约束能量高效传输中断概率

来源：评论

学校读者我要写书评

暂无评论

基于Box-Cox转换的集成跨项目软件缺陷预测方法

引用

计算机应用研究 2017年第7期34卷 2023-2026,2031页

作者：王莉萍陈翔王秋萍赵英全南通大学计算机科学与技术学院江苏南通226019 南京大学软件新技术国家重点实验室南京210093

对跨项目缺陷预测问题展开了深入研究,在源项目实例选择时,考虑了三种不同的实例相似度计算方法,并发现这些方法的缺陷预测结果存在多样性,因此提出了一种基于Box-Cox转换的集成跨项目软件缺陷预测方法 BCEL。具体来说,基于不同的实例... 详细信息

对跨项目缺陷预测问题展开了深入研究,在源项目实例选择时,考虑了三种不同的实例相似度计算方法,并发现这些方法的缺陷预测结果存在多样性,因此提出了一种基于Box-Cox转换的集成跨项目软件缺陷预测方法 BCEL。具体来说,基于不同的实例相似度计算方法,从候选集中选出不同的训练集;针对这些数据集,进行有针对性的Box-Cox转换,并借助特定分类方法构造出不同的基分类器,最后将这三个基分类器进行有效集成。基于实际项目的数据集,验证了BCEL方法的有效性,并深入分析了BCEL方法内的影响因素对缺陷预测性能的影响。

关键词：软件缺陷预测跨项目软件缺陷预测集成学习实证研究

来源：评论

学校读者我要写书评

暂无评论

强化学习及其在电脑围棋中的应用

引用

自动化学报 2016年第5期42卷 685-695页

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

强化学习是一类特殊的机器学习,通过与所在环境的自主交互来学习决策策略,使得策略收到的长期累积奖赏最大.最近,在围棋和电子游戏等领域,强化学习被成功用于取得人类水平的操作能力,受到了广泛关注.本文将对强化学习进行简要介绍,重点... 详细信息

强化学习是一类特殊的机器学习,通过与所在环境的自主交互来学习决策策略,使得策略收到的长期累积奖赏最大.最近,在围棋和电子游戏等领域,强化学习被成功用于取得人类水平的操作能力,受到了广泛关注.本文将对强化学习进行简要介绍,重点介绍基于函数近似的强化学习方法,以及在围棋等领域中的应用.

关键词：强化学习函数近似核方法神经网络加性模型深度强化学习

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：