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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

改进的重叠蚁群优化算法

引用

计算机科学与探索 2014年第8期8卷 1002-1008页

作者：彭岳王俊谢斌福张月峰王崇骏南京大学计算机科学与技术系南京210023 南京大学软件新技术国家重点实验室南京210023

针对蚁群优化算法在进行全局最优解搜索时容易陷入局部最优解和收敛速度缓慢等缺陷,提出了一种有效求解全局最优解搜索问题的重叠蚁群优化算法。该算法通过设置多个重叠的蚁群系统,并对每一个蚁群初始化不同的参数,之后在蚁群之间进行... 详细信息

针对蚁群优化算法在进行全局最优解搜索时容易陷入局部最优解和收敛速度缓慢等缺陷,提出了一种有效求解全局最优解搜索问题的重叠蚁群优化算法。该算法通过设置多个重叠的蚁群系统,并对每一个蚁群初始化不同的参数,之后在蚁群之间进行信息素的动态学习,增强了不同蚁群对最优解的开采能力,避免了算法出现早熟现象。仿真实验结果表明,重叠蚁群优化算法在避免陷入局部最优解方面具有良好的效果,是一种提高蚁群算法性能的有效的改进算法。

关键词：蚁群优化(ACO) 局部最优解重叠蚁群优化动态学习

来源：评论

学校读者我要写书评

暂无评论

面向移动机器人应用的跨平台自适应软件框架

引用

计算机科学与探索 2014年第5期8卷 550-561页

作者：孙辉洪学志许畅马晓星南京大学软件新技术国家重点实验室，南京 210023 南京大学计算机科学与技术系，南京 210023

自适应软件在移动机器人上具有广泛的应用前景，然而要在具有不同软硬件平台的移动机器人上开发自适应软件是一件非常困难的事情。为了解决这个问题，提出并实现了一个面向移动机器人应用的跨平台自适应软件框架。该框架屏蔽了运行平台... 详细信息

自适应软件在移动机器人上具有广泛的应用前景，然而要在具有不同软硬件平台的移动机器人上开发自适应软件是一件非常困难的事情。为了解决这个问题，提出并实现了一个面向移动机器人应用的跨平台自适应软件框架。该框架屏蔽了运行平台的软硬件差异性，并使用规则文件将自适应逻辑分离出来，从而降低了自适应软件开发的难度。为了便于编写及检查规则文件，还实现了一个可视化的规则文件编辑器，用于自动生成模型图，并检查规则中存在的语法及逻辑错误。最后，通过实验测试了框架的使用情况，并对框架的应用效果进行了评估。

关键词：跨平台自适应软件规则模型

来源：评论

学校读者我要写书评

暂无评论

无线网络视频感知机会网络编码协议及其仿真研究

引用

系统仿真学报 2014年第2期26卷 345-352页

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

提出一种无线网络视频感知的机会网络编码协议(VONC)。该协议根据视频流数据包的重要程度以及无线网络的链路状况,用效用增益函数来评估每个数据包对视频质量的贡献程度,而后根据其效用增益值的大小,采用多优先级的调度机制接入信道,以... 详细信息

提出一种无线网络视频感知的机会网络编码协议(VONC)。该协议根据视频流数据包的重要程度以及无线网络的链路状况,用效用增益函数来评估每个数据包对视频质量的贡献程度,而后根据其效用增益值的大小,采用多优先级的调度机制接入信道,以提高网络视频传输质量。另一方面,针对视频流传输过程中的拥塞问题,提出拥塞感知的流控制机制(CFC),与上述网络编码体系协同工作,以提高高优先级数据包成功传输概率。有针对性地设计了一系列仿真实验。结果表明,VONC能够有效提高重要视频帧的可解码率,网络视频传输质量得到显著改善。

关键词：网络编码机会转发视频感知拥塞控制

来源：评论

学校读者我要写书评

暂无评论

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年第2期50卷 173-180页

作者：曹磊韩涛张婧沈航白光伟南京大学计算机软件新技术国家重点实验室南京210093 南京工业大学计算机科学与技术系南京210009 华为技术有限公司南京210012

