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

电子学报 2015年第10期43卷 2117-2123页

作者：郑吉平宋保利王海翔王永阁南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

在传感器节点上安装动态窗口的过滤机制是无线传感器网络Top-k查询处理研究的一个重要方向.然而,已有过滤窗口算法会产生很大的窗口更新代价.本文针对过滤窗口更新频繁产生巨大能量消耗的问题,提出基于高斯过程回归预测的自适应滑动窗口... 详细信息

在传感器节点上安装动态窗口的过滤机制是无线传感器网络Top-k查询处理研究的一个重要方向.然而,已有过滤窗口算法会产生很大的窗口更新代价.本文针对过滤窗口更新频繁产生巨大能量消耗的问题,提出基于高斯过程回归预测的自适应滑动窗口Top-k查询处理算法FUGPR.当过滤窗口发生变化时,对传感器网络节点读数进行预测,评估窗口更新前后的代价来决定过滤窗口是否更新,从而减少了频繁更新窗口带来的巨大能量消耗,实验表明,本文提出的FUGPR算法无论在真实传感器网络环境的数据集上还是模拟的传感器网络环境数据集上都可以有效地减少由于过滤窗口更新带来的能量消耗.

关键词：过滤窗口无线传感器网络 FUGPR

来源：评论

学校读者我要写书评

暂无评论

HybridHP:一种轻型的内核完整性监控方案及其形式化验证

引用

计算机学报 2012年第7期35卷 1462-1474页

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

虽然传统的虚拟化监控方法可以在一定程度上保障操作系统安全.然而,虚拟监控器VMM中管理域Domain0的存在以及操作系统级的切换所带来的性能损失是很多具有大型应用的操作系统所不能接受的.注重硬件虚拟化技术的监控能力而摒弃其不必要... 详细信息

虽然传统的虚拟化监控方法可以在一定程度上保障操作系统安全.然而,虚拟监控器VMM中管理域Domain0的存在以及操作系统级的切换所带来的性能损失是很多具有大型应用的操作系统所不能接受的.注重硬件虚拟化技术的监控能力而摒弃其不必要的虚拟化能力,提出了一个新型的通用的虚拟化监控框架HybridHP,并实现其原型.HybridHP将管理域和虚拟机监控机制两者整合到被监控操作系统的地址空间,具有很好的获取被监控系统操作语义的能力.利用Isabelle/HOL形式化辅助证明工具验证HybridHP的隔离性、安全性和监控能力.最后对HybridHP进行了攻击实验和性能评估,结果显示HybridHP提供了和传统的虚拟化监控方案相同的安全保障,并具有很好的系统性能.

关键词：硬件虚拟化内核完整性安全监控安全攻击 Isabelle形式化验证

来源：评论

学校读者我要写书评

暂无评论

量子进程

引用

计算机科学 2007年第1期34卷 203-207页

作者：刘吉南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

由量子力学原理,酉变换和测量算子可以完成量子计算中的所有操作,但仅用酉变换和测量算子的序列并不能清楚地描述量子世界的并发与通信,因此本文提出了量子进程的概念,讨论量子进程通信的几种可能方式,并基于CCS建立了两个量子进程的一... 详细信息

由量子力学原理,酉变换和测量算子可以完成量子计算中的所有操作,但仅用酉变换和测量算子的序列并不能清楚地描述量子世界的并发与通信,因此本文提出了量子进程的概念,讨论量子进程通信的几种可能方式,并基于CCS建立了两个量子进程的一种互模拟关系,用以刻画传送量子进程的并发与通信。

关键词：量子通信量子进程进程演算互模拟

来源：评论

学校读者我要写书评

暂无评论

证据信任模型中的信任传递与聚合研究

引用

通信学报 2011年第8期32卷 91-100页

作者：蒋黎明张琨徐建廖俊张宏南京理工大学计算机科学与技术学院江苏南京210094 南京大学计算机软件新技术国家重点实验室江苏南京210094

现有信任模型在信任传递和聚合方面存在一定的不足:首先是信任传递过程中缺少对直接推荐实体的反馈信任度的有效度量;其次是信任聚合过程中因缺少对推荐链之间依赖关系的有效处理而存在推荐信息的损耗或重复计算等问题。为了解决这些问... 详细信息

现有信任模型在信任传递和聚合方面存在一定的不足:首先是信任传递过程中缺少对直接推荐实体的反馈信任度的有效度量;其次是信任聚合过程中因缺少对推荐链之间依赖关系的有效处理而存在推荐信息的损耗或重复计算等问题。为了解决这些问题,提出了一种新的证据信任模型,结合D-S证据理论和图论方法有效解决了信任传递的可靠性和信任聚合的准确性等问题。仿真实验表明,与已有模型相比,所提模型具有更强的抑制各种策略欺骗及共谋行为的能力,在信任度量准确性方面也有较大提高。

关键词： D-S证据理论信任传递信任聚合信任子图

来源：评论

学校读者我要写书评

暂无评论

基于分类树的随机测试用例生成

引用

计算机科学 2009年第1期36卷 263-266,285页

作者：徐伟王林章李宣东南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

随机测试(RT)已被用于在基于模型的测试中自动生成满足一定模型覆盖准则的测试用例集合。然而,完全随机的测试用例产生方法可能会导致大量冗余的测试用例。因此,在研究基于UML(Unified Modeling Language)活动图产生测试用例的基础上,... 详细信息

随机测试(RT)已被用于在基于模型的测试中自动生成满足一定模型覆盖准则的测试用例集合。然而,完全随机的测试用例产生方法可能会导致大量冗余的测试用例。因此,在研究基于UML(Unified Modeling Language)活动图产生测试用例的基础上,提出了一种基于分类树的随机测试用例产生方法(CT-RT),运用分类树分析已运行测试用例的输入域,从而指导产生新的测试用例,并通过实验案例说明了对于UML活动图中的简单路径覆盖。该方法较之完全随机的方法大大减少了冗余测试用例的数量。

