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

计算机学报 2006年第7期29卷 1057-1066页

作者：钱柱中陆桑璐谢立南京大学计算机软件新技术国家重点实验室

根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好... 详细信息

根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好地描述可用服务的并行调用,另外元消息机制也有利于服务的自动组合．在Moap基础上,定义了服务组合系统和服务的协同;给出了服务自动组合规则,并证明了其有效性和完备性．最后,通过一个实例直观描述了服务组合系统的工作方式．

关键词： Web服务 Petri网 Web服务自动组合

来源：评论

学校读者我要写书评

暂无评论

DevOps中国调查研究

引用

软件学报 2019年第10期30卷 3206-3226页

作者：刘博涵张贺董黎明计算机软件新技术国家重点实验室(南京大学)

DevOps 已提出近十年,其作为敏捷方法在完整的软件生命周期上的延伸,旨在从文化、自动化、标准化、架构以及工具支持等方面,打破开发与运维之间的壁垒,重塑软件过程,以实现在保证高质量的前提下,缩短从代码提交到产品上线之间的周期.在... 详细信息

DevOps 已提出近十年,其作为敏捷方法在完整的软件生命周期上的延伸,旨在从文化、自动化、标准化、架构以及工具支持等方面,打破开发与运维之间的壁垒,重塑软件过程,以实现在保证高质量的前提下,缩短从代码提交到产品上线之间的周期.在竞争日益激烈的市场环境下,用户对于产品服务的稳定性以及更新频率和效率的要求不断提高,DevOps 在学术界和工业界的关注程度因此也不断提高.Puppet Labs 在 2013 年开始了全球 DevOps 现状的问卷调查,迄今已发布了 5份报告.国内 DevOps的发展相对滞后,对于国内 DevOps现状的研究在工业界和学术界均处于空白.2016 年和 2018 年分别进行了两次关于 DevOps 国内现状的问卷调查以填补这一空白,两次调查的受访人数分别为 74 和 66 人.基于两次调查结果,从 DevOps 涵盖的 IT 性能表现、组织文化及相关实践、开发与运维实践、工具支持、领导力、工作比例、员工敬业度及满意度这 8 个方面,综合分析了 DevOps 在国内的发展现状与趋势,并与 Puppet Labs报告的全球现状进行了对比.总体而言,国内 DevOps虽呈现了稳步发展的态势,但与国际水平相比尚存在明显差距,目前能达到国际高水平 IT 性能的受访团队仅 6%.通过对比,总结了 17 条发现,经过综合分析,获得了 3 个主要结论:(1)员工素质和人才紧缺是国内 DevOps 滞后、过程成熟度不高的症结;(2) DevOps 化越成熟,员工敬业度和满意度越高;(3) Scrum 敏捷开发和基于主干开发是最普遍采纳的实践.基于分析结果,在未来实践与研究上给出了多项建议.

关键词：软件工程软件过程 DevOps

来源：评论

学校读者我要写书评

暂无评论

基于分歧的半监督学习

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于场景构件式实时软件设计的一致性检验

引用

软件学报 2006年第1期17卷 48-58页

作者：胡军于笑丰张岩李宣东郑国梁计算机软件新技术国家重点实验室(南京大学)

在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口... 详细信息

在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验.通过对实时接口自动机网络状态空间的分析,构造了其可兼容的整型状态等价类空间的可达图,并在此基础上给出了验证算法,以检验构件式实时软件系统的设计与带时间约束的场景式规约之间的一致性.

关键词：实时软件构件式设计模型检验接口自动机顺序图统一建模语言

来源：评论

学校读者我要写书评

暂无评论

基于群体智能的软件工程方法综述

引用

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

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

基于群体智能的软件工程旨在利用潜在高效的群体智能方法来解决软件工程问题,其中群体智能方法不仅包括机器群体智能,还包括人类群体智能以及人机结合群体智能.基于群体智能的软件工程研究为解决复杂软件工程问题提供了新的思路,已成为... 详细信息

基于群体智能的软件工程旨在利用潜在高效的群体智能方法来解决软件工程问题,其中群体智能方法不仅包括机器群体智能,还包括人类群体智能以及人机结合群体智能.基于群体智能的软件工程研究为解决复杂软件工程问题提供了新的思路,已成为现代软件工程的重要组成部分.以软件工程生命周期中的需求分析、设计、构造、测试和维护为主线,系统梳理和总结不同层次群体智能方法在上述软件开发活动上的应用.在此基础上,为不同层次群体智能方法间的相互借鉴与转化提供参考,并探讨基于群体智能的软件工程的未来发展趋势和挑战.

关键词：群体智能软件工程基于搜索软件工程众包软件工程综述

来源：评论

学校读者我要写书评

暂无评论

基于历史的云平台故障注入测试

引用

计算机学报 2019年第10期42卷 2281-2296页

作者：马骅聂长海吴化尧南京大学计算机软件新技术国家重点实验室

云计算是一种能够以便利的、按需付费的方式通过网络获取计算资源并提高其可用性的模式.近年来,以云计算为基础的服务平台——云平台逐渐成为各大企业数据存储和业务部署的主要平台.由于云平台结构复杂、服务多样,发生故障在所难免.为... 详细信息

