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

计算机科学 2014年第9期41卷 84-87页

作者：余俊张鹏程周宇鹏刘宗磊河海大学计算机与信息学院南京211100 南京大学计算机软件新技术国家重点实验室南京210093

在开放和动态环境下,系统或环境的不安全的运行时变化可能为整个系统的正确执行埋下隐患,可能最终导致软件失效。基于监控器的软件运行时验证技术已经成为开放环境下侦测软件失效行为的基本方法,该工具采用了一种基于博弈论的从Property... 详细信息

在开放和动态环境下,系统或环境的不安全的运行时变化可能为整个系统的正确执行埋下隐患,可能最终导致软件失效。基于监控器的软件运行时验证技术已经成为开放环境下侦测软件失效行为的基本方法,该工具采用了一种基于博弈论的从Property Sequence Charts(属性序列图)中自动生成监控器的方法。监控器被赋予多值语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控以及违例。监控器可以提供足够的信息用来预测系统失效。正文中将描述一个名为"PSC2GS"的工具,该工具具有设计属性序列图、基于属性序列图生成博弈结构、基于博弈结构生成Aspect Oriented Programming(面向方面编程)代码(监控器)等一系列功能。PSC2GS提供的完全图形化的前端接口使软件设计者可以不用处理任何特殊的文本或者逻辑公式。

关键词：运行时验证监控器属性序列图面向方面编程

来源：评论

学校读者我要写书评

暂无评论

一种基于耦合对象相似度的项目推荐算法

引用

计算机科学 2014年第2期41卷 33-35,54页

作者：余永红陈兴国高阳南京邮电大学通达学院南京210003 南京大学计算机软件新技术国家重点实验室南京210093

推荐系统根据用户的偏好为用户推荐个性化的信息、产品和服务等,能够帮助用户有效解决信息过载问题。基于内容的协同过滤算法缺少合适的度量指标用来计算项目之间的相似度。提出一种基于耦合对象相似度的项目推荐算法,即通过耦合对象相... 详细信息

推荐系统根据用户的偏好为用户推荐个性化的信息、产品和服务等,能够帮助用户有效解决信息过载问题。基于内容的协同过滤算法缺少合适的度量指标用来计算项目之间的相似度。提出一种基于耦合对象相似度的项目推荐算法,即通过耦合对象相似度捕获项目特征频率分布相似性和特征依赖聚合相似度。首先从项目文本中抽取项目的关键特征,然后利用耦合对象相似度构建项目相似度模型,最后使用协同过滤的方法为活动用户推荐用户可能感兴趣的项目。在真实数据集上的实验结果表明,基于耦合对象相似度的推荐算法可以有效解决基于内容推荐系统的项目相似度度量问题,在缺失大量项目特征数据的情况下改进传统基于内容推荐系统的推荐质量。

关键词：基于内容的推荐系统耦合对象相似度协同过滤

来源：评论

学校读者我要写书评

暂无评论

改进的重叠蚁群优化算法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于软件网络的软件系统演化规律验证和模拟

引用

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

作者：顾庆陈道蓄南京大学计算机科学与技术系软件新技术国家重点实验室南京210023

演化是计算机软件的固有特性.了解演化规律,可以改进软件演化过程,提高软件质量,降低维护成本.本文定义类依赖图,将软件系统描述为软件网络,基于网络度量验证软件演化规律,并讨论软件演化建模的可行性.首先针对Lehman的8项演化定律,设计... 详细信息

演化是计算机软件的固有特性.了解演化规律,可以改进软件演化过程,提高软件质量,降低维护成本.本文定义类依赖图,将软件系统描述为软件网络,基于网络度量验证软件演化规律,并讨论软件演化建模的可行性.首先针对Lehman的8项演化定律,设计3个方面的网络度量:网络规模、网络质量、以及结构控制.然后基于四个开源软件系统构建软件网络,统计网络度量;实证研究表明:支持Lehman的4项演化定律,否定另外3项,即复杂度提升、持续增长、以及质量折旧定律.最后分别采用E-R模型和模块依附模型模拟软件系统的演化过程,所生成的随机网络同软件网络的比较结果说明,软件演化存在客观规律,能够通过建模来重现甚至优化.

关键词：软件演化复杂网络软件演化定律类依赖图随机网络

来源：评论

学校读者我要写书评

暂无评论

Kirchhoff叠前时间偏移的GPU移植与性能优化技术

引用

石油学报 2014年第4期35卷 700-705页

作者：马召贵赵改善武港山岳承琪何恺王鹏中国石油化工股份有限公司石油物探技术研究院江苏南京211103 南京大学软件新技术国家重点实验室江苏南京210093

叠前时间偏移在工业生产中发挥着极其重要的作用,为了提高该算法的计算效率,开展了基于GPU异构计算平台的算法移植与优化。首先根据积分法偏移的算法特点制定了偏移距域的多进程数据域并行以及IO与计算异步并行总体并行策略;然后为了提... 详细信息

