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

计算机科学与探索 2014年第4期8卷 427-437页

作者：奚旺许畅杨文华洪学志南京大学计算机软件新技术国家重点实验室，南京 210023 南京大学计算机科学与技术系，南京 210023

在普适计算环境中，上下文信息由于受到噪声等不可控因素的干扰，面临着一致性错误的问题。这些错误会影响应用的正常运行，使其表现异常甚至失效。目前已经有自动的一致性错误处理方法来保障应用所获取的上下文满足数据层面的一致性约... 详细信息

在普适计算环境中，上下文信息由于受到噪声等不可控因素的干扰，面临着一致性错误的问题。这些错误会影响应用的正常运行，使其表现异常甚至失效。目前已经有自动的一致性错误处理方法来保障应用所获取的上下文满足数据层面的一致性约束，然而在数据层面保持一致是否能提升应用的运行质量并不明确。系统地研究了这个问题，并基于一组真实的上下文感知机器人小车应用，设计了一系列受控实验，来分析和比较在模拟和真实世界中上下文一致性错误的处理方式对应用运行质量的改善程度及潜在的负面影响。利用该实验的分析结果，将有助于提高普适计算中上下文感知应用的运行质量。

关键词：普适计算上下文一致性错误受控实验

来源：评论

学校读者我要写书评

暂无评论

平均紧性约束下的最坏分离空间平滑判别分析

引用

模式识别与人工智能 2014年第9期27卷 802-807页

作者：牛璐璐陈松灿俞璐南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093 解放军理工大学通信工程学院南京210007

空间平滑的线性判别分析(SLDA)和基于空间平滑欧氏距离的线性判别分析(IMEDA)是目前结合图像特有的空间结构信息进行图像判别降维的两种主要方法,具有比线性判别分析(LDA)更显著的分类效果.与SLDA和IMEDA不同,文中通过参数化投影方向,... 详细信息

空间平滑的线性判别分析(SLDA)和基于空间平滑欧氏距离的线性判别分析(IMEDA)是目前结合图像特有的空间结构信息进行图像判别降维的两种主要方法,具有比线性判别分析(LDA)更显著的分类效果.与SLDA和IMEDA不同,文中通过参数化投影方向,约束平均类内散度(或紧性)上界和最大化最坏类间散度(或分离度),产生的降维算法分别称为WSLDA和WIMEDA.它们的求解最终可归结为简单的特征值优化问题,避免使用完整特征值分解的缺点.在Yale、AR和FERET标准人脸集上的实验验证它们的有效性.

关键词：判别分析空间结构信息空间平滑平均散度特征值优化

来源：评论

学校读者我要写书评

暂无评论

一种轻量级的Android内核保护监控器

引用

计算机工程 2014年第4期40卷 48-52,56页

作者：杨永钱振江黄皓南京大学计算机软件新技术国家重点实验室南京210046 计算机科学与技术系南京210046

为阻止针对Android系统内核的攻击,保护Android系统内核不被破坏,设计一种基于ARM平台轻量级的hypervisor监控器架构。该架构利用ARM硬件虚拟化扩展技术,对不信任模块进行隔离,阻止模块中恶意代码对内核的破坏,保护关键对象不被篡改,并... 详细信息

为阻止针对Android系统内核的攻击,保护Android系统内核不被破坏,设计一种基于ARM平台轻量级的hypervisor监控器架构。该架构利用ARM硬件虚拟化扩展技术,对不信任模块进行隔离,阻止模块中恶意代码对内核的破坏,保护关键对象不被篡改,并基于hypervisor、利用交叉视图检测rootkit。实验结果表明,该架构能及时阻止对被监控对象的修改,快速检测出rootkit威胁,减少系统被攻击后带来的损失。

关键词：移动操作系统内核安全虚拟化 rootkit检测

来源：评论

学校读者我要写书评

暂无评论

基于SPIN的LTL属性分解方法研究

引用