云计算是一种能够以便利的、按需付费的方式通过网络获取计算资源并提高其可用性的模式.近年来,以云计算为基础的服务平台——云平台逐渐成为各大企业数据存储和业务部署的主要平台.由于云平台结构复杂、服务多样,发生故障在所难免.为了提高云平台的可靠性,开发人员在设计云平台时加入了容错机制,目的是在发生故障的情况下也能保证云平台的正常运行.但是容错机制并不能保证云平台完全可靠,因此我们还需要对云平台的可靠性进行检验.故障注入是检验云平台可靠性的方法之一,通过人为地将故障注入正在运行的系统中,观察系统动作并判断系统的容错机制是否正常工作.现有的故障注入方法侧重于分析待测系统特征以确定故障注入点,属于白盒或灰盒测试,对复杂的云平台来说,这一工作无疑要耗费大量的时间.因此,我们提出一种不依赖于系统信息的黑盒测试方法以提高检验效率.本文在现有工作的基础上做了以下几个方面的工作:第一,我们收集了云平台历史宕机事故报告,并分析其中故障模式出现的规律.我们发现,云平台中发生的故障类型具有重复性,在此基础上,我们提取了这些故障的特征,包括所在组件、根因、产生的影响、修复方法等;第二,通过对云平台历史宕机事故报告的分析,我们发现很多事故当中的故障并不是单一出现的,并且多个故障之间具有关联性、组合性,我们深入分析了多故障之间的关系以及故障之间的组合形式,在此基础上,为了尽可能完全地检测云平台的可靠性,我们提出在故障注入过程中需要对多故障进行组合注入;第三,在对多故障进行组合的过程中我们发现,由于云平台的复杂性,故障种类的多样性,多故障之间的组合会产生组合空间爆炸问题,针对这一问题,我们做了初步探究,并提出了几种约减策略;第四,基于上述工作,我们提出了一种基于历史的故障组合方法,并利用历史故障数据,结合基础云平台架构进行模拟实验,实验结果表明我们提出的基于历史故障进行故障组合注入方法是有效可行的.

关键词：云平台故障模式历史故障故障注入

来源：评论

学校读者我要写书评

暂无评论

面向对象范型体系结构中构件行为相容性研究

引用

软件学报 2006年第6期17卷 1276-1286页

作者：胡海洋吕建马晓星陶先平计算机软件新技术国家重点实验室(南京大学)

软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结... 详细信息

软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结构中,构件组装通常是通过接口方法调用加以实现.针对这样一类基于软件体系结构的构件组装问题,形式描述与定义了构件及其对外交互协议,分析了服务请求构件与服务提供构件所能展示的不同行为,给出了组装交互的构件在请求/提供接口上协议级行为相容的一组验证规则及相关定理.最后,通过一个电子商务应用实例来说明所提出途径的可用性和针对性.

关键词：构件构件组装软件体系结构行为相容无死锁

来源：评论

学校读者我要写书评

暂无评论

平均度约束的无线传感器网络拓扑控制

引用

计算机学报 2007年第9期30卷 1544-1550页

作者：陈力军毛莺池陈道蓄谢立南京大学计算机软件新技术国家重点实验室

拓扑控制是无线传感器网络中最重要的技术之一.大规模随机部署的无线传感器网络节点,在满足无线传感器网络拓扑连通性的前提下,如何保证网络结构的稀疏性是一个亟待解决的问题,目前已有的研究结果表明当节点密度较大时,得到的网络拓扑复... 详细信息

拓扑控制是无线传感器网络中最重要的技术之一.大规模随机部署的无线传感器网络节点,在满足无线传感器网络拓扑连通性的前提下,如何保证网络结构的稀疏性是一个亟待解决的问题,目前已有的研究结果表明当节点密度较大时,得到的网络拓扑复杂,计算路由将严重消耗节点资源.文中提出了一种平均度约束的无线传感器网络拓扑控制,通过增加节点通信半径,约束节点的平均度来解决网络的连通性与网络拓扑的稀疏性之间的矛盾.数值模拟表明:通过平均度约束的无线传感器网络拓扑控制,可减少网络中选出的工作节点数,保证了网络的稀疏性,简化了路由的复杂度,从而延长了网络的生存周期.

关键词：无线传感器网络随机图平均度约束拓扑控制

来源：评论

学校读者我要写书评

暂无评论

RLGA:一种基于强化学习机制的遗传算法

引用

电子学报 2006年第5期34卷 856-860,866页

作者：王本年高阳陈兆乾谢俊元陈世福南京大学计算机软件新技术国家重点实验室

分析了强化学习与遗传算法工作机制,在提出基因空间分割概念的基础上,提出了一种将强化学习与遗传算法内在结合起来的算法RLGA,在遗传算法的框架下实现强化学习机制.从理论上分析了RLGA的收敛性,讨论了RLGA的时间和空间效率及其与基因... 详细信息

分析了强化学习与遗传算法工作机制,在提出基因空间分割概念的基础上,提出了一种将强化学习与遗传算法内在结合起来的算法RLGA,在遗传算法的框架下实现强化学习机制.从理论上分析了RLGA的收敛性,讨论了RLGA的时间和空间效率及其与基因空间分割的关系,通过实验分析了RLGA中基因空间分割的指导范围.实验结果表明,RLGA具有良好的全局收敛性能.

关键词：强化学习遗传算法收敛性

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：