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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

设计模式指导的软件分簇方法

引用

中国科学：信息科学 2014年第1期44卷 37-53页

作者：王林章何剑涛韩志雄卜磊赵建华李宣东南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种... 详细信息

程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件系统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种设计模式指导的分簇方法,该方法采用程序中蕴涵的设计模式信息指导开源软件的分簇,运用"分而治之"的策略辅助程序开发者和维护人员快速、方便地理解代码.首先,采用设计模式检测技术从程序代码中抽取设计模式信息;然后,基于设计模式中角色间的相互关系,利用检测出的设计模式信息指导分簇;最后,对分簇结果可视化,以辅助程序理解.基于以上研究工作,开发了原型工具TasteJ并进行了实例研究,设计并实现了以人工为基准的实验来检验本文提出的软件分簇方法,并通过7个软件分簇度量函数,从统计的角度将其与现有主流软件分簇方法进行分析和比较,实验结果显示出本文所提方法的优势.

关键词：设计设计模式软件分簇算法程序理解再工程软件复用可视化

来源：评论

学校读者我要写书评

暂无评论

上下文一致性错误及其处理对应用的影响

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

回归测试中测试用例集缩减问题的研究

引用

计算机科学 2014年第9期41卷 196-204页

作者：陈翔顾庆陈道蓄蒋峥峥南通大学计算机科学与技术学院南通226019 南京大学软件新技术国家重点实验室南京210093

测试用例集缩减(Test Suite Minimization,TSM)问题作为回归测试的研究热点和难点,在满足对指定测试需求的覆盖前提下,通过识别并移除冗余测试用例来降低回归测试成本。对国内外已有的TSM研究成果进行综述。首先分别从源代码和模型两个... 详细信息

测试用例集缩减(Test Suite Minimization,TSM)问题作为回归测试的研究热点和难点,在满足对指定测试需求的覆盖前提下,通过识别并移除冗余测试用例来降低回归测试成本。对国内外已有的TSM研究成果进行综述。首先分别从源代码和模型两个角度出发,总结已有的TSM方法:从源代码角度出发,重点分析与总结传统TSM方法和考虑缺陷检测能力的TSM方法;从模型角度出发,重点分析与总结基于扩展有限状态自动机的TSM方法。然后对实证研究中采用的评测程序、评测指标和实证结论进行总结。随后总结了TSM方法在特定测试领域的应用,包括GUI应用测试、Web应用测试和缺陷定位等。最后展望了未来的可能发展趋势。

关键词：回归测试测试用例集缩减线性规划贪心法元启发式搜索多目标优化实证研究

来源：评论

学校读者我要写书评

暂无评论

分布式嵌入式系统的自适应能耗管理和分析

引用

软件学报 2014年第2期25卷 419-438页

作者：范贵生虞慧群陈丽琼刘冬梅华东理工大学计算机科学与工程系上海200237 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 上海应用技术学院计算机科学与信息工程系上海200235

以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系... 详细信息

以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系统的基本组件进行建模,根据组件间关系形成能耗模型,以刻画系统的执行流程和能耗属性.最后,利用CTL描述系统性质,并借助Petri网的操作语义来验证方法的正确性和有效性.具体实例应用及实验结果表明:该方法能够有效地降低分布式实时系统的能耗,正确描述能耗自适应调整过程,简化建模和分析过程,对开发具有低能耗DES具有重要的理论意义和实用价值.

关键词：分布式嵌入式系统多Agent 能耗自适应 Petri网

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于跨视图约束的多视图分类方法

引用

模式识别与人工智能 2014年第2期27卷 97-102页

作者：薛晖陈松灿刘洁黄继建东南大学计算机科学与工程学院计算机网络和信息集成教育部重点实验室南京210096 南京大学计算机软件新技术国家重点实验室南京210093 南京航空航天大学计算机科学与技术学院南京210016

考虑一种多视图数据配对形式——跨视图约束,从而推广单视图学习中的成对约束.利用不同视图间数据对是否属于同一类的弱化约束信息,代替严格的配对约束,不仅涵盖原有的一一配对,而且能推广到完全无配对的情况.提出一种基于跨视图约束的... 详细信息

考虑一种多视图数据配对形式——跨视图约束,从而推广单视图学习中的成对约束.利用不同视图间数据对是否属于同一类的弱化约束信息,代替严格的配对约束,不仅涵盖原有的一一配对,而且能推广到完全无配对的情况.提出一种基于跨视图约束的多视图分类方法,该方法不仅能深入挖掘跨视图约束中隐藏的判别信息,而且能同时利用数据的结构信息.实验结果验证该方法的有效性.

关键词：机器学习跨视图约束半监督分类多视图学习

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：