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

软件学报 2019年第10期30卷 3148-3167页

作者：陆一飞潘敏学张天王林章李宣东计算机软件新技术国家重点实验室(南京大学)

随着智能机以及平板电脑的普及,安卓应用逐渐成为日常生活中不可或缺的重要元素之一,其复杂度也呈几何倍数增长.安卓平台存在的多设备类型、多操作系统版本问题,使得应用的设计和开发更为复杂.在这一现状下,提倡在安卓应用开发中使用模... 详细信息

随着智能机以及平板电脑的普及,安卓应用逐渐成为日常生活中不可或缺的重要元素之一,其复杂度也呈几何倍数增长.安卓平台存在的多设备类型、多操作系统版本问题,使得应用的设计和开发更为复杂.在这一现状下,提倡在安卓应用开发中使用模型来描述其开发需求与设计,以帮助开发人员更好地将注意力集中于应用,加深对开发意图的理解,更好地进行后续的开发工作.然而,当前对安卓应用的建模都采用了传统模型,无法满足安卓应用事件驱动和注重图形用户界面的特点.为此,将注重前端展示以及事件交互的交互流建模语言(IFML)应用于安卓应用的建模,描述应用中的 GUI 结构以及其中工作流的传递,从而指导应用的开发工作.考虑到安卓平台的特点,对IFML 进行了相应的面向安卓的扩展,提高了其可用性与对安卓应用的适用性,并对 IFML 模型进行了形式化定义,使得 IFML 模型能以丰富而又精确的语义来刻画开发者对于安卓应用的设计,并在应用的实现和演化中不断发挥指导作用.另外,进一步探索了 IFML 模型在应用测试这一场景中的作用.基于模型的测试方法能够检验设计和实现的一致性,还能在应用的演化过程中避免测试用例的重复编写.在案例研究中,针对 5 个安卓应用进行了 IFML 建模与测试.实验结果表明,扩展后的 IFML 在安卓应用的建模上可行、有效,所建立的 IFML 模型可直接用于测试工作,用于检测应用实现与设计是否保持一致,从而保证应用的开发质量.

关键词：交互流建模语言安卓应用模型驱动工程基于模型的测试

来源：评论

学校读者我要写书评

暂无评论

基于分歧的半监督学习

引用

自动化学报 2013年第11期39卷 1871-1878页

作者：周志华南京大学计算机软件新技术国家重点实验室

传统监督学习通常需使用大量有标记的数据样本作为训练例,而在很多现实问题中,人们虽能容易地获得大批数据样本,但为数据提供标记却需耗费很多人力物力.那么,在仅有少量有标记数据时,可否通过对大量未标记数据进行利用来提升学习性能呢... 详细信息

传统监督学习通常需使用大量有标记的数据样本作为训练例,而在很多现实问题中,人们虽能容易地获得大批数据样本,但为数据提供标记却需耗费很多人力物力.那么,在仅有少量有标记数据时,可否通过对大量未标记数据进行利用来提升学习性能呢?为此,半监督学习成为近十多年来机器学习的一大研究热点.基于分歧的半监督学习是该领域的主流范型之一,它通过使用多个学习器来对未标记数据进行利用,而学习器间的"分歧"对学习成效至关重要.本文将综述简介这方面的一些研究进展.

关键词：机器学习半监督学习基于分歧的半监督学习未标记数据

来源：评论

学校读者我要写书评

暂无评论

基于可信级别的多级安全策略及其状态机模型

引用

软件学报 2004年第11期15卷 1700-1708页

作者：谢钧许峰黄皓南京大学计算机软件新技术国家重点实验室

虽然MLS(multilevel security)被广泛应用于各种安全系统,但是它不能实现信道控制等重要的安全策略.将可信级别的概念引入到MLS中,使其可以方便地实现各种信道控制策略.建立了一个实现这种基于可信级别的多级安全策略的访问控制状态机模... 详细信息

虽然MLS(multilevel security)被广泛应用于各种安全系统,但是它不能实现信道控制等重要的安全策略.将可信级别的概念引入到MLS中,使其可以方便地实现各种信道控制策略.建立了一个实现这种基于可信级别的多级安全策略的访问控制状态机模型,并证明其对定义的策略是安全的,而且可以实现所有静态信息流策略.另外,还扩展了该模型,使其可以支持存储对象安全属性的动态改变.该模型克服了MLS不能解决安全降级问题以及不考虑完整性的缺点,同时又保留了传统分级策略模型易理解、易使用的优点.