计算机应用与软件 2014年第7期31卷 43-46,65页

作者：贺志宏曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210046 南京大学计算机科学与技术系江苏南京210046

提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分解模式,根据子属性构建的切片准则进行程序切片,利用SPIN对切片后的等价简化模型进行检测,从而将对原模... 详细信息

提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分解模式,根据子属性构建的切片准则进行程序切片,利用SPIN对切片后的等价简化模型进行检测,从而将对原模型上属性的检测转化成对复杂度较低的子模型上各子属性的分别检测。实验结果表明,该方法具有一定的有效性。

关键词：线性时序逻辑属性模型检测属性分解静态程序切片

来源：评论

学校读者我要写书评

暂无评论

Windows平台应用程序权限能力控制研究

引用

计算机应用与软件 2014年第10期31卷 10-12,19页

作者：刘阳黄皓南京大学软件新技术国家重点实验室江苏南京210046 南京大学计算机科学与技术系江苏南京210046

为限制应用程序的恶意行为,通过对Windows平台访问控制机制的研究以及对象管理器对资源管理方式的分析,提出在Windows7操作系统下应用程序权限能力控制方法。该方法使用权限控制和资源监控相结合的方式来实现,利用受限制的访问令牌和受... 详细信息

为限制应用程序的恶意行为,通过对Windows平台访问控制机制的研究以及对象管理器对资源管理方式的分析,提出在Windows7操作系统下应用程序权限能力控制方法。该方法使用权限控制和资源监控相结合的方式来实现,利用受限制的访问令牌和受限制的作业对象对应用程序进程权限进行限制,通过扩展对象管理器回调功能实现对应用程序访问资源的监控。最后通过实验验证了该方法的可行性和有效性,实现了对系统资源的细粒度监控。

关键词：应用程序权限控制能力控制对象管理器回调

来源：评论

学校读者我要写书评

暂无评论

一种Android系统上对应用程序权限进行限制的方法

引用

计算机应用与软件 2014年第6期31卷 308-311,333页

作者：鲁亚峰宁强钱振江黄皓南京大学计算机科学与技术系江苏南京210023 软件新技术国家重点实验室江苏南京210023

Android系统上的安装系统存在着"全部同意或取消安装"的问题,即用户同意应用程序要求的所有权限或取消安装,这使用户不能够灵活地限制应用程序的权限。通过修改Android系统上的安装系统和包权限检查系统,可以实现对应用程序... 详细信息

Android系统上的安装系统存在着"全部同意或取消安装"的问题,即用户同意应用程序要求的所有权限或取消安装,这使用户不能够灵活地限制应用程序的权限。通过修改Android系统上的安装系统和包权限检查系统,可以实现对应用程序权限的动态限制。在此基础上,通过检查和记录应用程序的权限使用情况,还可以帮助用户发现滥用权限的应用程序。实验结果表明,这种方法可以有效地限制应用程序的权限,并在一定程度上避免应用程序对权限的滥用。

关键词： Android系统安装系统应用程序权限动态约束

来源：评论

学校读者我要写书评

暂无评论

异构无线网络终端服务感知的动态负载均衡机制

引用

计算机科学 2014年第6期41卷 37-42页

作者：罗俊辉白光伟沈航曹磊南京工业大学计算机科学与技术系南京210009 南京理工大学高维信息智能感知与系统教育部重点实验室南京210094 南京大学计算机软件新技术国家重点实验室南京210093

异构无线网络负载均衡是提高网络服务质量的关键技术之一。现有负载均衡机制大多没有考虑用户的个性化业务在请求网络资源时存在的差异,同时缺乏一种用户满意度保障机制。针对这一问题,提出一种终端服务感知的动态负载预先均衡机制。首... 详细信息