叠前时间偏移在工业生产中发挥着极其重要的作用,为了提高该算法的计算效率,开展了基于GPU异构计算平台的算法移植与优化。首先根据积分法偏移的算法特点制定了偏移距域的多进程数据域并行以及IO与计算异步并行总体并行策略;然后为了提高偏移核心计算部分在GPU上的计算效率,对偏移计算核在GPU上的并行方案进行了分析,选择了成像域超大规模线程并行方案对算法进行了移植和优化,并对不同优化手段在不同GPU硬件平台下获得的性能加速进行了对比测试;最后利用大规模计算节点及大规模地震数据体进行了移植后算法的应用测试,并对算法的计算效率、可扩展性以及精度误差进行了分析。大规模应用测试表明,积分法叠前时间偏移经过GPU移植后可获得较CPU平台近7倍的性能提升,具有很好的工业应用价值。

关键词：叠前时间偏移高性能计算并行效率 GPU移植 CUDA优化

来源：评论

学校读者我要写书评

暂无评论

设备自动巡检控制逻辑的层级时间自动机建模与验证

设备自动巡检控制逻辑的层级时间自动机建模与验证

引用

第十四届全国软件与应用学术会议

作者：孙程邢建春杨启亮韩德帅解放军理工大学国防工程学院南京210007 解放军理工大学国防工程学院南京210007 计算机软件新技术国家重点实验室(南京大学) 南京210093

地下建筑工程中的设备系统经常处于静止状态,为保证其在需要时能安全可靠的运行,需对设备定期进行自动巡检在自动巡检过程中,设备自动巡检控制逻辑起到了举足轻重的作用为了解决复杂的设备自动巡检控制逻辑造成的一系列问题,之前提出了... 详细信息

地下建筑工程中的设备系统经常处于静止状态,为保证其在需要时能安全可靠的运行,需对设备定期进行自动巡检在自动巡检过程中,设备自动巡检控制逻辑起到了举足轻重的作用为了解决复杂的设备自动巡检控制逻辑造成的一系列问题,之前提出了一种层级有限自动机(HFA)的形式化模型,并利用HFA对设备自动巡检控制逻辑实现了行为建模,但并未添加时间属性及验证其正确性与可靠性现提出一种层级时间自动机形式化模型,并利用它对设备自动巡检控制逻辑进行建模,再用UPPAAL对其进行分析与形式化验证,分别验证其安全性、可达性、活性及时间约束,以此来确保其时效正确性与可靠性这种建模与形式化验证方法,弥补了之前无时间约束的漏洞,有效的确保了设备自动巡检控制逻辑的正确性与可靠性最终,该模型通过了模拟和验证,充分证明了设备自动巡检控制逻辑是正确可靠的.

关键词：自动巡检层级时间自动机模型检测

来源：评论

学校读者我要写书评

暂无评论

多类类别不平衡学习算法:EasyEnsemble.M

引用

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

作者：李倩倩刘胥影东南大学计算机科学与工程学院计算机网络和信息集成教育部重点实验室南京211189 南京大学计算机软件新技术国家重点实验室南京211189

随机欠采样方法忽略潜在有用的大类样本信息,在面对多类分类问题时更为突出.文中提出多类类别不平衡学习算法:EasyEnsemble.M.该算法通过多次针对大类样本随机采样,充分利用被随机欠采样方法忽略的潜在有用的大类样本,学习多个子分类器... 详细信息

随机欠采样方法忽略潜在有用的大类样本信息,在面对多类分类问题时更为突出.文中提出多类类别不平衡学习算法:EasyEnsemble.M.该算法通过多次针对大类样本随机采样,充分利用被随机欠采样方法忽略的潜在有用的大类样本,学习多个子分类器,利用混合的集成技术最终得到性能较优的强分类器.实验结果表明,与常用的多类类别不平衡学习算法相比,EasyEnsemble.M可有效提高分类器的G-mean值.

关键词：机器学习类别不平衡学习欠采样集成

来源：评论

学校读者我要写书评

暂无评论

中药方剂药物属性的组网模型

引用

智能系统学报 2014年第2期9卷 148-153页

作者：李茹孙正王崇骏谢俊元南京大学计算机科学与技术系江苏南京210046 南京大学计算机软件新技术国家重点实验室江苏南京210046

传统的中药方剂配伍规律的研究通常只关注药物个体或基于复杂网络的药物结构,却忽视了药物的属性。而建立药物属性以及药物之间的网络模型可以打破仅针对药物结构进行组网的局限性。首先,提取出药物药性中的"性味"、"归... 详细信息

传统的中药方剂配伍规律的研究通常只关注药物个体或基于复杂网络的药物结构,却忽视了药物的属性。而建立药物属性以及药物之间的网络模型可以打破仅针对药物结构进行组网的局限性。首先,提取出药物药性中的"性味"、"归经"、"功效"三方面的属性,在传统的药物网络的节点上添加药物属性,然后,在肺痿方剂数据库中211味方剂上进行试验,使用重叠社团发现算法-CPM(clique percolation method)算法对该模型进行测试,得到一些药物社团,验证了该模型的可行性和有效性。

关键词：中药方剂配伍规律药物属性网络模型重叠社团发现

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：