关键词：安全策略多级安全访问控制模型信息流模型

来源：评论

学校读者我要写书评

暂无评论

虚拟计算环境中服务行为与质量的一致性

引用

软件学报 2007年第8期18卷 1943-1957页

作者：胡昊殷琴吕建计算机软件新技术国家重点实验室(南京大学)

提出了一种用Petrinet对服务行为和服务质量进行统一建模的框架.基于该框架所提出的统一的服务行为和服务质量的一致性规则可以在服务的查找和替换中综合判断服务行为和服务质量的一致性.自行开发的SOBECA(service-oriented,behavior an... 详细信息

提出了一种用Petrinet对服务行为和服务质量进行统一建模的框架.基于该框架所提出的统一的服务行为和服务质量的一致性规则可以在服务的查找和替换中综合判断服务行为和服务质量的一致性.自行开发的SOBECA(service-oriented,behavior and capability support architecture)中间件系统在现有的Web服务标准上增加了服务行为和服务质量的描述,可以更好地自动化支持服务行为和服务质量的一致性检查,同时也验证了上述框架的合理性.

关键词：服务构件模型服务行为模型行为继承服务质量 Petri网

来源：评论

学校读者我要写书评

暂无评论

渐进式深度集成架构搜索算法研究

引用

计算机学报 2023年第10期46卷 2041-2065页

作者：朱光辉祁加豪朱振南袁春风黄宜华南京大学计算机软件新技术全国重点实验室南京210023 南京大学计算机科学与技术系南京210023

深度神经网络已在各个领域取得巨大成功.然而,深度学习模型并不只包含深度神经网络.近年来,以深度森林为代表的深度集成学习模型,凭借着无需反向传播训练、计算开销更小、模型复杂度支持自适应确定以及表数据建模任务性能优异等特点,引... 详细信息

深度神经网络已在各个领域取得巨大成功.然而,深度学习模型并不只包含深度神经网络.近年来,以深度森林为代表的深度集成学习模型,凭借着无需反向传播训练、计算开销更小、模型复杂度支持自适应确定以及表数据建模任务性能优异等特点,引起了学界和业界的广泛关注,并且取得了良好的应用效果.深度森林为探索DNN(Deep Neural Network)之外的深度学习模型打开了另一扇门.然而,现有的深度集成模型主要以深度森林为主,深度集成架构较为单一,基学习器的数量与集成方式较为固定,需要探索除深度森林之外的深度集成学习模型架构.另外,实际应用中,很难存在一种深度集成学习模型架构能够在不同数据集上均取得优异性能,尤其是对于数据特征差异较大的表格型数据集.因此,也需要一种高效的数据自适应的深度集成学习架构设计方法.为此,本文从搜索空间和搜索算法两个层面,研究提出了一种高效的基于代理模型的渐进式深度集成架构搜索方法PMPAS(Proxy Model-based Progressive Architecture Search).首先,通过归纳分析已有深度集成学习模型的特点,给出了深度集成架构的形式化定义.其次,研究提出了两种全新的深度集成架构搜索空间,即基于完全并行的搜索空间和基于有向无环图的搜索空间.然后,在上述两种搜索空间的基础上,研究提出了基于代理模型的渐进式搜索方法与算法,实现从简单到复杂逐步地在搜索空间中进行探索,并采用代理模型作为指导,降低模型评估开销.最后,本文从时间复杂度和空间复杂度两个方面对搜索算法进行分析.在分类、回归等公开的表格型数据集上的大量实验结果表明,通过PMPAS算法搜索得到的深度集成架构,其性能不仅优于已有的集成学习模型、深度学习模型以及以深度森林为代表的深度集成学习模型,而且优于已有的自动化模型选择算法.随着时间预算的不断增加,性能优势更为明显.PMPAS开源地址为:https://***/PasaLab/PMPAS.

关键词：深度学习深度集成架构架构搜索代理模型

来源：评论

学校读者我要写书评

暂无评论

面向微服务软件开发方法研究进展

引用

计算机研究与发展 2020年第3期57卷 525-541页

作者：吴化尧邓文俊计算机软件新技术国家重点实验室(南京大学)

微服务是面向服务体系结构的最新发展趋势和研究热点,其不仅在工业实践中形成了广泛且重要的应用,在学术界也受到日益增长的关注.以软件工程生命周期中的各项活动为主线,系统全面地对当前的微服务软件开发方法进行梳理和总结,尤其分析... 详细信息

微服务是面向服务体系结构的最新发展趋势和研究热点,其不仅在工业实践中形成了广泛且重要的应用,在学术界也受到日益增长的关注.以软件工程生命周期中的各项活动为主线,系统全面地对当前的微服务软件开发方法进行梳理和总结,尤其分析了面向微服务软件开发在需求分析、设计与实现、测试以及重构上的已有方法、工具和实践,并讨论了该领域的未来研究方向,从而为更加科学有效地开发高质量微服务提供参考和借鉴.

关键词：微服务面向服务架构软件开发系统设计重构

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络的拓扑控制

引用

软件学报 2007年第4期18卷 943-954页

作者：张学陆桑璐陈贵海陈道蓄谢立计算机软件新技术国家重点实验室(南京大学)

拓扑控制是无线传感器网络研究中的核心问题之一.拓扑控制对于延长网络的生存时间、减小通信干扰、提高MAC(media access control)协议和路由协议的效率等具有重要意义.全面阐述了拓扑控制技术的研究进展,首先明确了拓扑控制研究的问题... 详细信息

拓扑控制是无线传感器网络研究中的核心问题之一.拓扑控制对于延长网络的生存时间、减小通信干扰、提高MAC(media access control)协议和路由协议的效率等具有重要意义.全面阐述了拓扑控制技术的研究进展,首先明确了拓扑控制研究的问题和设计目标,然后分别从功率控制和睡眠调度两个方面介绍代表性的研究工作,并加以分析和比较,同时指出了这些工作存在的不足.最后分析和总结了研究现状中存在的问题、需要进一步研究的内容以及拓扑控制研究的发展趋势.

关键词：传感器网络无线网络拓扑控制功率控制睡眠调度

来源：评论

学校读者我要写书评

暂无评论

用于软件保护的代码混淆技术

引用

计算机工程 2006年第11期32卷 177-179页

作者：罗宏蒋剑琴曾庆凯南京大学计算机软件新技术国家重点实验室

对软件的盗版、篡改和逆向工程使软件的安全受到了严重威胁。攻击者通过静态分析和动态跟踪来分析编程者的思想,获取机密数据和核心算法。因此,保护程序在未知环境下正常运行,防止逆向工程和静态分析的攻击,成为软件保护的一个重要问题... 详细信息

对软件的盗版、篡改和逆向工程使软件的安全受到了严重威胁。攻击者通过静态分析和动态跟踪来分析编程者的思想,获取机密数据和核心算法。因此,保护程序在未知环境下正常运行,防止逆向工程和静态分析的攻击,成为软件保护的一个重要问题。文章从软件保护的方法出发,介绍和分析代码混淆技术的方法和目标,并指出了代码混淆技术的优势和发展趋势。

关键词：软件保护代码混淆模糊谓词

来源：评论

学校读者我要写书评

暂无评论

Web结构分析算法HITS的改进及应用

引用

计算机工程 2005年第6期31卷 40-42,83页

作者：李昕朱永胜武港山南京大学计算机软件新技术国家重点实验室

在网络环境下,传统检索技术不可避免地存在种种不足,而超链分析技术可以直接或间接地解决这些问题。该文在介绍网络结构的基础上,描述了已有的HITS算法及其改进策略,并提出了该算法的简单实现架构。HITS算法着眼于挖掘超链间的潜在语义... 详细信息

在网络环境下,传统检索技术不可避免地存在种种不足,而超链分析技术可以直接或间接地解决这些问题。该文在介绍网络结构的基础上,描述了已有的HITS算法及其改进策略,并提出了该算法的简单实现架构。HITS算法着眼于挖掘超链间的潜在语义关系,有助于在更深层次上挖掘Web中蕴含的语义信息。

关键词： Web 超链 HITS

来源：评论

学校读者我要写书评

暂无评论

软件需求定义语言NDRDL的设计

引用

计算机研究与发展 1996年第12期33卷 920-925页

作者：董丽君南京大学计算机软件研究所及计算机软件新技术国家重点实验室

本文概述了软件需求定义语言ＮＤＲＤＬ的设计目标及设计原则，并讨论了一些语言基本成分，如数据流图、控制流图、实体关系图等的设计。文中采用个人帐目管理系统（ＰＡＭＳ）作为示例。

关键词： NDRDL语言设计数据流图软件开发

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：