关键词：随机测试自动生成测试用例分类树 UML活动图

来源：评论

学校读者我要写书评

暂无评论

基于复杂问题定义模型的复杂问题求解

引用

计算机应用研究 2008年第3期25卷 670-673页

作者：范绍坤窦万春南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

复杂问题求解往往涉及多个知识领域,其对应的工作流和知识流也非常复杂。为了促进后续问题求解过程的可靠性和针对性,利用现有的形式化和非形式化的方法,提出了一种复杂问题定义模型,并在此基础上分析了复杂问题求解过程中的知识流和工... 详细信息

复杂问题求解往往涉及多个知识领域,其对应的工作流和知识流也非常复杂。为了促进后续问题求解过程的可靠性和针对性,利用现有的形式化和非形式化的方法,提出了一种复杂问题定义模型,并在此基础上分析了复杂问题求解过程中的知识流和工作流。结合大型软件项目开发,提出了复杂问题求解的参考步骤。

关键词：复杂问题求解复杂问题定义元学习群学习工作流知识流

来源：评论

学校读者我要写书评

暂无评论

基于种群混合协同联盟的属性量子博弈均衡约简

引用

电子学报 2015年第1期43卷 45-53页

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

为进一步提高进化种群在粗糙集属性演化约简中寻求最优解的协同性能,提出了一种基于种群混合协同联盟的属性量子博弈均衡约简算法.该算法建立一种基于自适应多层进化树的种群协同演化联盟模型,以种群内个体竞争和种群间精英合作的混合... 详细信息

为进一步提高进化种群在粗糙集属性演化约简中寻求最优解的协同性能,提出了一种基于种群混合协同联盟的属性量子博弈均衡约简算法.该算法建立一种基于自适应多层进化树的种群协同演化联盟模型,以种群内个体竞争和种群间精英合作的混合协同机制实现各种群协同演化,较好地达到属性协同演化约简中广度寻优和深度探索的有效平衡;然后将信任裕度报酬机制引入到多种群精英量子协同博弈模型,种群精英在每个划分的属性子集中通过量子协同博弈策略均能求得各自最优约简子集,从而稳定取得Nash均衡下全局最优属性约简集.实验结果表明本文算法具有较高的属性演化约简效能和精度,对不完备电子病历系统中脑组织核磁共振成像MRI的高效约简与分割进一步展示其具有较强的实用性和鲁棒性.

关键词：属性演化约简自适应进化树混合协同信任裕度量子博弈纳什均衡

来源：评论

学校读者我要写书评

暂无评论

运行时刻的地址空间重复随机化方法

引用

计算机工程 2009年第10期35卷 139-141,144页

作者：陆明王小黎谢立南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

针对现有的地址空间随机化技术实施随机化时机有限的问题,提出一种在运行时刻能重复随机化部分地址空间对象的方法。通过修改动态连接器,在不重新启动受保护进程的情况下,重复随机化地址空间中的动态共享库。分析结果表明,该方法可成功... 详细信息

针对现有的地址空间随机化技术实施随机化时机有限的问题,提出一种在运行时刻能重复随机化部分地址空间对象的方法。通过修改动态连接器,在不重新启动受保护进程的情况下,重复随机化地址空间中的动态共享库。分析结果表明,该方法可成功地将攻击概率从O(pT)降低到O(pT2),进一步增强地址空间随机化技术的防御能力。

关键词：地址空间随机化细粒度随机化静态随机化动态随机化重复随机化

来源：评论

学校读者我要写书评

暂无评论

基于Bayes的有噪训练集去噪方法研究

引用

计算机科学 2008年第9期35卷 213-216页

作者：罗俊杰孙江文王崇骏陈世福南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

利用有噪训练集训练分类器的过程中,去噪是基本的预处理步骤。传统的去噪工作只是简单地删除被标记为噪声的实例。显然,这样处理会清除噪声实例中的有用信息。本文提出一种基于Bayes的去噪方法,不但能辨识出噪声而且能纠正噪声实例的错... 详细信息

利用有噪训练集训练分类器的过程中,去噪是基本的预处理步骤。传统的去噪工作只是简单地删除被标记为噪声的实例。显然,这样处理会清除噪声实例中的有用信息。本文提出一种基于Bayes的去噪方法,不但能辨识出噪声而且能纠正噪声实例的错误类标,从而保证其有效信息不会丢失。

关键词：噪声噪声辨别噪声纠正

来源：评论

学校读者我要写书评

暂无评论

基于不确定数据的top-k概率相互最近邻查询

引用

计算机应用研究 2011年第7期28卷 2485-2487,2491页

作者：梁瑜张剡周嵩柏文阳南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

不确定数据上的概率相互最近邻查询具有重要的实际应用,针对目前关于这方面的研究尚少,提出了不确定数据上的概率相互最近邻的top-k查询算法。首先对问题进行描述与定义,其次总结可行的裁剪规则,从而裁剪查询对象中未计算的实例点。通... 详细信息

不确定数据上的概率相互最近邻查询具有重要的实际应用,针对目前关于这方面的研究尚少,提出了不确定数据上的概率相互最近邻的top-k查询算法。首先对问题进行描述与定义,其次总结可行的裁剪规则,从而裁剪查询对象中未计算的实例点。通过实验表明,该算法能有效地降低最近邻查询中的I/O开销,提高查询的响应速度。

关键词：空间查询不确定数据概率相互最近邻反向最近邻查询处理

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：