异构无线网络负载均衡是提高网络服务质量的关键技术之一。现有负载均衡机制大多没有考虑用户的个性化业务在请求网络资源时存在的差异,同时缺乏一种用户满意度保障机制。针对这一问题,提出一种终端服务感知的动态负载预先均衡机制。首先,采用模糊数学的推理方法,计算出终端对各个候选网络的接入期望值。在此基础上,充分考虑各候选网络的资源拥塞状况,有选择性地将该终端用户业务链接切换到低资源拥塞率、高接入期望值网络中,从而缓解网络中的局部热点,提高网络资源有效利用率与用户满意度。仿真结果表明,该机制能够显著均衡网络中各个无线接入点的工作负荷,有效减少拥塞发生的概率,改善用户的网络体验。

关键词：移动互联网络异构网络切换动态负载均衡松耦合模式模糊数学

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络启发式QoS路由协议

引用

计算机科学 2014年第7期41卷 171-175,193页

作者：于淼白光伟沈航张芃曹磊南京工业大学计算机科学与技术系南京211816 南京理工大学高维信息智能感知与系统教育部重点实验室南京210094 南京大学计算机软件新技术国家重点实验室南京210093

提出一种基于虚拟队列的区分服务无线传感器网络路由协议VSDR。协议采用聚合权重的方法,节点在进行路由选择时,考虑了队列长度、前进距离和剩余能量等多种因素,从而有助于缓解节点拥塞,均衡网络负载。另一方面,对不同QoS需求的数据包采... 详细信息

提出一种基于虚拟队列的区分服务无线传感器网络路由协议VSDR。协议采用聚合权重的方法,节点在进行路由选择时,考虑了队列长度、前进距离和剩余能量等多种因素,从而有助于缓解节点拥塞,均衡网络负载。另一方面,对不同QoS需求的数据包采取不同的权重策略,保障实时数据包的传输延迟需求,同时为非实时数据包提供概率的传输机会保障。仿真结果表明,VSDR可以有效地应对不同的服务要求,均衡了节点能耗,延长了网络生命周期,并能够适应实时性、可靠性要求的变化。

关键词：无线传感器网络路由协议区分服务 QoS

来源：评论

学校读者我要写书评

暂无评论

基于AADL的综合航电分区系统可调度性判定

引用

计算机工程 2014年第10期40卷 52-60页

作者：袁翔胡军马金晶刘雪南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的... 详细信息

综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar工具及其自定义调度策略功能,使架构分析和设计语言(AADL)具有对分区系统进行建模的能力,并利用该工具对AADL模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。

关键词：综合模块化航电 ARINC653 系统分区系统架构分析和设计语言 Cheddar工具可调度性判定仿真方法

来源：评论

学校读者我要写书评

暂无评论

线性判别分析中两种空间信息嵌入方法之比较

引用

计算机科学 2014年第2期41卷 49-54页

由"没有免费午餐定理(NFL)"可知:只有充分利用了与问题相关的先验知识的学习器才会拥有好的学习性能,而常用的线性判别分析(LDA)在为图像提取判别特征时对图像向量化的处理导致了空间结构的破坏,以致结构信息未被利用,从而限... 详细信息

由"没有免费午餐定理(NFL)"可知:只有充分利用了与问题相关的先验知识的学习器才会拥有好的学习性能,而常用的线性判别分析(LDA)在为图像提取判别特征时对图像向量化的处理导致了空间结构的破坏,以致结构信息未被利用,从而限制了学习性能的进一步提升。空间平滑的LDA(SLDA)通过对LDA目标的空间正则化弥补了此不足,同时图像欧氏距离(IMED)则通过空间平滑欧氏距离实现对空间结构的利用,而后将其用于LDA(IMEDA)。对这两种LDA间的内在联系进行了尝试探究:理论上证明了对于中心化样本,SLDA是IMEDA的特例;分析了算法的时间和空间复杂度;经验上通过Yale、AR和FERET人脸集比较了SLDA和IMEDA的识别性能和运行时间,同时分析了参数对模型性能的影响。

关键词：线性判别分析降维空间结构信息空间平滑

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：