为研究和改进无线多媒体传感器网络实时传输视频数据的性能,首先深入分析和研究在无线传感器网络环境下实时传输MPEG视频流存在的主要问题与性能瓶颈,通过分析端到端吞吐量与视频帧发送速率之间的关系,以IFQ队列长度作为反应网络拥塞程... 详细信息

为研究和改进无线多媒体传感器网络实时传输视频数据的性能,首先深入分析和研究在无线传感器网络环境下实时传输MPEG视频流存在的主要问题与性能瓶颈,通过分析端到端吞吐量与视频帧发送速率之间的关系,以IFQ队列长度作为反应网络拥塞程度的重要指标.在此基础上,提出一种基于跨层设计的拥塞感知通信流量控制机制,其基本思路是根据MPEG编码视频序列的特点,当无线链路质量变差,通信拥塞可能出现时,发送节点主动丢弃部分对接收方播放质量不太重要的低优先级视频帧数据,以降低通信负载,增加高优先级视频帧的成功传送概率.为验证该策略的效果,分别设置了简单与复杂场景下的视频传输实验,分析了在多种视频帧发送速率下平均端到端时延,丢包率,可解码帧率等参数指标的变化.实验结果证明,这一策略可以改进视频流在接收方的播放质量,同时减少不必要的能耗.仿真实验结果表明该策略有效克服了性能瓶颈,提高了无线多媒体传感器网络实时多媒体传输的服务质量.

关键词：无线多媒体传感器网络服务质量传感器网络体系结构实时流媒体 Quality of Service(QoS)

来源：评论

学校读者我要写书评

暂无评论

基于蚁群优化的二分网络社区挖掘

引用

计算机科学与探索 2014年第3期8卷 296-304页

作者：徐永成陈崚扬州大学信息工程学院计算机系江苏扬州225009 南京大学计算机软件新技术国家重点实验室南京210093

近年来,网络社区挖掘得到了极大的关注,尤其是针对二分网络的社区挖掘。二分网络社区挖掘对于研究复杂网络有非常重要的理论意义和实用价值。提出了一个基于蚁群优化的二分网络社区挖掘算法。该算法首先将二分网络社区挖掘问题转化成一... 详细信息

近年来,网络社区挖掘得到了极大的关注,尤其是针对二分网络的社区挖掘。二分网络社区挖掘对于研究复杂网络有非常重要的理论意义和实用价值。提出了一个基于蚁群优化的二分网络社区挖掘算法。该算法首先将二分网络社区挖掘问题转化成一个优化问题,建立一个可供蚂蚁搜索的图模型。同时,根据顶点的拓扑结构定义启发式信息。每只蚂蚁根据每条路径上的信息素和启发式信息选择路径,构造出一个社区的划分,再用二分模块度去衡量社区划分的优劣。实验结果表明,该算法不但可以较准确地识别二分网络的社区数,而且可以获得高质量的社区划分。

关键词：社区挖掘二分网络蚁群优化算法二分模块度

来源：评论

学校读者我要写书评

暂无评论

基于复杂网络分析的软件高危缺陷评估方法

引用

计算机科学与探索 2014年第8期8卷 956-965页

作者：马皖王莹陈林陈芝菲王子元南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 南京邮电大学计算机学院南京210023

为了评估软件缺陷的风险,提出了一种基于复杂网络分析的软件缺陷评估方法。该方法首先用一个网络模型表达程序实体之间的关系,将源代码中的方法抽象为节点,方法间的调用关系抽象为有向边,以此构造程序源代码网络;然后分别用介数算法和Pa... 详细信息

为了评估软件缺陷的风险,提出了一种基于复杂网络分析的软件缺陷评估方法。该方法首先用一个网络模型表达程序实体之间的关系,将源代码中的方法抽象为节点,方法间的调用关系抽象为有向边,以此构造程序源代码网络;然后分别用介数算法和PageRank算法计算造成软件缺陷的方法节点在源代码全局网络中的地位,由此评估缺陷的风险高低。实验结果表明,该方法在评估内部高危缺陷时有较好的效果,有助于提高软件开发维护人员对一些隐蔽高危缺陷的关注度,进而为后续修复缺陷与软件演化提供有益的线索。

关键词：复杂网络高危缺陷缺陷评估介数 PageRank

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：